paul@0 | 1 | #!/usr/bin/env python |
paul@0 | 2 | |
paul@0 | 3 | import branching |
paul@0 | 4 | |
paul@0 | 5 | names = [] |
paul@0 | 6 | |
paul@0 | 7 | # Equivalent to... |
paul@0 | 8 | # |
paul@0 | 9 | # a = ... |
paul@0 | 10 | # a.p |
paul@0 | 11 | # if ...: |
paul@0 | 12 | # a = ... |
paul@0 | 13 | # a.x |
paul@0 | 14 | # else: |
paul@0 | 15 | # ... |
paul@0 | 16 | # a.q |
paul@0 | 17 | |
paul@0 | 18 | bt = branching.BranchTracker() |
paul@0 | 19 | a1 = bt.assign_names(["a"]) |
paul@0 | 20 | bt.use_attribute("a", "p") |
paul@0 | 21 | bt.new_branchpoint() # begin |
paul@0 | 22 | bt.new_branch() # if ... |
paul@0 | 23 | a2 = bt.assign_names(["a"]) # a = ... |
paul@0 | 24 | ax = bt.use_attribute("a", "x") |
paul@0 | 25 | bt.shelve_branch() |
paul@0 | 26 | bt.new_branch() # else |
paul@0 | 27 | bt.shelve_branch() |
paul@0 | 28 | bt.merge_branches() # end |
paul@0 | 29 | aq = bt.use_attribute("a", "q") |
paul@0 | 30 | |
paul@0 | 31 | print a1.get_usage() == \ |
paul@0 | 32 | {'a' : set([('p',), ('p', 'q')])}, \ |
paul@0 | 33 | a1.get_usage() |
paul@0 | 34 | print a2.get_usage() == \ |
paul@0 | 35 | {'a' : set([('q', 'x')])}, \ |
paul@0 | 36 | a2.get_usage() |
paul@0 | 37 | print bt.get_assignment_positions_for_branches("a", ax) == [1], \ |
paul@0 | 38 | bt.get_assignment_positions_for_branches("a", ax) |
paul@0 | 39 | print bt.get_assignment_positions_for_branches("a", aq) == [0, 1], \ |
paul@0 | 40 | bt.get_assignment_positions_for_branches("a", aq) |
paul@0 | 41 | names.append(bt.assignments["a"]) |
paul@0 | 42 | |
paul@0 | 43 | # Equivalent to... |
paul@0 | 44 | # |
paul@0 | 45 | # a = ... |
paul@0 | 46 | # a.p |
paul@0 | 47 | # if ...: |
paul@0 | 48 | # a.x |
paul@0 | 49 | # elif ...: |
paul@0 | 50 | # a.y; a.z |
paul@0 | 51 | # else: |
paul@0 | 52 | # ... |
paul@0 | 53 | # a.q |
paul@0 | 54 | |
paul@0 | 55 | bt = branching.BranchTracker() |
paul@0 | 56 | a = bt.assign_names(["a"]) |
paul@0 | 57 | bt.use_attribute("a", "p") |
paul@0 | 58 | bt.new_branchpoint() # begin |
paul@0 | 59 | bt.new_branch() # if ... |
paul@0 | 60 | ax = bt.use_attribute("a", "x") |
paul@0 | 61 | bt.shelve_branch() |
paul@0 | 62 | bt.new_branch() # elif ... |
paul@0 | 63 | ay = bt.use_attribute("a", "y") |
paul@0 | 64 | az = bt.use_attribute("a", "z") |
paul@0 | 65 | bt.shelve_branch() |
paul@0 | 66 | bt.new_branch() # else |
paul@0 | 67 | bt.shelve_branch() |
paul@0 | 68 | bt.merge_branches() # end |
paul@0 | 69 | bt.use_attribute("a", "q") |
paul@0 | 70 | |
paul@0 | 71 | print a.get_usage() == \ |
paul@0 | 72 | {'a' : set([('p', 'q'), ('p', 'q', 'x'), ('p', 'q', 'y', 'z')])}, \ |
paul@0 | 73 | a.get_usage() |
paul@0 | 74 | print bt.get_assignment_positions_for_branches("a", ax) == [0], \ |
paul@0 | 75 | bt.get_assignment_positions_for_branches("a", ax) |
paul@0 | 76 | print bt.get_assignment_positions_for_branches("a", ay) == [0], \ |
paul@0 | 77 | bt.get_assignment_positions_for_branches("a", ay) |
paul@0 | 78 | print bt.get_assignment_positions_for_branches("a", az) == [0], \ |
paul@0 | 79 | bt.get_assignment_positions_for_branches("a", az) |
paul@0 | 80 | names.append(bt.assignments["a"]) |
paul@0 | 81 | |
paul@0 | 82 | # Equivalent to... |
paul@0 | 83 | # |
paul@0 | 84 | # a = ... |
paul@0 | 85 | # a.p |
paul@0 | 86 | # while ...: |
paul@0 | 87 | # a.x |
paul@0 | 88 | # a.q |
paul@0 | 89 | |
paul@0 | 90 | bt = branching.BranchTracker() |
paul@0 | 91 | a = bt.assign_names(["a"]) |
paul@0 | 92 | bt.use_attribute("a", "p") |
paul@0 | 93 | bt.new_branchpoint(True) # begin |
paul@0 | 94 | bt.new_branch(True) # while ... |
paul@0 | 95 | ax = bt.use_attribute("a", "x") |
paul@0 | 96 | bt.resume_continuing_branches() |
paul@0 | 97 | bt.shelve_branch(True) |
paul@0 | 98 | bt.new_branch() # (null) |
paul@0 | 99 | bt.shelve_branch() |
paul@0 | 100 | bt.merge_branches() # end |
paul@0 | 101 | bt.resume_broken_branches() |
paul@0 | 102 | bt.use_attribute("a", "q") |
paul@0 | 103 | |
paul@0 | 104 | print a.get_usage() == \ |
paul@0 | 105 | {'a' : set([('p', 'q'), ('p', 'q', 'x')])}, a.get_usage() |
paul@0 | 106 | print bt.get_assignment_positions_for_branches("a", ax) == [0], \ |
paul@0 | 107 | bt.get_assignment_positions_for_branches("a", ax) |
paul@0 | 108 | names.append(bt.assignments["a"]) |
paul@0 | 109 | |
paul@0 | 110 | # Equivalent to... |
paul@0 | 111 | # |
paul@0 | 112 | # a = ... |
paul@0 | 113 | # a.p |
paul@0 | 114 | # while ...: |
paul@0 | 115 | # if ...: |
paul@0 | 116 | # a.x |
paul@0 | 117 | # else ...: |
paul@0 | 118 | # a.y |
paul@0 | 119 | # a.q |
paul@0 | 120 | |
paul@0 | 121 | bt = branching.BranchTracker() |
paul@0 | 122 | a = bt.assign_names(["a"]) |
paul@0 | 123 | bt.use_attribute("a", "p") |
paul@0 | 124 | bt.new_branchpoint(True) # begin |
paul@0 | 125 | bt.new_branch(True) # while ... |
paul@0 | 126 | bt.new_branchpoint() # begin |
paul@0 | 127 | bt.new_branch() # if ... |
paul@0 | 128 | ax = bt.use_attribute("a", "x") |
paul@0 | 129 | bt.shelve_branch() |
paul@0 | 130 | bt.new_branch() |
paul@0 | 131 | ay = bt.use_attribute("a", "y") |
paul@0 | 132 | bt.shelve_branch() |
paul@0 | 133 | bt.merge_branches() # end |
paul@0 | 134 | bt.resume_continuing_branches() |
paul@0 | 135 | bt.shelve_branch(True) |
paul@0 | 136 | bt.new_branch() # (null) |
paul@0 | 137 | bt.shelve_branch() |
paul@0 | 138 | bt.merge_branches() # end |
paul@0 | 139 | bt.resume_broken_branches() |
paul@0 | 140 | bt.use_attribute("a", "q") |
paul@0 | 141 | |
paul@0 | 142 | print a.get_usage() == \ |
paul@0 | 143 | {'a' : set([('p', 'q'), ('p', 'q', 'x'), ('p', 'q', 'y')])}, \ |
paul@0 | 144 | a.get_usage() |
paul@0 | 145 | print bt.get_assignment_positions_for_branches("a", ax) == [0], \ |
paul@0 | 146 | bt.get_assignment_positions_for_branches("a", ax) |
paul@0 | 147 | print bt.get_assignment_positions_for_branches("a", ay) == [0], \ |
paul@0 | 148 | bt.get_assignment_positions_for_branches("a", ay) |
paul@0 | 149 | names.append(bt.assignments["a"]) |
paul@0 | 150 | |
paul@0 | 151 | # Equivalent to... |
paul@0 | 152 | # |
paul@0 | 153 | # a = ... |
paul@0 | 154 | # a.p |
paul@0 | 155 | # while ...: |
paul@0 | 156 | # if ...: |
paul@0 | 157 | # a = ... |
paul@0 | 158 | # a.x |
paul@0 | 159 | # else ...: |
paul@0 | 160 | # a.y |
paul@0 | 161 | # a.q |
paul@0 | 162 | |
paul@0 | 163 | bt = branching.BranchTracker() |
paul@0 | 164 | a1 = bt.assign_names(["a"]) |
paul@0 | 165 | bt.use_attribute("a", "p") |
paul@0 | 166 | bt.new_branchpoint(True) # begin |
paul@0 | 167 | bt.new_branch(True) # while ... |
paul@0 | 168 | bt.new_branchpoint() # begin |
paul@0 | 169 | bt.new_branch() # if ... |
paul@0 | 170 | a2 = bt.assign_names(["a"]) # a = ... |
paul@0 | 171 | ax = bt.use_attribute("a", "x") |
paul@0 | 172 | bt.shelve_branch() |
paul@0 | 173 | bt.new_branch() |
paul@0 | 174 | ay = bt.use_attribute("a", "y") |
paul@0 | 175 | bt.shelve_branch() |
paul@0 | 176 | bt.merge_branches() # end |
paul@0 | 177 | bt.resume_continuing_branches() |
paul@0 | 178 | bt.shelve_branch(True) |
paul@0 | 179 | bt.new_branch() # (null) |
paul@0 | 180 | bt.shelve_branch() |
paul@0 | 181 | bt.merge_branches() # end |
paul@0 | 182 | bt.resume_broken_branches() |
paul@0 | 183 | bt.use_attribute("a", "q") |
paul@0 | 184 | |
paul@0 | 185 | print a1.get_usage() == \ |
paul@0 | 186 | {'a' : set([('p', 'q'), ('p', 'q', 'y'), ('p',)])}, a1.get_usage() |
paul@0 | 187 | print a2.get_usage() == \ |
paul@0 | 188 | {'a' : set([('q', 'x')])}, a2.get_usage() |
paul@0 | 189 | print bt.get_assignment_positions_for_branches("a", ax) == [1], \ |
paul@0 | 190 | bt.get_assignment_positions_for_branches("a", ax) |
paul@0 | 191 | print bt.get_assignment_positions_for_branches("a", ay) == [0, 1], \ |
paul@0 | 192 | bt.get_assignment_positions_for_branches("a", ay) |
paul@0 | 193 | names.append(bt.assignments["a"]) |
paul@0 | 194 | |
paul@0 | 195 | # Equivalent to... |
paul@0 | 196 | # |
paul@0 | 197 | # a = ... |
paul@0 | 198 | # a.p |
paul@0 | 199 | # while ...: |
paul@0 | 200 | # if ...: |
paul@0 | 201 | # a.y |
paul@0 | 202 | # else ...: |
paul@0 | 203 | # a = ... |
paul@0 | 204 | # a.x |
paul@0 | 205 | # a.q |
paul@0 | 206 | |
paul@0 | 207 | bt = branching.BranchTracker() |
paul@0 | 208 | a1 = bt.assign_names(["a"]) |
paul@0 | 209 | bt.use_attribute("a", "p") |
paul@0 | 210 | bt.new_branchpoint(True) # begin |
paul@0 | 211 | bt.new_branch(True) # while ... |
paul@0 | 212 | bt.new_branchpoint() # begin |
paul@0 | 213 | bt.new_branch() # if ... |
paul@0 | 214 | ay = bt.use_attribute("a", "y") |
paul@0 | 215 | bt.shelve_branch() |
paul@0 | 216 | bt.new_branch() |
paul@0 | 217 | a2 = bt.assign_names(["a"]) # a = ... |
paul@0 | 218 | ax = bt.use_attribute("a", "x") |
paul@0 | 219 | bt.shelve_branch() |
paul@0 | 220 | bt.merge_branches() # end |
paul@0 | 221 | bt.resume_continuing_branches() |
paul@0 | 222 | bt.shelve_branch(True) |
paul@0 | 223 | bt.new_branch() # (null) |
paul@0 | 224 | bt.shelve_branch() |
paul@0 | 225 | bt.merge_branches() # end |
paul@0 | 226 | bt.resume_broken_branches() |
paul@0 | 227 | bt.use_attribute("a", "q") |
paul@0 | 228 | |
paul@0 | 229 | print a1.get_usage() == \ |
paul@0 | 230 | {'a' : set([('p', 'q'), ('p', 'q', 'y'), ('p',)])}, a1.get_usage() |
paul@0 | 231 | print a2.get_usage() == \ |
paul@0 | 232 | {'a' : set([('q', 'x')])}, a2.get_usage() |
paul@0 | 233 | print bt.get_assignment_positions_for_branches("a", ax) == [1], \ |
paul@0 | 234 | bt.get_assignment_positions_for_branches("a", ax) |
paul@0 | 235 | print bt.get_assignment_positions_for_branches("a", ay) == [0, 1], \ |
paul@0 | 236 | bt.get_assignment_positions_for_branches("a", ay) |
paul@0 | 237 | names.append(bt.assignments["a"]) |
paul@0 | 238 | |
paul@0 | 239 | # Equivalent to... |
paul@0 | 240 | # |
paul@0 | 241 | # a = ... |
paul@0 | 242 | # a.p |
paul@0 | 243 | # while ...: |
paul@0 | 244 | # a = ... |
paul@0 | 245 | # a.x |
paul@0 | 246 | # a.q |
paul@0 | 247 | |
paul@0 | 248 | bt = branching.BranchTracker() |
paul@0 | 249 | a1 = bt.assign_names(["a"]) |
paul@0 | 250 | ap = bt.use_attribute("a", "p") |
paul@0 | 251 | bt.new_branchpoint(True) # begin |
paul@0 | 252 | bt.new_branch(True) # while ... |
paul@0 | 253 | a2 = bt.assign_names(["a"]) # a = ... |
paul@0 | 254 | ax = bt.use_attribute("a", "x") |
paul@0 | 255 | bt.resume_continuing_branches() |
paul@0 | 256 | bt.shelve_branch(True) |
paul@0 | 257 | bt.new_branch() # (null) |
paul@0 | 258 | bt.shelve_branch() |
paul@0 | 259 | bt.merge_branches() # end |
paul@0 | 260 | bt.resume_broken_branches() |
paul@0 | 261 | aq = bt.use_attribute("a", "q") |
paul@0 | 262 | |
paul@0 | 263 | print a1.get_usage() == \ |
paul@0 | 264 | {'a' : set([('p', 'q'), ('p',)])}, a1.get_usage() |
paul@0 | 265 | print a2.get_usage() == \ |
paul@0 | 266 | {'a' : set([('q', 'x')])}, a2.get_usage() |
paul@0 | 267 | print bt.get_assignment_positions_for_branches("a", ax) == [1], \ |
paul@0 | 268 | bt.get_assignment_positions_for_branches("a", ax) |
paul@0 | 269 | print bt.get_assignment_positions_for_branches("a", ap) == [0], \ |
paul@0 | 270 | bt.get_assignment_positions_for_branches("a", ap) |
paul@0 | 271 | print bt.get_assignment_positions_for_branches("a", aq) == [0, 1], \ |
paul@0 | 272 | bt.get_assignment_positions_for_branches("a", aq) |
paul@0 | 273 | names.append(bt.assignments["a"]) |
paul@0 | 274 | |
paul@0 | 275 | # Equivalent to... |
paul@0 | 276 | # |
paul@0 | 277 | # a = ... |
paul@0 | 278 | # a.p |
paul@0 | 279 | # while ...: |
paul@0 | 280 | # if ...: |
paul@0 | 281 | # break |
paul@0 | 282 | # a.q |
paul@0 | 283 | # a.r |
paul@0 | 284 | |
paul@0 | 285 | bt = branching.BranchTracker() |
paul@0 | 286 | a1 = bt.assign_names(["a"]) |
paul@0 | 287 | bt.use_attribute("a", "p") |
paul@0 | 288 | bt.new_branchpoint(True) # begin |
paul@0 | 289 | bt.new_branch(True) # while ... |
paul@0 | 290 | bt.new_branchpoint() # begin |
paul@0 | 291 | bt.new_branch() # if ... |
paul@0 | 292 | bt.suspend_broken_branch() # break |
paul@0 | 293 | bt.shelve_branch() |
paul@0 | 294 | bt.new_branch() # (null) |
paul@0 | 295 | bt.shelve_branch() |
paul@0 | 296 | bt.merge_branches() # end |
paul@0 | 297 | bt.use_attribute("a", "q") |
paul@0 | 298 | bt.resume_continuing_branches() |
paul@0 | 299 | bt.shelve_branch(True) |
paul@0 | 300 | bt.merge_branches() # end |
paul@0 | 301 | bt.resume_broken_branches() |
paul@0 | 302 | bt.use_attribute("a", "r") |
paul@0 | 303 | |
paul@0 | 304 | print a1.get_usage() == \ |
paul@0 | 305 | {'a' : set([('p', 'q', 'r'), ('p', 'r')])}, a1.get_usage() |
paul@0 | 306 | names.append(bt.assignments["a"]) |
paul@0 | 307 | |
paul@0 | 308 | # Equivalent to... |
paul@0 | 309 | # |
paul@0 | 310 | # a = ... |
paul@0 | 311 | # a.p and a.q and a.r |
paul@0 | 312 | |
paul@0 | 313 | bt = branching.BranchTracker() |
paul@0 | 314 | a1 = bt.assign_names(["a"]) |
paul@0 | 315 | bt.new_branchpoint() # begin |
paul@0 | 316 | bt.new_branch() |
paul@0 | 317 | bt.use_attribute("a", "p") |
paul@0 | 318 | bt.new_branchpoint() # begin |
paul@0 | 319 | bt.new_branch() |
paul@0 | 320 | bt.use_attribute("a", "q") |
paul@0 | 321 | bt.new_branchpoint() # begin |
paul@0 | 322 | bt.new_branch() |
paul@0 | 323 | bt.use_attribute("a", "r") |
paul@0 | 324 | bt.shelve_branch() |
paul@0 | 325 | bt.new_branch() # (null) |
paul@0 | 326 | bt.shelve_branch() |
paul@0 | 327 | bt.merge_branches() # end |
paul@0 | 328 | bt.shelve_branch() |
paul@0 | 329 | bt.new_branch() # (null) |
paul@0 | 330 | bt.shelve_branch() |
paul@0 | 331 | bt.merge_branches() # end |
paul@0 | 332 | bt.shelve_branch() |
paul@0 | 333 | bt.merge_branches() # end |
paul@0 | 334 | |
paul@0 | 335 | print a1.get_usage() == \ |
paul@0 | 336 | {'a' : set([('p', 'q', 'r'), ('p', 'q'), ('p',)])}, a1.get_usage() |
paul@0 | 337 | names.append(bt.assignments["a"]) |
paul@0 | 338 | |
paul@0 | 339 | # Equivalent to... |
paul@0 | 340 | # |
paul@0 | 341 | # a = ... |
paul@0 | 342 | # if ...: |
paul@0 | 343 | # a.p |
paul@0 | 344 | # return |
paul@0 | 345 | # a.q |
paul@0 | 346 | |
paul@0 | 347 | bt = branching.BranchTracker() |
paul@0 | 348 | a1 = bt.assign_names(["a"]) |
paul@0 | 349 | bt.new_branchpoint() # begin |
paul@0 | 350 | bt.new_branch() # if ... |
paul@0 | 351 | bt.use_attribute("a", "p") |
paul@0 | 352 | bt.abandon_returning_branch() |
paul@0 | 353 | bt.shelve_branch() |
paul@0 | 354 | bt.new_branch() # (null) |
paul@0 | 355 | bt.shelve_branch() |
paul@0 | 356 | bt.merge_branches() # end |
paul@0 | 357 | bt.use_attribute("a", "q") |
paul@0 | 358 | |
paul@0 | 359 | print a1.get_usage() == \ |
paul@0 | 360 | {'a' : set([('p',), ('q',)])}, a1.get_usage() |
paul@0 | 361 | names.append(bt.assignments["a"]) |
paul@0 | 362 | |
paul@0 | 363 | # Equivalent to... |
paul@0 | 364 | # |
paul@0 | 365 | # a = ... |
paul@0 | 366 | # try: |
paul@0 | 367 | # if ...: |
paul@0 | 368 | # a.p |
paul@0 | 369 | # return |
paul@0 | 370 | # a.q |
paul@0 | 371 | # except: |
paul@0 | 372 | # a.r |
paul@0 | 373 | |
paul@0 | 374 | bt = branching.BranchTracker() |
paul@0 | 375 | a1 = bt.assign_names(["a"]) |
paul@0 | 376 | bt.new_branchpoint() # begin (try) |
paul@0 | 377 | bt.new_branchpoint() # begin |
paul@0 | 378 | bt.new_branch() # if ... |
paul@0 | 379 | bt.use_attribute("a", "p") |
paul@0 | 380 | bt.abandon_returning_branch() |
paul@0 | 381 | bt.shelve_branch() # ... if |
paul@0 | 382 | bt.new_branch() # (null) |
paul@0 | 383 | bt.shelve_branch() |
paul@0 | 384 | bt.merge_branches() # end |
paul@0 | 385 | bt.use_attribute("a", "q") |
paul@0 | 386 | bt.resume_abandoned_branches() # except |
paul@0 | 387 | bt.use_attribute("a", "r") |
paul@0 | 388 | bt.shelve_branch() |
paul@0 | 389 | bt.merge_branches() # end |
paul@0 | 390 | |
paul@0 | 391 | print a1.get_usage() == \ |
paul@0 | 392 | {'a' : set([('p',), ('q', 'r')])}, a1.get_usage() |
paul@0 | 393 | names.append(bt.assignments["a"]) |
paul@0 | 394 | |
paul@0 | 395 | # Equivalent to... |
paul@0 | 396 | # |
paul@0 | 397 | # a = ... |
paul@0 | 398 | # if ...: |
paul@0 | 399 | # a.p |
paul@0 | 400 | # a = ... |
paul@0 | 401 | # if ...: |
paul@0 | 402 | # a.q |
paul@0 | 403 | |
paul@0 | 404 | bt = branching.BranchTracker() |
paul@0 | 405 | a1 = bt.assign_names(["a"]) |
paul@0 | 406 | bt.new_branchpoint() # begin |
paul@0 | 407 | bt.new_branch() # if ... |
paul@0 | 408 | ap = bt.use_attribute("a", "p") |
paul@0 | 409 | bt.abandon_branch() |
paul@0 | 410 | bt.shelve_branch() # ... if |
paul@0 | 411 | bt.new_branch() # (null) |
paul@0 | 412 | bt.shelve_branch() |
paul@0 | 413 | bt.merge_branches() # end |
paul@0 | 414 | a2 = bt.assign_names(["a"]) |
paul@0 | 415 | bt.new_branchpoint() # begin |
paul@0 | 416 | bt.new_branch() # if ... |
paul@0 | 417 | aq = bt.use_attribute("a", "q") |
paul@0 | 418 | bt.abandon_branch() |
paul@0 | 419 | bt.shelve_branch() # ... if |
paul@0 | 420 | bt.new_branch() # (null) |
paul@0 | 421 | bt.shelve_branch() |
paul@0 | 422 | bt.merge_branches() # end |
paul@0 | 423 | |
paul@0 | 424 | print a1.get_usage() == \ |
paul@0 | 425 | {'a' : set([('p',), ()])}, a1.get_usage() |
paul@0 | 426 | print a2.get_usage() == \ |
paul@0 | 427 | {'a' : set([('q',), ()])}, a2.get_usage() |
paul@0 | 428 | print bt.get_assignment_positions_for_branches("a", ap) == [0], \ |
paul@0 | 429 | bt.get_assignment_positions_for_branches("a", ap) |
paul@0 | 430 | print bt.get_assignment_positions_for_branches("a", aq) == [1], \ |
paul@0 | 431 | bt.get_assignment_positions_for_branches("a", aq) |
paul@0 | 432 | names.append(bt.assignments["a"]) |
paul@0 | 433 | |
paul@0 | 434 | # Equivalent to... |
paul@0 | 435 | # |
paul@0 | 436 | # a = {} |
paul@0 | 437 | # a.p |
paul@0 | 438 | # if ...: |
paul@0 | 439 | # a = ... |
paul@0 | 440 | # a.x |
paul@0 | 441 | # else: |
paul@0 | 442 | # ... |
paul@0 | 443 | # a.q |
paul@0 | 444 | |
paul@0 | 445 | bt = branching.BranchTracker() |
paul@0 | 446 | a1 = bt.assign_names(["a"], ["<instance>:__builtins__.dict.dict"]) |
paul@0 | 447 | ap = bt.use_attribute("a", "p") |
paul@0 | 448 | bt.new_branchpoint() # begin |
paul@0 | 449 | bt.new_branch() # if ... |
paul@0 | 450 | a2 = bt.assign_names(["a"]) # a = ... |
paul@0 | 451 | ax = bt.use_attribute("a", "x") |
paul@0 | 452 | bt.shelve_branch() |
paul@0 | 453 | bt.new_branch() # else |
paul@0 | 454 | bt.shelve_branch() |
paul@0 | 455 | bt.merge_branches() # end |
paul@0 | 456 | aq = bt.use_attribute("a", "q") |
paul@0 | 457 | |
paul@0 | 458 | print a1.get_usage() == \ |
paul@0 | 459 | {'a' : set([('p',), ('p', 'q')])}, \ |
paul@0 | 460 | a1.get_usage() |
paul@0 | 461 | print a2.get_usage() == \ |
paul@0 | 462 | {'a' : set([('q', 'x')])}, \ |
paul@0 | 463 | a2.get_usage() |
paul@0 | 464 | print bt.get_assignment_positions_for_branches("a", ap) == [0], \ |
paul@0 | 465 | bt.get_assignment_positions_for_branches("a", ap) |
paul@0 | 466 | print bt.get_assignment_positions_for_branches("a", ax) == [1], \ |
paul@0 | 467 | bt.get_assignment_positions_for_branches("a", ax) |
paul@0 | 468 | print bt.get_assignment_positions_for_branches("a", aq) == [0, 1], \ |
paul@0 | 469 | bt.get_assignment_positions_for_branches("a", aq) |
paul@0 | 470 | names.append(bt.assignments["a"]) |
paul@0 | 471 | |
paul@0 | 472 | # Equivalent to... |
paul@0 | 473 | # |
paul@0 | 474 | # if ...: |
paul@0 | 475 | # a = ... |
paul@0 | 476 | # a.x |
paul@0 | 477 | # else: |
paul@0 | 478 | # ... |
paul@0 | 479 | # a.q |
paul@0 | 480 | |
paul@0 | 481 | bt = branching.BranchTracker() |
paul@0 | 482 | bt.new_branchpoint() # begin |
paul@0 | 483 | bt.new_branch() # if ... |
paul@0 | 484 | a1 = bt.assign_names(["a"]) # a = ... |
paul@0 | 485 | ax = bt.use_attribute("a", "x") |
paul@0 | 486 | bt.shelve_branch() |
paul@0 | 487 | bt.new_branch() # else |
paul@0 | 488 | bt.shelve_branch() |
paul@0 | 489 | bt.merge_branches() # end |
paul@0 | 490 | aq = bt.use_attribute("a", "q") |
paul@0 | 491 | |
paul@0 | 492 | print a1.get_usage() == \ |
paul@0 | 493 | {'a' : set([('q', 'x')])}, \ |
paul@0 | 494 | a1.get_usage() |
paul@0 | 495 | print bt.get_assignment_positions_for_branches("a", aq) == [None, 0], \ |
paul@0 | 496 | bt.get_assignment_positions_for_branches("a", aq) |
paul@0 | 497 | names.append(bt.assignments["a"]) |
paul@0 | 498 | |
paul@0 | 499 | # Equivalent to... |
paul@0 | 500 | # |
paul@0 | 501 | # if ...: |
paul@0 | 502 | # a = ... |
paul@0 | 503 | # return |
paul@0 | 504 | # a.q |
paul@0 | 505 | |
paul@0 | 506 | bt = branching.BranchTracker() |
paul@0 | 507 | bt.new_branchpoint() # begin |
paul@0 | 508 | bt.new_branch() # if ... |
paul@0 | 509 | a1 = bt.assign_names(["a"]) |
paul@0 | 510 | bt.abandon_returning_branch() |
paul@0 | 511 | bt.shelve_branch() |
paul@0 | 512 | bt.new_branch() # (null) |
paul@0 | 513 | bt.shelve_branch() |
paul@0 | 514 | bt.merge_branches() # end |
paul@0 | 515 | aq = bt.use_attribute("a", "q") |
paul@0 | 516 | |
paul@0 | 517 | print a1.get_usage() == \ |
paul@0 | 518 | {'a' : set([()])}, a1.get_usage() |
paul@0 | 519 | print bt.get_assignment_positions_for_branches("a", aq) == [None], \ |
paul@0 | 520 | bt.get_assignment_positions_for_branches("a", aq) |
paul@0 | 521 | names.append(bt.assignments["a"]) |
paul@0 | 522 | |
paul@0 | 523 | # Equivalent to... |
paul@0 | 524 | # |
paul@0 | 525 | # a = ... |
paul@0 | 526 | # try: |
paul@0 | 527 | # if ...: |
paul@0 | 528 | # a.p |
paul@0 | 529 | # return |
paul@0 | 530 | # a.q |
paul@0 | 531 | # finally: |
paul@0 | 532 | # a.r |
paul@0 | 533 | |
paul@0 | 534 | bt = branching.BranchTracker() |
paul@0 | 535 | a1 = bt.assign_names(["a"]) |
paul@0 | 536 | bt.new_branchpoint() # begin |
paul@0 | 537 | bt.new_branch() # if ... |
paul@0 | 538 | bt.use_attribute("a", "p") |
paul@0 | 539 | bt.abandon_returning_branch() |
paul@0 | 540 | bt.shelve_branch() # ... if |
paul@0 | 541 | bt.new_branch() # (null) |
paul@0 | 542 | bt.shelve_branch() |
paul@0 | 543 | bt.merge_branches() # end |
paul@0 | 544 | bt.use_attribute("a", "q") |
paul@0 | 545 | branches = bt.resume_all_abandoned_branches() |
paul@0 | 546 | bt.use_attribute("a", "r") |
paul@0 | 547 | bt.restore_active_branches(branches) |
paul@0 | 548 | |
paul@0 | 549 | print a1.get_usage() == \ |
paul@0 | 550 | {'a' : set([('p', 'r'), ('q', 'r')])}, a1.get_usage() |
paul@0 | 551 | names.append(bt.assignments["a"]) |
paul@0 | 552 | |
paul@0 | 553 | # Equivalent to... |
paul@0 | 554 | # |
paul@0 | 555 | # a = ... |
paul@0 | 556 | # try: |
paul@0 | 557 | # if ...: |
paul@0 | 558 | # a = ... |
paul@0 | 559 | # a.p |
paul@0 | 560 | # return |
paul@0 | 561 | # a.q |
paul@0 | 562 | # finally: |
paul@0 | 563 | # a.r |
paul@0 | 564 | |
paul@0 | 565 | bt = branching.BranchTracker() |
paul@0 | 566 | a1 = bt.assign_names(["a"]) |
paul@0 | 567 | bt.new_branchpoint() # begin |
paul@0 | 568 | bt.new_branch() # if ... |
paul@0 | 569 | a2 = bt.assign_names(["a"]) |
paul@0 | 570 | bt.use_attribute("a", "p") |
paul@0 | 571 | bt.abandon_returning_branch() |
paul@0 | 572 | bt.shelve_branch() # ... if |
paul@0 | 573 | bt.new_branch() # (null) |
paul@0 | 574 | bt.shelve_branch() |
paul@0 | 575 | bt.merge_branches() # end |
paul@0 | 576 | aq = bt.use_attribute("a", "q") |
paul@0 | 577 | branches = bt.resume_all_abandoned_branches() |
paul@0 | 578 | ar = bt.use_attribute("a", "r") |
paul@0 | 579 | bt.restore_active_branches(branches) |
paul@0 | 580 | |
paul@0 | 581 | print a1.get_usage() == \ |
paul@0 | 582 | {'a' : set([(), ('q', 'r')])}, a1.get_usage() |
paul@0 | 583 | print a2.get_usage() == \ |
paul@0 | 584 | {'a' : set([('p', 'r')])}, a2.get_usage() |
paul@0 | 585 | print bt.get_assignment_positions_for_branches("a", ar) == [0, 1], \ |
paul@0 | 586 | bt.get_assignment_positions_for_branches("a", ar) |
paul@0 | 587 | names.append(bt.assignments["a"]) |
paul@0 | 588 | |
paul@0 | 589 | # Equivalent to... |
paul@0 | 590 | # |
paul@0 | 591 | # a = ... |
paul@0 | 592 | # try: |
paul@0 | 593 | # if ...: |
paul@0 | 594 | # a = ... |
paul@0 | 595 | # a.p |
paul@0 | 596 | # return |
paul@0 | 597 | # a.q |
paul@0 | 598 | # except: |
paul@0 | 599 | # a.r |
paul@0 | 600 | |
paul@0 | 601 | bt = branching.BranchTracker() |
paul@0 | 602 | a1 = bt.assign_names(["a"]) |
paul@0 | 603 | bt.new_branchpoint() # begin (try) |
paul@0 | 604 | bt.new_branchpoint() # begin |
paul@0 | 605 | bt.new_branch() # if ... |
paul@0 | 606 | a2 = bt.assign_names(["a"]) |
paul@0 | 607 | bt.use_attribute("a", "p") |
paul@0 | 608 | bt.abandon_returning_branch() |
paul@0 | 609 | bt.shelve_branch() # ... if |
paul@0 | 610 | bt.new_branch() # (null) |
paul@0 | 611 | bt.shelve_branch() |
paul@0 | 612 | bt.merge_branches() # end |
paul@0 | 613 | bt.use_attribute("a", "q") |
paul@0 | 614 | bt.resume_abandoned_branches() # except |
paul@0 | 615 | ar = bt.use_attribute("a", "r") |
paul@0 | 616 | bt.shelve_branch() |
paul@0 | 617 | bt.merge_branches() # end |
paul@0 | 618 | |
paul@0 | 619 | print a1.get_usage() == \ |
paul@0 | 620 | {'a' : set([(), ('q', 'r')])}, a1.get_usage() |
paul@0 | 621 | print a2.get_usage() == \ |
paul@0 | 622 | {'a' : set([('p',)])}, a2.get_usage() |
paul@0 | 623 | print bt.get_assignment_positions_for_branches("a", ar) == [0, 1], \ |
paul@0 | 624 | bt.get_assignment_positions_for_branches("a", ar) |
paul@0 | 625 | names.append(bt.assignments["a"]) |
paul@0 | 626 | |
paul@0 | 627 | # vim: tabstop=4 expandtab shiftwidth=4 |