|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectpolyglot.visit.InitChecker.ClassBodyInfo
protected static class InitChecker.ClassBodyInfo
This class is just a data structure containing relevant information needed for performing initialization checking of a class declaration. These objects form a stack, since class declarations can be nested.
Field Summary | |
---|---|
java.util.List |
allConstructors
List of all the constructors. |
java.util.Map |
constructorCalls
Map from ConstructorInstances to ConstructorInstances detailing which constructors call which constructors. |
ClassType |
currClass
The current class being processed. |
java.util.Map |
currClassFinalFieldInitCounts
A Map of all the final fields in the class currently being processed to MinMaxInitCounts. |
CodeNode |
currCodeDecl
The current CodeNode being processed by the dataflow equations |
java.util.Map |
fieldsConstructorInitializes
Map from ConstructorInstances to Sets of FieldInstances, detailing which final non-static fields each constructor initializes. |
java.util.Set |
localDeclarations
Set of LocalInstances that we have seen declarations for in this class. |
java.util.Map |
localsUsedInClassBodies
Map from ClassBody s to Set s of
LocalInstance s. |
InitChecker.ClassBodyInfo |
outer
The info for the outer ClassBody. |
java.util.Set |
outerLocalsUsed
Set of LocalInstances from the outer class body that were used during the declaration of this class. |
Constructor Summary | |
---|---|
protected |
InitChecker.ClassBodyInfo()
|
Method Summary |
---|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public InitChecker.ClassBodyInfo outer
ClassBodyInfo
s
form a stack.
public CodeNode currCodeDecl
public ClassType currClass
public java.util.Map currClassFinalFieldInitCounts
public java.util.List allConstructors
public java.util.Map constructorCalls
public java.util.Map fieldsConstructorInitializes
public java.util.Set outerLocalsUsed
localsUsedInClassBodies
public java.util.Map localsUsedInClassBodies
ClassBody
s to Set
s of
LocalInstance
s. If localsUsedInClassBodies(C) = S, then
the class body C is an inner class declared in the current code
declaration, and S is the set of LocalInstances that are defined
in the current code declaration, but are used in the declaration
of the class C. We need this information in order to ensure that
these local variables are definitely assigned before the class
declaration of C.
public java.util.Set localDeclarations
Constructor Detail |
---|
protected InitChecker.ClassBodyInfo()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |