public static class TacletMenu.TacletAppComparator extends java.lang.Object implements java.util.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
|
java.util.LinkedHashMap<java.lang.String,java.lang.Integer> |
score(TacletApp o1) |
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 java.util.Comparator<TacletApp>
public java.util.LinkedHashMap<java.lang.String,java.lang.Integer> score(TacletApp o1)