133 #define VALIDATE(CODE) validateFn(CODE, __FILE__, __LINE__, #CODE)  in validateBoundsAreTight()  macro
135     VALIDATE(l45 >= Get_x45(l,b) - epsilon);  in validateBoundsAreTight()
136     VALIDATE(t45 >= Get_y45(l,t) - epsilon);  in validateBoundsAreTight()
137     VALIDATE(r45 <= Get_x45(r,t) + epsilon);  in validateBoundsAreTight()
138     VALIDATE(b45 <= Get_y45(r,b) + epsilon);  in validateBoundsAreTight()
140     VALIDATE(l >= Get_x(l45,t45) - epsilon);  in validateBoundsAreTight()
141     VALIDATE(t >= Get_y(r45,t45) - epsilon);  in validateBoundsAreTight()
142     VALIDATE(r <= Get_x(r45,b45) + epsilon);  in validateBoundsAreTight()
143     VALIDATE(b <= Get_y(l45,b45) + epsilon);  in validateBoundsAreTight()
145     VALIDATE(l45 <= Get_x45(r,b) + epsilon);  in validateBoundsAreTight()
146     VALIDATE(l45 <= Get_x45(l,t) + epsilon);  in validateBoundsAreTight()
147     VALIDATE(t45 <= Get_y45(l,b) + epsilon);  in validateBoundsAreTight()
148     VALIDATE(t45 <= Get_y45(r,t) + epsilon);  in validateBoundsAreTight()
149     VALIDATE(r45 >= Get_x45(l,t) - epsilon);  in validateBoundsAreTight()
150     VALIDATE(r45 >= Get_x45(r,b) - epsilon);  in validateBoundsAreTight()
151     VALIDATE(b45 >= Get_y45(r,t) - epsilon);  in validateBoundsAreTight()
152     VALIDATE(b45 >= Get_y45(l,b) - epsilon);  in validateBoundsAreTight()
154     VALIDATE(l <= Get_x(l45,b45) + epsilon);  in validateBoundsAreTight()
155     VALIDATE(l <= Get_x(r45,t45) + epsilon);  in validateBoundsAreTight()
156     VALIDATE(t <= Get_y(r45,b45) + epsilon);  in validateBoundsAreTight()
157     VALIDATE(t <= Get_y(l45,t45) + epsilon);  in validateBoundsAreTight()
158     VALIDATE(r >= Get_x(r45,t45) - epsilon);  in validateBoundsAreTight()
159     VALIDATE(r >= Get_x(l45,b45) - epsilon);  in validateBoundsAreTight()
160     VALIDATE(b >= Get_y(l45,t45) - epsilon);  in validateBoundsAreTight()
161     VALIDATE(b >= Get_y(r45,b45) - epsilon);  in validateBoundsAreTight()
162 #undef VALIDATE  in validateBoundsAreTight()