001    // -*- mode: java -*-
002    /* Copyright 2000, 2001, Compaq Computer Corporation */
003    
004    /* IF THIS IS A JAVA FILE, DO NOT EDIT IT!  
005    
006       Most Java files in this directory which are part of the Javafe AST
007       are automatically generated using the astgen comment (see
008       ESCTools/Javafe/astgen) from the input file 'hierarchy.h'.  If you
009       wish to modify AST classes or introduce new ones, modify
010       'hierarchy.j.'
011     */
012    
013    package escjava.ast;
014    
015    import java.util.Hashtable;
016    import java.util.Set;
017    import java.util.ArrayList;
018    
019    import javafe.ast.*;
020    import javafe.util.Assert;
021    import javafe.util.Location;
022    import escjava.ParsedRoutineSpecs;
023    
024    // Convention: unless otherwise noted, integer fields named "loc" refer
025    // to the location of the first character of the syntactic unit
026    
027    //# TagBase javafe.tc.TagConstants.LAST_TAG + 1
028    //# VisitorRoot javafe.ast.Visitor
029    
030    
031    public class DefPredLetExpr extends Expr
032    {
033        public /*@ non_null @*/ DefPredVec preds;
034    
035        public /*@ non_null @*/ Expr body;
036    
037    
038      //@ public represents startLoc <- body.getStartLoc();
039        public /*@ pure @*/ int getStartLoc() { return body.getStartLoc(); }
040    
041    
042    // Generated boilerplate constructors:
043    
044        //@ ensures this.preds == preds;
045        //@ ensures this.body == body;
046        protected DefPredLetExpr(/*@ non_null @*/ DefPredVec preds, /*@ non_null @*/ Expr body) {
047           this.preds = preds;
048           this.body = body;
049        }
050    
051    // Generated boilerplate methods:
052    
053        public final int childCount() {
054           int sz = 0;
055           if (this.preds != null) sz += this.preds.size();
056           return sz + 1;
057        }
058    
059        public final Object childAt(int index) {
060                /*throws IndexOutOfBoundsException*/
061           if (index < 0)
062              throw new IndexOutOfBoundsException("AST child index " + index);
063           int indexPre = index;
064    
065           int sz;
066    
067           sz = (this.preds == null ? 0 : this.preds.size());
068           if (0 <= index && index < sz)
069              return this.preds.elementAt(index);
070           else index -= sz;
071    
072           if (index == 0) return this.body;
073           else index--;
074    
075           throw new IndexOutOfBoundsException("AST child index " + indexPre);
076        }   //@ nowarn Exception;
077    
078        public final /*@non_null*/String toString() {
079           return "[DefPredLetExpr"
080              + " preds = " + this.preds
081              + " body = " + this.body
082              + "]";
083        }
084    
085        public final int getTag() {
086           return TagConstants.DEFPREDLETEXPR;
087        }
088    
089        public final void accept(javafe.ast.Visitor v) { 
090            if (v instanceof Visitor) ((Visitor)v).visitDefPredLetExpr(this);
091        }
092    
093        public final Object accept(javafe.ast.VisitorArgResult v, Object o) { 
094            if (v instanceof VisitorArgResult) return ((VisitorArgResult)v).visitDefPredLetExpr(this, o); else return null;
095        }
096    
097        public void check() {
098           for(int i = 0; i < this.preds.size(); i++)
099              this.preds.elementAt(i).check();
100           this.body.check();
101        }
102    
103        //@ ensures \result != null;
104        public static DefPredLetExpr make(/*@ non_null @*/ DefPredVec preds, /*@ non_null @*/ Expr body) {
105           DefPredLetExpr result = new DefPredLetExpr(preds, body);
106           return result;
107        }
108    }