de.uka.ilkd.key.testgen.oracle

Class OracleMethod

java.lang.Object

de.uka.ilkd.key.testgen.oracle.OracleMethod

public class OracleMethod
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<OracleVariable>	args
private java.lang.String	body
private java.lang.String	methodName
private Sort	returnType

Constructor Summary

Constructors

Constructor and Description
OracleMethod(java.lang.String methodName, java.util.List<OracleVariable> args, java.lang.String body)
OracleMethod(java.lang.String methodName, java.util.List<OracleVariable> args, java.lang.String body, Sort sort)

Method Summary

Modifier and Type	Method and Description
java.util.List<OracleVariable>	getArgs()
java.lang.String	getBody()
java.lang.String	getMethodName()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

methodName

private java.lang.String methodName

args

private java.util.List<OracleVariable> args

body

private java.lang.String body

returnType

private Sort returnType

Constructor Detail

OracleMethod

public OracleMethod(java.lang.String methodName,
                    java.util.List<OracleVariable> args,
                    java.lang.String body)

OracleMethod

public OracleMethod(java.lang.String methodName,
                    java.util.List<OracleVariable> args,
                    java.lang.String body,
                    Sort sort)

Method Detail

getMethodName

public java.lang.String getMethodName()

getArgs

public java.util.List<OracleVariable> getArgs()

getBody

public java.lang.String getBody()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object