org.sdmlib.models.pattern

Class ReachabilityGraph

java.lang.Object

org.sdmlib.models.pattern.ReachabilityGraph

All Implemented Interfaces:

de.uniks.networkparser.interfaces.SendableEntity, PropertyChangeInterface

public class ReachabilityGraph
extends java.lang.Object
implements PropertyChangeInterface, de.uniks.networkparser.interfaces.SendableEntity

See Also:

PatternModelCodeGen.java

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ReachabilityGraph.Searchmode

Field Summary

Fields

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 Summary

Constructors

Constructor and Description
ReachabilityGraph()

Method Summary

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)

Methods inherited from class java.lang.Object

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

Field Detail

listeners

protected java.beans.PropertyChangeSupport listeners

PROPERTY_FINALSTATES

public static final java.lang.String PROPERTY_FINALSTATES

              one                       many
 ReachabilityGraph ----------------------------------- ReachableState
              reachabilitygraph                   finalStates
 

See Also:

Constant Field Values

PROPERTY_STATES

public static final java.lang.String PROPERTY_STATES

              one                       many
 ReachabilityGraph ----------------------------------- ReachableState
              parent                   states
 

See Also:

Constant Field Values

PROPERTY_TODO

public static final java.lang.String PROPERTY_TODO

              one                       many
 ReachabilityGraph ----------------------------------- ReachableState
              master                   todo
 

See Also:

Constant Field Values

PROPERTY_RULES

public static final java.lang.String PROPERTY_RULES

              one                       many
 ReachabilityGraph ----------------------------------- Pattern
              rgraph                   rules
 

See Also:

Constant Field Values

Constructor Detail

ReachabilityGraph

public ReachabilityGraph()

Method Detail

dumpDiagram

public java.lang.String dumpDiagram(java.lang.String name)

setMetric

public void setMetric(Metric metric)

getAdapter

public GuiAdapter getAdapter()

getPropertyChangeSupport

public java.beans.PropertyChangeSupport getPropertyChangeSupport()

Description copied from interface: PropertyChangeInterface

Get the propertyChangeSupport attribute of the PropertyChangeInterface object

Specified by:

getPropertyChangeSupport in interface PropertyChangeInterface

Returns:

The propertyChangeSupport value

addPropertyChangeListener

public boolean addPropertyChangeListener(java.beans.PropertyChangeListener listener)

Specified by:

addPropertyChangeListener in interface de.uniks.networkparser.interfaces.SendableEntity

addPropertyChangeListener

public boolean addPropertyChangeListener(java.lang.String propertyName,
                                         java.beans.PropertyChangeListener listener)

Description copied from interface: de.uniks.networkparser.interfaces.SendableEntity

Adds the property change listener.

Specified by:

addPropertyChangeListener in interface de.uniks.networkparser.interfaces.SendableEntity

Parameters:

propertyName - the property name

listener - the listener

Returns:

boolean if add the PropertyChangeListener

removePropertyChangeListener

public boolean removePropertyChangeListener(java.beans.PropertyChangeListener listener)

Specified by:

removePropertyChangeListener in interface de.uniks.networkparser.interfaces.SendableEntity

removePropertyChangeListener

public boolean removePropertyChangeListener(java.lang.String property,
                                            java.beans.PropertyChangeListener listener)

Specified by:

removePropertyChangeListener in interface de.uniks.networkparser.interfaces.SendableEntity

removeYou

public void removeYou()

getFinalStates

public ReachableStateSet getFinalStates()

withFinalStates

public ReachabilityGraph withFinalStates(ReachableState... value)

withoutFinalStates

public ReachabilityGraph withoutFinalStates(ReachableState... value)

createFinalStates

public ReachableState createFinalStates()

withStateMap

public ReachabilityGraph withStateMap(java.lang.String certificate,
                                      ReachableState newState)

getStateMap

public ReachableStateSet getStateMap(java.lang.String certificate)

getStates

public ReachableStateSet getStates()

addToStates

public boolean addToStates(ReachableState value)

removeFromStates

public boolean removeFromStates(ReachableState value)

withStates

public ReachabilityGraph withStates(ReachableState value)

withoutStates

public ReachabilityGraph withoutStates(ReachableState value)

removeAllFromStates

public void removeAllFromStates()

createStates

public ReachableState createStates()

getTodo

public java.util.concurrent.BlockingQueue<ReachableState> getTodo()

addToTodo

public boolean addToTodo(ReachableState value)

removeFromTodo

public boolean removeFromTodo(ReachableState value)

withTodo

public ReachabilityGraph withTodo(ReachableState value)

withoutTodo

public ReachabilityGraph withoutTodo(ReachableState value)

removeAllFromTodo

public void removeAllFromTodo()

createTodo

public ReachableState createTodo()

getRules

public PatternSet getRules()

addToRules

public boolean addToRules(PatternObject po)

addToRules

public boolean addToRules(Pattern value)

removeFromRules

public boolean removeFromRules(Pattern value)

withRules

public ReachabilityGraph withRules(Pattern value)

withoutRules

public ReachabilityGraph withoutRules(Pattern value)

removeAllFromRules

public void removeAllFromRules()

createRules

public Pattern createRules()

explore

public long explore()

explore

public long explore(long maxNoOfNewStates,
                    ReachabilityGraph.Searchmode mode)

exploreParallel

public long exploreParallel()

match

public java.util.LinkedHashMap<java.lang.String,java.lang.String> match(ReachableState s1,
                                                                        ReachableState s2)

getMyRuleCopy

public Pattern getMyRuleCopy(Pattern rule)

match

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)

getMasterMap

public de.uniks.networkparser.IdMap getMasterMap()

setMasterMap

public void setMasterMap(de.uniks.networkparser.IdMap newMasterMap)

withMasterMap

public ReachabilityGraph withMasterMap(de.uniks.networkparser.IdMap map)

withStates

public ReachabilityGraph withStates(ReachableState... value)

withoutStates

public ReachabilityGraph withoutStates(ReachableState... value)

withTodo

public ReachabilityGraph withTodo(ReachableState... value)

withoutTodo

public ReachabilityGraph withoutTodo(ReachableState... value)

withRules

public ReachabilityGraph withRules(Pattern... value)

withoutRules

public ReachabilityGraph withoutRules(Pattern... value)

createRulesNegativeApplicationCondition

public Pattern createRulesNegativeApplicationCondition()

createRulesOptionalSubPattern

public Pattern createRulesOptionalSubPattern()

createNegativeApplicationCondition

public NegativeApplicationCondition createNegativeApplicationCondition()

createOptionalSubPattern

public OptionalSubPattern createOptionalSubPattern()

verify

public void verify(Pattern... pattern)

Parameters:

pattern - with concrete object model root

verifyPath

public boolean verifyPath(Pattern pattern)

Parameters:

pattern - with ReachabilityGraph as root

Returns:

true if no match could be found

lookUpForEndStates

public void lookUpForEndStates()

firePropertyChange

public boolean firePropertyChange(java.lang.String propertyName,
                                  java.lang.Object oldValue,
                                  java.lang.Object newValue)