AnmlModuleParser
Related Doc:
package anml
Parses a sequence of args necessarily enclosed in parenthesis if non empty Example of valid inputs "", "()", "(Type1 arg1)", "(Type1 arg1, Type2 arg2)"
Parses a sequence of args necessarily enclosed in parenthesis if non empty Example of valid inputs "", "()", "(Type1 arg1)", "(Type1 arg1, Type2 arg2)"
Denotes the current context of this AnmlParser.
Denotes the current context of this AnmlParser.
It is used by many suparsers to find the variable/fluent/type associated to an identifier.
Over the course of Parsing, the current context is likely to change (i.e. ctx will point to
a new context since Ctx is immutable.
Extract the functions declared in a type.
Extract the functions declared in a type. This consumes the whole type declaration. Note that the type should be already present in the module. Typically consumed: "type B < A with { fluent f(C c); };"
Parser for instance declaration.
Parser for instance declaration. "instance Type id1, id2, id3;"
Parses a fluent in the object oriented notation.
Parses a fluent in the object oriented notation. "x.f" where x is a variable of type T and f is a fluent declared in type T or in a supertype of T. Returns the fluent T.f and x which is to be the first argument of T.f
Second phase parser that extracts all ANML elements expects types that should be already present in the initial model.