Class AbstractState

java.lang.Object
  |
  +--AbstractState

public abstract class AbstractState

extends java.lang.Object

This class models the reachability graph of a program. The reachability graph is a directed graph that contains all the states of the fault-span of a program. This class is the root of the abstract class hierarchy in the Bridge design pattern.

Since:

Constructor Summary

AbstractState()

Method Summary

abstract void	addInFaultTransition(FaultTransition ft)
abstract void	addInProgramTransition(ProgramTransition pt)
abstract void	addOutFaultTransition(FaultTransition ft)
abstract void	addOutProgramTransition(ProgramTransition pt)
boolean	equals(State s)
int	getStateno()
int	getValue(int i)
abstract boolean	hasOutProgramTransition(ProgramTransition pt)
boolean	is_ms()
abstract boolean	isDeadlocked()
boolean	isInvariant()
void	markInvariant()
abstract void	print(java.lang.String processIndex, java.lang.String actionName, java.util.Vector vList)
abstract java.lang.String[]	printProcess(java.lang.String processIndex)
abstract void	removeInProgramTransition(ProgramTransition pt)
abstract void	removeOutProgramTransition(ProgramTransition pt)
abstract void	resetInFaultTransitions()
abstract void	resetInProgramTransitions()
void	set_ms()
void	setStateno(int n)
void	setValue(int i, int v)
abstract java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractState

public AbstractState()

Method Detail

printProcess

public abstract java.lang.String[] printProcess(java.lang.String processIndex)

toString

public abstract java.lang.String toString()

Overrides:

toString in class java.lang.Object

addOutProgramTransition

public abstract void addOutProgramTransition(ProgramTransition pt)

addInProgramTransition

public abstract void addInProgramTransition(ProgramTransition pt)

addOutFaultTransition

public abstract void addOutFaultTransition(FaultTransition ft)

addInFaultTransition

public abstract void addInFaultTransition(FaultTransition ft)

removeOutProgramTransition

public abstract void removeOutProgramTransition(ProgramTransition pt)

removeInProgramTransition

public abstract void removeInProgramTransition(ProgramTransition pt)

resetInProgramTransitions

public abstract void resetInProgramTransitions()

resetInFaultTransitions

public abstract void resetInFaultTransitions()

hasOutProgramTransition

public abstract boolean hasOutProgramTransition(ProgramTransition pt)

isDeadlocked

public abstract boolean isDeadlocked()

print

public abstract void print(java.lang.String processIndex,
                           java.lang.String actionName,
                           java.util.Vector vList)

getValue

public int getValue(int i)

setValue

public void setValue(int i,
                     int v)

getStateno

public int getStateno()

setStateno

public void setStateno(int n)

markInvariant

public void markInvariant()

isInvariant

public boolean isInvariant()

is_ms

public boolean is_ms()

set_ms

public void set_ms()

equals

public boolean equals(State s)