project

Type Members

1. trait AIProject[Source, D <: Domain with OptionalReport] extends AnyRef

   

   Template class for analyzing complete Java projects that use the abstract interpreter.

   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 the AnalysisExecutor traits to easily create a readily executable analysis (see the Demos project for examples).

2. trait OptionalReport extends AnyRef

   

   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.