home *** CD-ROM | disk | FTP | other *** search
/ Tutto per Internet / Internet.iso / soft95 / Java / espints / espinst.exe / classes / espresso / ArrayTyp.class (.txt) < prev    next >
Encoding:
Java Class File  |  1996-02-28  |  1.0 KB  |  27 lines
  1. package espresso;
  2.  
  3. class ArrayTyp extends Typ {
  4.    Typ elemtyp;
  5.  
  6.    boolean sametype(Typ var1) {
  7.       return this == var1 || var1.tag == 13 && this.elemtyp.sametype(((ArrayTyp)var1).elemtyp);
  8.    }
  9.  
  10.    boolean subtype(Typ var1) {
  11.       return var1.tag == 0 || var1.tag == 16 || var1.tag == 11 && var1.obj.isRoot() || var1.tag == 13 && this.subelemtype(this.elemtyp, ((ArrayTyp)var1).elemtyp);
  12.    }
  13.  
  14.    private boolean subelemtype(Typ var1, Typ var2) {
  15.       return var1 == var2 || var1.tag == 0 || var2.tag == 0 || var2.tag == 16 || (var1.tag == 13 || var1.tag == 11) && var1.subtype(var2);
  16.    }
  17.  
  18.    public String toString() {
  19.       return String.valueOf(this.elemtyp.toString()).concat(String.valueOf("[]"));
  20.    }
  21.  
  22.    ArrayTyp(Typ var1) {
  23.       super(13, Typ.arrayTyp.obj);
  24.       this.elemtyp = var1;
  25.    }
  26. }
  27.