public class JL5InitChecker extends InitChecker
InitChecker.BottomItem, InitChecker.ClassBodyInfo, InitChecker.DataFlowItem, InitChecker.FlowItem, InitChecker.InitCount, InitChecker.MinMaxInitCount
DataFlow.BoolItem<FlowItem extends DataFlow.Item>, DataFlow.ConditionNavigator<FlowItem extends DataFlow.Item>, DataFlow.FlowGraphSource<FlowItem extends DataFlow.Item>, DataFlow.Frame<FlowItem extends DataFlow.Item>, DataFlow.Item
BOTTOM, currCBI
dataflowOnEntry, detectBackEdges, flowCounter, flowgraphStack, forward, postordering
error, job, nf, ts
bypass, bypassParent
Constructor and Description |
---|
JL5InitChecker(Job job,
TypeSystem ts,
NodeFactory nf) |
Modifier and Type | Method and Description |
---|---|
protected NodeVisitor |
enterCall(Node parent,
Node n)
Overridden superclass method.
|
check, checkClassBody, checkFieldAssign, checkLocal, checkLocalAssign, checkLocalInstanceInit, checkLocalsUsedByInnerClass, checkNonStaticFinalFieldsInit, checkOther, checkStaticFinalFieldsInit, confluence, confluence, createInitialItem, dataflow, finishConstructorDecl, finishInitializer, flow, flow, flowConstructorCall, flowFieldAssign, flowFormal, flowLocalAssign, flowLocalDecl, flowOther, initGraph, isFieldsTargetAppropriate, leaveCall, setupClassBody
check, constructItemsFromCondition, createCFGBuilder, createFrame, createInitialItem, currentFlowGraph, dataflow, dataflow, dataflow, dumpFlowGraph, enterCall, filterItems, filterItemsExceptionSubclass, filterItemsNonError, filterItemsNonException, findSCCs, flow, flow, flow, flowBooleanConditions, flowToBooleanFlow, hasTrueFalseBranches, initGraph, itemsToMap, itemToMap, lang, leave, post, safeConfluence, safeConfluence, safeConfluence
begin, catchErrors, enter, enterError, errorQueue, hasErrors, job, leaveCall, leaveCall, nodeFactory, typeSystem
bypass, bypass, bypassChildren, override, visitChildren
copy, enter, finish, finish, leave, override, toString, visitEdge, visitEdgeNoOverride
public JL5InitChecker(Job job, TypeSystem ts, NodeFactory nf)
protected NodeVisitor enterCall(Node parent, Node n) throws SemanticException
InitChecker
enterCall
in class InitChecker
n
- The root of the subtree to be traversed.ErrorHandlingVisitor
which should be
used to visit the children of n
.SemanticException
NodeVisitor.enter(Node, Node)