module_implements

java.lang.Object
- kawa.lang.Syntax
- - kawa.standard.module_implements

All Implemented Interfaces:

gnu.kawa.format.Printable, Named
```
public class module_implements
extends Syntax
```

Field Summary

Fields
Modifier and Type Field Description

static module_implements module_implements

Constructor Summary

Constructors
Constructor Description

module_implements()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`Expression`	`rewriteForm(Pair form, Translator tr)`
`void`	`scanForm(Pair form, ScopeExp defs, Translator tr)`

Methods inherited from class kawa.lang.Syntax
getName, getSymbol, print, rewrite, 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

rewriteForm

public Expression rewriteForm(Pair form,
                              Translator tr)

Overrides:: rewriteForm in class Syntax