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()