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

Packages that use Action

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.module.backtrack	Provides types and factories for "undo" operations.
edu.ksu.cis.projects.bogor.parser	Provides parser for Bogor input language.

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

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

void	LocalVariablesCollector.collectDefLocalVar(Action a, Set<String> s)
void	LocalVariablesCollector.collectUseLocalVars(Action a, Set<String> s)

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

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

class	AssertAction Assert action AST.
class	AssignAction Assign action AST.
class	AssumeAction Assume action AST.
class	ExitThreadAction Assert action AST.
class	ExpAction Exp action AST.
class	InvokeAction Node for stand-alone function invocation used in high-level BIR.
class	LockAction Lock action AST.
class	PrintAction Print action AST.
class	ThrowAction Throw action AST.

Fields in edu.ksu.cis.projects.bogor.ast declared as Action

protected Action	ActionStatement.action Holds the action.
protected Action	AtomicActionStatement.action Holds the action.

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

abstract Action	Action.clone() Clones this object (deep clone); including location info.
Action	ActionStatement.getAction() Gets the action.
Action	AtomicActionStatement.getAction() Gets the action.
Action	BlockTransformation.getAction(int index) Gets an action at a specified index.

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

void	ActionStatement.setAction(Action action) Sets the action.
void	AtomicActionStatement.setAction(Action action) Sets the action.

Method parameters in edu.ksu.cis.projects.bogor.ast with type arguments of type Action

void	BlockTransformation.setActions(List<? extends Action> newActions) Sets the actions.

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

ActionStatement(Action action)
Default constructor.

AtomicActionStatement(Action action)
Default constructor.

Constructor parameters in edu.ksu.cis.projects.bogor.ast with type arguments of type Action

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.

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

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

IArrayElementBacktrackingInfo	IBacktrackingInfoFactory.createArrayElementBacktrackingInfo(int stateId, int threadId, Action action, IArrayValue arrayValue, int elementIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
IEndStateBacktrackingInfo	IBacktrackingInfoFactory.createEndStateBacktrackingInfo(int stateId, int threadId, Action action, ISchedulingStrategyInfo ssi)
IExitThreadBacktrackingInfo	IBacktrackingInfoFactory.createExitThreadBacktrackingInfo(int stateId, int threadId, Action action, int[] threadLocationStack, int[] threadTransformationIndexStack, IValueArray[] threadLocalValuesStack, ISchedulingStrategyInfo ssi)
IFieldBacktrackingInfo	IBacktrackingInfoFactory.createFieldBacktrackingInfo(int stateId, int threadId, Action action, IRecordValue arrayOrRecordValue, int fieldIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
IGlobalBacktrackingInfo	IBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
ILockBacktrackingInfo	IBacktrackingInfoFactory.createLockBacktrackingInfo(int stateId, int threadId, Action action, LockOp lockOp, ILockValue lockValue, int owner, int lockCounter, int[] waiting, int[] notification, int oldLockCount, int notifiedThreadId, ISchedulingStrategyInfo ssi)
INoChangeBacktrackingInfo	IBacktrackingInfoFactory.createNoChangeBacktrackingInfo(int stateId, int threadId, Action action, ISchedulingStrategyInfo ssi)
IStartThreadBacktrackingInfo	IBacktrackingInfoFactory.createStartThreadBacktrackingInfo(int stateId, int threadId, int startedThreadId, int oldThreadIdSeed, Action action, ISchedulingStrategyInfo ssi)
void	DefaultCounterExampleWriter.GuidedSearcherProxy.doTransition(int threadId, Transformation t, Action a) [Document Pending]
void	DefaultSearcher.doTransition(int threadId, Transformation t, Action a)
void	ISearcher.doTransition(int threadDesc, Transformation t, Action a) Executes a transformation.
protected void	DefaultSearcher.doTransition(ISchedulingStrategyContext ssc, Transformation t, Action a)
IBacktrackingInfo	DefaultActionTaker.takeAction(ISchedulingStrategyContext ssc, Action a)
IBacktrackingInfo	IActionTaker.takeAction(ISchedulingStrategyContext ssc, Action a)
IBacktrackingInfo[]	DefaultTransformer.transform(ISchedulingStrategyContext ssc, BlockTransformation t, Action a)
IBacktrackingInfo[]	ITransformer.transform(ISchedulingStrategyContext ssc, BlockTransformation t, Action a)

Uses of Action in edu.ksu.cis.projects.bogor.module.backtrack

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

IArrayElementBacktrackingInfo	DefaultBacktrackingInfoFactory.createArrayElementBacktrackingInfo(int stateId, int threadId, Action action, IArrayValue arrayValue, int elementIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
IEndStateBacktrackingInfo	DefaultBacktrackingInfoFactory.createEndStateBacktrackingInfo(int stateId, int threadId, Action a, ISchedulingStrategyInfo ssi)
IExitThreadBacktrackingInfo	DefaultBacktrackingInfoFactory.createExitThreadBacktrackingInfo(int stateId, int threadId, Action action, int[] threadLocationStack, int[] threadTransformationIndexStack, IValueArray[] threadLocalValuesStack, ISchedulingStrategyInfo ssi)
IFieldBacktrackingInfo	DefaultBacktrackingInfoFactory.createFieldBacktrackingInfo(int stateId, int threadId, Action action, IRecordValue arrayOrRecordValue, int fieldIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
IGlobalBacktrackingInfo	DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, IDoubleValue oldValue, ISchedulingStrategyInfo ssi)
IGlobalBacktrackingInfo	DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, IFloatValue oldValue, ISchedulingStrategyInfo ssi)
IGlobalBacktrackingInfo	DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, IIntValue oldValue, ISchedulingStrategyInfo ssi)
IGlobalBacktrackingInfo	DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, ILongValue oldValue, ISchedulingStrategyInfo ssi)
IGlobalBacktrackingInfo	DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, INonPrimitiveValue oldValue, ISchedulingStrategyInfo ssi)
IGlobalBacktrackingInfo	DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, IPrimitiveExtValue oldValue, ISchedulingStrategyInfo ssi)
IGlobalBacktrackingInfo	DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
ILockBacktrackingInfo	DefaultBacktrackingInfoFactory.createLockBacktrackingInfo(int stateId, int threadId, Action action, LockOp lockOp, ILockValue lockValue, int owner, int lockCounter, int[] waiting, int[] notification, int oldLockCount, int notifiedThreadId, ISchedulingStrategyInfo ssi)
INoChangeBacktrackingInfo	DefaultBacktrackingInfoFactory.createNoChangeBacktrackingInfo(int stateId, int threadId, Action action, ISchedulingStrategyInfo ssi)
IStartThreadBacktrackingInfo	DefaultBacktrackingInfoFactory.createStartThreadBacktrackingInfo(int stateId, int threadId, int startedThreadId, int oldThreadIdSeed, Action action, ISchedulingStrategyInfo ssi)

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

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

Action

BogorParser.Action()