Package daikon.chicory
Interface ComparabilityProvider
-
- All Known Implementing Classes:
DCRuntime
,DeclWriter
public interface ComparabilityProvider
ThegetComparability(daikon.chicory.DaikonVariableInfo, daikon.chicory.DeclReader.DeclPpt)
method calculates a comparability value.This interface permits both
DCRuntime
andDeclWriter
to callDeclWriter.printDecl
; otherwise, they would need to duplicate code.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description String
getComparability(DaikonVariableInfo dv, @Nullable DeclReader.DeclPpt compare_ppt)
Calculate a comparability value.
-
-
-
Method Detail
-
getComparability
String getComparability(DaikonVariableInfo dv, @Nullable DeclReader.DeclPpt compare_ppt)
Calculate a comparability value.- Parameters:
dv
- variable to calculate comparability forcompare_ppt
- corresponding ppt from DynComp input; or null if none- Returns:
- comparability value
-
-