Uses of Package
com.absint.astree

Classes in com.absint.astree used by 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.DescriptorImpl	Descriptor for AstreeBuilder.
AstreeReportParser	Parser for AbsInt Astree XML reports.
FailonSwitch	Helper class for the com.absint.astree.AstreeBuilder.
Location	location information of an AbsInt issue
Message	message
Message.MessageType	possible message types