public class Definitions extends IDefinitions
IDefinitions.TypereferencedDefinitions| 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 |
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() |
addDefinitionspublic Definitions()
public Definitions(java.io.File file)
public java.util.Map<java.lang.String,IDefinitions.Type> getTypes()
getTypes in class IDefinitionspublic int getParameterCount(java.lang.String defName)
getParameterCount in class IDefinitionspublic IDefinitions.Type getType(java.lang.String defName)
getType in class IDefinitionspublic java.util.Set<java.lang.String> getDefinitionNames()
getDefinitionNames in class IDefinitionspublic PDefinition getDefinition(java.lang.String defName)
getDefinition in class IDefinitionspublic java.io.File getFile(java.lang.String defName)
getFile in class IDefinitionspublic boolean containsDefinition(java.lang.String defName)
containsDefinition in class IDefinitionspublic void setDefinitionType(java.lang.String defName,
IDefinitions.Type expression)
setDefinitionType in class IDefinitionspublic void replaceDefinition(java.lang.String defName,
IDefinitions.Type type,
PDefinition node)
replaceDefinition in class IDefinitionspublic void addDefinition(PDefinition defNode)
addDefinition in class IDefinitionspublic void addDefinition(APredicateDefinitionDefinition defNode, IDefinitions.Type type)
addDefinition in class IDefinitionspublic void addDefinition(ASubstitutionDefinitionDefinition defNode, IDefinitions.Type type)
addDefinition in class IDefinitionspublic void addDefinition(AExpressionDefinitionDefinition defNode, IDefinitions.Type type)
addDefinition in class IDefinitionspublic void addDefinition(PDefinition defNode, IDefinitions.Type type, java.lang.String key)
addDefinition in class IDefinitionspublic java.lang.String toString()
toString in class java.lang.Objectpublic void assignIdsToNodes(NodeIdAssignment nodeIdMapping, java.util.List<java.io.File> machineFilesLoaded)
assignIdsToNodes in class IDefinitions