001    package escjava.vcGeneration;
002    
003    // TBoolOp = return a boolean and sons are boolean : list(boolean) -> boolean
004    public class TLockLT extends TFunction {
005    
006        public void accept(/*@ non_null @*/ TVisitor v) throws java.io.IOException{
007            v.visitTLockLT(this);
008        }
009    
010    }
011    
012    // reference comparisons : %Reference * %Reference -> boolean