public class ReachabilityGraph extends java.lang.Object implements PropertyChangeInterface, de.uniks.networkparser.interfaces.SendableEntity
| Modifier and Type | Class and Description |
|---|---|
static class |
ReachabilityGraph.Searchmode |
| Modifier and Type | Field and Description |
|---|---|
protected java.beans.PropertyChangeSupport |
listeners |
static java.lang.String |
PROPERTY_FINALSTATES
one many
ReachabilityGraph ----------------------------------- ReachableState
reachabilitygraph finalStates
|
static java.lang.String |
PROPERTY_RULES
one many
ReachabilityGraph ----------------------------------- Pattern
rgraph rules
|
static java.lang.String |
PROPERTY_STATES
one many
ReachabilityGraph ----------------------------------- ReachableState
parent states
|
static java.lang.String |
PROPERTY_TODO
one many
ReachabilityGraph ----------------------------------- ReachableState
master todo
|
| Constructor and Description |
|---|
ReachabilityGraph() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
addPropertyChangeListener(java.beans.PropertyChangeListener listener) |
boolean |
addPropertyChangeListener(java.lang.String propertyName,
java.beans.PropertyChangeListener listener)
Adds the property change listener.
|
boolean |
addToRules(Pattern value) |
boolean |
addToRules(PatternObject po) |
boolean |
addToStates(ReachableState value) |
boolean |
addToTodo(ReachableState value) |
ReachableState |
createFinalStates() |
NegativeApplicationCondition |
createNegativeApplicationCondition() |
OptionalSubPattern |
createOptionalSubPattern() |
Pattern |
createRules() |
Pattern |
createRulesNegativeApplicationCondition() |
Pattern |
createRulesOptionalSubPattern() |
ReachableState |
createStates() |
ReachableState |
createTodo() |
java.lang.String |
dumpDiagram(java.lang.String name) |
long |
explore() |
long |
explore(long maxNoOfNewStates,
ReachabilityGraph.Searchmode mode) |
long |
exploreParallel() |
boolean |
firePropertyChange(java.lang.String propertyName,
java.lang.Object oldValue,
java.lang.Object newValue) |
GuiAdapter |
getAdapter() |
ReachableStateSet |
getFinalStates() |
de.uniks.networkparser.IdMap |
getMasterMap() |
Pattern |
getMyRuleCopy(Pattern rule) |
java.beans.PropertyChangeSupport |
getPropertyChangeSupport()
Get the propertyChangeSupport attribute of the PropertyChangeInterface
object
|
PatternSet |
getRules() |
ReachableStateSet |
getStateMap(java.lang.String certificate) |
ReachableStateSet |
getStates() |
java.util.concurrent.BlockingQueue<ReachableState> |
getTodo() |
void |
lookUpForEndStates() |
boolean |
match(ReachableState s1,
de.uniks.networkparser.json.JsonArray ja1,
java.util.LinkedHashMap<java.lang.String,de.uniks.networkparser.json.JsonObject> joMap1,
ReachableState s2,
de.uniks.networkparser.json.JsonArray ja2,
java.util.LinkedHashMap<java.lang.String,de.uniks.networkparser.json.JsonObject> joMap2,
java.lang.String cn1,
java.util.LinkedHashMap<java.lang.String,java.lang.String> fwdmapping,
java.util.LinkedHashMap<java.lang.String,java.lang.String> bwdmapping) |
java.util.LinkedHashMap<java.lang.String,java.lang.String> |
match(ReachableState s1,
ReachableState s2) |
void |
removeAllFromRules() |
void |
removeAllFromStates() |
void |
removeAllFromTodo() |
boolean |
removeFromRules(Pattern value) |
boolean |
removeFromStates(ReachableState value) |
boolean |
removeFromTodo(ReachableState value) |
boolean |
removePropertyChangeListener(java.beans.PropertyChangeListener listener) |
boolean |
removePropertyChangeListener(java.lang.String property,
java.beans.PropertyChangeListener listener) |
void |
removeYou() |
void |
setMasterMap(de.uniks.networkparser.IdMap newMasterMap) |
void |
setMetric(Metric metric) |
void |
verify(Pattern... pattern) |
boolean |
verifyPath(Pattern pattern) |
ReachabilityGraph |
withFinalStates(ReachableState... value) |
ReachabilityGraph |
withMasterMap(de.uniks.networkparser.IdMap map) |
ReachabilityGraph |
withoutFinalStates(ReachableState... value) |
ReachabilityGraph |
withoutRules(Pattern... value) |
ReachabilityGraph |
withoutRules(Pattern value) |
ReachabilityGraph |
withoutStates(ReachableState... value) |
ReachabilityGraph |
withoutStates(ReachableState value) |
ReachabilityGraph |
withoutTodo(ReachableState... value) |
ReachabilityGraph |
withoutTodo(ReachableState value) |
ReachabilityGraph |
withRules(Pattern... value) |
ReachabilityGraph |
withRules(Pattern value) |
ReachabilityGraph |
withStateMap(java.lang.String certificate,
ReachableState newState) |
ReachabilityGraph |
withStates(ReachableState... value) |
ReachabilityGraph |
withStates(ReachableState value) |
ReachabilityGraph |
withTodo(ReachableState... value) |
ReachabilityGraph |
withTodo(ReachableState value) |
protected java.beans.PropertyChangeSupport listeners
public static final java.lang.String PROPERTY_FINALSTATES
one many
ReachabilityGraph ----------------------------------- ReachableState
reachabilitygraph finalStates
public static final java.lang.String PROPERTY_STATES
one many
ReachabilityGraph ----------------------------------- ReachableState
parent states
public static final java.lang.String PROPERTY_TODO
one many
ReachabilityGraph ----------------------------------- ReachableState
master todo
public static final java.lang.String PROPERTY_RULES
one many
ReachabilityGraph ----------------------------------- Pattern
rgraph rules
public java.lang.String dumpDiagram(java.lang.String name)
public void setMetric(Metric metric)
public GuiAdapter getAdapter()
public java.beans.PropertyChangeSupport getPropertyChangeSupport()
PropertyChangeInterfacegetPropertyChangeSupport in interface PropertyChangeInterfacepublic boolean addPropertyChangeListener(java.beans.PropertyChangeListener listener)
addPropertyChangeListener in interface de.uniks.networkparser.interfaces.SendableEntitypublic boolean addPropertyChangeListener(java.lang.String propertyName,
java.beans.PropertyChangeListener listener)
de.uniks.networkparser.interfaces.SendableEntityaddPropertyChangeListener in interface de.uniks.networkparser.interfaces.SendableEntitypropertyName - the property namelistener - the listenerpublic boolean removePropertyChangeListener(java.beans.PropertyChangeListener listener)
removePropertyChangeListener in interface de.uniks.networkparser.interfaces.SendableEntitypublic boolean removePropertyChangeListener(java.lang.String property,
java.beans.PropertyChangeListener listener)
removePropertyChangeListener in interface de.uniks.networkparser.interfaces.SendableEntitypublic void removeYou()
public ReachableStateSet getFinalStates()
public ReachabilityGraph withFinalStates(ReachableState... value)
public ReachabilityGraph withoutFinalStates(ReachableState... value)
public ReachableState createFinalStates()
public ReachabilityGraph withStateMap(java.lang.String certificate, ReachableState newState)
public ReachableStateSet getStateMap(java.lang.String certificate)
public ReachableStateSet getStates()
public boolean addToStates(ReachableState value)
public boolean removeFromStates(ReachableState value)
public ReachabilityGraph withStates(ReachableState value)
public ReachabilityGraph withoutStates(ReachableState value)
public void removeAllFromStates()
public ReachableState createStates()
public java.util.concurrent.BlockingQueue<ReachableState> getTodo()
public boolean addToTodo(ReachableState value)
public boolean removeFromTodo(ReachableState value)
public ReachabilityGraph withTodo(ReachableState value)
public ReachabilityGraph withoutTodo(ReachableState value)
public void removeAllFromTodo()
public ReachableState createTodo()
public PatternSet getRules()
public boolean addToRules(PatternObject po)
public boolean addToRules(Pattern value)
public boolean removeFromRules(Pattern value)
public ReachabilityGraph withRules(Pattern value)
public ReachabilityGraph withoutRules(Pattern value)
public void removeAllFromRules()
public Pattern createRules()
public long explore()
public long explore(long maxNoOfNewStates,
ReachabilityGraph.Searchmode mode)
public long exploreParallel()
public java.util.LinkedHashMap<java.lang.String,java.lang.String> match(ReachableState s1, ReachableState s2)
public boolean match(ReachableState s1, de.uniks.networkparser.json.JsonArray ja1, java.util.LinkedHashMap<java.lang.String,de.uniks.networkparser.json.JsonObject> joMap1, ReachableState s2, de.uniks.networkparser.json.JsonArray ja2, java.util.LinkedHashMap<java.lang.String,de.uniks.networkparser.json.JsonObject> joMap2, java.lang.String cn1, java.util.LinkedHashMap<java.lang.String,java.lang.String> fwdmapping, java.util.LinkedHashMap<java.lang.String,java.lang.String> bwdmapping)
public de.uniks.networkparser.IdMap getMasterMap()
public void setMasterMap(de.uniks.networkparser.IdMap newMasterMap)
public ReachabilityGraph withMasterMap(de.uniks.networkparser.IdMap map)
public ReachabilityGraph withStates(ReachableState... value)
public ReachabilityGraph withoutStates(ReachableState... value)
public ReachabilityGraph withTodo(ReachableState... value)
public ReachabilityGraph withoutTodo(ReachableState... value)
public ReachabilityGraph withRules(Pattern... value)
public ReachabilityGraph withoutRules(Pattern... value)
public Pattern createRulesNegativeApplicationCondition()
public Pattern createRulesOptionalSubPattern()
public NegativeApplicationCondition createNegativeApplicationCondition()
public OptionalSubPattern createOptionalSubPattern()
public void verify(Pattern... pattern)
pattern - with concrete object model rootpublic boolean verifyPath(Pattern pattern)
pattern - with ReachabilityGraph as rootpublic void lookUpForEndStates()
public boolean firePropertyChange(java.lang.String propertyName,
java.lang.Object oldValue,
java.lang.Object newValue)