|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||