Package com.absint.astree

Class Summary

Class	Description
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.
FailonSwitch	Helper class for the com.absint.astree.AstreeBuilder.