#include // 1 // 2 !* Title : IV The IMP INTEGER Facilities // 3 !* Version : I // 4 !* Date : 12 July 1984 // 5 !* Description: Tests all the INTEGER comparison operators. // 6 // 7 %Begin int main(int argc, char **argv) { _imp_initialise(argc, argv); // 8 // 9 %Integer J int J; // 10 %Integer K int K; // 11 // 12 %Constant %Byte %Integer CB1 = 255 // 13 %Constant %Byte %Integer CB2 = 0 // 14 // 15 %Constant %Integer CInt3 = 10 // 16 %Constant %Integer CInt4 = 3 // 17 // 18 %owninteger failures=0 static int FAILURES = 0; // 19 // 20 %routine pass void PASS( void ) { // 21 printstring("Pass: ") _imp_PRINTSTRING(_imp_str_literal("Pass: ")); // 22 %end /* Remove %on %event handler here if present for this block */ return; } // End of block PASS at level 2 // 23 %routine fail void FAIL( void ) { // 24 printstring("FAIL: ") _imp_PRINTSTRING(_imp_str_literal("FAIL: ")); // 25 failures = failures+1 FAILURES = (((int)(FAILURES)) + (1)); // 26 %end /* Remove %on %event handler here if present for this block */ return; } // End of block FAIL at level 2 // 27 // 28 %Integer %Function F int F( void ) { // 29 // 30 !* An extremely simple integer function that merely // 31 !* returns the number THREE. Note that this function // 32 !* does not presuppose parameter passing or expression // 33 !* evaluation within functions. It merely tests the // 34 !* ability to encorporate functions within expressions. // 35 // 36 %Result = 3 /* Remove %on %event handler here if present for this block */ return 3; // 37 // 38 %End } // End of block F at level 2 // 39 // 40 // 41 // 42 // 43 ! Open Output (2, "Journal") // 44 ! Select Output (2) // 45 // 46 // 47 // 48 New Lines(2) _imp_NEWLINES(2); // 49 Print String("INTEGER Arithmetic Validation"); New Line _imp_PRINTSTRING(_imp_str_literal("INTEGER Arithmetic Validation")); _imp_NEWLINE(); // 50 Print String("============================="); New Lines (2) _imp_PRINTSTRING(_imp_str_literal("=============================")); _imp_NEWLINES(2); // 51 // 52 // 53 Print String("Entities:"); New Line _imp_PRINTSTRING(_imp_str_literal("Entities:")); _imp_NEWLINE(); // 54 Print String("-------- "); New Lines (2) _imp_PRINTSTRING(_imp_str_literal("-------- ")); _imp_NEWLINES(2); // 55 // 56 Print String("Constants: "); New Line _imp_PRINTSTRING(_imp_str_literal("Constants: ")); _imp_NEWLINE(); // 57 Print String("--------- "); New Line _imp_PRINTSTRING(_imp_str_literal("--------- ")); _imp_NEWLINE(); // 58 Print String("%Integer CInt3 = 10 "); New Line _imp_PRINTSTRING(_imp_str_literal("%Integer CInt3 = 10 ")); _imp_NEWLINE(); // 59 Print String("%Integer CInt4 = 3 "); New Lines (2) _imp_PRINTSTRING(_imp_str_literal("%Integer CInt4 = 3 ")); _imp_NEWLINES(2); // 60 // 61 New Lines (3) _imp_NEWLINES(3); // 62 // 63 // 64 Print String("Variables: "); New Line _imp_PRINTSTRING(_imp_str_literal("Variables: ")); _imp_NEWLINE(); // 65 Print String("--------- "); New Line _imp_PRINTSTRING(_imp_str_literal("--------- ")); _imp_NEWLINE(); // 66 Print String("%Integer J "); New Line _imp_PRINTSTRING(_imp_str_literal("%Integer J ")); _imp_NEWLINE(); // 67 Print String("%Integer K "); New Lines (2) _imp_PRINTSTRING(_imp_str_literal("%Integer K ")); _imp_NEWLINES(2); // 68 // 69 // 70 // 71 // 72 // 73 // 74 New Lines (4) _imp_NEWLINES(4); // 75 Print String("Test the Six Simple Relational Comparators"); New Line _imp_PRINTSTRING(_imp_str_literal("Test the Six Simple Relational Comparators")); _imp_NEWLINE(); // 76 Print String("------------------------------------------"); New Lines (2) _imp_PRINTSTRING(_imp_str_literal("------------------------------------------")); _imp_NEWLINES(2); // 77 // 78 // 79 // 80 !* Test the simple relational operations between Integers // 81 // 82 // 83 !* ---<<< Test for %Integer Equality >>>--- // 84 // 85 %If 3 = 3 %then pass %else fail if (((3) != (3))) goto L_0002; PASS(); goto L_0003; L_0002:; FAIL(); L_0003:; // 86 Print String("3 = 3") _imp_PRINTSTRING(_imp_str_literal("3 = 3")); // 87 New Line _imp_NEWLINE(); // 88 // 89 %If CInt4 = 3 %then pass %else fail if (((3) != (3))) goto L_0004; PASS(); goto L_0005; L_0004:; FAIL(); L_0005:; // 90 Print String("CInt4 = 3") _imp_PRINTSTRING(_imp_str_literal("CInt4 = 3")); // 91 New Line _imp_NEWLINE(); // 92 // 93 %If 3 = CInt4 %then pass %else fail if (((3) != (3))) goto L_0006; PASS(); goto L_0007; L_0006:; FAIL(); L_0007:; // 94 Print String("3 = CInt4") _imp_PRINTSTRING(_imp_str_literal("3 = CInt4")); // 95 New Line _imp_NEWLINE(); // 96 // 97 %If CInt4 = CInt4 %then pass %else fail if (((3) != (3))) goto L_0008; PASS(); goto L_0009; L_0008:; FAIL(); L_0009:; // 98 Print String("CInt4 = CInt4") _imp_PRINTSTRING(_imp_str_literal("CInt4 = CInt4")); // 99 // 100 New Lines (3) _imp_NEWLINES(3); // 101 // 102 // 103 Print String("Let: J = K = CInt4"); New Line _imp_PRINTSTRING(_imp_str_literal("Let: J = K = CInt4")); _imp_NEWLINE(); // 104 Print String("---") _imp_PRINTSTRING(_imp_str_literal("---")); // 105 New Lines (2) _imp_NEWLINES(2); // 106 // 107 J = CInt4 J = 3; // 108 K = CInt4 K = 3; // 109 // 110 %If J = CInt4 %then pass %else fail if (((J) != (3))) goto L_000a; PASS(); goto L_000b; L_000a:; FAIL(); L_000b:; // 111 Print String("J = CInt4") _imp_PRINTSTRING(_imp_str_literal("J = CInt4")); // 112 New Line _imp_NEWLINE(); // 113 // 114 %If CInt4 = J %then pass %else fail if (((3) != (J))) goto L_000c; PASS(); goto L_000d; L_000c:; FAIL(); L_000d:; // 115 Print String("CInt4 = J") _imp_PRINTSTRING(_imp_str_literal("CInt4 = J")); // 116 New Line _imp_NEWLINE(); // 117 // 118 %If J = K %then pass %else fail if (((J) != (K))) goto L_000e; PASS(); goto L_000f; L_000e:; FAIL(); L_000f:; // 119 Print String("J = K") _imp_PRINTSTRING(_imp_str_literal("J = K")); // 120 New Line _imp_NEWLINE(); // 121 // 122 %If J = J %then pass %else fail if (((J) != (J))) goto L_0010; PASS(); goto L_0011; L_0010:; FAIL(); L_0011:; // 123 Print String("J = J") _imp_PRINTSTRING(_imp_str_literal("J = J")); // 124 New Line _imp_NEWLINE(); // 125 // 126 %If J = 3 %then pass %else fail if (((J) != (3))) goto L_0012; PASS(); goto L_0013; L_0012:; FAIL(); L_0013:; // 127 Print String("J = 3") _imp_PRINTSTRING(_imp_str_literal("J = 3")); // 128 New Line _imp_NEWLINE(); // 129 // 130 %If 3 = J %then pass %else fail if (((3) != (J))) goto L_0014; PASS(); goto L_0015; L_0014:; FAIL(); L_0015:; // 131 Print String("3 = J") _imp_PRINTSTRING(_imp_str_literal("3 = J")); // 132 New Line _imp_NEWLINE(); // 133 // 134 %If 3 = F %then pass %else fail if (((3) != (F()))) goto L_0016; PASS(); goto L_0017; L_0016:; FAIL(); L_0017:; // 135 Print String("3 = F") _imp_PRINTSTRING(_imp_str_literal("3 = F")); // 136 New Line _imp_NEWLINE(); // 137 // 138 %If F = 3 %then pass %else fail if (((F()) != (3))) goto L_0018; PASS(); goto L_0019; L_0018:; FAIL(); L_0019:; // 139 Print String("F = 3") _imp_PRINTSTRING(_imp_str_literal("F = 3")); // 140 New Line _imp_NEWLINE(); // 141 // 142 // 143 %If F * 3 + 10 = F * F + 5 * 2 %then pass %else fail if ((((((int)((((int)(F())) * (3)))) + (10))) != (((((((int)(F())) * (F())))) + ((((int)(5)) * (2))))))) goto L_001a; PASS(); goto L_001b; L_001a:; FAIL(); L_001b:; // 144 Print String("F * 3 + 10 = F * F + 5 * 2") _imp_PRINTSTRING(_imp_str_literal("F * 3 + 10 = F * F + 5 * 2")); // 145 New Lines (2) _imp_NEWLINES(2); // 146 // 147 // 148 // 149 // 150 !* ---<<< Test for Integer Inequality >>>--- // 151 // 152 // 153 %If 3 # 3 %then fail %else pass if (((3) == (3))) goto L_001c; FAIL(); goto L_001d; L_001c:; PASS(); L_001d:; // 154 Print String("3 # 3") _imp_PRINTSTRING(_imp_str_literal("3 # 3")); // 155 New Line _imp_NEWLINE(); // 156 // 157 %If CInt4 # 3 %then fail %else pass if (((3) == (3))) goto L_001e; FAIL(); goto L_001f; L_001e:; PASS(); L_001f:; // 158 Print String("CInt4 # 3") _imp_PRINTSTRING(_imp_str_literal("CInt4 # 3")); // 159 New Line _imp_NEWLINE(); // 160 // 161 %If 3 # CInt4 %then fail %else pass if (((3) == (3))) goto L_0020; FAIL(); goto L_0021; L_0020:; PASS(); L_0021:; // 162 Print String("3 # CInt4") _imp_PRINTSTRING(_imp_str_literal("3 # CInt4")); // 163 New Line _imp_NEWLINE(); // 164 // 165 %If CInt4 # CInt4 %then fail %else pass if (((3) == (3))) goto L_0022; FAIL(); goto L_0023; L_0022:; PASS(); L_0023:; // 166 Print String("CInt4 # CInt4") _imp_PRINTSTRING(_imp_str_literal("CInt4 # CInt4")); // 167 New Line _imp_NEWLINE(); // 168 // 169 // 170 // 171 %If J # CInt4 %then fail %else pass if (((J) == (3))) goto L_0024; FAIL(); goto L_0025; L_0024:; PASS(); L_0025:; // 172 Print String("J # CInt4") _imp_PRINTSTRING(_imp_str_literal("J # CInt4")); // 173 New Line _imp_NEWLINE(); // 174 // 175 %If CInt4 # J %then fail %else pass if (((3) == (J))) goto L_0026; FAIL(); goto L_0027; L_0026:; PASS(); L_0027:; // 176 Print String("CInt4 # J") _imp_PRINTSTRING(_imp_str_literal("CInt4 # J")); // 177 New Line _imp_NEWLINE(); // 178 // 179 %If J # K %then fail %else pass if (((J) == (K))) goto L_0028; FAIL(); goto L_0029; L_0028:; PASS(); L_0029:; // 180 Print String("J # K") _imp_PRINTSTRING(_imp_str_literal("J # K")); // 181 New Line _imp_NEWLINE(); // 182 // 183 %If J # J %then fail %else pass if (((J) == (J))) goto L_002a; FAIL(); goto L_002b; L_002a:; PASS(); L_002b:; // 184 Print String("J # J") _imp_PRINTSTRING(_imp_str_literal("J # J")); // 185 New Line _imp_NEWLINE(); // 186 // 187 %If J # 3 %then fail %else pass if (((J) == (3))) goto L_002c; FAIL(); goto L_002d; L_002c:; PASS(); L_002d:; // 188 Print String("J # 3") _imp_PRINTSTRING(_imp_str_literal("J # 3")); // 189 New Line _imp_NEWLINE(); // 190 // 191 %If 3 # J %then fail %else pass if (((3) == (J))) goto L_002e; FAIL(); goto L_002f; L_002e:; PASS(); L_002f:; // 192 Print String("3 # J") _imp_PRINTSTRING(_imp_str_literal("3 # J")); // 193 New Line _imp_NEWLINE(); // 194 // 195 %If 3 # F %then fail %else pass if (((3) == (F()))) goto L_0030; FAIL(); goto L_0031; L_0030:; PASS(); L_0031:; // 196 Print String("3 # F") _imp_PRINTSTRING(_imp_str_literal("3 # F")); // 197 New Line _imp_NEWLINE(); // 198 // 199 %If F # 3 %then fail %else pass if (((F()) == (3))) goto L_0032; FAIL(); goto L_0033; L_0032:; PASS(); L_0033:; // 200 Print String("F # 3") _imp_PRINTSTRING(_imp_str_literal("F # 3")); // 201 New Lines (2) _imp_NEWLINES(2); // 202 // 203 // 204 // 205 // 206 !* ---<<< Test for LESS THAN in Integers >>>--- // 207 // 208 // 209 J = CInt4 J = 3; // 210 // 211 %If 3 < 3 %then fail %else pass if (((3) >= (3))) goto L_0034; FAIL(); goto L_0035; L_0034:; PASS(); L_0035:; // 212 Print String("3 < 3") _imp_PRINTSTRING(_imp_str_literal("3 < 3")); // 213 New Line _imp_NEWLINE(); // 214 // 215 %If 3 < J %then fail %else pass if (((3) >= (J))) goto L_0036; FAIL(); goto L_0037; L_0036:; PASS(); L_0037:; // 216 Print String("3 < J") _imp_PRINTSTRING(_imp_str_literal("3 < J")); // 217 New Line _imp_NEWLINE(); // 218 // 219 %If J < 3 %then fail %else pass if (((J) >= (3))) goto L_0038; FAIL(); goto L_0039; L_0038:; PASS(); L_0039:; // 220 Print String("J < 3") _imp_PRINTSTRING(_imp_str_literal("J < 3")); // 221 New Line _imp_NEWLINE(); // 222 // 223 %If 3 < CInt4 %then fail %else pass if (((3) >= (3))) goto L_003a; FAIL(); goto L_003b; L_003a:; PASS(); L_003b:; // 224 Print String("3 < CInt4") _imp_PRINTSTRING(_imp_str_literal("3 < CInt4")); // 225 New Line _imp_NEWLINE(); // 226 // 227 %If CInt4 < 3 %then fail %else pass if (((3) >= (3))) goto L_003c; FAIL(); goto L_003d; L_003c:; PASS(); L_003d:; // 228 Print String("CInt4 < 3") _imp_PRINTSTRING(_imp_str_literal("CInt4 < 3")); // 229 New Line _imp_NEWLINE(); // 230 // 231 %If J < CInt4 %then fail %else pass if (((J) >= (3))) goto L_003e; FAIL(); goto L_003f; L_003e:; PASS(); L_003f:; // 232 Print String("J < CInt4") _imp_PRINTSTRING(_imp_str_literal("J < CInt4")); // 233 New Line _imp_NEWLINE(); // 234 // 235 %If CInt4 < J %then fail %else pass if (((3) >= (J))) goto L_0040; FAIL(); goto L_0041; L_0040:; PASS(); L_0041:; // 236 Print String("CInt4 < J") _imp_PRINTSTRING(_imp_str_literal("CInt4 < J")); // 237 New Line _imp_NEWLINE(); // 238 // 239 %If CInt4 < CInt4 %then fail %else pass if (((3) >= (3))) goto L_0042; FAIL(); goto L_0043; L_0042:; PASS(); L_0043:; // 240 Print String("CInt4 < CInt4") _imp_PRINTSTRING(_imp_str_literal("CInt4 < CInt4")); // 241 New Line _imp_NEWLINE(); // 242 // 243 %If J < J %then fail %else pass if (((J) >= (J))) goto L_0044; FAIL(); goto L_0045; L_0044:; PASS(); L_0045:; // 244 Print String("J < J") _imp_PRINTSTRING(_imp_str_literal("J < J")); // 245 New Line _imp_NEWLINE(); // 246 // 247 %If F < 3 %then fail %else pass if (((F()) >= (3))) goto L_0046; FAIL(); goto L_0047; L_0046:; PASS(); L_0047:; // 248 Print String("F < 3") _imp_PRINTSTRING(_imp_str_literal("F < 3")); // 249 New Lines (2) _imp_NEWLINES(2); // 250 // 251 // 252 // 253 // 254 // 255 !* ---<<< Test for LESS THAN or EQUALS in Integers >>>--- // 256 // 257 // 258 J = CInt4 J = 3; // 259 // 260 %If 3 <= 3 %then pass %else fail if (((3) > (3))) goto L_0048; PASS(); goto L_0049; L_0048:; FAIL(); L_0049:; // 261 Print String("3 <= 3") _imp_PRINTSTRING(_imp_str_literal("3 <= 3")); // 262 New Line _imp_NEWLINE(); // 263 // 264 %If 3 <= J %then pass %else fail if (((3) > (J))) goto L_004a; PASS(); goto L_004b; L_004a:; FAIL(); L_004b:; // 265 Print String("3 <= J") _imp_PRINTSTRING(_imp_str_literal("3 <= J")); // 266 New Line _imp_NEWLINE(); // 267 // 268 %If J <= 3 %then pass %else fail if (((J) > (3))) goto L_004c; PASS(); goto L_004d; L_004c:; FAIL(); L_004d:; // 269 Print String("J <= 3") _imp_PRINTSTRING(_imp_str_literal("J <= 3")); // 270 New Line _imp_NEWLINE(); // 271 // 272 %If 3 <= CInt4 %then pass %else fail if (((3) > (3))) goto L_004e; PASS(); goto L_004f; L_004e:; FAIL(); L_004f:; // 273 Print String("3 <= CInt4") _imp_PRINTSTRING(_imp_str_literal("3 <= CInt4")); // 274 New Line _imp_NEWLINE(); // 275 // 276 %If CInt4 <= 3 %then pass %else fail if (((3) > (3))) goto L_0050; PASS(); goto L_0051; L_0050:; FAIL(); L_0051:; // 277 Print String("CInt4 <= 3") _imp_PRINTSTRING(_imp_str_literal("CInt4 <= 3")); // 278 New Line _imp_NEWLINE(); // 279 // 280 %If J <= CInt4 %then pass %else fail if (((J) > (3))) goto L_0052; PASS(); goto L_0053; L_0052:; FAIL(); L_0053:; // 281 Print String("J <= CInt4") _imp_PRINTSTRING(_imp_str_literal("J <= CInt4")); // 282 New Line _imp_NEWLINE(); // 283 // 284 %If CInt4 <= J %then pass %else fail if (((3) > (J))) goto L_0054; PASS(); goto L_0055; L_0054:; FAIL(); L_0055:; // 285 Print String("CInt4 <= J") _imp_PRINTSTRING(_imp_str_literal("CInt4 <= J")); // 286 New Line _imp_NEWLINE(); // 287 // 288 %If CInt4 <= CInt4 %then pass %else fail if (((3) > (3))) goto L_0056; PASS(); goto L_0057; L_0056:; FAIL(); L_0057:; // 289 Print String("CInt4 <= CInt4") _imp_PRINTSTRING(_imp_str_literal("CInt4 <= CInt4")); // 290 New Line _imp_NEWLINE(); // 291 // 292 %If J <= J %then pass %else fail if (((J) > (J))) goto L_0058; PASS(); goto L_0059; L_0058:; FAIL(); L_0059:; // 293 Print String("J <= J") _imp_PRINTSTRING(_imp_str_literal("J <= J")); // 294 New Line _imp_NEWLINE(); // 295 // 296 %If F <= 3 %then pass %else fail if (((F()) > (3))) goto L_005a; PASS(); goto L_005b; L_005a:; FAIL(); L_005b:; // 297 Print String("F <= 3") _imp_PRINTSTRING(_imp_str_literal("F <= 3")); // 298 New Lines (2) _imp_NEWLINES(2); // 299 // 300 // 301 // 302 // 303 !* ---<<< Test for GREATER THAN in Integers >>>--- // 304 // 305 // 306 J = CInt4 J = 3; // 307 // 308 %If 3 > 3 %then fail %else pass if (((3) <= (3))) goto L_005c; FAIL(); goto L_005d; L_005c:; PASS(); L_005d:; // 309 Print String("3 > 3") _imp_PRINTSTRING(_imp_str_literal("3 > 3")); // 310 New Line _imp_NEWLINE(); // 311 // 312 %If 3 > J %then fail %else pass if (((3) <= (J))) goto L_005e; FAIL(); goto L_005f; L_005e:; PASS(); L_005f:; // 313 Print String("3 > J") _imp_PRINTSTRING(_imp_str_literal("3 > J")); // 314 New Line _imp_NEWLINE(); // 315 // 316 %If J > 3 %then fail %else pass if (((J) <= (3))) goto L_0060; FAIL(); goto L_0061; L_0060:; PASS(); L_0061:; // 317 Print String("J > 3") _imp_PRINTSTRING(_imp_str_literal("J > 3")); // 318 New Line _imp_NEWLINE(); // 319 // 320 %If 3 > CInt4 %then fail %else pass if (((3) <= (3))) goto L_0062; FAIL(); goto L_0063; L_0062:; PASS(); L_0063:; // 321 Print String("3 > CInt4") _imp_PRINTSTRING(_imp_str_literal("3 > CInt4")); // 322 New Line _imp_NEWLINE(); // 323 // 324 %If CInt4 > 3 %then fail %else pass if (((3) <= (3))) goto L_0064; FAIL(); goto L_0065; L_0064:; PASS(); L_0065:; // 325 Print String("CInt4 > 3") _imp_PRINTSTRING(_imp_str_literal("CInt4 > 3")); // 326 New Line _imp_NEWLINE(); // 327 // 328 %If J > CInt4 %then fail %else pass if (((J) <= (3))) goto L_0066; FAIL(); goto L_0067; L_0066:; PASS(); L_0067:; // 329 Print String("J > CInt4") _imp_PRINTSTRING(_imp_str_literal("J > CInt4")); // 330 New Line _imp_NEWLINE(); // 331 // 332 %If CInt4 > J %then fail %else pass if (((3) <= (J))) goto L_0068; FAIL(); goto L_0069; L_0068:; PASS(); L_0069:; // 333 Print String("CInt4 > J") _imp_PRINTSTRING(_imp_str_literal("CInt4 > J")); // 334 New Line _imp_NEWLINE(); // 335 // 336 %If CInt4 > CInt4 %then fail %else pass if (((3) <= (3))) goto L_006a; FAIL(); goto L_006b; L_006a:; PASS(); L_006b:; // 337 Print String("CInt4 > CInt4") _imp_PRINTSTRING(_imp_str_literal("CInt4 > CInt4")); // 338 New Line _imp_NEWLINE(); // 339 // 340 %If J > J %then fail %else pass if (((J) <= (J))) goto L_006c; FAIL(); goto L_006d; L_006c:; PASS(); L_006d:; // 341 Print String("J > J") _imp_PRINTSTRING(_imp_str_literal("J > J")); // 342 New Line _imp_NEWLINE(); // 343 // 344 %If F > 3 %then fail %else pass if (((F()) <= (3))) goto L_006e; FAIL(); goto L_006f; L_006e:; PASS(); L_006f:; // 345 Print String("F > 3") _imp_PRINTSTRING(_imp_str_literal("F > 3")); // 346 New Lines (2) _imp_NEWLINES(2); // 347 // 348 // 349 // 350 !* ---<<< Test for GREATER THAN OR EQUALS TO in Integers >>>--- // 351 // 352 J = CInt4 J = 3; // 353 // 354 %If 3 >= 3 %then pass %else fail if (((3) < (3))) goto L_0070; PASS(); goto L_0071; L_0070:; FAIL(); L_0071:; // 355 Print String("3 >= 3") _imp_PRINTSTRING(_imp_str_literal("3 >= 3")); // 356 New Line _imp_NEWLINE(); // 357 // 358 %If 3 >= J %then pass %else fail if (((3) < (J))) goto L_0072; PASS(); goto L_0073; L_0072:; FAIL(); L_0073:; // 359 Print String("3 >= J") _imp_PRINTSTRING(_imp_str_literal("3 >= J")); // 360 New Line _imp_NEWLINE(); // 361 // 362 %If J >= 3 %then pass %else fail if (((J) < (3))) goto L_0074; PASS(); goto L_0075; L_0074:; FAIL(); L_0075:; // 363 Print String("J >= 3") _imp_PRINTSTRING(_imp_str_literal("J >= 3")); // 364 New Line _imp_NEWLINE(); // 365 // 366 %If 3 >= CInt4 %then pass %else fail if (((3) < (3))) goto L_0076; PASS(); goto L_0077; L_0076:; FAIL(); L_0077:; // 367 Print String("3 >= CInt4") _imp_PRINTSTRING(_imp_str_literal("3 >= CInt4")); // 368 New Line _imp_NEWLINE(); // 369 // 370 %If CInt4 >= 3 %then pass %else fail if (((3) < (3))) goto L_0078; PASS(); goto L_0079; L_0078:; FAIL(); L_0079:; // 371 Print String("CInt4 >= 3") _imp_PRINTSTRING(_imp_str_literal("CInt4 >= 3")); // 372 New Line _imp_NEWLINE(); // 373 // 374 %If J >= CInt4 %then pass %else fail if (((J) < (3))) goto L_007a; PASS(); goto L_007b; L_007a:; FAIL(); L_007b:; // 375 Print String("J >= CInt4") _imp_PRINTSTRING(_imp_str_literal("J >= CInt4")); // 376 New Line _imp_NEWLINE(); // 377 // 378 %If CInt4 >= J %then pass %else fail if (((3) < (J))) goto L_007c; PASS(); goto L_007d; L_007c:; FAIL(); L_007d:; // 379 Print String("CInt4 >= J") _imp_PRINTSTRING(_imp_str_literal("CInt4 >= J")); // 380 New Line _imp_NEWLINE(); // 381 // 382 %If CInt4 >= CInt4 %then pass %else fail if (((3) < (3))) goto L_007e; PASS(); goto L_007f; L_007e:; FAIL(); L_007f:; // 383 Print String("CInt4 >= CInt4") _imp_PRINTSTRING(_imp_str_literal("CInt4 >= CInt4")); // 384 New Line _imp_NEWLINE(); // 385 // 386 %If J >= J %then pass %else fail if (((J) < (J))) goto L_0080; PASS(); goto L_0081; L_0080:; FAIL(); L_0081:; // 387 Print String("J >= J") _imp_PRINTSTRING(_imp_str_literal("J >= J")); // 388 New Line _imp_NEWLINE(); // 389 // 390 // 391 %If F >= 3 %then pass %else fail if (((F()) < (3))) goto L_0082; PASS(); goto L_0083; L_0082:; FAIL(); L_0083:; // 392 Print String("F >= 3") _imp_PRINTSTRING(_imp_str_literal("F >= 3")); // 393 // 394 New Lines (4) _imp_NEWLINES(4); // 395 // 396 // 397 // 398 !* ---<<< Test for Integer Equality >>>--- // 399 // 400 %If 3 = 10 %then fail %else pass if (((3) != (10))) goto L_0084; FAIL(); goto L_0085; L_0084:; PASS(); L_0085:; // 401 Print String("3 = 10") _imp_PRINTSTRING(_imp_str_literal("3 = 10")); // 402 New Line _imp_NEWLINE(); // 403 // 404 %If CInt4 = 10 %then fail %else pass if (((3) != (10))) goto L_0086; FAIL(); goto L_0087; L_0086:; PASS(); L_0087:; // 405 Print String("CInt4 = 10") _imp_PRINTSTRING(_imp_str_literal("CInt4 = 10")); // 406 New Line _imp_NEWLINE(); // 407 // 408 %If 10 = CInt4 %then fail %else pass if (((10) != (3))) goto L_0088; FAIL(); goto L_0089; L_0088:; PASS(); L_0089:; // 409 Print String("10 = CInt4") _imp_PRINTSTRING(_imp_str_literal("10 = CInt4")); // 410 New Line _imp_NEWLINE(); // 411 // 412 %If CInt4 = CInt3 %then fail %else pass if (((3) != (10))) goto L_008a; FAIL(); goto L_008b; L_008a:; PASS(); L_008b:; // 413 Print String("CInt4 = CInt3") _imp_PRINTSTRING(_imp_str_literal("CInt4 = CInt3")); // 414 New Lines (2) _imp_NEWLINES(2); // 415 // 416 // 417 // 418 Print String("Let: J = CInt4"); New Line _imp_PRINTSTRING(_imp_str_literal("Let: J = CInt4")); _imp_NEWLINE(); // 419 Print String("--- K = CInt3") _imp_PRINTSTRING(_imp_str_literal("--- K = CInt3")); // 420 New Lines (2) _imp_NEWLINES(2); // 421 // 422 J = CInt4 J = 3; // 423 K = CInt3 K = 10; // 424 // 425 %If J = CInt3 %then fail %else pass if (((J) != (10))) goto L_008c; FAIL(); goto L_008d; L_008c:; PASS(); L_008d:; // 426 Print String("J = CInt3") _imp_PRINTSTRING(_imp_str_literal("J = CInt3")); // 427 New Line _imp_NEWLINE(); // 428 // 429 %If CInt3 = J %then fail %else pass if (((10) != (J))) goto L_008e; FAIL(); goto L_008f; L_008e:; PASS(); L_008f:; // 430 Print String("CInt3 = J") _imp_PRINTSTRING(_imp_str_literal("CInt3 = J")); // 431 New Line _imp_NEWLINE(); // 432 // 433 %If J = K %then fail %else pass if (((J) != (K))) goto L_0090; FAIL(); goto L_0091; L_0090:; PASS(); L_0091:; // 434 Print String("J = K") _imp_PRINTSTRING(_imp_str_literal("J = K")); // 435 New Line _imp_NEWLINE(); // 436 // 437 %If J = 10 %then fail %else pass if (((J) != (10))) goto L_0092; FAIL(); goto L_0093; L_0092:; PASS(); L_0093:; // 438 Print String("J = 10") _imp_PRINTSTRING(_imp_str_literal("J = 10")); // 439 New Line _imp_NEWLINE(); // 440 // 441 %If 10 = J %then fail %else pass if (((10) != (J))) goto L_0094; FAIL(); goto L_0095; L_0094:; PASS(); L_0095:; // 442 Print String("10 = J") _imp_PRINTSTRING(_imp_str_literal("10 = J")); // 443 New Lines (2) _imp_NEWLINES(2); // 444 // 445 // 446 // 447 // 448 !* ---<<< Test for Integer Inequality >>>--- // 449 // 450 // 451 %If 3 # 10 %then pass %else fail if (((3) == (10))) goto L_0096; PASS(); goto L_0097; L_0096:; FAIL(); L_0097:; // 452 Print String("3 # 10") _imp_PRINTSTRING(_imp_str_literal("3 # 10")); // 453 New Line _imp_NEWLINE(); // 454 // 455 %If CInt4 # 10 %then pass %else fail if (((3) == (10))) goto L_0098; PASS(); goto L_0099; L_0098:; FAIL(); L_0099:; // 456 Print String("CInt4 # 10") _imp_PRINTSTRING(_imp_str_literal("CInt4 # 10")); // 457 New Line _imp_NEWLINE(); // 458 // 459 %If 10 # CInt4 %then pass %else fail if (((10) == (3))) goto L_009a; PASS(); goto L_009b; L_009a:; FAIL(); L_009b:; // 460 Print String("10 # CInt4") _imp_PRINTSTRING(_imp_str_literal("10 # CInt4")); // 461 New Line _imp_NEWLINE(); // 462 // 463 %If CInt4 # CInt3 %then pass %else fail if (((3) == (10))) goto L_009c; PASS(); goto L_009d; L_009c:; FAIL(); L_009d:; // 464 Print String("CInt4 # CInt3") _imp_PRINTSTRING(_imp_str_literal("CInt4 # CInt3")); // 465 New Line _imp_NEWLINE(); // 466 // 467 // 468 // 469 %If J # CInt3 %then pass %else fail if (((J) == (10))) goto L_009e; PASS(); goto L_009f; L_009e:; FAIL(); L_009f:; // 470 Print String("J # CInt3") _imp_PRINTSTRING(_imp_str_literal("J # CInt3")); // 471 New Line _imp_NEWLINE(); // 472 // 473 %If CInt3 # J %then pass %else fail if (((10) == (J))) goto L_00a0; PASS(); goto L_00a1; L_00a0:; FAIL(); L_00a1:; // 474 Print String("CInt3 # J") _imp_PRINTSTRING(_imp_str_literal("CInt3 # J")); // 475 New Line _imp_NEWLINE(); // 476 // 477 %If J # K %then pass %else fail if (((J) == (K))) goto L_00a2; PASS(); goto L_00a3; L_00a2:; FAIL(); L_00a3:; // 478 Print String("J # K") _imp_PRINTSTRING(_imp_str_literal("J # K")); // 479 New Line _imp_NEWLINE(); // 480 // 481 %If J # 10 %then pass %else fail if (((J) == (10))) goto L_00a4; PASS(); goto L_00a5; L_00a4:; FAIL(); L_00a5:; // 482 Print String("J # 10") _imp_PRINTSTRING(_imp_str_literal("J # 10")); // 483 New Line _imp_NEWLINE(); // 484 // 485 %If 10 # J %then pass %else fail if (((10) == (J))) goto L_00a6; PASS(); goto L_00a7; L_00a6:; FAIL(); L_00a7:; // 486 Print String("10 # J") _imp_PRINTSTRING(_imp_str_literal("10 # J")); // 487 New Lines (2) _imp_NEWLINES(2); // 488 // 489 // 490 // 491 // 492 !* ---<<< Test for LESS THAN in Integers >>>--- // 493 // 494 // 495 // 496 %If 3 < 10 %then pass %else fail if (((3) >= (10))) goto L_00a8; PASS(); goto L_00a9; L_00a8:; FAIL(); L_00a9:; // 497 Print String("3 < 10") _imp_PRINTSTRING(_imp_str_literal("3 < 10")); // 498 New Line _imp_NEWLINE(); // 499 // 500 %If 10 < J %then fail %else pass if (((10) >= (J))) goto L_00aa; FAIL(); goto L_00ab; L_00aa:; PASS(); L_00ab:; // 501 Print String("10 < J") _imp_PRINTSTRING(_imp_str_literal("10 < J")); // 502 New Line _imp_NEWLINE(); // 503 // 504 %If J < 10 %then pass %else fail if (((J) >= (10))) goto L_00ac; PASS(); goto L_00ad; L_00ac:; FAIL(); L_00ad:; // 505 Print String("J < 10") _imp_PRINTSTRING(_imp_str_literal("J < 10")); // 506 New Line _imp_NEWLINE(); // 507 // 508 %If 10 < CInt4 %then fail %else pass if (((10) >= (3))) goto L_00ae; FAIL(); goto L_00af; L_00ae:; PASS(); L_00af:; // 509 Print String("10 < CInt4") _imp_PRINTSTRING(_imp_str_literal("10 < CInt4")); // 510 New Line _imp_NEWLINE(); // 511 // 512 %If CInt4 < 10 %then pass %else fail if (((3) >= (10))) goto L_00b0; PASS(); goto L_00b1; L_00b0:; FAIL(); L_00b1:; // 513 Print String("CInt4 < 10") _imp_PRINTSTRING(_imp_str_literal("CInt4 < 10")); // 514 New Line _imp_NEWLINE(); // 515 // 516 %If J < CInt3 %then pass %else fail if (((J) >= (10))) goto L_00b2; PASS(); goto L_00b3; L_00b2:; FAIL(); L_00b3:; // 517 Print String("J < CInt3") _imp_PRINTSTRING(_imp_str_literal("J < CInt3")); // 518 New Line _imp_NEWLINE(); // 519 // 520 %If CInt3 < J %then fail %else pass if (((10) >= (J))) goto L_00b4; FAIL(); goto L_00b5; L_00b4:; PASS(); L_00b5:; // 521 Print String("CInt3 < J") _imp_PRINTSTRING(_imp_str_literal("CInt3 < J")); // 522 New Line _imp_NEWLINE(); // 523 // 524 %If CInt4 < CInt3 %then pass %else fail if (((3) >= (10))) goto L_00b6; PASS(); goto L_00b7; L_00b6:; FAIL(); L_00b7:; // 525 Print String("CInt4 < CInt3") _imp_PRINTSTRING(_imp_str_literal("CInt4 < CInt3")); // 526 New Lines (2) _imp_NEWLINES(2); // 527 // 528 // 529 // 530 // 531 !* ---<<< Test for LESS THAN or EQUALS in Integers >>>--- // 532 // 533 // 534 // 535 %If 3 <= 10 %then pass %else fail if (((3) > (10))) goto L_00b8; PASS(); goto L_00b9; L_00b8:; FAIL(); L_00b9:; // 536 Print String("3 <= 10") _imp_PRINTSTRING(_imp_str_literal("3 <= 10")); // 537 New Line _imp_NEWLINE(); // 538 // 539 %If 10 <= J %then fail %else pass if (((10) > (J))) goto L_00ba; FAIL(); goto L_00bb; L_00ba:; PASS(); L_00bb:; // 540 Print String("10 <= J") _imp_PRINTSTRING(_imp_str_literal("10 <= J")); // 541 New Line _imp_NEWLINE(); // 542 // 543 %If J <= 10 %then pass %else fail if (((J) > (10))) goto L_00bc; PASS(); goto L_00bd; L_00bc:; FAIL(); L_00bd:; // 544 Print String("J <= 10") _imp_PRINTSTRING(_imp_str_literal("J <= 10")); // 545 New Line _imp_NEWLINE(); // 546 // 547 %If 10 <= CInt4 %then fail %else pass if (((10) > (3))) goto L_00be; FAIL(); goto L_00bf; L_00be:; PASS(); L_00bf:; // 548 Print String("10 <= CInt4") _imp_PRINTSTRING(_imp_str_literal("10 <= CInt4")); // 549 New Line _imp_NEWLINE(); // 550 // 551 %If CInt4 <= 10 %then pass %else fail if (((3) > (10))) goto L_00c0; PASS(); goto L_00c1; L_00c0:; FAIL(); L_00c1:; // 552 Print String("CInt4 <= 10") _imp_PRINTSTRING(_imp_str_literal("CInt4 <= 10")); // 553 New Line _imp_NEWLINE(); // 554 // 555 %If J <= CInt3 %then pass %else fail if (((J) > (10))) goto L_00c2; PASS(); goto L_00c3; L_00c2:; FAIL(); L_00c3:; // 556 Print String("J <= CInt3") _imp_PRINTSTRING(_imp_str_literal("J <= CInt3")); // 557 New Line _imp_NEWLINE(); // 558 // 559 %If CInt3 <= J %then fail %else pass if (((10) > (J))) goto L_00c4; FAIL(); goto L_00c5; L_00c4:; PASS(); L_00c5:; // 560 Print String("CInt3 <= J") _imp_PRINTSTRING(_imp_str_literal("CInt3 <= J")); // 561 New Line _imp_NEWLINE(); // 562 // 563 %If CInt4 <= CInt3 %then pass %else fail if (((3) > (10))) goto L_00c6; PASS(); goto L_00c7; L_00c6:; FAIL(); L_00c7:; // 564 Print String("CInt4 <= CInt3") _imp_PRINTSTRING(_imp_str_literal("CInt4 <= CInt3")); // 565 New Line _imp_NEWLINE(); // 566 // 567 %If J <= J %then pass %else fail if (((J) > (J))) goto L_00c8; PASS(); goto L_00c9; L_00c8:; FAIL(); L_00c9:; // 568 Print String("J <= J") _imp_PRINTSTRING(_imp_str_literal("J <= J")); // 569 New Lines (2) _imp_NEWLINES(2); // 570 // 571 // 572 !* ---<<< Test for GREATER THAN in Integers >>>--- // 573 // 574 // 575 // 576 %If 3 > 10 %then fail %else pass if (((3) <= (10))) goto L_00ca; FAIL(); goto L_00cb; L_00ca:; PASS(); L_00cb:; // 577 Print String("3 > 10") _imp_PRINTSTRING(_imp_str_literal("3 > 10")); // 578 New Line _imp_NEWLINE(); // 579 // 580 %If 10 > J %then pass %else fail if (((10) <= (J))) goto L_00cc; PASS(); goto L_00cd; L_00cc:; FAIL(); L_00cd:; // 581 Print String("10 > J") _imp_PRINTSTRING(_imp_str_literal("10 > J")); // 582 New Line _imp_NEWLINE(); // 583 // 584 %If J > 10 %then fail %else pass if (((J) <= (10))) goto L_00ce; FAIL(); goto L_00cf; L_00ce:; PASS(); L_00cf:; // 585 Print String("J > 10") _imp_PRINTSTRING(_imp_str_literal("J > 10")); // 586 New Line _imp_NEWLINE(); // 587 // 588 %If 3 > CInt3 %then fail %else pass if (((3) <= (10))) goto L_00d0; FAIL(); goto L_00d1; L_00d0:; PASS(); L_00d1:; // 589 Print String("3 > CInt3") _imp_PRINTSTRING(_imp_str_literal("3 > CInt3")); // 590 New Line _imp_NEWLINE(); // 591 // 592 %If CInt4 > 10 %then fail %else pass if (((3) <= (10))) goto L_00d2; FAIL(); goto L_00d3; L_00d2:; PASS(); L_00d3:; // 593 Print String("CInt4 > 10") _imp_PRINTSTRING(_imp_str_literal("CInt4 > 10")); // 594 New Line _imp_NEWLINE(); // 595 // 596 %If J > CInt3 %then fail %else pass if (((J) <= (10))) goto L_00d4; FAIL(); goto L_00d5; L_00d4:; PASS(); L_00d5:; // 597 Print String("J > CInt3") _imp_PRINTSTRING(_imp_str_literal("J > CInt3")); // 598 New Line _imp_NEWLINE(); // 599 // 600 %If CInt3 > J %then pass %else fail if (((10) <= (J))) goto L_00d6; PASS(); goto L_00d7; L_00d6:; FAIL(); L_00d7:; // 601 Print String("CInt3 > J") _imp_PRINTSTRING(_imp_str_literal("CInt3 > J")); // 602 New Line _imp_NEWLINE(); // 603 // 604 %If CInt4 > CInt3 %then fail %else pass if (((3) <= (10))) goto L_00d8; FAIL(); goto L_00d9; L_00d8:; PASS(); L_00d9:; // 605 Print String("CInt4 > CInt3") _imp_PRINTSTRING(_imp_str_literal("CInt4 > CInt3")); // 606 New Lines (2) _imp_NEWLINES(2); // 607 // 608 // 609 // 610 !* ---<<< Test for GREATER THAN OR EQUALS TO in Integers >>>--- // 611 // 612 // 613 %If 10 >= 3 %then pass %else fail if (((10) < (3))) goto L_00da; PASS(); goto L_00db; L_00da:; FAIL(); L_00db:; // 614 Print String("10 >= 3") _imp_PRINTSTRING(_imp_str_literal("10 >= 3")); // 615 New Line _imp_NEWLINE(); // 616 // 617 %If 10 >= J %then pass %else fail if (((10) < (J))) goto L_00dc; PASS(); goto L_00dd; L_00dc:; FAIL(); L_00dd:; // 618 Print String("10 >= J") _imp_PRINTSTRING(_imp_str_literal("10 >= J")); // 619 New Line _imp_NEWLINE(); // 620 // 621 %If J >= 10 %then fail %else pass if (((J) < (10))) goto L_00de; FAIL(); goto L_00df; L_00de:; PASS(); L_00df:; // 622 Print String("J >= 10") _imp_PRINTSTRING(_imp_str_literal("J >= 10")); // 623 New Line _imp_NEWLINE(); // 624 // 625 %If 10 >= CInt4 %then pass %else fail if (((10) < (3))) goto L_00e0; PASS(); goto L_00e1; L_00e0:; FAIL(); L_00e1:; // 626 Print String("10 >= CInt4") _imp_PRINTSTRING(_imp_str_literal("10 >= CInt4")); // 627 New Line _imp_NEWLINE(); // 628 // 629 %If CInt3 >= 3 %then pass %else fail if (((10) < (3))) goto L_00e2; PASS(); goto L_00e3; L_00e2:; FAIL(); L_00e3:; // 630 Print String("CInt3 >= 3") _imp_PRINTSTRING(_imp_str_literal("CInt3 >= 3")); // 631 New Line _imp_NEWLINE(); // 632 // 633 %If J >= CInt3 %then fail %else pass if (((J) < (10))) goto L_00e4; FAIL(); goto L_00e5; L_00e4:; PASS(); L_00e5:; // 634 Print String("J >= CInt3") _imp_PRINTSTRING(_imp_str_literal("J >= CInt3")); // 635 New Line _imp_NEWLINE(); // 636 // 637 %If CInt3 >= J %then pass %else fail if (((10) < (J))) goto L_00e6; PASS(); goto L_00e7; L_00e6:; FAIL(); L_00e7:; // 638 Print String("CInt3 >= J") _imp_PRINTSTRING(_imp_str_literal("CInt3 >= J")); // 639 New Line _imp_NEWLINE(); // 640 // 641 %If CInt3 >= CInt4 %then pass %else fail if (((10) < (3))) goto L_00e8; PASS(); goto L_00e9; L_00e8:; FAIL(); L_00e9:; // 642 Print String("CInt3 >= CInt4") _imp_PRINTSTRING(_imp_str_literal("CInt3 >= CInt4")); // 643 // 644 New Lines (3) _imp_NEWLINES(3); // 645 // 646 select output(1) _imp_SELECTOUTPUT(1); // 647 write(failures,1); printstring(" failure(s)"); newline _imp_WRITE(FAILURES, 1); _imp_PRINTSTRING(_imp_str_literal(" failure(s)")); _imp_NEWLINE(); // 648 // 649 %End %of %Program /* Remove %on %event handler here if present for this block */ return 0; } // End of block _imp_main at level 1 // End of file