Interface ConsistencyAnalysis
-
- All Known Implementing Classes:
AbstractConsistencyAnalysis
,ECTSSumAnalysis
public interface ConsistencyAnalysis
Interface of a consistency analysis.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description ConsistencyAnalysisResult
analyze(Program program)
Analyze the program to find inconsistencies.I18nizableText
getDescription()
Retrieves the description of the consistency analysis.String
getId()
Retrieves the id of the consistency analysis.I18nizableText
getLabel()
Retrieves the label of the consistency analysis.int
getPriority()
Retrieves the priority of the consistency analysis.String
getShortId()
Retrieves the short id of the consistency analysis.
-
-
-
Method Detail
-
getLabel
I18nizableText getLabel()
Retrieves the label of the consistency analysis.- Returns:
- the label.
-
getDescription
I18nizableText getDescription()
Retrieves the description of the consistency analysis.- Returns:
- the description.
-
getShortId
String 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
ConsistencyAnalysisResult analyze(Program program)
Analyze the program to find inconsistencies.- Parameters:
program
- The program to analyze- Returns:
- A
List
of lines asI18nizableText
-
-