joeq.Compiler.Analysis.IPA
Class ProgramLocation.PlaceholderParameterProgramLocation

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

All Implemented Interfaces:

jwutil.io.Textualizable

Enclosing class:

ProgramLocation

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

ProgramLocation.PlaceholderParameterProgramLocation(ProgramLocation.PlaceholderParameterProgramLocation that, String postfix)

Method Summary

int	getBytecodeIndex()
String	getEmacsName()
int	getID()
byte	getInvocationType()
String	getLocationLabel()
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, 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.PlaceholderParameterProgramLocation

public ProgramLocation.PlaceholderParameterProgramLocation(jq_Method m,
                                                           String locationLabel)

ProgramLocation.PlaceholderParameterProgramLocation

public ProgramLocation.PlaceholderParameterProgramLocation(ProgramLocation.PlaceholderParameterProgramLocation that,
                                                           String postfix)

Method Detail

getLocationLabel

public String getLocationLabel()

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

getEmacsName

public String getEmacsName()

Overrides:

getEmacsName in class ProgramLocation