public class ReachabilityGraphSet extends de.uniks.networkparser.list.SimpleSet<ReachabilityGraph>
| Modifier and Type | Field and Description |
|---|---|
static ReachabilityGraphSet |
EMPTY_SET |
| Constructor and Description |
|---|
ReachabilityGraphSet() |
ReachabilityGraphSet(java.util.Collection<ReachabilityGraph> objects) |
ReachabilityGraphSet(ReachabilityGraph... objects) |
| Modifier and Type | Method and Description |
|---|---|
ReachabilityGraphPO |
createReachabilityGraphPO() |
ReachabilityGraphSet |
filterFinalStates(java.lang.Object value)
Loop through the current set of ReachabilityGraph objects and collect all contained objects with reference finalStates pointing to the object passed as parameter.
|
ReachabilityGraphSet |
filterRules(java.lang.Object value)
Loop through the current set of ReachabilityGraph objects and collect all contained objects with reference rules pointing to the object passed as parameter.
|
ReachabilityGraphSet |
filterStates(java.lang.Object value)
Loop through the current set of ReachabilityGraph objects and collect all contained objects with reference states pointing to the object passed as parameter.
|
ReachabilityGraphSet |
filterTodo(java.lang.Object value)
Loop through the current set of ReachabilityGraph objects and collect all contained objects with reference todo pointing to the object passed as parameter.
|
java.lang.String |
getEntryType() |
ReachableStateSet |
getFinalStates()
Loop through the current set of ReachabilityGraph objects and collect a set of the ReachableState objects reached via finalStates.
|
PatternSet |
getRules()
Loop through the current set of ReachabilityGraph objects and collect a set of the Pattern objects reached via rules.
|
ReachableStateSet |
getStates()
Loop through the current set of ReachabilityGraph objects and collect a set of the ReachableState objects reached via states.
|
ReachableStateSet |
getTodo()
Loop through the current set of ReachabilityGraph objects and collect a set of the ReachableState objects reached via todo.
|
protected java.lang.Class<?> |
getTypClass() |
ReachabilityGraphSet |
with(java.lang.Object value) |
ReachabilityGraphSet |
withFinalStates(ReachableState value)
Loop through current set of ModelType objects and attach the ReachabilityGraph object passed as parameter to the FinalStates attribute of each of it.
|
ReachabilityGraphSet |
without(ReachabilityGraph value) |
ReachabilityGraphSet |
withoutFinalStates(ReachableState value)
Loop through current set of ModelType objects and remove the ReachabilityGraph object passed as parameter from the FinalStates attribute of each of it.
|
ReachabilityGraphSet |
withoutRules(Pattern value)
Loop through current set of ModelType objects and remove the ReachabilityGraph object passed as parameter from the Rules attribute of each of it.
|
ReachabilityGraphSet |
withoutStates(ReachableState value)
Loop through current set of ModelType objects and remove the ReachabilityGraph object passed as parameter from the States attribute of each of it.
|
ReachabilityGraphSet |
withoutTodo(ReachableState value)
Loop through current set of ModelType objects and remove the ReachabilityGraph object passed as parameter from the Todo attribute of each of it.
|
ReachabilityGraphSet |
withRules(Pattern value)
Loop through current set of ModelType objects and attach the ReachabilityGraph object passed as parameter to the Rules attribute of each of it.
|
ReachabilityGraphSet |
withStates(ReachableState value)
Loop through current set of ModelType objects and attach the ReachabilityGraph object passed as parameter to the States attribute of each of it.
|
ReachabilityGraphSet |
withTodo(ReachableState value)
Loop through current set of ModelType objects and attach the ReachabilityGraph object passed as parameter to the Todo attribute of each of it.
|
add, add, addAll, addAll, clone, filter, fireProperty, getNewList, instanceOf, intersection, minus, remove, remove, set, subList, toString, toString, union, with, withListenerceiling, copyEntity, equals, filterItems, hashCode, iterator, iterator, iteratorReverse, listIterator, listIterator, subSet, withListaddHashItem, addKeyValue, checkValue, clear, comparator, contains, containsAll, first, flag, get, getByIndex, getKeyByIndex, getPositionKey, getValue, hashKey, hasKeyAndPos, indexOf, init, init, init, isAllowDuplicate, isAllowEmptyValue, isCaseSensitive, isComparator, isEmpty, isReadOnly, isVisible, last, lastIndexOf, move, pack, parseItem, removeAll, removeByIndex, removeByObject, removeItem, reset, retainAll, setAllowEmptyValue, setFlag, setValue, size, toArray, toArray, toString, withAllowDuplicate, withAllowEmptyValue, withCaseSensitive, withFlag, without, withSize, withType, withVisibleequals, finalize, getClass, notify, notifyAll, wait, wait, waitpublic static final ReachabilityGraphSet EMPTY_SET
public ReachabilityGraphSet()
public ReachabilityGraphSet(ReachabilityGraph... objects)
public ReachabilityGraphSet(java.util.Collection<ReachabilityGraph> objects)
protected java.lang.Class<?> getTypClass()
getTypClass in class de.uniks.networkparser.list.AbstractArray<ReachabilityGraph>public ReachabilityGraphPO createReachabilityGraphPO()
public java.lang.String getEntryType()
public ReachabilityGraphSet with(java.lang.Object value)
public ReachabilityGraphSet without(ReachabilityGraph value)
public PatternSet getRules()
public ReachabilityGraphSet filterRules(java.lang.Object value)
value - The object required as rules neighbor of the collected results.public ReachabilityGraphSet withRules(Pattern value)
public ReachabilityGraphSet withoutRules(Pattern value)
public ReachableStateSet getFinalStates()
public ReachabilityGraphSet filterFinalStates(java.lang.Object value)
value - The object required as finalStates neighbor of the collected results.public ReachabilityGraphSet withFinalStates(ReachableState value)
public ReachabilityGraphSet withoutFinalStates(ReachableState value)
public ReachableStateSet getStates()
public ReachabilityGraphSet filterStates(java.lang.Object value)
value - The object required as states neighbor of the collected results.public ReachabilityGraphSet withStates(ReachableState value)
public ReachabilityGraphSet withoutStates(ReachableState value)
public ReachableStateSet getTodo()
public ReachabilityGraphSet filterTodo(java.lang.Object value)
value - The object required as todo neighbor of the collected results.public ReachabilityGraphSet withTodo(ReachableState value)
public ReachabilityGraphSet withoutTodo(ReachableState value)