Package soot.dava.toolkits.base.AST.transformations

Class FinalFieldDefinition

java.lang.Object

soot.dava.toolkits.base.AST.transformations.FinalFieldDefinition

public class FinalFieldDefinition
extends Object

This class makes sure there is an initialization of all final variables (static or non static). If we cant guarantee initialization (may be initialized on multiple paths but not all) then we remove the final keyword

Constructor Summary

Constructors

Constructor	Description
FinalFieldDefinition(ASTMethodNode node)

Method Summary

Modifier and Type	Method	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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FinalFieldDefinition

public FinalFieldDefinition(ASTMethodNode node)

Method Detail

findFinalFields

public ArrayList<SootField> findFinalFields()

analyzeMethod

public void analyzeMethod(ASTMethodNode node,
                          List<SootField> varsOfInterest)

assignDefault

public void assignDefault(ASTMethodNode node,
                          SootField f)

createDefaultStmt

public AugmentedStmt createDefaultStmt(Object field)

handleAssignOnSomePaths

public void handleAssignOnSomePaths(ASTMethodNode node,
                                    SootField field,
                                    List defs)