
public class CfaLivenessPredicate extends Object implements LivenessPredicate
LivenessPredicate that bases liveness on a single
ControlFlowAnalyzer.| Constructor and Description |
|---|
CfaLivenessPredicate(ControlFlowAnalyzer cfa) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
isLive(JDeclaredType type)
Subclasses should return true if
type is deemed live and false otherwise. |
boolean |
isLive(JField field)
Subclasses should return true if
field is deemed live and false otherwise. |
boolean |
isLive(JMethod method)
Subclasses should return true if
method is deemed live and false otherwise. |
boolean |
miscellaneousStatementsAreLive()
Whether miscellaneous statements should be considered live.
|
public CfaLivenessPredicate(ControlFlowAnalyzer cfa)
public boolean isLive(JDeclaredType type)
LivenessPredicatetype is deemed live and false otherwise.isLive in interface LivenessPredicatepublic boolean isLive(JField field)
LivenessPredicatefield is deemed live and false otherwise.isLive in interface LivenessPredicatepublic boolean isLive(JMethod method)
LivenessPredicatemethod is deemed live and false otherwise.isLive in interface LivenessPredicatepublic boolean miscellaneousStatementsAreLive()
LivenessPredicatetrue, but does return false for
NothingAlivePredicate.miscellaneousStatementsAreLive in interface LivenessPredicateCopyright © 2018. All rights reserved.