roneditor.ruleview.model
Class RuleModelUtil

java.lang.Object
  extended by roneditor.ruleview.model.RuleModelUtil

public class RuleModelUtil
extends java.lang.Object

diese Klasse enthält hilfsmethoden, die auf das Modell zugreifen


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

Constructor Detail

RuleModelUtil

public RuleModelUtil()
Method Detail

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)