Package com.absint.astree

Class AnalysisSummary

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 Details

    • 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

    • getNumberOfFlowAnomalies

      public int getNumberOfFlowAnomalies()
      Returns the number of reported 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