de.uka.ilkd.key.testgen.oracle

Class OracleUnaryTerm

java.lang.Object

de.uka.ilkd.key.testgen.oracle.OracleUnaryTerm

All Implemented Interfaces:

OracleTerm

public class OracleUnaryTerm
extends java.lang.Object
implements OracleTerm

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	OracleUnaryTerm.Op

Field Summary

Fields

Modifier and Type	Field and Description
private OracleUnaryTerm.Op	op
static java.lang.String	OP_MINUS
static java.lang.String	OP_NEG
private static java.util.Map<OracleUnaryTerm.Op,java.lang.String>	op2String
private OracleTerm	sub

Constructor Summary

Constructors

Constructor and Description
OracleUnaryTerm(OracleTerm sub, OracleUnaryTerm.Op op)

Method Summary

Modifier and Type	Method and Description
OracleUnaryTerm.Op	getOp()
OracleTerm	getSub()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

OP_NEG

public static java.lang.String OP_NEG

OP_MINUS

public static java.lang.String OP_MINUS

op2String

private static java.util.Map<OracleUnaryTerm.Op,java.lang.String> op2String

sub

private OracleTerm sub

op

private OracleUnaryTerm.Op op

Constructor Detail

OracleUnaryTerm

public OracleUnaryTerm(OracleTerm sub,
                       OracleUnaryTerm.Op op)

Method Detail

getOp

public OracleUnaryTerm.Op getOp()

getSub

public OracleTerm getSub()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object