de.uka.ilkd.key.symbolic_execution

Class SymbolicExecutionTreeBuilder.SymbolicExecutionCompletions

java.lang.Object

de.uka.ilkd.key.symbolic_execution.SymbolicExecutionTreeBuilder.SymbolicExecutionCompletions

Enclosing class:

SymbolicExecutionTreeBuilder

public static class SymbolicExecutionTreeBuilder.SymbolicExecutionCompletions
extends java.lang.Object

Instances of this class are returned by SymbolicExecutionTreeBuilder.analyse() to inform about newly completed blocks and returned methods.

Author:

Martin Hentschel

Field Summary

Fields

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 Summary

Constructors

Constructor and Description
SymbolicExecutionCompletions()

Method Summary

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

blockCompletions

private final java.util.List<IExecutionNode<?>> blockCompletions

The newly block completion.

methodReturns

private final java.util.List<IExecutionBaseMethodReturn<?>> methodReturns

The newly methods return.

Constructor Detail

SymbolicExecutionCompletions

public SymbolicExecutionCompletions()

Method Detail

getBlockCompletions

public IExecutionNode<?>[] getBlockCompletions()

Returns the newly block completion.

Returns:

The newly block completion.

addBlockCompletion

private void addBlockCompletion(IExecutionNode<?> blockCompletion)

Registers the newly completed block.

Parameters:

blockCompletion - The new block completion.

getMethodReturns

public IExecutionBaseMethodReturn<?>[] getMethodReturns()

Returns the newly methods return.

Returns:

The newly methods return.

addMethodReturn

private void addMethodReturn(IExecutionBaseMethodReturn<?> methodReturn)

Registers the newly methods return.

Parameters:

methodReturn - The method return.