KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > kawa > standard > module_extends


1 package kawa.standard;
2 import kawa.lang.*;
3 import gnu.expr.*;
4 import gnu.lists.*;
5 import gnu.bytecode.*;
6
7 public class module_extends extends Syntax
8 {
9   public static final module_extends module_extends = new module_extends();
10   static { module_extends.setName("module-extends"); }
11
12   public Expression rewriteForm (Pair form, Translator tr)
13   {
14     Type base = tr.exp2Type((Pair) form.cdr);
15     ModuleExp module = tr.getModule();
16     module.setSuperType((ClassType) base);
17     module.setFlag(ModuleExp.SUPERTYPE_SPECIFIED);
18     return QuoteExp.voidExp;
19   }
20 }
21
Popular Tags