public class AnalysisLimitationException
extends java.lang.RuntimeException
Unlike AnalysisException
this exception does not indicate a bug but critical lack of precision or missing modelling of a native function.
Modifier and Type | Class and Description |
---|---|
static class |
AnalysisLimitationException.AnalysisModelLimitationException
To be used when encountering unmodeled native functions.
|
static class |
AnalysisLimitationException.AnalysisPrecisionLimitationException
To be used when encountering situations where the state is too imprecise, e.g.
|
static class |
AnalysisLimitationException.AnalysisTimeException |
static class |
AnalysisLimitationException.NodeJSRequireException
Exception related to NodeJS.
|
static class |
AnalysisLimitationException.SyntacticSupportNotImplemented
Exception for syntactic features that are not yet implemented.
|
Copyright © 2009-2019 Aarhus University