kawa.standard

Class module_implements

java.lang.Object

kawa.lang.Syntax

kawa.standard.module_implements

All Implemented Interfaces:

Named, Printable

public class module_implements
extends Syntax

Field Summary

Fields

Modifier and Type	Field and Description
static module_implements	module_implements

Constructor Summary

Constructors

Constructor and Description
module_implements()

Method Summary

Methods

Modifier and Type	Method and Description
void	scanForm(Pair form, ScopeExp defs, Translator tr)

Methods inherited from class kawa.lang.Syntax

getName, getSymbol, print, rewrite, rewriteForm, rewriteForm, scanForDefinitions, 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

scanForm

public void scanForm(Pair form,
            ScopeExp defs,
            Translator tr)

Overrides:

scanForm in class Syntax