org.sdmlib.models.pattern

Class ReachabilityGraph

java.lang.Object

org.sdmlib.models.pattern.ReachabilityGraph

All Implemented Interfaces:

PropertyChangeInterface

public class ReachabilityGraph
extends java.lang.Object
implements PropertyChangeInterface

Field Summary

Fields

Modifier and Type	Field and Description
protected java.beans.PropertyChangeSupport	listeners
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	addToRules(Pattern value)
boolean	addToStates(ReachableState value)
boolean	addToTodo(ReachableState value)
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)
GuiAdapter	getAdapter()
de.uniks.networkparser.json.JsonIdMap	getMasterMap()
java.beans.PropertyChangeSupport	getPropertyChangeSupport() Get the propertyChangeSupport attribute of the PropertyChangeInterface object
PatternSet	getRules()
ReachableStateSet	getStateMap(java.lang.String certificate)
ReachableStateSet	getStates()
ReachableStateSet	getTodo()
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)
void	removeYou()
void	setMasterMap(de.uniks.networkparser.json.JsonIdMap newMasterMap)
ReachabilityGraph	withMasterMap(de.uniks.networkparser.json.JsonIdMap map)
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_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)

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

removeYou

public void removeYou()

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 ReachableStateSet 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(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)

match

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

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.json.JsonIdMap getMasterMap()

setMasterMap

public void setMasterMap(de.uniks.networkparser.json.JsonIdMap newMasterMap)

withMasterMap

public ReachabilityGraph withMasterMap(de.uniks.networkparser.json.JsonIdMap 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()