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

Uses of AnalysisServerConfiguration in com.absint.astree

Constructors in com.absint.astree with parameters of type AnalysisServerConfiguration

Modifier

Constructor

Description

AstreeBuilder(String dax_file, String analysis_id, String output_dir, boolean skip_analysis, boolean genXMLOverview, boolean genXMLCoverage, boolean genXMLAlarmsByOccurence, boolean genXMLAlarmsByCategory, boolean genXMLAlarmsByFile, boolean genXMLRulechecks, boolean dropAnalysis, boolean genPreprocessOutput, FailonSwitch failonswitch, AnalysisServerConfiguration analysisSrv)