PFSA

Class PFSAContinuation

java.lang.Object

FSA.Continuation

PFSA.PFSAContinuation

public class PFSAContinuation
extends Continuation

Extends Continuation by adding stack and registers.

Author:

Davide Basile

Field Summary

Fields inherited from class FSA.Continuation

pointer_state, pointer_string

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
Continuation	cloneWithoutTransition() Clone this continuation without the transitions
java.util.Vector[]	copyStReg()
boolean	equalWithoutTransition(Continuation c) Check if this transition is equal to c without checking the transitions
java.util.Vector[]	getStReg()

Methods inherited from class FSA.Continuation

containTransition, getPointerState, getPointerString, getTransition, setTransition

Methods inherited from class java.lang.Object

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

Constructor Detail

PFSAContinuation

public PFSAContinuation(int pe,
                int pg,
                java.util.Vector<Transition> tr,
                java.util.Vector[] streg)

Create a new PFSA Continuation

Parameters:

pe - a pointer to a state of the automaton

pg - a pointer to the string in input

tr - the allowed transitions

streg - the stack and registers

Method Detail

getStReg

public java.util.Vector[] getStReg()

Returns:

stack and registers

copyStReg

public java.util.Vector[] copyStReg()

Returns:

a new Vector array initialized with the registers and the stack of this continuation

cloneWithoutTransition

public Continuation cloneWithoutTransition()

Clone this continuation without the transitions

Overrides:

cloneWithoutTransition in class Continuation

Returns:

a cloned continuation without transitions

equalWithoutTransition

public boolean equalWithoutTransition(Continuation c)

Check if this transition is equal to c without checking the transitions

Overrides:

equalWithoutTransition in class Continuation

Parameters:

c - a continuation to be checked

Returns:

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