de.uka.ilkd.key.logic.label

Class SymbolicExecutionTermLabel

java.lang.Object

de.uka.ilkd.key.logic.label.SymbolicExecutionTermLabel

All Implemented Interfaces:

TermLabel, Named

public class SymbolicExecutionTermLabel
extends java.lang.Object
implements TermLabel

Label attached to a symbolic execution thread.

Field Summary

Fields

Modifier and Type	Field and Description
private int	id The unique ID of this term label in the Sequent.
static Name	NAME The unique name of this label.
static java.lang.String	PROOF_COUNTER_NAME The name used in Services.getCounter(String) to keep track of the already used IDs.

Constructor Summary

Constructors

Constructor and Description
SymbolicExecutionTermLabel(int id) Constructor.

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
java.lang.Object	getChild(int i) Retrieves the i-th parameter object of this term label.
int	getChildCount() Gets the number of parameters of this term label.
int	getId() Returns the unique ID of this label in the Sequent.
Name	name() returns the name of this element
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

NAME

public static final Name NAME

The unique name of this label.

PROOF_COUNTER_NAME

public static final java.lang.String PROOF_COUNTER_NAME

The name used in Services.getCounter(String) to keep track of the already used IDs.

See Also:

Constant Field Values

id

private final int id

The unique ID of this term label in the Sequent.

Constructor Detail

SymbolicExecutionTermLabel

public SymbolicExecutionTermLabel(int id)

Constructor.

Parameters:

id - The unique ID of this term label in the Sequent.

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getChild

public java.lang.Object getChild(int i)

Retrieves the i-th parameter object of this term label.

A term label may have structure, i.e. can be parameterized.

Specified by:

getChild in interface TermLabel

Parameters:

i - the number of the parameter to retrieve ( 0 <= i < getChildCount())

Returns:

the selected parameter

getChildCount

public int getChildCount()

Gets the number of parameters of this term label.

Specified by:

getChildCount in interface TermLabel

Returns:

the number of parameters (a non-negative number)

getId

public int getId()

Returns the unique ID of this label in the Sequent.

Returns:

The unique ID of this label in the Sequent.

name

public Name name()

returns the name of this element

Specified by:

name in interface Named

Returns:

the name of the element