@Deprecated
public class CPNetSeededHighLevelSimulator
extends org.eclipse.emf.common.notify.impl.AdapterImpl
Modifier and Type | Field and Description |
---|---|
static boolean |
DEBUG_SIMULATOR
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
void |
addHandler(java.lang.Object... handlers)
Deprecated.
|
void |
checkDeclaration(org.cpntools.accesscpn.model.HLDeclaration decl)
Deprecated.
|
boolean |
checkMarking(org.cpntools.accesscpn.model.PlaceNode p,
java.lang.String marking)
Deprecated.
|
void |
checkMonitor(org.cpntools.accesscpn.model.monitors.Monitor monitor)
Deprecated.
|
void |
checkPage(org.cpntools.accesscpn.model.Page page,
boolean prime)
Deprecated.
|
void |
destroy()
Deprecated.
|
java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.cpnvalues.CPNValue> |
evaluate(org.cpntools.accesscpn.model.Arc arc,
org.cpntools.accesscpn.engine.highlevel.instance.Binding binding)
Deprecated.
|
java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.cpnvalues.CPNValue> |
evaluate(org.cpntools.accesscpn.model.cpntypes.CPNType type,
java.lang.String typeName,
java.lang.String expr)
Deprecated.
|
java.lang.String |
evaluate(java.lang.String expr)
Deprecated.
|
java.lang.String |
evaluate(java.lang.String expr,
boolean wrap,
java.lang.Object... handlers)
Deprecated.
Evaluate with response handlers
|
java.lang.String |
evaluate(java.lang.String expr,
java.lang.Object... handlers)
Deprecated.
Evaluate expression, wrapping in JavaExecute
|
org.cpntools.accesscpn.engine.highlevel.instance.Instance<? extends org.cpntools.accesscpn.model.Transition> |
execute()
Deprecated.
|
boolean |
execute(org.cpntools.accesscpn.engine.highlevel.instance.Binding binding)
Deprecated.
|
boolean |
execute(org.cpntools.accesscpn.engine.highlevel.instance.Instance<? extends org.cpntools.accesscpn.model.Transition> ti)
Deprecated.
|
java.lang.String |
execute(int amount)
Deprecated.
|
org.cpntools.accesscpn.engine.highlevel.instance.Instance<? extends org.cpntools.accesscpn.model.Transition> |
execute(java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.Instance<org.cpntools.accesscpn.model.Transition>> tis)
Deprecated.
|
org.cpntools.accesscpn.engine.highlevel.instance.Binding |
executeAndGet()
Deprecated.
|
org.cpntools.accesscpn.engine.highlevel.instance.Binding |
executeAndGet(org.cpntools.accesscpn.engine.highlevel.instance.Instance<org.cpntools.accesscpn.model.Transition> ti)
Deprecated.
|
org.cpntools.accesscpn.engine.highlevel.instance.Binding |
executeAndGet(java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.Instance<org.cpntools.accesscpn.model.Transition>> tis)
Deprecated.
|
org.cpntools.accesscpn.engine.highlevel.instance.Binding |
executeAnyGetWhich(java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.Binding> bindings)
Deprecated.
|
void |
generateInstanceForFusionGroup(java.lang.String id)
Deprecated.
|
void |
generateInstanceForPlace(java.lang.String id)
Deprecated.
|
void |
generateInstanceForTransition(java.lang.String id)
Deprecated.
|
java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.Instance<org.cpntools.accesscpn.model.PlaceNode>> |
getAllPlaceInstances()
Deprecated.
|
java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.Instance<org.cpntools.accesscpn.model.Place>> |
getAllRealPlaceInstances()
Deprecated.
|
java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.Instance<org.cpntools.accesscpn.model.Transition>> |
getAllTransitionInstances()
Deprecated.
|
java.lang.String |
getBanner()
Deprecated.
|
java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.Binding> |
getBindings(org.cpntools.accesscpn.engine.highlevel.instance.Instance<? extends org.cpntools.accesscpn.model.Transition> ti)
Deprecated.
|
static CPNetSeededHighLevelSimulator |
getHighLevelSimulator()
Deprecated.
|
static CPNetSeededHighLevelSimulator |
getHighLevelSimulator(long seed)
Deprecated.
|
static CPNetSeededHighLevelSimulator |
getHighLevelSimulator(long seed,
org.cpntools.accesscpn.model.PetriNet petriNet)
Deprecated.
|
static CPNetSeededHighLevelSimulator |
getHighLevelSimulator(org.cpntools.accesscpn.engine.Simulator simulator)
Deprecated.
|
static CPNetSeededHighLevelSimulator |
getHighLevelSimulator(org.cpntools.accesscpn.engine.Simulator simulator,
long seed)
Deprecated.
|
static CPNetSeededHighLevelSimulator |
getHighLevelSimulator(org.cpntools.accesscpn.engine.Simulator simulator,
org.cpntools.accesscpn.model.PetriNet net)
Deprecated.
|
static CPNetSeededHighLevelSimulator |
getHighLevelSimulator(org.cpntools.accesscpn.engine.Simulator simulator,
org.cpntools.accesscpn.model.PetriNet net,
long seed)
Deprecated.
|
org.cpntools.accesscpn.engine.highlevel.instance.State |
getMarking()
Deprecated.
|
org.cpntools.accesscpn.engine.highlevel.instance.State |
getMarking(boolean copies)
Deprecated.
|
org.cpntools.accesscpn.engine.highlevel.instance.State |
getMarking(java.util.Collection<? extends org.cpntools.accesscpn.engine.highlevel.instance.Instance<? extends org.cpntools.accesscpn.model.PlaceNode>> pis)
Deprecated.
|
java.lang.String |
getMarking(org.cpntools.accesscpn.engine.highlevel.instance.Instance<org.cpntools.accesscpn.model.PlaceNode> pi)
Deprecated.
|
java.lang.String |
getOutputDir()
Deprecated.
|
org.cpntools.accesscpn.model.PetriNet |
getPetriNet()
Deprecated.
|
org.cpntools.accesscpn.engine.Simulator |
getSimulator()
Deprecated.
|
java.math.BigInteger |
getStep()
Deprecated.
|
java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.cpnvalues.CPNValue> |
getStructuredMarking(org.cpntools.accesscpn.engine.highlevel.instance.Instance<org.cpntools.accesscpn.model.PlaceNode> pi)
Deprecated.
|
java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.cpnvalues.CPNValue> |
getStructuredMarking(org.cpntools.accesscpn.engine.highlevel.instance.Marking marking)
Deprecated.
|
java.util.Map<org.cpntools.accesscpn.engine.highlevel.instance.Instance<? extends org.cpntools.accesscpn.model.PlaceNode>,java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.cpnvalues.CPNValue>> |
getStructuredMarking(org.cpntools.accesscpn.engine.highlevel.instance.State state)
Deprecated.
|
java.util.Map<org.cpntools.accesscpn.engine.highlevel.instance.Instance<? extends org.cpntools.accesscpn.model.PlaceNode>,java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.cpnvalues.CPNValue>> |
getStructuredMarking(org.cpntools.accesscpn.engine.highlevel.instance.State state,
java.util.Map<java.lang.String,java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.cpnvalues.CPNValue>> mscache)
Deprecated.
|
java.lang.String |
getTime()
Deprecated.
|
int |
getTokens(org.cpntools.accesscpn.engine.highlevel.instance.Instance<org.cpntools.accesscpn.model.PlaceNode> pi)
Deprecated.
|
java.lang.String |
increaseTime()
Deprecated.
|
void |
initialiseSimulationScheduler()
Deprecated.
|
void |
initialize(org.cpntools.accesscpn.model.TimeType timeType)
Deprecated.
|
void |
initializeSyntaxCheck()
Deprecated.
|
void |
initialState()
Deprecated.
|
boolean |
isAdapterForType(java.lang.Object type)
Deprecated.
|
java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.Instance<? extends org.cpntools.accesscpn.model.Transition>> |
isEnabled(java.util.Collection<? extends org.cpntools.accesscpn.engine.highlevel.instance.Instance<? extends org.cpntools.accesscpn.model.Transition>> tis)
Deprecated.
|
boolean |
isEnabled(org.cpntools.accesscpn.engine.highlevel.instance.Instance<? extends org.cpntools.accesscpn.model.Transition> ti)
Deprecated.
|
void |
lock()
Deprecated.
|
void |
rebind(org.cpntools.accesscpn.engine.highlevel.instance.Binding oldBinding,
org.cpntools.accesscpn.engine.highlevel.instance.Binding newBinding)
Deprecated.
Rebind a transition in another binding.
|
void |
refreshViews()
Deprecated.
|
void |
refreshViews(java.lang.String time,
java.math.BigInteger step)
Deprecated.
|
void |
release()
Deprecated.
|
void |
removeHandler(java.lang.Object... handlers)
Deprecated.
|
void |
rollBack(org.cpntools.accesscpn.engine.highlevel.instance.Binding binding)
Deprecated.
Roll back execution of binding.
|
void |
saveSimulationReport(java.io.File file)
Deprecated.
Save the current report in the given file.
|
void |
saveSimulationReport(java.lang.String file)
Deprecated.
|
org.cpntools.accesscpn.engine.protocol.Packet |
send(org.cpntools.accesscpn.engine.protocol.Packet p)
Deprecated.
|
void |
setConfidenceIntervals(int... intervals)
Deprecated.
|
void |
setFairnessOptions(boolean fairBE,
boolean globalFairness)
Deprecated.
Start reporting; clears data gathered until now and sets options for
future reporting.
|
void |
setInitializationSimulationOptions(boolean resetRan,
boolean resetRef,
int randomSeed)
Deprecated.
|
boolean |
setMarking(org.cpntools.accesscpn.engine.highlevel.instance.Instance<? extends org.cpntools.accesscpn.model.PlaceNode> pi,
org.cpntools.accesscpn.engine.highlevel.instance.Marking marking)
Deprecated.
|
boolean |
setMarking(org.cpntools.accesscpn.engine.highlevel.instance.Instance<? extends org.cpntools.accesscpn.model.PlaceNode> pi,
java.lang.String marking)
Deprecated.
Set marking of place instance if it is legal.
|
void |
setMarking(org.cpntools.accesscpn.engine.highlevel.instance.State state)
Deprecated.
|
void |
setMarkingFast(org.cpntools.accesscpn.engine.highlevel.instance.State state)
Deprecated.
|
void |
setMarkingFast(org.cpntools.accesscpn.engine.highlevel.instance.State state,
org.cpntools.accesscpn.engine.highlevel.instance.State oldState,
boolean resetScheduler)
Deprecated.
|
void |
setModelNameModelDirOutputDir(java.lang.String modelName,
java.lang.String modelDir,
java.lang.String outputDir)
Deprecated.
|
void |
setMonitorOrder(java.util.Collection<org.cpntools.accesscpn.model.monitors.Monitor> monitors)
Deprecated.
|
void |
setPerformanceReportOptions(boolean tavg,
boolean tconfidence,
boolean tno,
boolean tfirst,
boolean tlast,
boolean tmax,
boolean tmin,
boolean tss,
boolean tssd,
boolean tdev,
boolean tsum,
boolean tvar,
boolean tfirsttime,
boolean tinterval,
boolean tlasttime,
boolean avg,
boolean confidence,
boolean no,
boolean first,
boolean last,
boolean max,
boolean min,
boolean ss,
boolean ssd,
boolean dev,
boolean sum,
boolean var)
Deprecated.
|
protected void |
setPetriNet(org.cpntools.accesscpn.model.PetriNet petriNet)
Deprecated.
|
void |
setReplicationReportOptions(boolean avg,
boolean confidence,
boolean no,
boolean first,
boolean last,
boolean max,
boolean min,
boolean ss,
boolean ssd,
boolean dev,
boolean sum,
boolean var)
Deprecated.
|
void |
setSimulationOptions(boolean pausebefore,
boolean pauseafter,
boolean pauseshow,
boolean reporttrans,
boolean reportbinds,
boolean showmarking,
boolean showenabling,
java.lang.String untilstep,
java.lang.String addstep,
java.lang.String untiltime,
java.lang.String addtime,
java.lang.String pausecont,
java.lang.String reportfunc,
boolean fairBE,
boolean globalFairness)
Deprecated.
|
void |
setSimulationReportOptions(boolean reporttrans,
boolean reportbinds,
java.lang.String reportfunc)
Deprecated.
Start reporting; clears data gathered until now and sets options for
future reporting.
|
void |
setSimulatorTime(java.math.BigInteger timeStamp)
Deprecated.
|
void |
setStopOptions(java.lang.String untilstep,
java.lang.String addstep,
java.lang.String untiltime,
java.lang.String addtime)
Deprecated.
|
void |
setTarget(org.eclipse.emf.common.notify.Notifier notifier)
Deprecated.
|
java.lang.String |
use(java.net.URL file)
Deprecated.
|
public static CPNetSeededHighLevelSimulator getHighLevelSimulator() throws java.lang.Exception
java.lang.Exception
- if we could not instantiate the new simulatorpublic static CPNetSeededHighLevelSimulator getHighLevelSimulator(long seed) throws java.lang.Exception
java.lang.Exception
public static CPNetSeededHighLevelSimulator getHighLevelSimulator(long seed, org.cpntools.accesscpn.model.PetriNet petriNet) throws java.lang.Exception
java.lang.Exception
public static CPNetSeededHighLevelSimulator getHighLevelSimulator(org.cpntools.accesscpn.engine.Simulator simulator)
simulator
- the simulator we want a HLS forpublic static CPNetSeededHighLevelSimulator getHighLevelSimulator(org.cpntools.accesscpn.engine.Simulator simulator, org.cpntools.accesscpn.model.PetriNet net) throws java.lang.Exception
java.lang.Exception
public static CPNetSeededHighLevelSimulator getHighLevelSimulator(org.cpntools.accesscpn.engine.Simulator simulator, long seed)
public static CPNetSeededHighLevelSimulator getHighLevelSimulator(org.cpntools.accesscpn.engine.Simulator simulator, org.cpntools.accesscpn.model.PetriNet net, long seed)
public void addHandler(java.lang.Object... handlers)
handlers
- new local handlers to addpublic void checkDeclaration(org.cpntools.accesscpn.model.HLDeclaration decl) throws java.io.IOException, org.cpntools.accesscpn.engine.highlevel.DeclarationCheckerException
decl
- declaration to checkjava.io.IOException
- if an IO error occuredorg.cpntools.accesscpn.engine.highlevel.DeclarationCheckerException
- the declaration is not correctpublic boolean checkMarking(org.cpntools.accesscpn.model.PlaceNode p, java.lang.String marking) throws java.io.IOException
p
- placemarking
- markingjava.io.IOException
- on errorpublic void checkPage(org.cpntools.accesscpn.model.Page page, boolean prime) throws java.io.IOException, org.cpntools.accesscpn.engine.highlevel.CheckerException
page
- page to checkprime
- whether the page is primejava.io.IOException
- if an IO error occurredorg.cpntools.accesscpn.engine.highlevel.CheckerException
- if the page is not syntactically correctpublic void setMonitorOrder(java.util.Collection<org.cpntools.accesscpn.model.monitors.Monitor> monitors) throws java.io.IOException
java.io.IOException
public void checkMonitor(org.cpntools.accesscpn.model.monitors.Monitor monitor) throws org.cpntools.accesscpn.engine.highlevel.SyntaxCheckerException, java.io.IOException
monitor
- org.cpntools.accesscpn.engine.highlevel.SyntaxCheckerException
java.io.IOException
public void destroy()
public java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.cpnvalues.CPNValue> evaluate(org.cpntools.accesscpn.model.Arc arc, org.cpntools.accesscpn.engine.highlevel.instance.Binding binding)
arc
- binding
- public java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.cpnvalues.CPNValue> evaluate(org.cpntools.accesscpn.model.cpntypes.CPNType type, java.lang.String typeName, java.lang.String expr)
type
- expr
- public java.lang.String evaluate(java.lang.String expr) throws java.lang.Exception
expr
- expression to evaluatejava.lang.Exception
- if ML raises an exceptionpublic java.lang.String evaluate(java.lang.String expr, boolean wrap, java.lang.Object... handlers) throws java.lang.Exception
expr
- expression to evaluatewrap
- whether to wrap expression in JavaExecutehandlers
- handlers to take care of responsesjava.lang.Exception
- if ML raises an exceptionpublic java.lang.String evaluate(java.lang.String expr, java.lang.Object... handlers) throws java.lang.Exception
expr
- expression to evaluatehandlers
- handlers to take care of responsesjava.lang.Exception
- if ML raises an exceptionpublic org.cpntools.accesscpn.engine.highlevel.instance.Instance<? extends org.cpntools.accesscpn.model.Transition> execute() throws java.lang.Exception
java.lang.Exception
public boolean execute(org.cpntools.accesscpn.engine.highlevel.instance.Binding binding) throws java.io.IOException
binding
- java.io.IOException
public boolean execute(org.cpntools.accesscpn.engine.highlevel.instance.Instance<? extends org.cpntools.accesscpn.model.Transition> ti) throws java.lang.Exception
ti
- the transition instance to executejava.lang.Exception
- on error; if IOException communication failed, if plain
Exception an exception was rasied on the ML sidepublic java.lang.String execute(int amount) throws java.lang.Exception
amount
- number of additional steps to executejava.lang.Exception
- on error; if IOException communication failed, if plain
Exception an exception was rasied on the ML sidepublic org.cpntools.accesscpn.engine.highlevel.instance.Instance<? extends org.cpntools.accesscpn.model.Transition> execute(java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.Instance<org.cpntools.accesscpn.model.Transition>> tis) throws java.lang.Exception
tis
- the list of transition instance to executejava.lang.Exception
- on error; if IOException communication failed, if plain
Exception an exception was rasied on the ML sidepublic org.cpntools.accesscpn.engine.highlevel.instance.Binding executeAndGet() throws java.lang.Exception
java.lang.Exception
public org.cpntools.accesscpn.engine.highlevel.instance.Binding executeAndGet(org.cpntools.accesscpn.engine.highlevel.instance.Instance<org.cpntools.accesscpn.model.Transition> ti) throws java.io.IOException
ti
- java.io.IOException
public org.cpntools.accesscpn.engine.highlevel.instance.Binding executeAndGet(java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.Instance<org.cpntools.accesscpn.model.Transition>> tis) throws java.lang.Exception
tis
- the list of transition instance to executejava.lang.Exception
- on error; if IOException communication failed, if plain
Exception an exception was rasied on the ML sidepublic org.cpntools.accesscpn.engine.highlevel.instance.Binding executeAnyGetWhich(java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.Binding> bindings) throws java.lang.Exception
bindings
- the list of bindings to executejava.lang.Exception
- on error; if IOException communication failed, if plain
Exception an exception was rasied on the ML sidepublic void generateInstanceForFusionGroup(java.lang.String id) throws java.io.IOException
id
- id of fusion groupjava.io.IOException
- if an IO error occurredpublic void generateInstanceForPlace(java.lang.String id) throws java.io.IOException
id
- id of the placejava.io.IOException
- if an IO error occurredpublic void generateInstanceForTransition(java.lang.String id) throws java.io.IOException
id
- id of the transitionjava.io.IOException
- if an IO error occurredpublic java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.Instance<org.cpntools.accesscpn.model.PlaceNode>> getAllPlaceInstances() throws java.lang.Exception
java.lang.Exception
- if no Petrinet is associated with this simulatorpublic java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.Instance<org.cpntools.accesscpn.model.Place>> getAllRealPlaceInstances() throws java.lang.Exception
java.lang.Exception
- if no Petrinet is associated with this simulatorpublic java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.Instance<org.cpntools.accesscpn.model.Transition>> getAllTransitionInstances() throws java.lang.Exception
java.lang.Exception
- if no Petrinet is associated with this simulatorpublic java.lang.String getBanner()
public java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.Binding> getBindings(org.cpntools.accesscpn.engine.highlevel.instance.Instance<? extends org.cpntools.accesscpn.model.Transition> ti)
ti
- public org.cpntools.accesscpn.engine.highlevel.instance.State getMarking() throws java.lang.Exception
java.lang.Exception
public org.cpntools.accesscpn.engine.highlevel.instance.State getMarking(boolean copies) throws java.lang.Exception
copies
- java.lang.Exception
public org.cpntools.accesscpn.engine.highlevel.instance.State getMarking(java.util.Collection<? extends org.cpntools.accesscpn.engine.highlevel.instance.Instance<? extends org.cpntools.accesscpn.model.PlaceNode>> pis) throws java.lang.Exception
pis
- java.lang.Exception
public java.lang.String getMarking(org.cpntools.accesscpn.engine.highlevel.instance.Instance<org.cpntools.accesscpn.model.PlaceNode> pi) throws java.lang.Exception
pi
- java.lang.Exception
- if ML returns an errorpublic int getTokens(org.cpntools.accesscpn.engine.highlevel.instance.Instance<org.cpntools.accesscpn.model.PlaceNode> pi) throws java.lang.Exception
java.lang.Exception
public org.cpntools.accesscpn.engine.Simulator getSimulator()
public java.math.BigInteger getStep() throws java.io.IOException
java.io.IOException
- on errorpublic java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.cpnvalues.CPNValue> getStructuredMarking(org.cpntools.accesscpn.engine.highlevel.instance.Instance<org.cpntools.accesscpn.model.PlaceNode> pi) throws java.lang.Exception
pi
- java.lang.Exception
public java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.cpnvalues.CPNValue> getStructuredMarking(org.cpntools.accesscpn.engine.highlevel.instance.Marking marking) throws java.lang.Exception
java.lang.Exception
- if ML returns an errorpublic java.util.Map<org.cpntools.accesscpn.engine.highlevel.instance.Instance<? extends org.cpntools.accesscpn.model.PlaceNode>,java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.cpnvalues.CPNValue>> getStructuredMarking(org.cpntools.accesscpn.engine.highlevel.instance.State state, java.util.Map<java.lang.String,java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.cpnvalues.CPNValue>> mscache) throws java.lang.Exception
java.lang.Exception
public java.util.Map<org.cpntools.accesscpn.engine.highlevel.instance.Instance<? extends org.cpntools.accesscpn.model.PlaceNode>,java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.cpnvalues.CPNValue>> getStructuredMarking(org.cpntools.accesscpn.engine.highlevel.instance.State state) throws java.lang.Exception
state
- java.lang.Exception
public java.lang.String getTime() throws java.io.IOException
java.io.IOException
- on errorpublic java.lang.String increaseTime() throws java.io.IOException
java.io.IOException
public void initialiseSimulationScheduler() throws java.io.IOException
java.io.IOException
- if an IO error occurredpublic void initialize(org.cpntools.accesscpn.model.TimeType timeType) throws java.io.IOException
timetype
- java.io.IOException
- if an IO error occurredpublic void initializeSyntaxCheck() throws java.io.IOException
java.io.IOException
- if an IO error occurredpublic void initialState() throws java.io.IOException
java.io.IOException
- on errorpublic boolean isAdapterForType(java.lang.Object type)
isAdapterForType
in interface org.eclipse.emf.common.notify.Adapter
isAdapterForType
in class org.eclipse.emf.common.notify.impl.AdapterImpl
AdapterImpl.isAdapterForType(java.lang.Object)
public java.util.List<org.cpntools.accesscpn.engine.highlevel.instance.Instance<? extends org.cpntools.accesscpn.model.Transition>> isEnabled(java.util.Collection<? extends org.cpntools.accesscpn.engine.highlevel.instance.Instance<? extends org.cpntools.accesscpn.model.Transition>> tis) throws java.io.IOException
tis
- list of transition instances to check enabledness forjava.io.IOException
- on errorpublic boolean isEnabled(org.cpntools.accesscpn.engine.highlevel.instance.Instance<? extends org.cpntools.accesscpn.model.Transition> ti) throws java.io.IOException
ti
- the transition instance to check enabledness forjava.io.IOException
- on errorpublic void lock()
public void rebind(org.cpntools.accesscpn.engine.highlevel.instance.Binding oldBinding, org.cpntools.accesscpn.engine.highlevel.instance.Binding newBinding) throws java.lang.Exception
oldBinding
- newBinding
- java.lang.Exception
public void refreshViews() throws java.io.IOException, java.lang.Exception
java.lang.Exception
java.io.IOException
public void refreshViews(java.lang.String time, java.math.BigInteger step) throws java.lang.Exception
java.lang.Exception
public void release()
public void removeHandler(java.lang.Object... handlers)
handlers
- handler to removepublic void rollBack(org.cpntools.accesscpn.engine.highlevel.instance.Binding binding) throws java.lang.Exception
binding
- java.lang.Exception
public void saveSimulationReport(java.io.File file) throws java.io.IOException
file
- file to save report to.java.io.IOException
- on errorpublic void saveSimulationReport(java.lang.String file) throws java.io.IOException
file
- java.io.IOException
public org.cpntools.accesscpn.engine.protocol.Packet send(org.cpntools.accesscpn.engine.protocol.Packet p) throws java.io.IOException
p
- packet to sendjava.io.IOException
- if an IO error occurredpublic void setInitializationSimulationOptions(boolean resetRan, boolean resetRef, int randomSeed) throws java.io.IOException
resetRan
- reset random number generatorresetRef
- reset refrandomSeed
- seed for random number generatorjava.io.IOException
- if an IO error occurredpublic boolean setMarking(org.cpntools.accesscpn.engine.highlevel.instance.Instance<? extends org.cpntools.accesscpn.model.PlaceNode> pi, org.cpntools.accesscpn.engine.highlevel.instance.Marking marking) throws java.io.IOException
pi
- marking
- java.io.IOException
public boolean setMarking(org.cpntools.accesscpn.engine.highlevel.instance.Instance<? extends org.cpntools.accesscpn.model.PlaceNode> pi, java.lang.String marking) throws java.io.IOException
pi
- place instancemarking
- markingjava.io.IOException
- on errorpublic void setMarking(org.cpntools.accesscpn.engine.highlevel.instance.State state) throws java.io.IOException
state
- java.io.IOException
public void setMarkingFast(org.cpntools.accesscpn.engine.highlevel.instance.State state, org.cpntools.accesscpn.engine.highlevel.instance.State oldState, boolean resetScheduler) throws java.lang.Exception
state
- java.lang.Exception
public void setMarkingFast(org.cpntools.accesscpn.engine.highlevel.instance.State state) throws java.lang.Exception
state
- java.lang.Exception
public void setModelNameModelDirOutputDir(java.lang.String modelName, java.lang.String modelDir, java.lang.String outputDir) throws java.lang.Exception
modelName
- name of modelmodelDir
- directory of model (should be absolute path)outputDir
- output dir (if "" set to modeldir/output)java.lang.Exception
- on error; if Exception something went wrong setting paths
(probably because paths do not exist or are not writable; if
IOException comm errorpublic void setSimulationOptions(boolean pausebefore, boolean pauseafter, boolean pauseshow, boolean reporttrans, boolean reportbinds, boolean showmarking, boolean showenabling, java.lang.String untilstep, java.lang.String addstep, java.lang.String untiltime, java.lang.String addtime, java.lang.String pausecont, java.lang.String reportfunc, boolean fairBE, boolean globalFairness) throws java.io.IOException
pausebefore
- pause before executing transitionpauseafter
- pause after executing transitionpauseshow
- pause before showingreporttrans
- report transitionsreportbinds
- report binding elementsshowmarking
- show markingshowenabling
- show enablinguntilstep
- run until stepaddstep
- run for additional stepsuntiltime
- run until timeaddtime
- run additional time unitspausecont
- pause contreportfunc
- reporting functionjava.io.IOException
- if an IO error occurredpublic void setStopOptions(java.lang.String untilstep, java.lang.String addstep, java.lang.String untiltime, java.lang.String addtime) throws java.io.IOException
java.io.IOException
public void setSimulationReportOptions(boolean reporttrans, boolean reportbinds, java.lang.String reportfunc) throws java.io.IOException
reporttrans
- report transition executionsreportbinds
- report bindingsreportfunc
- function for reportingjava.io.IOException
- on errorpublic void setFairnessOptions(boolean fairBE, boolean globalFairness) throws java.io.IOException
java.io.IOException
- on errorpublic void setSimulatorTime(java.math.BigInteger timeStamp) throws java.io.IOException
timeStamp
- java.io.IOException
public void setTarget(org.eclipse.emf.common.notify.Notifier notifier)
setTarget
in interface org.eclipse.emf.common.notify.Adapter
setTarget
in class org.eclipse.emf.common.notify.impl.AdapterImpl
AdapterImpl.setTarget(org.eclipse.emf.common.notify.Notifier)
public java.lang.String use(java.net.URL file) throws java.lang.Exception
file
- url of file to loadjava.lang.Exception
- on error; if Exception an exception was raised in ML, if
IOException, comm errorprotected void setPetriNet(org.cpntools.accesscpn.model.PetriNet petriNet)
petriNet
- public org.cpntools.accesscpn.model.PetriNet getPetriNet()
public void setPerformanceReportOptions(boolean tavg, boolean tconfidence, boolean tno, boolean tfirst, boolean tlast, boolean tmax, boolean tmin, boolean tss, boolean tssd, boolean tdev, boolean tsum, boolean tvar, boolean tfirsttime, boolean tinterval, boolean tlasttime, boolean avg, boolean confidence, boolean no, boolean first, boolean last, boolean max, boolean min, boolean ss, boolean ssd, boolean dev, boolean sum, boolean var) throws java.io.IOException
tavg
- tconfidence
- tno
- tfirst
- tlast
- tmax
- tmin
- tss
- tssd
- tdev
- tsum
- tvar
- tfirsttime
- tinterval
- tlasttime
- avg
- confidence
- no
- first
- last
- max
- min
- ss
- ssd
- dev
- sum
- var
- java.io.IOException
public void setConfidenceIntervals(int... intervals) throws java.io.IOException
java.io.IOException
public void setReplicationReportOptions(boolean avg, boolean confidence, boolean no, boolean first, boolean last, boolean max, boolean min, boolean ss, boolean ssd, boolean dev, boolean sum, boolean var) throws java.io.IOException
java.io.IOException
public java.lang.String getOutputDir()