Package com.ibm.wala.demandpa.alg
Enum DemandRefinementPointsTo.PointsToResult
- java.lang.Object
-
- java.lang.Enum<DemandRefinementPointsTo.PointsToResult>
-
- com.ibm.wala.demandpa.alg.DemandRefinementPointsTo.PointsToResult
-
- All Implemented Interfaces:
Serializable
,Comparable<DemandRefinementPointsTo.PointsToResult>
- Enclosing class:
- DemandRefinementPointsTo
public static enum DemandRefinementPointsTo.PointsToResult extends Enum<DemandRefinementPointsTo.PointsToResult>
Possible results of a query.
-
-
Enum Constant Summary
Enum Constants Enum Constant Description BUDGETEXCEEDED
The budget specified in theRefinementPolicy
was exceeded on all refinement passesNOMOREREFINE
TheRefinementPolicy
indicated that no more refinement was possible, and on at least one refinement pass the budget was not exhaustedSUCCESS
The points-to set result satisfies the suppliedPredicate
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static DemandRefinementPointsTo.PointsToResult
valueOf(String name)
Returns the enum constant of this type with the specified name.static DemandRefinementPointsTo.PointsToResult[]
values()
Returns an array containing the constants of this enum type, in the order they are declared.
-
-
-
Enum Constant Detail
-
SUCCESS
public static final DemandRefinementPointsTo.PointsToResult SUCCESS
The points-to set result satisfies the suppliedPredicate
-
NOMOREREFINE
public static final DemandRefinementPointsTo.PointsToResult NOMOREREFINE
TheRefinementPolicy
indicated that no more refinement was possible, and on at least one refinement pass the budget was not exhausted
-
BUDGETEXCEEDED
public static final DemandRefinementPointsTo.PointsToResult BUDGETEXCEEDED
The budget specified in theRefinementPolicy
was exceeded on all refinement passes
-
-
Method Detail
-
values
public static DemandRefinementPointsTo.PointsToResult[] values()
Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:for (DemandRefinementPointsTo.PointsToResult c : DemandRefinementPointsTo.PointsToResult.values()) System.out.println(c);
- Returns:
- an array containing the constants of this enum type, in the order they are declared
-
valueOf
public static DemandRefinementPointsTo.PointsToResult valueOf(String name)
Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)- Parameters:
name
- the name of the enum constant to be returned.- Returns:
- the enum constant with the specified name
- Throws:
IllegalArgumentException
- if this enum type has no constant with the specified nameNullPointerException
- if the argument is null
-
-