Interface ConsistencyAnalysis

All Known Implementing Classes:
AbstractConsistencyAnalysis, ECTSSumAnalysis

public interface ConsistencyAnalysis
Interface of a consistency analysis.
  • Method Details

    • getId

      Retrieves the id of the consistency analysis.
      Returns:
      the id.
    • getLabel

      Retrieves the label of the consistency analysis.
      Returns:
      the label.
    • getDescription

      Retrieves the description of the consistency analysis.
      Returns:
      the description.
    • getShortId

      Retrieves the short id of the consistency analysis.
      Returns:
      the short id.
    • getPriority

      Retrieves the priority of the consistency analysis.
      Returns:
      the priority.
    • analyze

      Analyze the program to find inconsistencies.
      Parameters:
      program - The program to analyze
      Returns:
      A List of lines as I18nizableText