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

Packages that use Transformation
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. 
edu.ksu.cis.projects.bogor.symboltable Provides for Bogor symbol table. 
 

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

Subclasses of Transformation in edu.ksu.cis.projects.bogor.ast
 class BlockTransformation
          Block transformation AST.
 class InvokeTransformation
          Invoke transformation AST.
 

Methods in edu.ksu.cis.projects.bogor.ast that return Transformation
abstract  Transformation Transformation.clone()
          Clones this object (deep clone); including location info.
 Transformation Location.getTransformation(int index)
          Gets a transformation at a specified index.
 

Method parameters in edu.ksu.cis.projects.bogor.ast with type arguments of type Transformation
 void Location.setTransformations(List<? extends Transformation> newTransformations)
          Sets the transformations.
 

Constructor parameters in edu.ksu.cis.projects.bogor.ast with type arguments of type Transformation
Location(String id, List<? extends Transformation> transformations)
          Default constructor.
Location(String id, LiveSet liveSet, List<? extends Transformation> transformations)
          Default constructor with live set.
 

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

Methods in edu.ksu.cis.projects.bogor.module that return types with arguments of type Transformation
 IntObjectTable<ArrayList<Transformation>> DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.getEnabledTransformations(IEnabledTransformationsContext etc)
          [Document Pending]
 IntObjectTable<ArrayList<Transformation>> DefaultSchedulingStrategist.getEnabledTransformations(IEnabledTransformationsContext etc)
           
 IntObjectTable<ArrayList<Transformation>> ISchedulingStrategist.getEnabledTransformations(IEnabledTransformationsContext etc)
          Find all the enabled FSM transitions.
 IntObjectTable<ArrayList<Transformation>> DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.getEnabledTransformations(IEnabledTransformationsContext etc, Set<Transformation> ignoredTransformations)
           
 IntObjectTable<ArrayList<Transformation>> DefaultSchedulingStrategist.getEnabledTransformations(IEnabledTransformationsContext etc, Set<Transformation> ignoredTransformations)
           
 IntObjectTable<ArrayList<Transformation>> ISchedulingStrategist.getEnabledTransformations(IEnabledTransformationsContext etc, Set<Transformation> ignoredTransformations)
          Find all the enabled FSM transitions except those given in ignoredTransformations.
 IntObjectTable<ArrayList<Transformation>> DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.getWorkSet(IEnabledTransformationsContext etc)
          [Document Pending]
 IntObjectTable<ArrayList<Transformation>> DefaultSchedulingStrategist.getWorkSet(IEnabledTransformationsContext etc)
           
 IntObjectTable<ArrayList<Transformation>> ISchedulingStrategist.getWorkSet(IEnabledTransformationsContext etc)
          Find a reduced set of transitions whose executions will suffice to represent the execution of all enabled transformations.
 IntObjectTable<ArrayList<Transformation>> DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.getWorkSet(IEnabledTransformationsContext etc, Set<Transformation> ignoredTransformations)
           
 IntObjectTable<ArrayList<Transformation>> DefaultSchedulingStrategist.getWorkSet(IEnabledTransformationsContext etc, Set<Transformation> ignoredTransformations)
           
 IntObjectTable<ArrayList<Transformation>> ISchedulingStrategist.getWorkSet(IEnabledTransformationsContext etc, Set<Transformation> ignoredTransformations)
          Find a reduced set of transitions whose executions will suffice to represent the execution of all enabled transformations.
 

Methods in edu.ksu.cis.projects.bogor.module with parameters of type Transformation
 int DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.advise(ISchedulingStrategyContext ssc, int[] threadIds, Transformation[] transformations, ISchedulingStrategyInfo ssi)
          [Document Pending]
 int DefaultSchedulingStrategist.advise(ISchedulingStrategyContext ssc, int[] threadIds, Transformation[] transformations, ISchedulingStrategyInfo ssi)
           
 int ISchedulingStrategist.advise(ISchedulingStrategyContext ssc, int[] threadIds, Transformation[] transformations, ISchedulingStrategyInfo ssi)
          Choose among several enabled transformations at the beginning of a step.
 int DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.advise(ISchedulingStrategyContext ssc, Transformation[] transformations, ISchedulingStrategyInfo ssi)
           
 int DefaultSchedulingStrategist.advise(ISchedulingStrategyContext ssc, Transformation[] transformations, ISchedulingStrategyInfo ssi)
           
 int ISchedulingStrategist.advise(ISchedulingStrategyContext ssc, Transformation[] transformations, ISchedulingStrategyInfo ssi)
          Choose among non-deterministic transformations to take immediately following the control of transfer from one FSM location to another.
 IControlTransferBacktrackingInfo IBacktrackingInfoFactory.createControlTransferBacktrackingInfo(int stateId, int threadId, int locDesc, IntObjectTable<IValue> deadLocalValues, Transformation t, ISchedulingStrategyInfo ssi)
           
 ITransformationsBacktrackingInfo IBacktrackingInfoFactory.createTransformationsBacktrackingInfo(int stateId, int invisibleMoves, int threadId, int[] threadIds, int threadIndex, int lastMovedThreadId, Transformation[] transformations, int selectedIndex, boolean isInvisible, 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)
           
protected  void DefaultCounterExampleWriter.GuidedSearcherProxy.externalizeEnabledTransitions(IState state, int[] threadIds, Transformation[] transformations)
          [Document Pending]
protected  void DefaultCounterExampleWriter.GuidedSearcherProxy.externalizeNextMovedThread(IState state, int threadId, Transformation t)
          [Document Pending]
 void DefaultStateExternalizer.externalizeTransition(int threadId, Transformation t)
           
 void DefaultStateExternalizer.externalizeTransitions(PrintWriter pw, IState state, int[] threadIds, Transformation[] ts)
           
 boolean DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.isEnabled(IState state, Transformation t, int threadId)
          [Document Pending]
 boolean DefaultSchedulingStrategist.isEnabled(IState state, Transformation t, int threadId)
           
 boolean ISchedulingStrategist.isEnabled(IState state, Transformation t, int threadId)
          Test if a FSM transition is enabled with respect to a particular thread.
protected  void DefaultSearcher.makeChoices(IntObjectTable<ArrayList<Transformation>> ets, int[] threadIds, Transformation[] transformations)
           
protected  boolean DefaultTransformer.transformException(Transformation t, ArrayList<IBacktrackingInfo> result)
           
protected  IBacktrackingInfo[] DefaultTransformer.transformNextState(NextState ns, Transformation t)
           
 

Method parameters in edu.ksu.cis.projects.bogor.module with type arguments of type Transformation
 void ITransformationFilter.filter(IntObjectTable<ArrayList<Transformation>> set, IEnabledTransformationsContext etc)
           
 IntObjectTable<ArrayList<Transformation>> DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.getEnabledTransformations(IEnabledTransformationsContext etc, Set<Transformation> ignoredTransformations)
           
 IntObjectTable<ArrayList<Transformation>> DefaultSchedulingStrategist.getEnabledTransformations(IEnabledTransformationsContext etc, Set<Transformation> ignoredTransformations)
           
 IntObjectTable<ArrayList<Transformation>> ISchedulingStrategist.getEnabledTransformations(IEnabledTransformationsContext etc, Set<Transformation> ignoredTransformations)
          Find all the enabled FSM transitions except those given in ignoredTransformations.
 IntObjectTable<ArrayList<Transformation>> DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.getWorkSet(IEnabledTransformationsContext etc, Set<Transformation> ignoredTransformations)
           
 IntObjectTable<ArrayList<Transformation>> DefaultSchedulingStrategist.getWorkSet(IEnabledTransformationsContext etc, Set<Transformation> ignoredTransformations)
           
 IntObjectTable<ArrayList<Transformation>> ISchedulingStrategist.getWorkSet(IEnabledTransformationsContext etc, Set<Transformation> ignoredTransformations)
          Find a reduced set of transitions whose executions will suffice to represent the execution of all enabled transformations.
protected  void DefaultSearcher.makeChoices(IntObjectTable<ArrayList<Transformation>> ets, int[] threadIds, Transformation[] transformations)
           
 

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

Methods in edu.ksu.cis.projects.bogor.module.backtrack that return Transformation
 Transformation[] ITransformationsBacktrackingInfo.getTransformations()
          The possible next moves which could have been taken out of the state for which this move was made
 

Methods in edu.ksu.cis.projects.bogor.module.backtrack with parameters of type Transformation
 IControlTransferBacktrackingInfo DefaultBacktrackingInfoFactory.createControlTransferBacktrackingInfo(int stateId, int threadId, int locDesc, IntObjectTable<IValue> deadLocalValues, Transformation t, ISchedulingStrategyInfo ssi)
           
 ITransformationsBacktrackingInfo DefaultBacktrackingInfoFactory.createTransformationsBacktrackingInfo(int stateId, int invisibleMoves, int threadId, int[] threadIds, int threadIndex, int lastMovedThreadId, Transformation[] transformations, int selectedIndex, boolean isInvisible, ISchedulingStrategyInfo ssi)
           
 

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

Methods in edu.ksu.cis.projects.bogor.parser that return Transformation
 Transformation BogorParser.Transformation()
           
 

Uses of Transformation in edu.ksu.cis.projects.bogor.symboltable
 

Methods in edu.ksu.cis.projects.bogor.symboltable that return Transformation
 Transformation SymbolTable.getTransformation(int locDesc, int transformationIndex)