de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values

Class GeneralConcreteValue

java.lang.Object

de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.GeneralConcreteValue

All Implemented Interfaces:

ConcreteValue

public final class GeneralConcreteValue
extends Object
implements ConcreteValue

Implementation of values of variables as nodes in a heap configuration.

Author:

Christoph, Hannah Arndt

Field Summary

Fields

Modifier and Type	Field and Description
static int	UNDEFINED The internal value used for undefined values.

Constructor Summary

Constructors

Constructor and Description
GeneralConcreteValue(Type type, int node) Initializes a new value

Method Summary

Modifier and Type	Method and Description
boolean	equals(ConcreteValue other)
int	getNode()
static GeneralConcreteValue	getUndefined()
int	hashCode()
boolean	isUndefined()
String	toString()
Type	type()

Methods inherited from class java.lang.Object

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

Field Detail

UNDEFINED

public static final int UNDEFINED

The internal value used for undefined values.

See Also:

Constant Field Values

Constructor Detail

GeneralConcreteValue

public GeneralConcreteValue(Type type,
                            int node)

Initializes a new value

Parameters:

type - Type of the underlying value.

node - The ID of a node corresponding to the underlying value.

Method Detail

getUndefined

public static GeneralConcreteValue getUndefined()

Returns:

The value corresponding to "undefined value".

getNode

public int getNode()

Returns:

The node in a heap configuration underlying this value.

toString

public String toString()

Overrides:

toString in class Object

Returns:

A string representation for debugging purposes of this value.

type

public Type type()

Specified by:

type in interface ConcreteValue

Returns:

The type (class) of this value.

equals

public boolean equals(ConcreteValue other)

Specified by:

equals in interface ConcreteValue

Parameters:

other - Another value.

Returns:

True if and only if both values are equal.

hashCode

public int hashCode()

Overrides:

hashCode in class Object

isUndefined

public boolean isUndefined()

Specified by:

isUndefined in interface ConcreteValue

Returns:

True if and only if this value is not defined.