soot.dava.toolkits.base.AST.transformations

Class FinalFieldDefinition

java.lang.Object

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

public class FinalFieldDefinition
extends java.lang.Object

CHANGE LOG: 30th January 2006: Class was created to get rid of the field might not be initialized error that used to show up when recompiling decompiled code Will be throughly covered in "Programmer Friendly Code" Sable Tech Report (2006)

Constructor Summary

Constructors

Constructor and Description
FinalFieldDefinition(ASTMethodNode node)

Method Summary

Modifier and Type	Method and Description
void	analyzeMethod(ASTMethodNode node, java.util.List<SootField> varsOfInterest)
void	assignDefault(ASTMethodNode node, SootField f)
AugmentedStmt	createDefaultStmt(java.lang.Object field)
java.util.ArrayList<SootField>	findFinalFields()
void	handleAssignOnSomePaths(ASTMethodNode node, SootField field, java.util.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 java.util.ArrayList<SootField> findFinalFields()

analyzeMethod

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

assignDefault

public void assignDefault(ASTMethodNode node,
                          SootField f)

createDefaultStmt

public AugmentedStmt createDefaultStmt(java.lang.Object field)

handleAssignOnSomePaths

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