joeq.Compiler.Analysis.IPA
Class ProgramLocation.BCProgramLocation

java.lang.Object
  joeq.Compiler.Analysis.IPA.ProgramLocation
      joeq.Compiler.Analysis.IPA.ProgramLocation.BCProgramLocation

All Implemented Interfaces:

jwutil.io.Textualizable

Enclosing class:

ProgramLocation

public static class ProgramLocation.BCProgramLocation
extends ProgramLocation

Nested Class Summary

Nested classes/interfaces inherited from class joeq.Compiler.Analysis.IPA.ProgramLocation

ProgramLocation.BCProgramLocation, ProgramLocation.FakeProgramLocation, ProgramLocation.PlaceholderParameterProgramLocation, ProgramLocation.QuadProgramLocation

Field Summary

Fields inherited from class joeq.Compiler.Analysis.IPA.ProgramLocation

GIVE_SIGNATURES, m

Constructor Summary

ProgramLocation.BCProgramLocation(jq_Method m, int bcIndex)

Method Summary

boolean	equals(Object o)
boolean	equals(ProgramLocation.BCProgramLocation that)
byte	getBytecode()
int	getBytecodeIndex()
int	getID()
byte	getInvocationType()
jq_Type[]	getParamTypes()
jq_Type	getResultType()
jq_Type	getReturnType()
jq_Method	getTargetMethod()
int	hashCode()
boolean	isCall()
boolean	isInterfaceCall()
boolean	isSingleTarget()
jq_Method	resolveTargetMethod()
String	toString()
void	write(jwutil.io.Textualizer t)

Methods inherited from class joeq.Compiler.Analysis.IPA.ProgramLocation

addEdge, getAllocLocation, getBCProgramLocation, getConstLocation, getContainingClass, getEmacsName, getInvokeLocation, getLineNumber, getLoadLocation, getMethod, getQuadProgramLocation, getSourceFile, read, toStringLong, writeEdges

Methods inherited from class java.lang.Object

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

Constructor Detail

ProgramLocation.BCProgramLocation

public ProgramLocation.BCProgramLocation(jq_Method m,
                                         int bcIndex)

Method Detail

getID

public int getID()

Specified by:

getID in class ProgramLocation

getBytecodeIndex

public int getBytecodeIndex()

Specified by:

getBytecodeIndex in class ProgramLocation

getBytecode

public byte getBytecode()

getResultType

public jq_Type getResultType()

Specified by:

getResultType in class ProgramLocation

isCall

public boolean isCall()

Specified by:

isCall in class ProgramLocation

getTargetMethod

public jq_Method getTargetMethod()

Specified by:

getTargetMethod in class ProgramLocation

resolveTargetMethod

public jq_Method resolveTargetMethod()

Specified by:

resolveTargetMethod in class ProgramLocation

getParamTypes

public jq_Type[] getParamTypes()

Specified by:

getParamTypes in class ProgramLocation

getReturnType

public jq_Type getReturnType()

Specified by:

getReturnType in class ProgramLocation

isSingleTarget

public boolean isSingleTarget()

Specified by:

isSingleTarget in class ProgramLocation

isInterfaceCall

public boolean isInterfaceCall()

Specified by:

isInterfaceCall in class ProgramLocation

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(ProgramLocation.BCProgramLocation that)

equals

public boolean equals(Object o)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object

getInvocationType

public byte getInvocationType()

Specified by:

getInvocationType in class ProgramLocation

write

public void write(jwutil.io.Textualizer t)
           throws IOException

Specified by:

write in interface jwutil.io.Textualizable

Specified by:

write in class ProgramLocation

Throws:

IOException