Class | Description |
---|---|
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 . |
FailonSwitch |
Helper class for the com.absint.astree.AstreeBuilder.
|
Copyright © 2016–2018. All rights reserved.