001    package escjava.vcGeneration;
002    
003    // TBoolOp = return a boolean and sons are boolean : list(boolean) -> boolean
004    public class TAllocLE extends TBoolRes {
005    
006        public void typeTree(){
007            
008            /*
009             * Semantic control
010             */
011    
012            if(sons.size() < 2)
013                TDisplay.err(this, "typeTree()", "Node has a different number of sons = "+sons.size()+" which is < from 2, bizarre...");
014            else {
015                TNode n1 = getChildAt(0);
016                TNode n2 = getChildAt(1);
017    
018                // we are sure about the type of the sons
019                n1.setType(_Time,true);
020                n2.setType(_Time,true);
021    
022                n1.typeTree();
023                n2.typeTree();
024            }
025    
026        }
027    
028        public void accept(/*@ non_null @*/ TVisitor v) throws java.io.IOException{
029            v.visitTAllocLE(this);
030        }
031    
032    }
033    
034    
035    
036    // fixme