de.uka.ilkd.key.testgen.oracle

Class OracleMethodCall

java.lang.Object

de.uka.ilkd.key.testgen.oracle.OracleMethodCall

All Implemented Interfaces:

OracleTerm

public class OracleMethodCall
extends java.lang.Object
implements OracleTerm

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<? extends OracleTerm>	args
private OracleTerm	caller
private OracleMethod	method

Constructor Summary

Constructors

Constructor and Description
OracleMethodCall(OracleMethod method, java.util.List<? extends OracleTerm> args)
OracleMethodCall(OracleMethod method, java.util.List<? extends OracleTerm> args, OracleTerm caller)

Method Summary

Modifier and Type	Method and Description
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

method

private OracleMethod method

args

private java.util.List<? extends OracleTerm> args

caller

private OracleTerm caller

Constructor Detail

OracleMethodCall

public OracleMethodCall(OracleMethod method,
                        java.util.List<? extends OracleTerm> args)

OracleMethodCall

public OracleMethodCall(OracleMethod method,
                        java.util.List<? extends OracleTerm> args,
                        OracleTerm caller)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object