home *** CD-ROM | disk | FTP | other *** search
/ Tutto per Internet / Internet.iso / soft95 / Java / espints / espinst.exe / classes / espresso / Labelled.class (.txt) < prev    next >
Encoding:
Java Class File  |  1996-02-28  |  1.5 KB  |  40 lines
  1. package espresso;
  2.  
  3. class Labelled extends JumpTarget {
  4.    AST stat;
  5.    Name label;
  6.  
  7.    void print(int var1) {
  8.       System.out.print(String.valueOf(this.label).concat(String.valueOf(": ")));
  9.       this.stat.print();
  10.    }
  11.  
  12.    Item gen() {
  13.       this.stat.genDrop();
  14.       Gen.resolve(super.exit);
  15.       return Item.voidItem;
  16.    }
  17.  
  18.    AST simplify() {
  19.       this.stat = this.stat.simplify();
  20.       return this;
  21.    }
  22.  
  23.    void markCaptured(Bits var1) {
  24.       this.stat.markCaptured(var1);
  25.       var1.orSet(super.exitCapt);
  26.    }
  27.  
  28.    Typ attr(Env var1, int var2, Typ var3) {
  29.       super.typ = this.stat.attr(new Env(var1, this), var2, var3);
  30.       return super.typ;
  31.    }
  32.  
  33.    Labelled(int var1, Name var2, AST var3) {
  34.       super(var1, 14);
  35.       this.label = var2;
  36.       this.stat = var3;
  37.       super.exitCapt = new Bits();
  38.    }
  39. }
  40.