kawa.standard
Class module_extends

java.lang.Object
  kawa.lang.Syntax
      kawa.standard.module_extends

All Implemented Interfaces:

Named, Printable

public class module_extends
extends Syntax

Field Summary

static module_extends

module_extends

Constructor Summary

module_extends()

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_extends

public static final module_extends module_extends

Constructor Detail

module_extends

public module_extends()

Method Detail

rewriteForm

public Expression rewriteForm(Pair form,
                              Translator tr)

Overrides:

rewriteForm in class Syntax