chord.program
Class Location

java.lang.Object
  extended by chord.program.Location

public class Location
extends java.lang.Object

Representation of the location of a statement.

Author:
Mayur Naik (mhn@cs.stanford.edu)

Field Summary
 joeq.Compiler.Quad.BasicBlock bb
           
 joeq.Class.jq_Method m
           
 joeq.Compiler.Quad.Quad q
           
 int qIdx
           
 
Constructor Summary
Location(joeq.Class.jq_Method m, joeq.Compiler.Quad.BasicBlock bb, int qIdx, joeq.Compiler.Quad.Quad q)
           
 
Method Summary
 boolean equals(java.lang.Object o)
           
 int hashCode()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

m

public final joeq.Class.jq_Method m

bb

public final joeq.Compiler.Quad.BasicBlock bb

qIdx

public final int qIdx

q

public final joeq.Compiler.Quad.Quad q
Constructor Detail

Location

public Location(joeq.Class.jq_Method m,
                joeq.Compiler.Quad.BasicBlock bb,
                int qIdx,
                joeq.Compiler.Quad.Quad q)
Method Detail

hashCode

public int hashCode()
Overrides:
hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object o)
Overrides:
equals in class java.lang.Object

toString

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