Constructor and Description |
---|
PCGAbsVal(java.util.Set<ThrowableType> terminationKinds,
java.util.Set<EdgeIdentifier> throwSites,
java.util.Set<EdgeIdentifier> returnSites,
boolean canTerminateNormally) |
Modifier and Type | Method and Description |
---|---|
boolean |
canTerminateNormally() |
boolean |
equals(java.lang.Object obj) |
int |
hashCode() |
boolean |
leq(PCGAbsVal o)
Is the given object less than or equal to this one
|
java.util.Set<EdgeIdentifier> |
returnSites() |
java.util.Set<EdgeIdentifier> |
throwSites() |
java.util.Set<ThrowableType> |
throwTypes() |
java.lang.String |
toString() |
PCGAbsVal |
upperBound(PCGAbsVal o)
Compute the upper bound of
this and o |
PCGAbsVal |
widen(PCGAbsVal o)
Compute the widening operator on
this and o . |
public static final PCGAbsVal EMPTY
public PCGAbsVal(java.util.Set<ThrowableType> terminationKinds, java.util.Set<EdgeIdentifier> throwSites, java.util.Set<EdgeIdentifier> returnSites, boolean canTerminateNormally)
public boolean leq(PCGAbsVal o)
Ordered
public PCGAbsVal upperBound(PCGAbsVal o)
Ordered
this
and o
upperBound
in interface Ordered<PCGAbsVal>
o
- object to upper bound with thisthis
with o
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.Set<ThrowableType> throwTypes()
public java.util.Set<EdgeIdentifier> throwSites()
public java.util.Set<EdgeIdentifier> returnSites()
public boolean canTerminateNormally()
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object