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