kawa.standard

Class define_unit

Implemented Interfaces:
Named, Printable

public class define_unit
extends Syntax

Field Summary

static define_unit
define_base_unit
static define_unit
define_unit

Constructor Summary

define_unit(boolean base)

Method Summary

Expression
rewriteForm(Pair form, Translator tr)
boolean
scanForDefinitions(Pair st, java.util.Vector forms, ScopeExp defs, Translator tr)

Methods inherited from class kawa.lang.Syntax

getName, getSymbol, print, rewrite, rewriteForm, rewriteForm, scanForDefinitions, scanForm, setName, setName

Field Details

define_base_unit

public static final define_unit define_base_unit

define_unit

public static final define_unit define_unit

Constructor Details

define_unit

public define_unit(boolean base)

Method Details

rewriteForm

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

scanForDefinitions

public boolean scanForDefinitions(Pair st,
                                  java.util.Vector forms,
                                  ScopeExp defs,
                                  Translator tr)
Overrides:
scanForDefinitions in interface Syntax