Interface ConsistencyAnalysis
- All Known Implementing Classes:
AbstractConsistencyAnalysis
,ECTSSumAnalysis
public interface ConsistencyAnalysis
Interface of a consistency analysis.
-
Method Summary
Modifier and TypeMethodDescriptionAnalyze the program to find inconsistencies.Retrieves the description of the consistency analysis.getId()
Retrieves the id of the consistency analysis.getLabel()
Retrieves the label of the consistency analysis.int
Retrieves the priority of the consistency analysis.Retrieves the short id of the 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
int 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 asI18nizableText
-