FMA

Class FMASimulator

java.lang.Object

FSA.Simulator

FMA.FMASimulator

public class FMASimulator
extends Simulator

Extends Simulator by adding the registers and change the condition of validity of transitions, and override various methods.

Author:

Davide Basile

Field Summary

Fields inherited from class FSA.Simulator

automa, pointer_state, pointer_string

Constructor Summary

Constructors

Constructor and Description
FMASimulator(FSA automa)

Method Summary

Methods

Modifier and Type	Method and Description
void	changeAutoma(FSA automa) Change the automaton
protected Continuation	createContinuation() Create a new Continuation with the freezed state of the automaton
protected boolean	isValid(Transition tr, int symbol) A transition tr is valid if the symbol is contained in the registers and the label is equal to the index of the register containing the symbol in input; or if the symbol in input is not contained in the registers and the label is equal to the fuction rho in the actual state.
protected void	restoreStateContinuation(Continuation c) restore the state of the simulator with the parameters in the continuation C.
protected void	updateState(Transition tr, int symbol) Update the register of the automaton if the symbol in input is not contained in the register, invoke the method of the superclass for updating the other parameters.

Methods inherited from class FSA.Simulator

backtracking, checkContinuation, contains, contains, run, sideConditions, step

Methods inherited from class java.lang.Object

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

Constructor Detail

FMASimulator

public FMASimulator(FSA automa)

Parameters:

automa - the automaton to simulate

Method Detail

changeAutoma

public void changeAutoma(FSA automa)

Change the automaton

Overrides:

changeAutoma in class Simulator

isValid

protected boolean isValid(Transition tr,
              int symbol)

A transition tr is valid if the symbol is contained in the registers and the label is equal to the index of the register containing the symbol in input; or if the symbol in input is not contained in the registers and the label is equal to the fuction rho in the actual state.

Overrides:

isValid in class Simulator

Parameters:

tr - transition to be performed

symbol - symbol in input

Returns:

true if the transition is valid

updateState

protected void updateState(Transition tr,
               int symbol)

Update the register of the automaton if the symbol in input is not contained in the register, invoke the method of the superclass for updating the other parameters.

Overrides:

updateState in class Simulator

Parameters:

tr - the transition to be performed

symbol - the symbol in input

restoreStateContinuation

protected void restoreStateContinuation(Continuation c)

restore the state of the simulator with the parameters in the continuation C. First invoke the method of the super class and then update the register of the automaton with a copy of the register stored in the continuation.

Overrides:

restoreStateContinuation in class Simulator

Parameters:

c - the continuation to be restored

createContinuation

protected Continuation createContinuation()

Create a new Continuation with the freezed state of the automaton

Overrides:

createContinuation in class Simulator

Returns:

a new Continuation with the actual state of the simulator freezed