Interface IParserHelper
- 
- All Known Implementing Classes:
- DefaultParserHelper
 
 public interface IParserHelperProvides an extension point to introduce additional information (e.g. local variables) in the parsing process.
- 
- 
Method SummaryAll Methods Instance Methods Abstract Methods Modifier and Type Method Description voidaddVariable(Variable var)Add a variable.BuildContextgetBuildContext()Get the build context.java.util.ListgetConditions()Get the conditions after parsing.java.lang.Object[]getReplacementType(OAVObjectType type)Get the replacement type for an object type in an existential declaration E.g.VariablegetVariable(java.lang.String name)Get a variable with a given name.booleanisPseudoVariable(java.lang.String name)Test, if a name refers to a pseudo variable (e.g.
 
- 
- 
- 
Method Detail- 
getVariableVariable getVariable(java.lang.String name) Get a variable with a given name.- Parameters:
- name- The variable name.
- Returns:
- The variable.
 
 - 
addVariablevoid addVariable(Variable var) Add a variable.- Parameters:
- var- The variable.
 
 - 
isPseudoVariableboolean isPseudoVariable(java.lang.String name) Test, if a name refers to a pseudo variable (e.g. $beliefbase).- Parameters:
- name- The variable name.
- Returns:
- True, if the name is a pseudo variable.
 
 - 
getConditionsjava.util.List getConditions() Get the conditions after parsing.
 - 
getBuildContextBuildContext getBuildContext() Get the build context.
 - 
getReplacementTypejava.lang.Object[] getReplacementType(OAVObjectType type) Get the replacement type for an object type in an existential declaration E.g. when a flyweight should be replaced by the real state type (IGoal $g instead of goal $g) Returns null when no replacement is required.- Parameters:
- type- The type to be replaced.
- Returns:
- a tuple containing the replacement type and the replacement value source (e.g. a function call recreating the flyweight from the state object) or null for no replacement.
 
 
- 
 
-