Class ReadArc
- java.lang.Object
-
- com.netgrif.application.engine.petrinet.domain.Imported
-
- com.netgrif.application.engine.petrinet.domain.PetriNetObject
-
- com.netgrif.application.engine.petrinet.domain.arcs.Arc
-
- com.netgrif.application.engine.petrinet.domain.arcs.PTArc
-
- com.netgrif.application.engine.petrinet.domain.arcs.ReadArc
-
-
Field Summary
-
Fields inherited from class com.netgrif.application.engine.petrinet.domain.arcs.Arc
destination, destinationId, multiplicity, reference, source, sourceId
-
Fields inherited from class com.netgrif.application.engine.petrinet.domain.PetriNetObject
_id
-
-
Constructor Summary
Constructors Constructor Description ReadArc()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ReadArcclone()voidexecute()Does nothing.booleanisExecutable()Returns true if source place has fewer tokens then arc weight.voidrollbackExecution(java.lang.Integer tokensConsumed)Does nothing.-
Methods inherited from class com.netgrif.application.engine.petrinet.domain.arcs.PTArc
setDestination, setSource
-
Methods inherited from class com.netgrif.application.engine.petrinet.domain.arcs.Arc
getDestination, getPlace, getSource, getTransition, toString
-
Methods inherited from class com.netgrif.application.engine.petrinet.domain.PetriNetObject
getObjectId, getStringId, setObjectId
-
Methods inherited from class com.netgrif.application.engine.petrinet.domain.Imported
getImportId, setImportId
-
-
-
-
Method Detail
-
isExecutable
public boolean isExecutable()
Returns true if source place has fewer tokens then arc weight.- Overrides:
isExecutablein classArc- Returns:
- true if
m(p) ≥ w false otherwise.
-
execute
public void execute()
Does nothing. The token situation on p is not changed by the firing of t, i.e. m'(p) = m(p).
-
rollbackExecution
public void rollbackExecution(java.lang.Integer tokensConsumed)
Does nothing. The token situation on p is not changed by the firing of t, i.e. m'(p) = m(p).- Overrides:
rollbackExecutionin classArc
-
-