public interface LivenessPredicate
A predicate on whether statements and variables should be considered live.
Any supplied predicate must satisfy load-order dependencies. For any atom considered live, the atoms it depends on at load time should also be live. The following load-order dependencies exist:
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 stringLiteral)
Subclasses should return true if
stringLiteral is deemed live and false otherwise. |
boolean |
miscellaneousStatementsAreLive()
Whether miscellaneous statements should be considered live.
|
boolean isLive(JDeclaredType type)
type
is deemed live and false otherwise.boolean isLive(JField field)
field
is deemed live and false otherwise.boolean isLive(JMethod method)
method
is deemed live and false otherwise.boolean isLive(String stringLiteral)
stringLiteral
is deemed live and false otherwise.boolean miscellaneousStatementsAreLive()
true
, but does return false
for
NothingAlivePredicate
.Copyright © 2018. All rights reserved.