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

Uses of AnalysisSummary in com.absint.astree

Methods in com.absint.astree that return AnalysisSummary

Modifier and Type

Method

Description

static AnalysisSummary

AnalysisSummary.readFromReportFile(String path)

Constructs an AnalyisSummary object from a report file (txt version).