org.sdmlib.models.pattern

Class ReachableState

java.lang.Object

org.sdmlib.models.pattern.ReachableState

All Implemented Interfaces:

PropertyChangeInterface

public class ReachableState
extends java.lang.Object
implements PropertyChangeInterface

Field Summary

Fields

Modifier and Type	Field and Description
static ReachableStateSet	EMPTY_SET
protected java.beans.PropertyChangeSupport	listeners
static java.lang.String	PROPERTY_GRAPHROOT
static java.lang.String	PROPERTY_MASTER many one ReachableState ----------------------------------- ReachabilityGraph todo master
static java.lang.String	PROPERTY_NUMBER
static java.lang.String	PROPERTY_PARENT many one ReachableState ----------------------------------- ReachabilityGraph states parent
static java.lang.String	PROPERTY_RESULTOF one many ReachableState ----------------------------------- RuleApplication tgt resultOf
static java.lang.String	PROPERTY_RULEAPPLICATIONS one many ReachableState ----------------------------------- RuleApplication src ruleapplications

Constructor Summary

Constructors

Constructor and Description
ReachableState()

Method Summary

Modifier and Type	Method and Description
boolean	addToResultOf(RuleApplication value)
boolean	addToRuleapplications(RuleApplication value)
java.lang.String	computeCertificate(de.uniks.networkparser.json.JsonIdMap map)
ReachabilityGraph	createMaster()
ReachabilityGraph	createParent()
RuleApplication	createResultOf()
RuleApplication	createRuleapplications()
java.lang.String	getCertificate()
java.lang.Object	getGraphRoot()
ReachabilityGraph	getMaster()
java.util.HashMap<java.lang.String,java.lang.String>	getNode2certificates()
long	getNumber()
ReachabilityGraph	getParent()
java.beans.PropertyChangeSupport	getPropertyChangeSupport() Get the propertyChangeSupport attribute of the PropertyChangeInterface object
RuleApplicationSet	getResultOf()
RuleApplicationSet	getRuleapplications()
void	removeAllFromResultOf()
void	removeAllFromRuleapplications()
boolean	removeFromResultOf(RuleApplication value)
boolean	removeFromRuleapplications(RuleApplication value)
void	removeYou()
void	setCertificate(java.lang.String certificate)
void	setGraphRoot(java.lang.Object value)
boolean	setMaster(ReachabilityGraph value)
void	setNumber(long value)
boolean	setParent(ReachabilityGraph value)
java.lang.String	toString()
ReachableState	withGraphRoot(java.lang.Object value)
ReachableState	withMaster(ReachabilityGraph value)
ReachableState	withNumber(long value)
ReachableState	withoutResultOf(RuleApplication... value)
ReachableState	withoutResultOf(RuleApplication value)
ReachableState	withoutRuleapplications(RuleApplication... value)
ReachableState	withoutRuleapplications(RuleApplication value)
ReachableState	withParent(ReachabilityGraph value)
ReachableState	withResultOf(RuleApplication... value)
ReachableState	withResultOf(RuleApplication value)
ReachableState	withRuleapplications(RuleApplication... value)
ReachableState	withRuleapplications(RuleApplication value)

Methods inherited from class java.lang.Object

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

Field Detail

listeners

protected java.beans.PropertyChangeSupport listeners

EMPTY_SET

public static final ReachableStateSet EMPTY_SET

PROPERTY_PARENT

public static final java.lang.String PROPERTY_PARENT

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

See Also:

Constant Field Values

PROPERTY_MASTER

public static final java.lang.String PROPERTY_MASTER

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

See Also:

Constant Field Values

PROPERTY_GRAPHROOT

public static final java.lang.String PROPERTY_GRAPHROOT

See Also:

Constant Field Values

PROPERTY_NUMBER

public static final java.lang.String PROPERTY_NUMBER

See Also:

Constant Field Values

PROPERTY_RULEAPPLICATIONS

public static final java.lang.String PROPERTY_RULEAPPLICATIONS

              one                       many
 ReachableState ----------------------------------- RuleApplication
              src                   ruleapplications
 

See Also:

Constant Field Values

PROPERTY_RESULTOF

public static final java.lang.String PROPERTY_RESULTOF

              one                       many
 ReachableState ----------------------------------- RuleApplication
              tgt                   resultOf
 

See Also:

Constant Field Values

Constructor Detail

ReachableState

public ReachableState()

Method Detail

getCertificate

public java.lang.String getCertificate()

setCertificate

public void setCertificate(java.lang.String certificate)

computeCertificate

public java.lang.String computeCertificate(de.uniks.networkparser.json.JsonIdMap map)

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

getParent

public ReachabilityGraph getParent()

setParent

public boolean setParent(ReachabilityGraph value)

withParent

public ReachableState withParent(ReachabilityGraph value)

createParent

public ReachabilityGraph createParent()

getNode2certificates

public java.util.HashMap<java.lang.String,java.lang.String> getNode2certificates()

getMaster

public ReachabilityGraph getMaster()

setMaster

public boolean setMaster(ReachabilityGraph value)

withMaster

public ReachableState withMaster(ReachabilityGraph value)

createMaster

public ReachabilityGraph createMaster()

getGraphRoot

public java.lang.Object getGraphRoot()

setGraphRoot

public void setGraphRoot(java.lang.Object value)

withGraphRoot

public ReachableState withGraphRoot(java.lang.Object value)

getNumber

public long getNumber()

setNumber

public void setNumber(long value)

withNumber

public ReachableState withNumber(long value)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getRuleapplications

public RuleApplicationSet getRuleapplications()

addToRuleapplications

public boolean addToRuleapplications(RuleApplication value)

removeFromRuleapplications

public boolean removeFromRuleapplications(RuleApplication value)

withRuleapplications

public ReachableState withRuleapplications(RuleApplication value)

withoutRuleapplications

public ReachableState withoutRuleapplications(RuleApplication value)

removeAllFromRuleapplications

public void removeAllFromRuleapplications()

createRuleapplications

public RuleApplication createRuleapplications()

getResultOf

public RuleApplicationSet getResultOf()

addToResultOf

public boolean addToResultOf(RuleApplication value)

removeFromResultOf

public boolean removeFromResultOf(RuleApplication value)

withResultOf

public ReachableState withResultOf(RuleApplication value)

withoutResultOf

public ReachableState withoutResultOf(RuleApplication value)

removeAllFromResultOf

public void removeAllFromResultOf()

createResultOf

public RuleApplication createResultOf()

withRuleapplications

public ReachableState withRuleapplications(RuleApplication... value)

withoutRuleapplications

public ReachableState withoutRuleapplications(RuleApplication... value)

withResultOf

public ReachableState withResultOf(RuleApplication... value)

withoutResultOf

public ReachableState withoutResultOf(RuleApplication... value)