public class FinalFieldDefinition extends Object
Constructor and Description |
---|
FinalFieldDefinition(ASTMethodNode node) |
Modifier and Type | Method and Description |
---|---|
void |
analyzeMethod(ASTMethodNode node,
List<SootField> varsOfInterest) |
void |
assignDefault(ASTMethodNode node,
SootField f) |
AugmentedStmt |
createDefaultStmt(Object field) |
ArrayList<SootField> |
findFinalFields() |
void |
handleAssignOnSomePaths(ASTMethodNode node,
SootField field,
List defs) |
public FinalFieldDefinition(ASTMethodNode node)
public void analyzeMethod(ASTMethodNode node, List<SootField> varsOfInterest)
public void assignDefault(ASTMethodNode node, SootField f)
public AugmentedStmt createDefaultStmt(Object field)
public void handleAssignOnSomePaths(ASTMethodNode node, SootField field, List defs)