FSA

Class Continuation

java.lang.Object

FSA.Continuation

Direct Known Subclasses:

FMAContinuation, PFSAContinuation

public class Continuation
extends java.lang.Object

This class represents a freeze state of the simulator, it is used for backtracking

Author:

Davide Basile

Field Summary

Fields

Modifier and Type	Field and Description
protected int	pointer_state
protected int	pointer_string

Constructor Summary

Constructors

Constructor and Description
Continuation(int pe, int pg, java.util.Vector<Transition> tr) Create a new Continuation

Method Summary

Methods

Modifier and Type	Method and Description
Continuation	cloneWithoutTransition() Clone this continuation, without specifying the transitions
boolean	containTransition(Continuation c, Transition t) Check if the continuation c is equal without transition to this continuation, and if the transition t is contained in this continuation
boolean	equalWithoutTransition(Continuation c) Check if the continuation c has the same pointer state and pointer string of this continuation
int	getPointerState()
int	getPointerString()
java.util.Vector<Transition>	getTransition()
void	setTransition(java.util.Vector<Transition> v) Update the transitions

Methods inherited from class java.lang.Object

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

Field Detail

pointer_state

protected int pointer_state

pointer_string

protected int pointer_string

Constructor Detail

Continuation

public Continuation(int pe,
            int pg,
            java.util.Vector<Transition> tr)

Create a new Continuation

Parameters:

pe - the actual state

pg - pointer to the symbol in input

tr - the possible transitions to be executed

Method Detail

getTransition

public java.util.Vector<Transition> getTransition()

Returns:

the transitions

setTransition

public void setTransition(java.util.Vector<Transition> v)

Update the transitions

Parameters:

v - the new transitions

getPointerState

public int getPointerState()

Returns:

a pointer to a state of the automaton

getPointerString

public int getPointerString()

Returns:

a pointer to the symbol in input

cloneWithoutTransition

public Continuation cloneWithoutTransition()

Clone this continuation, without specifying the transitions

Returns:

a cloned continuation without transitions

equalWithoutTransition

public boolean equalWithoutTransition(Continuation c)

Check if the continuation c has the same pointer state and pointer string of this continuation

Parameters:

c - a continuation to be checked

Returns:

true if this continuation and c are equals without checking the transitions

containTransition

public boolean containTransition(Continuation c,
                        Transition t)

Check if the continuation c is equal without transition to this continuation, and if the transition t is contained in this continuation

Parameters:

c - the continuation to be searched

t - the transition to be checked

Returns:

true if c and this continuation are equals without transition and if this continuation has a transition t