sandmark.util.stacksimulator
Class ReferenceData

java.lang.Object
  |
  +--sandmark.util.stacksimulator.StackData
        |
        +--sandmark.util.stacksimulator.ReferenceData

Direct Known Subclasses:

ArrayReferenceData

class ReferenceData

extends StackData

Encapsulates all non-primitive data.

Author:

Kelly Heffner (kheffner@cs.arizona.edu)

Constructor Summary

ReferenceData(de.fub.bytecode.generic.ReferenceType ref, de.fub.bytecode.generic.InstructionHandle h)
Constructs a referencial data object.

Method Summary

boolean	equals(java.lang.Object o) Tests for equality between any two data elements.
int	getSize() Specifies the size of this object on the operand stack.
de.fub.bytecode.generic.Type	getType() Specifies the type of the data.
java.lang.String	toString()
StackData	undefinedVersion() Returns the same type of stack data as this instance, without any definition.

Methods inherited from class sandmark.util.stacksimulator.StackData

getInstruction

Methods inherited from class java.lang.Object

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

Constructor Detail

ReferenceData

public ReferenceData(de.fub.bytecode.generic.ReferenceType ref,
                     de.fub.bytecode.generic.InstructionHandle h)

Constructs a referencial data object. If you are not sure what type this data is, use de.fub.bytecode.generic.Type.OBJECT.

Parameters:

ref - the type of the object

h - the instruction handle for the instruction that created this object

Method Detail

getSize

public int getSize()

Description copied from class: StackData

Specifies the size of this object on the operand stack.

Specified by:

getSize in class StackData

Returns:

the size of the object in bytes, 1 or 2.

getType

public de.fub.bytecode.generic.Type getType()

Description copied from class: StackData

Specifies the type of the data.

Specified by:

getType in class StackData

Returns:

a type object which is the type (or a superclass of the type) for the data object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Description copied from class: StackData

Tests for equality between any two data elements. Two StackData objects are equal iff they have the same instruction handle as their creation point. (subclasses have more restrictions for equality)

Overrides:

equals in class StackData

Parameters:

o - the object to test equality against

undefinedVersion

public StackData undefinedVersion()

Description copied from class: StackData

Returns the same type of stack data as this instance, without any definition. For example, an IntData object would return a new IntData object that has undefined value when undefinedVersion is called.

Specified by:

undefinedVersion in class StackData

Returns:

A similar instance to this object, with no definition data