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 |
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 miscellaneousStatementsAreLive()
true
, but does return false
for
NothingAlivePredicate
.Copyright © 2018. All rights reserved.