kawa.standard
Class with_compile_options

java.lang.Object
  extended by kawa.lang.Syntax
      extended by kawa.standard.with_compile_options
All Implemented Interfaces:
Named, Printable

public class with_compile_options
extends Syntax


Field Summary
static with_compile_options with_compile_options
           
 
Constructor Summary
with_compile_options()
           
 
Method Summary
static java.lang.Object getOptions(java.lang.Object form, java.util.Stack stack, Syntax command, Translator tr)
           
 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, rewriteForm, scanForDefinitions, setName, setName
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

with_compile_options

public static final with_compile_options with_compile_options
Constructor Detail

with_compile_options

public with_compile_options()
Method Detail

scanForm

public void scanForm(Pair form,
                     ScopeExp defs,
                     Translator tr)
Overrides:
scanForm in class Syntax

getOptions

public static java.lang.Object getOptions(java.lang.Object form,
                                          java.util.Stack stack,
                                          Syntax command,
                                          Translator tr)

rewriteForm

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