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 |
isLive(String string)
Subclasses should return true if
stringLiteral is deemed live and false otherwise. |
boolean |
miscellaneousStatementsAreLive()
Whether miscellaneous statements should be considered live.
|
public CfaLivenessPredicate(ControlFlowAnalyzer cfa)
public boolean isLive(JDeclaredType type)
LivenessPredicate
type
is deemed live and false otherwise.isLive
in interface LivenessPredicate
public boolean isLive(JField field)
LivenessPredicate
field
is deemed live and false otherwise.isLive
in interface LivenessPredicate
public boolean isLive(JMethod method)
LivenessPredicate
method
is deemed live and false otherwise.isLive
in interface LivenessPredicate
public boolean isLive(String string)
LivenessPredicate
stringLiteral
is deemed live and false otherwise.isLive
in interface LivenessPredicate
public boolean miscellaneousStatementsAreLive()
LivenessPredicate
true
, but does return false
for
NothingAlivePredicate
.miscellaneousStatementsAreLive
in interface LivenessPredicate
Copyright © 2018. All rights reserved.