public static class SymbolicExecutionTreeBuilder.SymbolicExecutionCompletions
extends java.lang.Object
SymbolicExecutionTreeBuilder.analyse()
to inform about newly completed blocks and returned methods.Modifier and Type | Field and Description |
---|---|
private java.util.List<IExecutionNode<?>> |
blockCompletions
The newly block completion.
|
private java.util.List<IExecutionBaseMethodReturn<?>> |
methodReturns
The newly methods return.
|
Constructor and Description |
---|
SymbolicExecutionCompletions() |
Modifier and Type | Method and Description |
---|---|
private void |
addBlockCompletion(IExecutionNode<?> blockCompletion)
Registers the newly completed block.
|
private void |
addMethodReturn(IExecutionBaseMethodReturn<?> methodReturn)
Registers the newly methods return.
|
IExecutionNode<?>[] |
getBlockCompletions()
Returns the newly block completion.
|
IExecutionBaseMethodReturn<?>[] |
getMethodReturns()
Returns the newly methods return.
|
private final java.util.List<IExecutionNode<?>> blockCompletions
private final java.util.List<IExecutionBaseMethodReturn<?>> methodReturns
public IExecutionNode<?>[] getBlockCompletions()
private void addBlockCompletion(IExecutionNode<?> blockCompletion)
blockCompletion
- The new block completion.public IExecutionBaseMethodReturn<?>[] getMethodReturns()
private void addMethodReturn(IExecutionBaseMethodReturn<?> methodReturn)
methodReturn
- The method return.