Uses of Package
com.absint.astree

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

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