joeq.Compiler.Analysis.Primitive
Class PrimitiveMethodSummary.PassedParameter

java.lang.Object
  joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.PassedParameter

All Implemented Interfaces:

jwutil.io.Textualizable

Enclosing class:

PrimitiveMethodSummary

public static class PrimitiveMethodSummary.PassedParameter
extends Object
implements jwutil.io.Textualizable

Represents a particular parameter passed to a particular method call.

Constructor Summary

PrimitiveMethodSummary.PassedParameter(ProgramLocation m, int paramNum)

Method Summary

void	addEdge(String edgeName, jwutil.io.Textualizable t)
boolean	equals(Object o)
boolean	equals(PrimitiveMethodSummary.PassedParameter that)
ProgramLocation	getCall()
int	getParamNum()
int	hashCode()
static PrimitiveMethodSummary.PassedParameter	read(StringTokenizer st)
String	toString()
void	write(jwutil.io.Textualizer t)
void	writeEdges(jwutil.io.Textualizer t)

Methods inherited from class java.lang.Object

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

Constructor Detail

PrimitiveMethodSummary.PassedParameter

public PrimitiveMethodSummary.PassedParameter(ProgramLocation m,
                                              int paramNum)

Method Detail

getCall

public ProgramLocation getCall()

getParamNum

public int getParamNum()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(PrimitiveMethodSummary.PassedParameter that)

equals

public boolean equals(Object o)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object

write

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

Specified by:

write in interface jwutil.io.Textualizable

Throws:

IOException

writeEdges

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

Specified by:

writeEdges in interface jwutil.io.Textualizable

Throws:

IOException

addEdge

public void addEdge(String edgeName,
                    jwutil.io.Textualizable t)

Specified by:

addEdge in interface jwutil.io.Textualizable

read

public static PrimitiveMethodSummary.PassedParameter read(StringTokenizer st)