Package com.absint.astree

package com.absint.astree

Class	Description
AlarmType	alarm type of an AbsInt issue
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.
AstreeSimpleReportParser	Parser which simply parses Astree XML reports into data structures whithout interconnecting the elements
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.
Location	location information of an AbsInt issue
Message	message
Message.MessageType	possible message types