kawa.standard
Class module_implements

java.lang.Object
  extended by kawa.lang.Syntax
      extended by kawa.standard.module_implements
All Implemented Interfaces:
Named, Printable

public class module_implements
extends Syntax


Field Summary
static module_implements module_implements
           
 
Constructor Summary
module_implements()
           
 
Method Summary
 Expression rewriteForm(Pair form, Translator tr)
           
 
Methods inherited from class kawa.lang.Syntax
getName, getSymbol, print, rewrite, rewriteForm, scanForDefinitions, scanForm, setName, setName
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

module_implements

public static final module_implements module_implements
Constructor Detail

module_implements

public module_implements()
Method Detail

rewriteForm

public Expression rewriteForm(Pair form,
                              Translator tr)
Overrides:
rewriteForm in class Syntax