All Classes and Interfaces
Class
Description
alarm type of an AbsInt issue
Stores an analysis (result) summary and provides an interface to the analysis result for the
Astrée PlugIn classes.
When the user configures the project and enables this builder,
Descriptor.newInstance(StaplerRequest) is invoked
and a new AstreeBuilder is created.Descriptor for
AstreeBuilder.Parser for AbsInt Astree XML reports.
Parser which simply parses Astree XML reports into data structures whithout
interconnecting the elements
Tool registration to be picked up by warnings pluging
Descriptor for this static analysis tool.
Helper class for the com.absint.astree.AstreeBuilder.
location information of an AbsInt issue
message
possible message types