Provides Jenkins integration for the Astrée static code analyzer.
ID of an existing, preconfigured analysis on the Astrée server that serves as a revisioning base for the analyses of the current Jenkins project. The analysis, ...
Mar 23, 2024 · Provides Jenkins integration for the Astrée static code analyzer.
Package com.absint.astree ; AnalysisSummary. Stores an analysis (result) summary and provides an interface to the analysis result for the Astrée PlugIn classes.
Provides Jenkins integration for the Astrée static code analyzer.
AstreeBuilder (AbsInt Astrée Plugin for Jenkins 1.0.8 API)
javadoc.jenkins.io › com › absint › astree
When the user configures the project and enables this builder, Descriptor.newInstance(StaplerRequest) is invoked and a new AstreeBuilder is created.
Sep 7, 2021 · Configure an analyzer run as a Jenkins build step (tick) Launch an Astrée analysis as a newly created analysis revision
Helper class for the com.absint.astree.AstreeBuilder. Stores the project-level settings of the fail-on-switch that allows the analyzer to fail a Jenkins ...
Stores an analysis (result) summary and provides an interface to the analysis result for the Astrée PlugIn classes. AstreeBuilder - Class in com.absint.astree.