001    package escjava.vcGeneration;
002    
003    // TBoolOp = return a boolean and sons are boolean : list(boolean) -> boolean
004    public class TEClosedTime extends TFunction {
005    
006        protected TEClosedTime(){
007            type = _Time;
008        }
009    
010        public void accept(/*@ non_null @*/ TVisitor v) throws java.io.IOException{
011            v.visitTEClosedTime(this);
012        }
013    
014    } 
015    
016    // %ReferenceField -> %Time