gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess

Class SubscriptPair

java.lang.Object

gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.SubscriptPair

public class SubscriptPair
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
java.lang.Integer	globalSubscript
java.lang.Integer	pathSubscript

Constructor Summary

Constructors

Constructor and Description
SubscriptPair(java.lang.Integer pathSubscript, java.lang.Integer globalSubscript)

Method Summary

Modifier and Type	Method and Description
SubscriptPair	clone()
boolean	equals(java.lang.Object obj)
java.lang.String	getSymName()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

pathSubscript

public java.lang.Integer pathSubscript

globalSubscript

public java.lang.Integer globalSubscript

Constructor Detail

SubscriptPair

public SubscriptPair(java.lang.Integer pathSubscript,
                     java.lang.Integer globalSubscript)

Method Detail

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getSymName

public java.lang.String getSymName()

clone

public SubscriptPair clone()

Overrides:

clone in class java.lang.Object