public class AnalysisSummary extends Object
Modifier and Type | Method and Description |
---|---|
int |
getNumberOfAlarms()
Returns the number of reported potential runtime errors ("alarms").
|
int |
getNumberOfErrors()
Returns the number of reported definite runtime errors ("errors").
|
int |
getNumberOfFlowAnomalies()
Returns the number of reported flow anaomalies ("Type D alarms").
|
int |
getNumberOfRuleViolations()
Returns the number of reported rule violations ("Type R alarms").
|
int |
getNumberOfTrueAlarms()
Returns the number of reported potential runtime errors ("alarms") classified as "true".
|
int |
getNumberOfUncommentedAlarms()
Returns the number of reported potential runtime errors ("alarms") not commented.
|
static AnalysisSummary |
readFromReportFile(String path)
Constructs an AnalyisSummary object from a report file (txt version).
|
public static AnalysisSummary readFromReportFile(String path)
path
- Path (as String
) to the Astrée text report
from which the object is to be constructed.public int getNumberOfErrors()
public int getNumberOfAlarms()
public int getNumberOfFlowAnomalies()
public int getNumberOfRuleViolations()
public int getNumberOfTrueAlarms()
public int getNumberOfUncommentedAlarms()
Copyright © 2016–2018. All rights reserved.