public class ModifiesSetTranslator
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private OracleGenerator |
gen |
private Services |
services |
Constructor and Description |
---|
ModifiesSetTranslator(Services services,
OracleGenerator gen) |
Modifier and Type | Method and Description |
---|---|
private LocSetLDT |
getLocSetLDT() |
boolean |
isAllFields(Term t) |
boolean |
isAllLocs(Term t) |
boolean |
isEmpty(Term t) |
boolean |
isIntersection(Term t) |
boolean |
isSingleTon(Term t) |
boolean |
isUnion(Term t) |
OracleLocationSet |
translate(Term t) |
private Services services
private OracleGenerator gen
public ModifiesSetTranslator(Services services, OracleGenerator gen)
public boolean isSingleTon(Term t)
public boolean isUnion(Term t)
public boolean isIntersection(Term t)
public boolean isAllFields(Term t)
public boolean isAllLocs(Term t)
public boolean isEmpty(Term t)
private LocSetLDT getLocSetLDT()
public OracleLocationSet translate(Term t)