joeq.Compiler.Analysis.IPA
Class ProgramLocation.FakeProgramLocation

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

All Implemented Interfaces:

jwutil.io.Textualizable

Enclosing class:

ProgramLocation

public static class ProgramLocation.FakeProgramLocation
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.FakeProgramLocation(jq_Method m, String label)

Method Summary

int	getBytecodeIndex()
int	getID()
byte	getInvocationType()
jq_Type[]	getParamTypes()
jq_Type	getResultType()
jq_Type	getReturnType()
jq_Method	getTargetMethod()
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, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ProgramLocation.FakeProgramLocation

public ProgramLocation.FakeProgramLocation(jq_Method m,
                                           String label)

Method Detail

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

toString

public String toString()

Overrides:

toString in class Object

getID

public int getID()

Specified by:

getID in class ProgramLocation

getBytecodeIndex

public int getBytecodeIndex()

Specified by:

getBytecodeIndex in class ProgramLocation

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

getInvocationType

public byte getInvocationType()

Specified by:

getInvocationType in class ProgramLocation