public class Definitions extends IDefinitions
IDefinitions.Type
referencedDefinitions
Constructor and Description |
---|
Definitions() |
Definitions(java.io.File file) |
Modifier and Type | Method and Description |
---|---|
void |
addDefinition(AExpressionDefinitionDefinition defNode,
IDefinitions.Type type) |
void |
addDefinition(APredicateDefinitionDefinition defNode,
IDefinitions.Type type) |
void |
addDefinition(ASubstitutionDefinitionDefinition defNode,
IDefinitions.Type type) |
void |
addDefinition(PDefinition defNode) |
void |
addDefinition(PDefinition defNode,
IDefinitions.Type type,
java.lang.String key) |
void |
addDefinitions(IDefinitions defs) |
void |
assignIdsToNodes(NodeIdAssignment nodeIdMapping,
java.util.List<java.io.File> machineFilesLoaded) |
boolean |
containsDefinition(java.lang.String defName) |
PDefinition |
getDefinition(java.lang.String defName) |
java.util.Set<java.lang.String> |
getDefinitionNames() |
java.io.File |
getFile(java.lang.String defName) |
int |
getParameterCount(java.lang.String defName) |
IDefinitions.Type |
getType(java.lang.String defName) |
java.util.Map<java.lang.String,IDefinitions.Type> |
getTypes() |
void |
replaceDefinition(java.lang.String defName,
IDefinitions.Type type,
PDefinition node) |
void |
setDefinitionType(java.lang.String defName,
IDefinitions.Type expression) |
java.lang.String |
toString() |
public Definitions()
public Definitions(java.io.File file)
public java.util.Map<java.lang.String,IDefinitions.Type> getTypes()
getTypes
in class IDefinitions
public int getParameterCount(java.lang.String defName)
getParameterCount
in class IDefinitions
public IDefinitions.Type getType(java.lang.String defName)
getType
in class IDefinitions
public java.util.Set<java.lang.String> getDefinitionNames()
getDefinitionNames
in class IDefinitions
public PDefinition getDefinition(java.lang.String defName)
getDefinition
in class IDefinitions
public java.io.File getFile(java.lang.String defName)
getFile
in class IDefinitions
public boolean containsDefinition(java.lang.String defName)
containsDefinition
in class IDefinitions
public void setDefinitionType(java.lang.String defName, IDefinitions.Type expression)
setDefinitionType
in class IDefinitions
public void replaceDefinition(java.lang.String defName, IDefinitions.Type type, PDefinition node)
replaceDefinition
in class IDefinitions
public void addDefinition(PDefinition defNode)
addDefinition
in class IDefinitions
public void addDefinitions(IDefinitions defs) throws PreParseException
addDefinitions
in class IDefinitions
PreParseException
public void addDefinition(APredicateDefinitionDefinition defNode, IDefinitions.Type type)
addDefinition
in class IDefinitions
public void addDefinition(ASubstitutionDefinitionDefinition defNode, IDefinitions.Type type)
addDefinition
in class IDefinitions
public void addDefinition(AExpressionDefinitionDefinition defNode, IDefinitions.Type type)
addDefinition
in class IDefinitions
public void addDefinition(PDefinition defNode, IDefinitions.Type type, java.lang.String key)
addDefinition
in class IDefinitions
public java.lang.String toString()
toString
in class java.lang.Object
public void assignIdsToNodes(NodeIdAssignment nodeIdMapping, java.util.List<java.io.File> machineFilesLoaded)
assignIdsToNodes
in class IDefinitions