org.sdmlib.models.pattern.util

Class ReachabilityGraphSet

java.lang.Object

de.uniks.networkparser.list.AbstractArray<V>

de.uniks.networkparser.list.AbstractList<V>

de.uniks.networkparser.list.SimpleList<T>

org.sdmlib.models.modelsets.SDMSet<ReachabilityGraph>

org.sdmlib.models.pattern.util.ReachabilityGraphSet

All Implemented Interfaces:

de.uniks.networkparser.interfaces.BaseItem, java.lang.Iterable<ReachabilityGraph>, java.util.Collection<ReachabilityGraph>, java.util.List<ReachabilityGraph>, ModelSet

public class ReachabilityGraphSet
extends SDMSet<ReachabilityGraph>
implements ModelSet

Field Summary

Fields

Modifier and Type	Field and Description
static ReachabilityGraphSet	EMPTY_SET

Fields inherited from class de.uniks.networkparser.list.AbstractArray

ALLOWDUPLICATE, ALLOWEMPTYVALUE, BIDI, BIG_KEY, BIG_VALUE, CASESENSITIVE, DELETED, elements, emptyArray, flag, MAP, MAXDELETED, MAXUSEDLIST, MINHASHINGSIZE, MINSIZE, MINUSEDLIST, READONLY, SIZE_BIG, SMALL_KEY, SMALL_VALUE, VISIBLE

Fields inherited from interface de.uniks.networkparser.interfaces.BaseItem

CRLF

Constructor Summary

Constructors

Constructor and Description
ReachabilityGraphSet()

Method Summary

Modifier and Type	Method and Description
java.lang.String	getEntryType()
PatternSet	getRules()
ReachableStateSet	getStates()
ReachableStateSet	getTodo()
ReachabilityGraphPO	hasReachabilityGraphPO()
ReachabilityGraphPO	startModelPattern()
java.lang.String	toString()
ReachabilityGraphSet	with(java.lang.Object value)
ReachabilityGraphSet	without(ReachabilityGraph value)
ReachabilityGraphSet	withoutRules(Pattern value)
ReachabilityGraphSet	withoutStates(ReachableState value)
ReachabilityGraphSet	withoutTodo(ReachableState value)
ReachabilityGraphSet	withRules(Pattern value)
ReachabilityGraphSet	withStates(ReachableState value)
ReachabilityGraphSet	withTodo(ReachableState value)

Methods inherited from class org.sdmlib.models.modelsets.SDMSet

add, add, cloneIterator, getNewList, has, instanceOf, intersection, iterator, minus, remove, remove, set, union, withReadOnly

Methods inherited from class de.uniks.networkparser.list.SimpleList

clone, subList

Methods inherited from class de.uniks.networkparser.list.AbstractList

addAll, addAll, copyEntity, iteratorReverse, lastIndexOf, listIterator, listIterator, removeItemByObject, subSet, with, withAll, withList

Methods inherited from class de.uniks.networkparser.list.AbstractArray

addFlag, addHashItem, addKey, addKeyValue, checkValue, clear, comparator, contains, containsAll, fireProperty, first, flag, get, getByIndex, getKeyByIndex, getLastPositionKey, getPositionKey, getPositionValue, getSignalFlag, getValueItem, hashKey, hasKey, hasKeyAndPos, indexOf, init, init, init, isAllowDuplicate, isAllowEmptyValue, isCaseSensitive, isComparator, isEmpty, isReadOnly, isVisible, last, lastindexOf, move, pack, removeAll, removeByObject, retainAll, setValue, size, toArray, toArray, withAllowDuplicate, withAllowEmptyValue, withCaseSensitive, withFlag, without, withVisible

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.List

addAll, addAll, clear, contains, containsAll, equals, get, hashCode, indexOf, isEmpty, lastIndexOf, listIterator, listIterator, removeAll, replaceAll, retainAll, size, sort, spliterator, toArray, toArray

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Field Detail

EMPTY_SET

public static final ReachabilityGraphSet EMPTY_SET

Constructor Detail

ReachabilityGraphSet

public ReachabilityGraphSet()

Method Detail

toString

public java.lang.String toString()

Specified by:

toString in interface de.uniks.networkparser.interfaces.BaseItem

Overrides:

toString in class SDMSet<ReachabilityGraph>

getEntryType

public java.lang.String getEntryType()

Specified by:

getEntryType in interface ModelSet

Returns:

classname of entrytype

getStates

public ReachableStateSet getStates()

withStates

public ReachabilityGraphSet withStates(ReachableState value)

withoutStates

public ReachabilityGraphSet withoutStates(ReachableState value)

getTodo

public ReachableStateSet getTodo()

withTodo

public ReachabilityGraphSet withTodo(ReachableState value)

withoutTodo

public ReachabilityGraphSet withoutTodo(ReachableState value)

getRules

public PatternSet getRules()

withRules

public ReachabilityGraphSet withRules(Pattern value)

withoutRules

public ReachabilityGraphSet withoutRules(Pattern value)

startModelPattern

public ReachabilityGraphPO startModelPattern()

with

public ReachabilityGraphSet with(java.lang.Object value)

without

public ReachabilityGraphSet without(ReachabilityGraph value)

hasReachabilityGraphPO

public ReachabilityGraphPO hasReachabilityGraphPO()