| |
|
| jacareto.struct.StructureElement jacareto.struct.MenuOpened
MenuOpened | public MenuOpened(Environment env, StructureElement[] children)(Code) | | Creates a new "menu opened" structure element.
Parameters: env - the environment Parameters: children - the child structure elements |
clone | public Object clone()(Code) | | Clones the element.
DOCUMENT ME! |
getElementDescription | public String getElementDescription()(Code) | | Returns a description of the element.
the description |
getElementName | public String getElementName()(Code) | | Returns the name of the element.
the name |
parse | public static StructureElement parse(Environment env, RecordTokenizer recordTokenizer)(Code) | | Parses a record which is tokenized by the given record tokenizer.
Parameters: env - DOCUMENT ME! Parameters: recordTokenizer - the record tokenizer a structure element, or null if this class cannot parse the record atthe current position |
toShortString | public String toShortString()(Code) | | Returns a String which describes the content of the element shortly.
a string with a short description of the element |
|
|
|