Package gw.internal.gosu.parser.statements

Class VarInitializationVerifier

java.lang.Object

gw.internal.gosu.parser.statements.VarInitializationVerifier

public class VarInitializationVerifier
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	VarInitializationVerifier.AssignedState

Field Summary

Fields

Modifier and Type	Field	Description
private boolean	_bFinalOnly

Constructor Summary

Constructors

Modifier	Constructor	Description
private	VarInitializationVerifier(boolean bFinalOnly)

Method Summary

Modifier and Type	Method	Description
private void	assignTerminalStatement(ArrayList<AssignmentOrReference> assignments, IStatement stmt)
static boolean	doStatementsTerminate(List<? extends IStatement> statements)
private IParsedElement	findBreakStatementContext(ITerminalStatement terminal)
private IParsedElement	findContinueStatementContext(ITerminalStatement terminal)
private IParsedElement	findEnclosingFunctionStatement(ITerminalStatement terminal)
private IStatement	findEnclosingStatement(IParsedElement pe)
private IParsedElement	findFirstEnclosing(IParsedElement csr, Class[] classes)
private List<IStatement>	findTrailingStmts(IStatement enclosingStatement, IVarStatement finalVar)
private VarInitializationVerifier.AssignedState	getAssignedState(ISymbol sym, IParsedElement s, ArrayList<AssignmentOrReference> assignments, VarInitializationVerifier.AssignedState localState)
private VarInitializationVerifier.AssignedState	getAssignedStateForStatements(ISymbol sym, ArrayList<AssignmentOrReference> assignments, IStatement[] statements, VarInitializationVerifier.AssignedState localState)
private IParsedElement	getTerminalContext(ITerminalStatement terminal)
private IParsedElement	getTerminalParent(IParsedElement pe)
private boolean	isFinalOnly()
(package private) static boolean	isStatementContainedIn(IParsedElement stmt, IParsedElement container)
private void	markErrorsOnAssignmentsToFinal(IVarStatement varStmt, ArrayList<AssignmentOrReference> assignments)
private void	markErrorsOnBadAssignmentsAndReferences(IVarStatement varStmt, boolean bField, boolean bFinal, ArrayList<AssignmentOrReference> assignments)
private void	verifyFields(IGosuClassInternal gsClass)
static void	verifyFinalFields(IGosuClass gsClass)	Verifies initialization of final fields in the provided class and, recursively, all nested inner classes: Verifies that a final field is fully initialized either in the declaration or in the constructor[s] Verifies that an assignment to a final field is mutually exclusive wrt other assignments to the field Verifies that a reference to a final field is in a position in the source where the final field is fully initialized
private void	verifyInstanceField(IGosuClassInternal gsClass, VarStatement varStmt)
private VarInitializationVerifier.AssignedState	verifyInstanceFieldInConstructor(VarStatement varStmt, boolean bAssigned, VarInitializationVerifier.AssignedState overall, DynamicFunctionSymbol dfs)
private void	verifyInstanceFieldInOtherInstanceFields(IGosuClassInternal gsClass, VarStatement varStmt)
private void	verifyLocals(IGosuClassInternal gsClass)
private void	verifyLocalsRecursively(IParsedElement pe)
private void	verifyLocalVar(IVarStatement varStmt)
static void	verifyLocalVars(IGosuClass gsClass, boolean bFinalOnly)	Verifies initialization of local vars in the provided class and, recursively, all nested inner classes: Verifies that a final local var is fully initialized either in the declaration or in the scope of the var Verifies that an assignment to a final local var is mutually exclusive wrt other assignments to the var Verifies that a reference to any local var, not just finals, is in a position in the source where the var is fully initialized
private void	verifyStaticField(IGosuClassInternal gsClass, VarStatement varStmt)
private void	verifyVar(IVarStatement varStmt, boolean bField, boolean bFinal, boolean bAssigned, ArrayList<AssignmentOrReference> assignments)

Methods inherited from class java.lang.Object

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

Field Details

_bFinalOnly

private boolean _bFinalOnly

Constructor Details

VarInitializationVerifier

private VarInitializationVerifier(boolean bFinalOnly)

Method Details

isFinalOnly

private boolean isFinalOnly()

verifyFinalFields

public static void verifyFinalFields(IGosuClass gsClass)

Verifies initialization of final fields in the provided class and, recursively, all nested inner classes:

1. Verifies that a final field is fully initialized either in the declaration or in the constructor[s]
2. Verifies that an assignment to a final field is mutually exclusive wrt other assignments to the field
3. Verifies that a reference to a final field is in a position in the source where the final field is fully initialized

verifyLocalVars

public static void verifyLocalVars(IGosuClass gsClass,
 boolean bFinalOnly)

Verifies initialization of local vars in the provided class and, recursively, all nested inner classes:

1. Verifies that a final local var is fully initialized either in the declaration or in the scope of the var
2. Verifies that an assignment to a final local var is mutually exclusive wrt other assignments to the var
3. Verifies that a reference to any local var, not just finals, is in a position in the source where the var is fully initialized

verifyLocals

private void verifyLocals(IGosuClassInternal gsClass)

verifyLocalsRecursively

private void verifyLocalsRecursively(IParsedElement pe)

verifyLocalVar

private void verifyLocalVar(IVarStatement varStmt)

findTrailingStmts

private List<IStatement> findTrailingStmts(IStatement enclosingStatement,
 IVarStatement finalVar)

findEnclosingStatement

private IStatement findEnclosingStatement(IParsedElement pe)

verifyFields

private void verifyFields(IGosuClassInternal gsClass)

verifyInstanceField

private void verifyInstanceField(IGosuClassInternal gsClass,
 VarStatement varStmt)

verifyInstanceFieldInOtherInstanceFields

private void verifyInstanceFieldInOtherInstanceFields(IGosuClassInternal gsClass,
 VarStatement varStmt)

verifyInstanceFieldInConstructor

private VarInitializationVerifier.AssignedState verifyInstanceFieldInConstructor(VarStatement varStmt,
 boolean bAssigned,
 VarInitializationVerifier.AssignedState overall,
 DynamicFunctionSymbol dfs)

verifyVar

private void verifyVar(IVarStatement varStmt,
 boolean bField,
 boolean bFinal,
 boolean bAssigned,
 ArrayList<AssignmentOrReference> assignments)

markErrorsOnAssignmentsToFinal

private void markErrorsOnAssignmentsToFinal(IVarStatement varStmt,
 ArrayList<AssignmentOrReference> assignments)

markErrorsOnBadAssignmentsAndReferences

private void markErrorsOnBadAssignmentsAndReferences(IVarStatement varStmt,
 boolean bField,
 boolean bFinal,
 ArrayList<AssignmentOrReference> assignments)

verifyStaticField

private void verifyStaticField(IGosuClassInternal gsClass,
 VarStatement varStmt)

getAssignedState

private VarInitializationVerifier.AssignedState getAssignedState(ISymbol sym,
 IParsedElement s,
 ArrayList<AssignmentOrReference> assignments,
 VarInitializationVerifier.AssignedState localState)

doStatementsTerminate

public static boolean doStatementsTerminate(List<? extends IStatement> statements)

getTerminalParent

private IParsedElement getTerminalParent(IParsedElement pe)

isStatementContainedIn

static boolean isStatementContainedIn(IParsedElement stmt,
 IParsedElement container)

getAssignedStateForStatements

private VarInitializationVerifier.AssignedState getAssignedStateForStatements(ISymbol sym,
 ArrayList<AssignmentOrReference> assignments,
 IStatement[] statements,
 VarInitializationVerifier.AssignedState localState)

assignTerminalStatement

private void assignTerminalStatement(ArrayList<AssignmentOrReference> assignments,
 IStatement stmt)

getTerminalContext

private IParsedElement getTerminalContext(ITerminalStatement terminal)

findEnclosingFunctionStatement

private IParsedElement findEnclosingFunctionStatement(ITerminalStatement terminal)

findContinueStatementContext

private IParsedElement findContinueStatementContext(ITerminalStatement terminal)

findBreakStatementContext

private IParsedElement findBreakStatementContext(ITerminalStatement terminal)

findFirstEnclosing

private IParsedElement findFirstEnclosing(IParsedElement csr,
 Class[] classes)