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