gov.nasa.jpf.symbc

Class SymbolicListener.MethodSummary

java.lang.Object

gov.nasa.jpf.symbc.SymbolicListener.MethodSummary

Enclosing class:

SymbolicListener

protected class SymbolicListener.MethodSummary
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	argTypes
private java.lang.String	argValues
private java.lang.String	methodName
private java.util.Vector<gov.nasa.jpf.util.Pair>	pathConditions
private java.lang.String	symValues

Constructor Summary

Constructors

Constructor and Description
MethodSummary()

Method Summary

Modifier and Type	Method and Description
void	addPathCondition(gov.nasa.jpf.util.Pair pc)
java.lang.String	getArgTypes()
java.lang.String	getArgValues()
java.lang.String	getMethodName()
java.util.Vector<gov.nasa.jpf.util.Pair>	getPathConditions()
java.lang.String	getSymValues()
void	setArgTypes(java.lang.String args)
void	setArgValues(java.lang.String vals)
void	setMethodName(java.lang.String mName)
void	setSymValues(java.lang.String sym)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

methodName

private java.lang.String methodName

argTypes

private java.lang.String argTypes

argValues

private java.lang.String argValues

symValues

private java.lang.String symValues

pathConditions

private java.util.Vector<gov.nasa.jpf.util.Pair> pathConditions

Constructor Detail

MethodSummary

public MethodSummary()

Method Detail

setMethodName

public void setMethodName(java.lang.String mName)

getMethodName

public java.lang.String getMethodName()

setArgTypes

public void setArgTypes(java.lang.String args)

getArgTypes

public java.lang.String getArgTypes()

setArgValues

public void setArgValues(java.lang.String vals)

getArgValues

public java.lang.String getArgValues()

setSymValues

public void setSymValues(java.lang.String sym)

getSymValues

public java.lang.String getSymValues()

addPathCondition

public void addPathCondition(gov.nasa.jpf.util.Pair pc)

getPathConditions

public java.util.Vector<gov.nasa.jpf.util.Pair> getPathConditions()