private class FinishSymbolicExecutionUntilJoinPointMacro.FilterSymbexStrategy extends FilterStrategy
Modifier and Type | Class and Description |
---|---|
private class |
FinishSymbolicExecutionUntilJoinPointMacro.FilterSymbexStrategy.FindBreakVisitor
Visitor for finding out whether there is a break statement contained
in a program element.
|
Constructor and Description |
---|
FinishSymbolicExecutionUntilJoinPointMacro.FilterSymbexStrategy(Strategy delegate) |
Modifier and Type | Method and Description |
---|---|
private HashSet<ProgramElement> |
findJoinPoints(StatementBlock toSearch,
Services services)
Returns a set of join points for the given statement block.
|
private LinkedList<StatementBlock> |
getBodies(Case elem)
Returns the bodies for a Case element.
|
private LinkedList<StatementBlock> |
getBodies(Catch elem)
Returns the body for a Catch element.
|
private LinkedList<StatementBlock> |
getBodies(CatchAllStatement elem)
Returns the body for a CatchAllStatement element.
|
private LinkedList<StatementBlock> |
getBodies(Else elem)
Returns the body for an Else element.
|
private LinkedList<StatementBlock> |
getBodies(Finally elem)
Returns the body for a Finally element.
|
private LinkedList<StatementBlock> |
getBodies(If elem)
Returns the bodies for an If element.
|
private LinkedList<StatementBlock> |
getBodies(LabeledStatement elem)
Returns the body for a LabeledStatement element.
|
private LinkedList<StatementBlock> |
getBodies(LoopStatement elem)
Returns the body for a LoopStatement element.
|
private LinkedList<StatementBlock> |
getBodies(MethodFrame elem)
Returns the body for a MethodFrame element.
|
private LinkedList<StatementBlock> |
getBodies(SourceElement elem)
Returns the bodies for various compound statements like if, try,
case, etc.
|
private LinkedList<StatementBlock> |
getBodies(SynchronizedBlock elem)
Returns the body for a SynchronizedBlock element.
|
private LinkedList<StatementBlock> |
getBodies(Then elem)
Returns the body for a Then element.
|
private LinkedList<StatementBlock> |
getBodies(Try elem)
Returns the bodies for a Try element.
|
boolean |
isApprovedApp(RuleApp app,
PosInOccurrence pio,
Goal goal)
Re-Evaluate a
RuleApp . |
boolean |
isStopAtFirstNonCloseableGoal()
|
Name |
name()
returns the name of this element
|
computeCost, instantiateApp
private final Name NAME
public FinishSymbolicExecutionUntilJoinPointMacro.FilterSymbexStrategy(Strategy delegate)
public Name name()
Named
public boolean isApprovedApp(RuleApp app, PosInOccurrence pio, Goal goal)
Strategy
RuleApp
. This method is
called immediately before a rule is really appliedisApprovedApp
in interface Strategy
isApprovedApp
in class FilterStrategy
private HashSet<ProgramElement> findJoinPoints(StatementBlock toSearch, Services services)
toSearch
- The statement block to search for join points.private LinkedList<StatementBlock> getBodies(SourceElement elem)
elem
- The element to return the bodies for.private LinkedList<StatementBlock> getBodies(If elem)
elem
- The element to return the bodies for.private LinkedList<StatementBlock> getBodies(Then elem)
elem
- The element to return the bodies for.private LinkedList<StatementBlock> getBodies(Else elem)
elem
- The element to return the bodies for.private LinkedList<StatementBlock> getBodies(Try elem)
elem
- The element to return the bodies for.private LinkedList<StatementBlock> getBodies(Catch elem)
elem
- The element to return the bodies for.private LinkedList<StatementBlock> getBodies(Finally elem)
elem
- The element to return the bodies for.private LinkedList<StatementBlock> getBodies(MethodFrame elem)
elem
- The element to return the bodies for.private LinkedList<StatementBlock> getBodies(Case elem)
elem
- The element to return the bodies for.private LinkedList<StatementBlock> getBodies(CatchAllStatement elem)
elem
- The element to return the bodies for.private LinkedList<StatementBlock> getBodies(LabeledStatement elem)
elem
- The element to return the bodies for.private LinkedList<StatementBlock> getBodies(LoopStatement elem)
elem
- The element to return the bodies for.private LinkedList<StatementBlock> getBodies(SynchronizedBlock elem)
elem
- The element to return the bodies for.