org.sdmlib.models.pattern.util

Class ReachabilityGraphPO

java.lang.Object

org.sdmlib.models.pattern.PatternElement<POC>

org.sdmlib.models.pattern.PatternObject<ReachabilityGraphPO,ReachabilityGraph>

org.sdmlib.models.pattern.util.ReachabilityGraphPO

All Implemented Interfaces:

de.uniks.networkparser.interfaces.SendableEntity, PropertyChangeInterface

public class ReachabilityGraphPO
extends PatternObject<ReachabilityGraphPO,ReachabilityGraph>

Field Summary

Fields inherited from class org.sdmlib.models.pattern.PatternObject

PROPERTY_ATTRCONSTRAINTS, PROPERTY_CANDIDATES, PROPERTY_CARDCONSTRAINTS, PROPERTY_CURRENTMATCH, PROPERTY_DESTROYELEM, PROPERTY_EXCLUDERS, PROPERTY_INCOMMING, PROPERTY_MATCHOTHERTHEN, PROPERTY_OUTGOING

Fields inherited from class org.sdmlib.models.pattern.PatternElement

EMPTY_SET, hasMatch, listeners, PROPERTY_DOALLMATCHES, PROPERTY_HASMATCH, PROPERTY_MODIFIER, PROPERTY_PATTERN, PROPERTY_PATTERNOBJECTNAME

Constructor Summary

Constructors

Constructor and Description
ReachabilityGraphPO()
ReachabilityGraphPO(ReachabilityGraph... hostGraphObject)
ReachabilityGraphPO(java.lang.String modifier)

Method Summary

Modifier and Type	Method and Description
ReachabilityGraphSet	allMatches()
ReachabilityGraphPO	createFinalStatesLink(ReachableStatePO tgt)
ReachabilityGraphPO	createFinalStatesLink(ReachableStatePO tgt, java.lang.String modifier)
ReachableStatePO	createFinalStatesPO()
ReachableStatePO	createFinalStatesPO(java.lang.String modifier)
ReachabilityGraphPO	createRulesLink(PatternPO tgt)
ReachabilityGraphPO	createRulesLink(PatternPO tgt, java.lang.String modifier)
PatternPO	createRulesPO()
PatternPO	createRulesPO(java.lang.String modifier)
ReachabilityGraphPO	createStatesLink(ReachableStatePO tgt)
ReachabilityGraphPO	createStatesLink(ReachableStatePO tgt, java.lang.String modifier)
ReachableStatePO	createStatesPO()
ReachableStatePO	createStatesPO(java.lang.String modifier)
ReachabilityGraphPO	createTodoLink(ReachableStatePO tgt)
ReachabilityGraphPO	createTodoLink(ReachableStatePO tgt, java.lang.String modifier)
ReachableStatePO	createTodoPO()
ReachableStatePO	createTodoPO(java.lang.String modifier)
ReachableStateSet	getFinalStates()
PatternSet	getRules()
ReachableStateSet	getStates()
ReachableStateSet	getTodo()

Methods inherited from class org.sdmlib.models.pattern.PatternObject

addToAttrConstraints, addToCardConstraints, addToExcluders, addToIncomming, addToMatchOtherThen, addToOutgoing, addToPattern, createAttrConstraints, createAttrConstraintsNew, createCondition, createPath, createResultTable, destroy, doAllMatches, endCreate, endDestroy, endNAC, endSubPattern, filterAttr, findNextMatch, getAttrConstraints, getCandidates, getCardConstraints, getCurrentMatch, getDestroyElem, getExcluders, getIncomming, getLHSPatternObjectName, getMatchOtherThen, getOutgoing, has, has, hasLink, hasLinkConstraint, hasLinkConstraint, hasMatchOtherThen, instanceOf, matchAsSet, newInstance, newInstance, nextMatch, rebind, removeAllFromAttrConstraints, removeAllFromCardConstraints, removeAllFromExcluders, removeAllFromIncomming, removeAllFromMatchOtherThen, removeAllFromOutgoing, removeFromAttrConstraints, removeFromCardConstraints, removeFromExcluders, removeFromIncomming, removeFromMatchOtherThen, removeFromOutgoing, removeYou, resetSearch, setCandidates, setCurrentMatch, setDestroyElem, startCreate, startDestroy, startNAC, startSubPattern, toString, withAttrConstraints, withAttrConstraints, withCandidates, withCardConstraints, withCardConstraints, withCurrentMatch, withDestroyElem, withExcluders, withExcluders, withIncomming, withMatchOtherThen, withMatchOtherThen, withoutAttrConstraints, withoutAttrConstraints, withoutCardConstraints, withoutCardConstraints, withoutExcluders, withoutExcluders, withOutgoing, withoutIncomming, withoutMatchOtherThen, withoutMatchOtherThen, withoutOutgoing

Methods inherited from class org.sdmlib.models.pattern.PatternElement

addPropertyChangeListener, addPropertyChangeListener, createPattern, createPatternNew, dumpHostGraphObject, firePropertyChange, getDoAllMatches, getHasMatch, getModifier, getPattern, getPatternObjectName, getPropertyChangeSupport, getTopPattern, isDoAllMatches, isHasMatch, removePropertyChangeListener, removePropertyChangeListener, setDoAllMatches, setHasMatch, setModifier, setPattern, setPatternObjectName, valueSetString, withDoAllMatches, withHasMatch, withModifier, withPattern, withPatternObjectName

Methods inherited from class java.lang.Object

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

Constructor Detail

ReachabilityGraphPO

public ReachabilityGraphPO()

ReachabilityGraphPO

public ReachabilityGraphPO(ReachabilityGraph... hostGraphObject)

ReachabilityGraphPO

public ReachabilityGraphPO(java.lang.String modifier)

Method Detail

allMatches

public ReachabilityGraphSet allMatches()

createRulesPO

public PatternPO createRulesPO()

createRulesPO

public PatternPO createRulesPO(java.lang.String modifier)

createRulesLink

public ReachabilityGraphPO createRulesLink(PatternPO tgt)

createRulesLink

public ReachabilityGraphPO createRulesLink(PatternPO tgt,
                                           java.lang.String modifier)

getRules

public PatternSet getRules()

createFinalStatesPO

public ReachableStatePO createFinalStatesPO()

createFinalStatesPO

public ReachableStatePO createFinalStatesPO(java.lang.String modifier)

createFinalStatesLink

public ReachabilityGraphPO createFinalStatesLink(ReachableStatePO tgt)

createFinalStatesLink

public ReachabilityGraphPO createFinalStatesLink(ReachableStatePO tgt,
                                                 java.lang.String modifier)

getFinalStates

public ReachableStateSet getFinalStates()

createStatesPO

public ReachableStatePO createStatesPO()

createStatesPO

public ReachableStatePO createStatesPO(java.lang.String modifier)

createStatesLink

public ReachabilityGraphPO createStatesLink(ReachableStatePO tgt)

createStatesLink

public ReachabilityGraphPO createStatesLink(ReachableStatePO tgt,
                                            java.lang.String modifier)

getStates

public ReachableStateSet getStates()

createTodoPO

public ReachableStatePO createTodoPO()

createTodoPO

public ReachableStatePO createTodoPO(java.lang.String modifier)

createTodoLink

public ReachabilityGraphPO createTodoLink(ReachableStatePO tgt)

createTodoLink

public ReachabilityGraphPO createTodoLink(ReachableStatePO tgt,
                                          java.lang.String modifier)

getTodo

public ReachableStateSet getTodo()