Package edu.umd.cs.findbugs.ba.heap
Class FieldSet
java.lang.Object
edu.umd.cs.findbugs.ba.heap.FieldSet
-
Field Details
-
isTop
private boolean isTop -
isBottom
private boolean isBottom -
fieldSet
-
-
Constructor Details
-
FieldSet
public FieldSet()
-
-
Method Details
-
setTop
public void setTop() -
isTop
public boolean isTop() -
setBottom
public void setBottom() -
isBottom
public boolean isBottom() -
isValid
public boolean isValid() -
isEmpty
public boolean isEmpty() -
clear
public void clear() -
addField
-
contains
-
mergeWith
-
sameAs
-
copyFrom
-
isIntersectionNonEmpty
-
toString
-