roneditor.ronview.model
Class RONModelUtil
java.lang.Object
roneditor.ronview.model.RONModelUtil
public class RONModelUtil
- extends java.lang.Object
in dieser Klasse werden hilfsmethoden implementiert, die auf das RONModell
zugreifen.
Method Summary |
static java.util.Vector<ronmodel.ObjectNet> |
getActiveObjectNets(ronmodel.HLPlace hlPlace)
|
static ronmodel.HLArc |
getHLArc(ronmodel.HLNode source,
ronmodel.HLNode target)
|
static ronmodel.Token |
getRandomToken(ronmodel.HLPlace place)
|
static java.util.Collection<ronmodel.Token> |
getSelectedTokens(ronmodel.HLPlace hlPlace)
|
static java.util.Collection<ronmodel.HLPlace> |
getSourceNetPlaces(ronmodel.HLTransition transition)
|
static java.util.Collection<ronmodel.HLPlace> |
getSourceRulePlaces(ronmodel.HLTransition transition)
|
static java.util.Collection<ronmodel.HLPlace> |
getTargetNetPlaces(ronmodel.HLTransition transition)
|
static java.util.Collection<ronmodel.HLPlace> |
getTargetRulePlaces(ronmodel.HLTransition transition)
|
static java.util.Collection<ronmodel.ObjectNet> |
split(ronmodel.ObjectNet objectNet)
|
static ronmodel.ObjectNet |
union(java.util.Collection<ronmodel.Token> objectNets)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
RONModelUtil
public RONModelUtil()
getHLArc
public static ronmodel.HLArc getHLArc(ronmodel.HLNode source,
ronmodel.HLNode target)
- Parameters:
source
- the sourceNode
target
- the targetNode
- Returns:
HLArc
from source->target or null
getSourceNetPlaces
public static java.util.Collection<ronmodel.HLPlace> getSourceNetPlaces(ronmodel.HLTransition transition)
- Parameters:
transition
- the HLTransition
- Returns:
- alle ObjectNetPlaces im Vorbereich
getSourceRulePlaces
public static java.util.Collection<ronmodel.HLPlace> getSourceRulePlaces(ronmodel.HLTransition transition)
- Parameters:
transition
- the HLTransition
- Returns:
- alle RulePlaces im Vorbereich
getTargetNetPlaces
public static java.util.Collection<ronmodel.HLPlace> getTargetNetPlaces(ronmodel.HLTransition transition)
- Parameters:
transition
- the HLTransition
- Returns:
- alle ObjectNetPlaces im Nachbereich
getTargetRulePlaces
public static java.util.Collection<ronmodel.HLPlace> getTargetRulePlaces(ronmodel.HLTransition transition)
- Parameters:
transition
- the HLTransition
- Returns:
- alle RulePlaces im Nachbereich
getRandomToken
public static ronmodel.Token getRandomToken(ronmodel.HLPlace place)
- Parameters:
place
- the place
- Returns:
- random Token from this place
union
public static ronmodel.ObjectNet union(java.util.Collection<ronmodel.Token> objectNets)
- Parameters:
objectNets
- ObjectNets die vereinigt werden
- Returns:
- ergebnis ObjectNet nach der Vereinigung
getActiveObjectNets
public static java.util.Vector<ronmodel.ObjectNet> getActiveObjectNets(ronmodel.HLPlace hlPlace)
- Parameters:
hlPlace
- the HLPlace
- Returns:
- alle ObjectNets, die mindestens eine aktive Transition haben
split
public static java.util.Collection<ronmodel.ObjectNet> split(ronmodel.ObjectNet objectNet)
- Parameters:
objectNet
- the ObjectNet
- Returns:
- ergebnis ObjectNets nach dem Split
getSelectedTokens
public static java.util.Collection<ronmodel.Token> getSelectedTokens(ronmodel.HLPlace hlPlace)
- Parameters:
hlPlace
- the HLPlace
- Returns:
- alle selektierte Tokens aus hlPlace