de.uka.ilkd.key.testgen.oracle

Class EmptyOracleLocationSet

java.lang.Object

de.uka.ilkd.key.testgen.oracle.OracleLocationSet

de.uka.ilkd.key.testgen.oracle.EmptyOracleLocationSet

class EmptyOracleLocationSet
extends OracleLocationSet

Field Summary

Fields inherited from class de.uka.ilkd.key.testgen.oracle.OracleLocationSet

ALL_LOCS, EMPTY

Constructor Summary

Constructors

Constructor and Description
EmptyOracleLocationSet()

Method Summary

Modifier and Type	Method and Description
boolean	contains(OracleLocation l)

Methods inherited from class de.uka.ilkd.key.testgen.oracle.OracleLocationSet

intersect, singleton, toString, union

Methods inherited from class java.lang.Object

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

Constructor Detail

EmptyOracleLocationSet

EmptyOracleLocationSet()

Method Detail

contains

public boolean contains(OracleLocation l)

Overrides:

contains in class OracleLocationSet