public class OracleLocationSet
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static AllLocsLocationSet |
ALL_LOCS |
static EmptyOracleLocationSet |
EMPTY |
private java.util.Set<OracleLocation> |
locs |
Constructor and Description |
---|
OracleLocationSet() |
Modifier and Type | Method and Description |
---|---|
private void |
add(OracleLocation loc) |
private void |
add(OracleLocationSet loc) |
boolean |
contains(OracleLocation l) |
static OracleLocationSet |
intersect(OracleLocationSet l1,
OracleLocationSet l2) |
static OracleLocationSet |
singleton(OracleLocation loc) |
java.lang.String |
toString() |
static OracleLocationSet |
union(OracleLocationSet l1,
OracleLocationSet l2) |
private java.util.Set<OracleLocation> locs
public static final EmptyOracleLocationSet EMPTY
public static final AllLocsLocationSet ALL_LOCS
private void add(OracleLocation loc)
private void add(OracleLocationSet loc)
public static OracleLocationSet singleton(OracleLocation loc)
public static OracleLocationSet union(OracleLocationSet l1, OracleLocationSet l2)
public static OracleLocationSet intersect(OracleLocationSet l1, OracleLocationSet l2)
public boolean contains(OracleLocation l)
public java.lang.String toString()
toString
in class java.lang.Object