|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectbyucc.jhdl.synth.SynthMethod
An abstract class for a Synthesizable method. For every method which can be synthesized, there should be a class that extends SynthMethod which supports that method. (Although a single class may support many methods. For example the BVBinary class supports all binary BV operator methods.) The association between method names and SynthMethod objects is stored in the SynthInvoke class.
Field Summary | |
static java.lang.String |
BV_CLASS
|
Constructor Summary | |
SynthMethod()
|
Method Summary | |
abstract void |
invoke(GraphStack gs,
java.lang.Object callee,
java.lang.String name,
MethodArg[] args)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public static final java.lang.String BV_CLASS
Constructor Detail |
public SynthMethod()
Method Detail |
public abstract void invoke(GraphStack gs, java.lang.Object callee, java.lang.String name, MethodArg[] args)
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |