de.uka.ilkd.key.testgen.oracle

Class OracleBinTerm

java.lang.Object

de.uka.ilkd.key.testgen.oracle.OracleBinTerm

All Implemented Interfaces:

OracleTerm

public class OracleBinTerm
extends Object
implements OracleTerm

Field Summary

Fields

Modifier and Type	Field and Description
private OracleTerm	left
private String	op
private OracleTerm	right

Constructor Summary

Constructors

Constructor and Description
OracleBinTerm(String op, OracleTerm left, OracleTerm right)

Method Summary

Modifier and Type	Method and Description
OracleTerm	getLeft()
String	getOp()
OracleTerm	getRight()
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

op

private String op

left

private OracleTerm left

right

private OracleTerm right

Constructor Detail

OracleBinTerm

public OracleBinTerm(String op,
                     OracleTerm left,
                     OracleTerm right)

Method Detail

getOp

public String getOp()

getLeft

public OracleTerm getLeft()

getRight

public OracleTerm getRight()

toString

public String toString()

Overrides:

toString in class Object