public static class TacletMenu.TacletAppComparator extends Object implements Comparator<TacletApp>
Constructor and Description |
---|
TacletAppComparator() |
Modifier and Type | Method and Description |
---|---|
int |
compare(TacletApp o1,
TacletApp o2) |
private int |
countFormulaSV(TacletSchemaVariableCollector c) |
private int |
measureGoalComplexity(ImmutableList<TacletGoalTemplate> l)
this is a rough estimation about the goal complexity.
|
int |
programComplexity(JavaBlock b)
rough approximation of the program complexity
|
LinkedHashMap<String,Integer> |
score(TacletApp o1) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
comparing, comparing, comparingDouble, comparingInt, comparingLong, equals, naturalOrder, nullsFirst, nullsLast, reversed, reverseOrder, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong
private int countFormulaSV(TacletSchemaVariableCollector c)
private int measureGoalComplexity(ImmutableList<TacletGoalTemplate> l)
public int programComplexity(JavaBlock b)
public int compare(TacletApp o1, TacletApp o2)
compare
in interface Comparator<TacletApp>
public LinkedHashMap<String,Integer> score(TacletApp o1)