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 Summary
All 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
- 
getVariable
Variable getVariable(java.lang.String name)
Get a variable with a given name.- Parameters:
 name- The variable name.- Returns:
 - The variable.
 
 
- 
addVariable
void addVariable(Variable var)
Add a variable.- Parameters:
 var- The variable.
 
- 
isPseudoVariable
boolean 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.
 
 
- 
getConditions
java.util.List getConditions()
Get the conditions after parsing. 
- 
getBuildContext
BuildContext getBuildContext()
Get the build context. 
- 
getReplacementType
java.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.
 
 
 - 
 
 -