gov.nasa.jpf.symbc.veritesting.ast.def

Class FieldRef

java.lang.Object

gov.nasa.jpf.symbc.veritesting.ast.def.FieldRef

public class FieldRef
extends java.lang.Object

This class is used to represent field-reference pair that is used in RangerIR to provide SSA for fields.

Field Summary

Fields

Modifier and Type	Field and Description
java.lang.String	className
java.lang.String	field
boolean	isStatic
int	ref

Constructor Summary

Constructors

Constructor and Description
FieldRef(int ref, java.lang.String className, java.lang.String field, boolean isStatic)

Method Summary

Modifier and Type	Method and Description
protected FieldRef	clone()
boolean	equals(java.lang.Object obj)
java.lang.String	getField()
int	getRef()
static FieldRef	makeGetFieldRef(gov.nasa.jpf.vm.ThreadInfo ti, GetInstruction getIns)
static FieldRef	makePutFieldRef(gov.nasa.jpf.vm.ThreadInfo ti, PutInstruction putIns)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

ref

public final int ref

field

public final java.lang.String field

isStatic

public final boolean isStatic

className

public final java.lang.String className

Constructor Detail

FieldRef

public FieldRef(int ref,
                java.lang.String className,
                java.lang.String field,
                boolean isStatic)

Method Detail

makeGetFieldRef

public static FieldRef makeGetFieldRef(gov.nasa.jpf.vm.ThreadInfo ti,
                                       GetInstruction getIns)
                                throws StaticRegionException

Throws:

StaticRegionException

makePutFieldRef

public static FieldRef makePutFieldRef(gov.nasa.jpf.vm.ThreadInfo ti,
                                       PutInstruction putIns)
                                throws StaticRegionException

Throws:

StaticRegionException

getField

public java.lang.String getField()

getRef

public int getRef()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

clone

protected FieldRef clone()

Overrides:

clone in class java.lang.Object