AnalysisSummary (AbsInt Astrée Plugin for Jenkins 1.0.0 API)

java.lang.Object
- com.absint.astree.AnalysisSummary

```
public class AnalysisSummary
extends Object
```
Stores an analysis (result) summary and provides an interface to the analysis result for the Astrée PlugIn classes.

Author:

AbsInt Angewandte Informatik GmbH

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`int`	`getNumberOfAlarms()` Returns the number of reported potential runtime errors ("alarms").
`int`	`getNumberOfDataflowAnomalies()` Returns the number of reported data-flow anaomalies ("Type D alarms").
`int`	`getNumberOfErrors()` Returns the number of reported definite runtime errors ("errors").
`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).

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Method Detail
  - readFromReportFile
```
public static AnalysisSummary readFromReportFile(String path)
```
    Constructs an AnalyisSummary object from a report file (txt version).
    
    Parameters:
    
    path - Path (as String) to the Astrée text report from which the object is to be constructed.
    
    Returns:
    
    AnalysisSummary object providing easy access to data of an Astrée report
  - getNumberOfErrors
```
public int getNumberOfErrors()
```
    Returns the number of reported definite runtime errors ("errors").
    
    Returns:
    
    int
  - getNumberOfAlarms
```
public int getNumberOfAlarms()
```
    Returns the number of reported potential runtime errors ("alarms").
    
    Returns:
    
    int
  - getNumberOfDataflowAnomalies
```
public int getNumberOfDataflowAnomalies()
```
    Returns the number of reported data-flow anaomalies ("Type D alarms").
    
    Returns:
    
    int
  - getNumberOfRuleViolations
```
public int getNumberOfRuleViolations()
```
    Returns the number of reported rule violations ("Type R alarms").
    
    Returns:
    
    int
  - getNumberOfTrueAlarms
```
public int getNumberOfTrueAlarms()
```
    Returns the number of reported potential runtime errors ("alarms") classified as "true".
    
    Returns:
    
    int
  - getNumberOfUncommentedAlarms
```
public int getNumberOfUncommentedAlarms()
```
    Returns the number of reported potential runtime errors ("alarms") not commented.
    
    Returns:
    
    int

Class AnalysisSummary

Method Summary

Methods inherited from class java.lang.Object

Method Detail

readFromReportFile

getNumberOfErrors

getNumberOfAlarms

getNumberOfDataflowAnomalies

getNumberOfRuleViolations

getNumberOfTrueAlarms

getNumberOfUncommentedAlarms