soot.jimple.toolkits.annotation.nullcheck
Class RefIntPair

java.lang.Object
  |
  +--soot.jimple.toolkits.annotation.nullcheck.RefIntPair

public class RefIntPair
extends java.lang.Object


Method Summary
 EquivalentValue ref()
           
 java.lang.String toString()
           
 int val()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

ref

public EquivalentValue ref()

val

public int val()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object