joeq.Compiler.Analysis.FlowInsensitive
Class MethodSummary.PassedParameter

java.lang.Object
  joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.PassedParameter

All Implemented Interfaces:

jwutil.io.Textualizable

Enclosing class:

MethodSummary

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

Represents a particular parameter passed to a particular method call.

Constructor Summary

MethodSummary.PassedParameter(ProgramLocation m, int paramNum)

Method Summary

void	addEdge(String edgeName, jwutil.io.Textualizable t)
boolean	equals(MethodSummary.PassedParameter that)
boolean	equals(Object o)
ProgramLocation	getCall()
int	getParamNum()
int	hashCode()
static MethodSummary.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

MethodSummary.PassedParameter

public MethodSummary.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(MethodSummary.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 MethodSummary.PassedParameter read(StringTokenizer st)