de.uka.ilkd.key.symbolic_execution.strategy

Class AbstractCallStackBasedStopCondition.NodeStartEntry

java.lang.Object

de.uka.ilkd.key.symbolic_execution.strategy.AbstractCallStackBasedStopCondition.NodeStartEntry

Enclosing class:

AbstractCallStackBasedStopCondition

private static class AbstractCallStackBasedStopCondition.NodeStartEntry
extends java.lang.Object

Instances of this class are used in AbstractCallStackBasedStopCondition.startingCallStackSizePerGoal to represent the initial Node of Goal on which the auto mode was started together with its call stack size.

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private Node	node The initial Node of a Goal on that the auto mode was started.
private int	nodeCallStackSize The call stack size of node.

Constructor Summary

Constructors

Constructor and Description
NodeStartEntry(Node node, int nodeCallStackSize) Constructor.

Method Summary

Modifier and Type	Method and Description
Node	getNode() Returns the initial Node of a Goal on that the auto mode was started.
int	getNodeCallStackSize() Returns the call stack size of getNode().

Methods inherited from class java.lang.Object

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

Field Detail

node

private Node node

The initial Node of a Goal on that the auto mode was started.

nodeCallStackSize

private int nodeCallStackSize

The call stack size of node.

Constructor Detail

NodeStartEntry

public NodeStartEntry(Node node,
                      int nodeCallStackSize)

Constructor.

Parameters:

node - The initial Node of a Goal on that the auto mode was started.

nodeCallStackSize - The call stack size of node.

Method Detail

getNode

public Node getNode()

Returns the initial Node of a Goal on that the auto mode was started.

Returns:

The initial Node of a Goal on that the auto mode was started.

getNodeCallStackSize

public int getNodeCallStackSize()

Returns the call stack size of getNode().

Returns:

The call stack size of getNode().