public class DominationAnalysisUtil extends AnalysisUtil<Unit>
extInfo, instanceInitializersChecked, workQueue
Constructor and Description |
---|
DominationAnalysisUtil(WorkQueue<Unit> workQueue,
AnalysisUnit currentAnalysisUnit,
AccrueExtensionInfo extInfo,
DominationPass.Kind kind) |
Modifier and Type | Method and Description |
---|---|
ExitMap<Unit> |
analyze(polyglot.ast.CodeNode n,
Unit before)
Analyze the given code with the given current analysis results
|
void |
call(polyglot.types.ConstructorInstance ci,
polyglot.ast.New n) |
void |
call(polyglot.types.MethodInstance mi,
polyglot.ast.Call n) |
void |
constructorCall(polyglot.types.ConstructorInstance ci,
polyglot.ast.ConstructorCall n) |
abstractLocations, abstractLocations, abstractLocations, abstractLocations, abstractLocations, abstractLocations, abstractLocations, abstractLocations, abstractLocations, abstractLocationsForArray, abstractLocationsForArray, abstractLocationsForArray, abstractLocationsImplicitTarget, analysisName, analyzeInitializers, analyzeStaticInitializers, createExitMap, currentAnalysisUnit, currentClass, currentContext, extensionInfo, instanceInitializers, leq, maybeRecursiveCall, pointsTo, pointsTo, pointsTo, pointsTo, pointsTo, pointsTo, pointsTo, pointsTo, pointsTo, pointsToGraph, pointsToThis, process, recordMissingCode, typeSystem, upperBound, workQueue
public DominationAnalysisUtil(WorkQueue<Unit> workQueue, AnalysisUnit currentAnalysisUnit, AccrueExtensionInfo extInfo, DominationPass.Kind kind)
public ExitMap<Unit> analyze(polyglot.ast.CodeNode n, Unit before) throws polyglot.types.SemanticException
AnalysisUtil
analyze
in class AnalysisUtil<Unit>
n
- Code to analyzebefore
- analysis result before analyzing the given codepolyglot.types.SemanticException
- thrown if the analysis failspublic void call(polyglot.types.MethodInstance mi, polyglot.ast.Call n)
public void call(polyglot.types.ConstructorInstance ci, polyglot.ast.New n)
public void constructorCall(polyglot.types.ConstructorInstance ci, polyglot.ast.ConstructorCall n)