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 IModel
public java.util.List<RulesMachineReference> getMachineReferences()
getMachineReferences
in interface IModel
public void printAsProlog(de.prob.prolog.output.IPrologTermOutput pout, NodeIdAssignment nodeIdMapping)
printAsProlog
in interface IModel
public BCompoundException getCompoundException()
getCompoundException
in interface IModel
public void replaceDefinition(IDefinitions definitions)
public void addPropertiesPredicates(java.util.Map<java.lang.String,java.lang.String> constantStringValues)