001    package escjava.vcGeneration;
002    
003    // TBoolOp = return a boolean and sons are boolean : list(boolean) -> boolean
004    public class TFClosedTime extends TFunction {
005    
006        protected TFClosedTime(){
007            type = _Time;
008        }
009    
010        public void typeTree(){
011            
012            if(sons.size()!=1)
013                TDisplay.err(this, "typeTree()", "Node with "+sons.size()+" instead of 1, that's strange...");
014            else {
015                TNode n1 = getChildAt(0);
016    
017                // we are sure about the type of the sons
018                n1.setType(_Field,true);
019    
020                n1.typeTree();
021            }
022    
023        }
024    
025        public void accept(/*@ non_null @*/ TVisitor v) throws java.io.IOException{
026            v.visitTFClosedTime(this);
027        }
028    
029    } 
030    
031    // as trick : asElems asField asLockset