001    package escjava.vcGeneration;
002    
003    /*
004     * This class is for the unique root of the tree.
005     */
006    public class TRoot extends TFunction {
007    
008        public TRoot(){
009            super();
010            isroot = true;
011        }
012    
013        public void accept(/*@ non_null @*/ TVisitor v) throws java.io.IOException{
014            v.visitTRoot(this);
015        }
016        
017        
018        protected void typeTree() {
019            /* FIXME: The typing is done twice because the first time
020             * some types can't be determined. A better handling 
021             * should be found // julien
022             */
023            super.typeTree();
024            super.typeTree();
025    
026        }
027    }