|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--harpoon.Tools.PatMat.Spec.Detail | +--harpoon.Tools.PatMat.Spec.DetailWeight
Extension of Spec.Detail
that stores a
(name,weight) pair. This weight can be used by the
Instruction Generator to choose one pattern over another if
it is attempting to optimize for the property
(speed, size, etc) given in name
.
syntax: %weight <
ID ,
WEIGHT >
Field Summary | |
String |
name
Describes what metric value is measuring. |
double |
value
The weight associated with name . |
Constructor Summary | |
Spec.DetailWeight(String name,
double value)
Constructs a new Spec.DetailWeight . |
Method Summary | |
void |
accept(Spec.DetailVisitor v)
Applies v 's visit method to
this . |
String |
toString()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
public final String name
value
is measuring.
public final double value
name
.
Constructor Detail |
public Spec.DetailWeight(String name, double value)
Spec.DetailWeight
.
name
- Metric that value
is measuring.value
- Weight associated with name
.Method Detail |
public void accept(Spec.DetailVisitor v)
Spec.Detail
v
's visit
method to
this
. This is effectively a gludge to
emulate multiple dispatch. Must be reimplemented
by all subclasses of Spec.Detail
.
v.visit(this)
.
accept
in class Spec.Detail
public String toString()
toString
in class Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |