public class RecursiveMachineLoader
extends java.lang.Object
| Constructor and Description |
|---|
RecursiveMachineLoader(java.lang.String path,
IDefinitionFileProvider contentProvider) |
RecursiveMachineLoader(java.lang.String directory,
IDefinitionFileProvider contentProvider,
ParsingBehaviour parsingBehaviour) |
| Modifier and Type | Method and Description |
|---|---|
NodeIdAssignment |
getNodeIdMapping() |
java.util.Map<java.lang.String,Start> |
getParsedMachines() |
void |
loadAllMachines(java.io.File startFile,
Start start,
IDefinitions definitions) |
void |
printAsProlog(de.prob.prolog.output.IPrologTermOutput pout) |
void |
printAsProlog(java.io.PrintWriter out) |
public RecursiveMachineLoader(java.lang.String directory,
IDefinitionFileProvider contentProvider,
ParsingBehaviour parsingBehaviour)
throws BCompoundException
BCompoundExceptionpublic RecursiveMachineLoader(java.lang.String path,
IDefinitionFileProvider contentProvider)
throws BCompoundException
BCompoundExceptionpublic void loadAllMachines(java.io.File startFile,
Start start,
IDefinitions definitions)
throws BCompoundException
BCompoundExceptionpublic void printAsProlog(java.io.PrintWriter out)
public void printAsProlog(de.prob.prolog.output.IPrologTermOutput pout)
public NodeIdAssignment getNodeIdMapping()
public java.util.Map<java.lang.String,Start> getParsedMachines()