private class FinishSymbolicExecutionUntilMergePointMacro.FilterSymbexStrategy extends FilterStrategy
Modifier and Type | Class and Description |
---|---|
private class |
FinishSymbolicExecutionUntilMergePointMacro.FilterSymbexStrategy.FindBreakVisitor
Visitor for finding out whether there is a break statement contained
in a program element.
|
Constructor and Description |
---|
FilterSymbexStrategy(Strategy delegate) |
Modifier and Type | Method and Description |
---|---|
private java.util.HashSet<ProgramElement> |
findMergePoints(StatementBlock toSearch,
Services services)
Returns a set of merge points for the given statement block.
|
private java.util.LinkedList<StatementBlock> |
getBodies(Case elem)
Returns the bodies for a Case element.
|
private java.util.LinkedList<StatementBlock> |
getBodies(Catch elem)
Returns the body for a Catch element.
|
private java.util.LinkedList<StatementBlock> |
getBodies(CatchAllStatement elem)
Returns the body for a CatchAllStatement element.
|
private java.util.LinkedList<StatementBlock> |
getBodies(Else elem)
Returns the body for an Else element.
|
private java.util.LinkedList<StatementBlock> |
getBodies(Finally elem)
Returns the body for a Finally element.
|
private java.util.LinkedList<StatementBlock> |
getBodies(If elem)
Returns the bodies for an If element.
|
private java.util.LinkedList<StatementBlock> |
getBodies(LabeledStatement elem)
Returns the body for a LabeledStatement element.
|
private java.util.LinkedList<StatementBlock> |
getBodies(LoopStatement elem)
Returns the body for a LoopStatement element.
|
private java.util.LinkedList<StatementBlock> |
getBodies(MethodFrame elem)
Returns the body for a MethodFrame element.
|
private java.util.LinkedList<StatementBlock> |
getBodies(SourceElement elem)
Returns the bodies for various compound statements like if, try,
case, etc.
|
private java.util.LinkedList<StatementBlock> |
getBodies(SynchronizedBlock elem)
Returns the body for a SynchronizedBlock element.
|
private java.util.LinkedList<StatementBlock> |
getBodies(Then elem)
Returns the body for a Then element.
|
private java.util.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
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
updateStrategySettings
private final Name NAME
public 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 java.util.HashSet<ProgramElement> findMergePoints(StatementBlock toSearch, Services services)
toSearch
- The statement block to search for merge points.private java.util.LinkedList<StatementBlock> getBodies(SourceElement elem)
elem
- The element to return the bodies for.private java.util.LinkedList<StatementBlock> getBodies(If elem)
elem
- The element to return the bodies for.private java.util.LinkedList<StatementBlock> getBodies(Then elem)
elem
- The element to return the bodies for.private java.util.LinkedList<StatementBlock> getBodies(Else elem)
elem
- The element to return the bodies for.private java.util.LinkedList<StatementBlock> getBodies(Try elem)
elem
- The element to return the bodies for.private java.util.LinkedList<StatementBlock> getBodies(Catch elem)
elem
- The element to return the bodies for.private java.util.LinkedList<StatementBlock> getBodies(Finally elem)
elem
- The element to return the bodies for.private java.util.LinkedList<StatementBlock> getBodies(MethodFrame elem)
elem
- The element to return the bodies for.private java.util.LinkedList<StatementBlock> getBodies(Case elem)
elem
- The element to return the bodies for.private java.util.LinkedList<StatementBlock> getBodies(CatchAllStatement elem)
elem
- The element to return the bodies for.private java.util.LinkedList<StatementBlock> getBodies(LabeledStatement elem)
elem
- The element to return the bodies for.private java.util.LinkedList<StatementBlock> getBodies(LoopStatement elem)
elem
- The element to return the bodies for.private java.util.LinkedList<StatementBlock> getBodies(SynchronizedBlock elem)
elem
- The element to return the bodies for.