de.uka.ilkd.key.gui.nodeviews

Class TacletMenu.TacletAppComparator

java.lang.Object

de.uka.ilkd.key.gui.nodeviews.TacletMenu.TacletAppComparator

All Implemented Interfaces:

Comparator<TacletApp>

Enclosing class:

TacletMenu

public static class TacletMenu.TacletAppComparator
extends Object
implements Comparator<TacletApp>

Constructor Summary

Constructors

Constructor and Description
TacletAppComparator()

Method Summary

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.Comparator

comparing, comparing, comparingDouble, comparingInt, comparingLong, equals, naturalOrder, nullsFirst, nullsLast, reversed, reverseOrder, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong

Constructor Detail

TacletAppComparator

public TacletAppComparator()

Method Detail

countFormulaSV

private int countFormulaSV(TacletSchemaVariableCollector c)

measureGoalComplexity

private int measureGoalComplexity(ImmutableList<TacletGoalTemplate> l)

this is a rough estimation about the goal complexity. The complexity depends on the depth of the term to be replaced. If no such term exists we add a constant (may be refined in future)

programComplexity

public int programComplexity(JavaBlock b)

rough approximation of the program complexity

compare

public int compare(TacletApp o1,
                   TacletApp o2)

Specified by:

compare in interface Comparator<TacletApp>

score

public LinkedHashMap<String,Integer> score(TacletApp o1)