Difference between revisions of "Apertium-recursive/Bytecode"
Jump to navigation
Jump to search
Popcorndude (talk | contribs) |
Popcorndude (talk | contribs) |
||
Line 142: | Line 142: | ||
| distag |
| distag |
||
| removes initial < and final > from the string on top of the stack (this makes compiling comparisons easier) |
| removes initial < and final > from the string on top of the stack (this makes compiling comparisons easier) |
||
|- |
|||
| getrule |
|||
| pop an int and push the index of the output rule associated with the chunk in that position. |
|||
|- |
|||
| setrule |
|||
| pop an int and set it as the index of the output rule of the chunk on top of the stack |
|||
|- |
|||
| lucount |
|||
| push a string corresponding to the number of chunks in the input to the rule |
|||
|} |
|} |
Revision as of 20:39, 2 July 2019
The first 2 characters of the file are the length of the longest pattern and the number of rules. Each rule begins with a byte indicating specifying the length of the rule and a byte specifying the length of the pattern.
[int] after the name indicates that this instruction is two characters long and the second is to be interpreted as an integer.
Name | Action |
---|---|
drop | pop the top of the stack |
dup | push a copy of the top element |
over | push a copy of the second element |
swap | exchange the first and second elements |
string [int] | pushes the next [int] characters onto the stack as a literal string |
int [int] | pushes [int] onto the stack |
pushfalse | pushes false onto the stack |
pushtrue | pushes true onto the stack |
jump [int] | increments the instruction pointer by [int] |
jumpontrue [int] | pops a bool off the stack and increments the instruction pointer by [int] if it is true |
jumponfalse [int] | pops a bool off the stack and increments the instruction pointer by [int] if it is false |
and | pops 2 bools of the stack and pushes whether both of them are true |
or | pops 2 bools of the stack and pushes whether either of them is true |
not | logically negates top of stack |
equal | push whether the first two strings popped are the same |
isprefix | push whether the first string popped occurs at the beginning of the second |
issuffix | push whether the first string popped occurs at the end of the second |
issubstring | pushes whether the first string popped appears anywhere in the second |
equalcl | equal , but ignores case
|
isprefixcl | isprefix , but ignores case
|
issuffixcl | issuffix , but ignores case
|
issubstringcl | issubstring , but ignores case
|
hasprefix | push whether the second string popped begins with any member of the list named by the first string popped |
hassuffix | push whether the second string popped ends with any member of the list named by the first string popped |
in | push whether the second string popped is a member of the list named by the first |
hasprefixcl | hasprefix , but ignores case
|
hassuffixcl | hassuffix , but ignores case
|
incl | in , but ignores case
|
getcase | pushes "aa", "Aa", or "AA", depending on the case of the first string popped |
setcase | pops two strings, copies the case of the first to the second and pushes the result |
fetchvar | pops a string and pushes the value of the variable with that name |
setvar | pops a two strings and sets the second as the value of the variable named by the first |
sourceclip | pops an int and a string, pushes the value of the source-side clip identified by them |
targetclip | pops an int and a string, pushes the value of the target-side clip identified by them |
referenceclip | pops an int and a string, pushes the value of the reference-side clip identified by them |
setclip | pops an int and two strings, sets the second string as the value of the target-side clip identified by the int and the first string |
chunk | creates an empty chunk and pushes it |
appendchild | pops a chunk and appends it as a child to the chunk underneath it (which remains on the stack) |
appendsurface | pops a string and appends it to the target-side surface chunk underneath it (which remains on the stack) |
appendallchildren | pops a chunk and appends all of its children as children to the chunk underneath it (which remains on the stack) |
output | pops a chunk and appends it to the output queue |
blank | pops an int and pushes the corresponding blank (or a single space if the int is 0) |
concat | pops two strings, concatenates them, and pushes the result |
rejectrule | abort evaluation of current rule and attempt to match a different one |
distag | removes initial < and final > from the string on top of the stack (this makes compiling comparisons easier) |
getrule | pop an int and push the index of the output rule associated with the chunk in that position. |
setrule | pop an int and set it as the index of the output rule of the chunk on top of the stack |
lucount | push a string corresponding to the number of chunks in the input to the rule |