roneditor.ronview.model
Class RONModelUtil

java.lang.Object
  extended by roneditor.ronview.model.RONModelUtil

public class RONModelUtil
extends java.lang.Object

in dieser Klasse werden hilfsmethoden implementiert, die auf das RONModell zugreifen.


Constructor Summary
RONModelUtil()
           
 
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
 

Constructor Detail

RONModelUtil

public RONModelUtil()
Method Detail

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