Uses of Class
edu.ksu.cis.projects.bogor.ast.NextState

Packages that use NextState

edu.ksu.cis.projects.bogor.analyses	Provides for Bogor modules.
edu.ksu.cis.projects.bogor.ast	Provides for Bogor input language AST.
edu.ksu.cis.projects.bogor.module	Provide a generic framework for dataflow analysis on BIR transition systems.
edu.ksu.cis.projects.bogor.parser	Provides parser for Bogor input language.

Uses of NextState in edu.ksu.cis.projects.bogor.analyses

Methods in edu.ksu.cis.projects.bogor.analyses with parameters of type NextState

protected void

LiveVariableAnalysis.analyzeNextState(NextState ns, Set<String> s)

Uses of NextState in edu.ksu.cis.projects.bogor.ast

Subclasses of NextState in edu.ksu.cis.projects.bogor.ast

class	GotoNextState Goto next state AST
class	ReturnNextState Return next state AST

Methods in edu.ksu.cis.projects.bogor.ast that return NextState

abstract NextState	NextState.clone() Clones this object (deep clone); including location info.
NextState	Catch.getNextState() Gets the nextstate
NextState	Transformation.getNextState() Gets the nextstate.

Methods in edu.ksu.cis.projects.bogor.ast with parameters of type NextState

void	Catch.setNextState(NextState newNextState) Sets the nextstate.
void	Transformation.setNextState(NextState newNextState) Sets the nextstate.

Constructors in edu.ksu.cis.projects.bogor.ast with parameters of type NextState

BlockTransformation(boolean invisible, boolean visible, List<? extends Action> actions, NextState nextState)
Default constructor.

BlockTransformation(Exp exp, boolean invisible, boolean visible, List<? extends Action> actions, NextState nextState)
Constructor with expression.

Catch(boolean isLocComplement, String throwableId, String id, List<String> locIds, NextState nextState)
Default constructor.

InvokeTransformation(Exp exp, InvokeExp invokeExp, boolean invisible, boolean visible, NextState nextState)
Constructor with an exp.

InvokeTransformation(Exp exp, String id, InvokeExp invokeExp, boolean invisible, boolean visible, NextState nextState)
Constructor with an exp and a local id.

InvokeTransformation(InvokeExp invokeExp, boolean invisible, boolean visible, NextState nextState)
Default constructor.

InvokeTransformation(String id, InvokeExp invokeExp, boolean invisible, boolean visible, NextState nextState)
Constructor with a local id.

Uses of NextState in edu.ksu.cis.projects.bogor.module

Methods in edu.ksu.cis.projects.bogor.module with parameters of type NextState

protected IBacktrackingInfo[]

DefaultTransformer.transformNextState(NextState ns, Transformation t)

Uses of NextState in edu.ksu.cis.projects.bogor.parser

Methods in edu.ksu.cis.projects.bogor.parser that return NextState

NextState

BogorParser.NextState()