public class MockedDefinitions extends IDefinitions
IDefinitions.Type
referencedDefinitions
Constructor and Description |
---|
MockedDefinitions() |
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 |
addMockedDefinition(java.lang.String name,
IDefinitions.Type type,
int parameterCount) |
void |
addMockedDefinition(java.lang.String name,
java.lang.String type,
java.lang.String parameterCount) |
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 key,
IDefinitions.Type type,
PDefinition node) |
void |
setDefinitionType(java.lang.String identifierString,
IDefinitions.Type expression) |
public void addMockedDefinition(java.lang.String name, java.lang.String type, java.lang.String parameterCount)
public void addMockedDefinition(java.lang.String name, IDefinitions.Type type, int parameterCount)
public PDefinition getDefinition(java.lang.String defName)
getDefinition
in class IDefinitions
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 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 void addDefinitions(IDefinitions defs)
addDefinitions
in class IDefinitions
public void assignIdsToNodes(NodeIdAssignment nodeIdMapping, java.util.List<java.io.File> machineFilesLoaded)
assignIdsToNodes
in class IDefinitions
public boolean containsDefinition(java.lang.String defName)
containsDefinition
in class IDefinitions
public void setDefinitionType(java.lang.String identifierString, IDefinitions.Type expression)
setDefinitionType
in class IDefinitions
public void replaceDefinition(java.lang.String key, IDefinitions.Type type, PDefinition node)
replaceDefinition
in class IDefinitions
public java.io.File getFile(java.lang.String defName)
getFile
in class IDefinitions
public void addDefinition(PDefinition defNode)
addDefinition
in class IDefinitions