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

Interface ConcreteValue

All Known Implementing Classes:

GeneralConcreteValue

public interface ConcreteValue

Concrete Values represent elements of the heap, e.g. nodes in a hypergraph. They can be passed to a JimpleExecutable for Operations such as assignVariable.

The Implementations of ConcreteValue and JimplesExecutable have to match otherwise classCastExceptions will occur.

Author:

Hannah Arndt

Method Summary

Modifier and Type	Method and Description
boolean	equals(ConcreteValue other)
boolean	isUndefined()
Type	type()

Method Detail

type

Type type()

Returns:

The type (class) of this value.

equals

boolean equals(ConcreteValue other)

Parameters:

other - Another value.

Returns:

True if and only if both values are equal.

isUndefined

boolean isUndefined()

Returns:

True if and only if this value is not defined.