|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Class Summary | |
|---|---|
| StringConcatTransformer | Transformer for string::concat |
| StringConvertTransformer | Transformer for String::convert - convert argument to string representation, (by call ITermHelper.termToString) |
| StringLengthTransformer | Transformer for string.length length(s)='length of string s' |
| StringMatchesTransformer | |
| StringParseTransformer | Transformer for string::parse string.parse("x+y")=x+y when parsing is not possible - throw exception. |
| StringSplitTransformer | Transformer for string.split
string.split(s,re) - split string s by regular expression re |
| StringSubstTransformer | Transformer for String.subst code string::subst(s,x,y) replace all occurences of regular exptression x to y in s and return changed string. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||