kawa.standard
Class syntax_case

java.lang.Object
  kawa.lang.Syntax
      kawa.standard.syntax_case

All Implemented Interfaces:

Named, Printable

public class syntax_case
extends Syntax

Field Summary

static syntax_case

syntax_case

Constructor Summary

syntax_case()

Method Summary

static java.lang.Object	error(java.lang.String kind, java.lang.Object arg) Called (at run-time) if syntax-case has no match.
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

syntax_case

public static final syntax_case syntax_case

Constructor Detail

syntax_case

public syntax_case()

Method Detail

rewriteForm

public Expression rewriteForm(Pair form,
                              Translator tr)

Overrides:

rewriteForm in class Syntax

error

public static java.lang.Object error(java.lang.String kind,
                                     java.lang.Object arg)

Called (at run-time) if syntax-case has no match.