Template class for analyzing complete Java projects that use the abstract interpreter.
Defines a method to optionally report some result.
Defines a method to optionally report some result.
Primarily intended to be mixed-in by domains that are used by an AIProject
.
Template class for analyzing complete Java projects that use the abstract interpreter.
This trait is intended to be used in combination with the
Analysis
and theAnalysisExecutor
traits to easily create a readily executable analysis (see the Demos project for examples).