public class ProgressMonitor extends PhaseMonitoring<ProgressMonitor.PreScanProgressMonitor,DefaultAnalysisMonitoring>
Modifier and Type | Class and Description |
---|---|
static class |
ProgressMonitor.PreScanProgressMonitor |
Constructor and Description |
---|
ProgressMonitor(boolean print) |
addMessage, addMessage, addMessageInfo, allowNextIteration, getMessages, getPreScanMonitor, getScanMonitor, getTypeInformation, setSolverInterface, visitBlockTransferPost, visitBlockTransferPre, visitCall, visitEvalCall, visitEventHandlerRegistration, visitFunction, visitIf, visitIn, visitInnerHTMLWrite, visitInstanceof, visitIterationDone, visitJoin, visitNativeFunctionCall, visitNativeFunctionReturn, visitNewFlow, visitNewObject, visitNodeTransferPost, visitNodeTransferPre, visitPhasePost, visitPhasePre, visitPropagationPost, visitPropagationPre, visitPropertyAccess, visitPropertyRead, visitPropertyWrite, visitRead, visitReadNonThisVariable, visitReadProperty, visitReadThis, visitReadVariable, visitRecoveryGraph, visitRenameObject, visitUnknownValueResolve, visitUserFunctionCall, visitVariableAsRead, visitVariableOrProperty
Copyright © 2009-2019 Aarhus University