| Constructor and Description |
|---|
BMachine(java.lang.String name) |
| Modifier and Type | Method and Description |
|---|---|
void |
addIncludesClause(java.lang.String machineName) |
void |
addPromotesClause(java.util.List<java.lang.String> operationList) |
void |
addPropertiesPredicates(java.util.Map<java.lang.String,java.lang.String> constantStringValues) |
BCompoundException |
getCompoundException() |
java.lang.String |
getMachineName() |
java.util.List<RulesMachineReference> |
getMachineReferences() |
java.lang.String |
getPath() |
Start |
getStart() |
boolean |
hasError() |
void |
printAsProlog(de.prob.prolog.output.IPrologTermOutput pout,
NodeIdAssignment nodeIdMapping) |
void |
replaceDefinition(IDefinitions definitions) |
void |
setParsingBehaviour(ParsingBehaviour parsingBehaviour) |
public void setParsingBehaviour(ParsingBehaviour parsingBehaviour)
public void addIncludesClause(java.lang.String machineName)
public void addPromotesClause(java.util.List<java.lang.String> operationList)
public java.lang.String getMachineName()
getMachineName in interface IModelpublic java.util.List<RulesMachineReference> getMachineReferences()
getMachineReferences in interface IModelpublic void printAsProlog(de.prob.prolog.output.IPrologTermOutput pout,
NodeIdAssignment nodeIdMapping)
printAsProlog in interface IModelpublic BCompoundException getCompoundException()
getCompoundException in interface IModelpublic void replaceDefinition(IDefinitions definitions)
public void addPropertiesPredicates(java.util.Map<java.lang.String,java.lang.String> constantStringValues)