roneditor.ruleview.model
Class RuleModelUtil
java.lang.Object
roneditor.ruleview.model.RuleModelUtil
public class RuleModelUtil
- extends java.lang.Object
diese Klasse enthält hilfsmethoden, die auf das Modell
zugreifen
Method Summary |
static boolean |
canDelete(ronmodel.Mapping mapping)
|
static boolean |
checkMapping(ronmodel.Mapping mapping)
|
static boolean |
checkMapping(ronmodel.ONTransition t1,
ronmodel.ONTransition t2)
|
static ronmodel.ONArc |
copy(ronmodel.ONArc onArc)
|
static ronmodel.ONNode |
copy(ronmodel.ONNode onNode)
|
static java.util.Set<ronmodel.Mapping> |
getErrorMapping(ronmodel.ONTransition transition)
|
static ronmodel.Mapping |
getIncomingMapping(ronmodel.ONNode target)
|
static ronmodel.Mapping |
getMapping(ronmodel.ONNode source,
ronmodel.ONNode target)
|
static ronmodel.Mapping |
getOutgoingMapping(ronmodel.ONNode source,
ronmodel.Codomain codomain)
|
static java.util.List<ronmodel.ONNode> |
getSourceNodes(java.util.List arcs)
|
static java.util.List<ronmodel.ONNode> |
getTargetNodes(java.util.List arcs)
|
static java.util.Set<ronmodel.ONTransition> |
getTransitions(ronmodel.ONPlace place)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
RuleModelUtil
public RuleModelUtil()
getMapping
public static ronmodel.Mapping getMapping(ronmodel.ONNode source,
ronmodel.ONNode target)
- Returns:
- Mapping zwichwen source und target wenn existiert,
null sonst
getSourceNodes
public static java.util.List<ronmodel.ONNode> getSourceNodes(java.util.List arcs)
- Returns:
- alle
onNodes
, die sources ein gegebene Menge
von arcs
sind
getTargetNodes
public static java.util.List<ronmodel.ONNode> getTargetNodes(java.util.List arcs)
- Returns:
- alle
onNodes
, die targets ein gegebene Menge
von arcs
sind
getIncomingMapping
public static ronmodel.Mapping getIncomingMapping(ronmodel.ONNode target)
- Returns:
- eingehende mapping zum target wenn existiert,
null sonst
getOutgoingMapping
public static ronmodel.Mapping getOutgoingMapping(ronmodel.ONNode source,
ronmodel.Codomain codomain)
- Returns:
- ausgehende mapping vom source zu codomain wenn existiert,
null sonst
getErrorMapping
public static java.util.Set<ronmodel.Mapping> getErrorMapping(ronmodel.ONTransition transition)
- Returns:
- alle mapping für transition, die fehlerhaft sind
copy
public static ronmodel.ONNode copy(ronmodel.ONNode onNode)
- Returns:
- copy von onNode
copy
public static ronmodel.ONArc copy(ronmodel.ONArc onArc)
- Returns:
- copy von onArc
checkMapping
public static boolean checkMapping(ronmodel.ONTransition t1,
ronmodel.ONTransition t2)
- Returns:
- true wenn das Mapping zwischen 2 Transitionen nicht fehlerhaft ist,
false sonst
checkMapping
public static boolean checkMapping(ronmodel.Mapping mapping)
- Returns:
- true wenn das Mapping nicht fehlerhaft ist,
false sonst
canDelete
public static boolean canDelete(ronmodel.Mapping mapping)
- Returns:
- true wenn das Mapping gelöscht werden kann,
false sonst
getTransitions
public static java.util.Set<ronmodel.ONTransition> getTransitions(ronmodel.ONPlace place)