Interface IParserHelper
-
- All Known Implementing Classes:
DefaultParserHelper
public interface IParserHelper
Provides 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 void
addVariable(Variable var)
Add a variable.BuildContext
getBuildContext()
Get the build context.java.util.List
getConditions()
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. when a flyweight should be replaced by the real state type (IGoal $g instead of goal $g) Returns null when no replacement is required.Variable
getVariable(java.lang.String name)
Get a variable with a given name.boolean
isPseudoVariable(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.
-
-