Uses of Package com.absint.astree (AbsInt Astrée Plugin for Jenkins 115.v23dc31226ea_8 API)

Classes in com.absint.astree used by com.absint.astree

Class

Description

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.