All Classes and Interfaces

Classes

Class	Description
AnalysisServerConfiguration
AnalysisSummary	Stores an analysis (result) summary and provides an interface to the analysis result for the Astrée PlugIn classes.
AstreeBuilder	When the user configures the project and enables this builder, Descriptor.newInstance(StaplerRequest) is invoked and a new AstreeBuilder is created.
AstreeBuilder.DescriptorImpl	Descriptor for AstreeBuilder.
AstreeReportParser	Parser for AbsInt Astree XML reports.
AstreeTool	Tool registration to be picked up by warnings pluging
AstreeTool.Descriptor	Descriptor for this static analysis tool.
FailonSwitch	Helper class for the com.absint.astree.AstreeBuilder.