| 1 2 21 22 23 24 package soot; 25 import org.apache.tools.ant.*; 26 import org.apache.tools.ant.taskdefs.*; 27 import org.apache.tools.ant.types.*; 28 import soot.*; 29 import java.util.*; 30 import java.io.*; 31 32 35 36 public class AntTask extends MatchingTask { 37 public static final boolean DEBUG = true; 38 private void debug(String s) { 39 if(DEBUG) System.err.println(s); 40 } 41 private ArrayList args = new ArrayList(); 42 public List args() { return args; } 43 private void addArg( String s ) { args.add(s); } 44 private void addArg( String s, String s2 ) { args.add(s); args.add(s2); } 45 private Path appendToPath( Path old, Path newPath ) { 46 if( old == null ) return newPath; 47 old.append(newPath); 48 return old; 49 } 50 private void addPath(String option, Path path) { 51 if( path.size() == 0 ) return; 52 addArg(option); 53 addArg(path.toString()); 54 } 55 private List phaseopts = new ArrayList(); 56 57 private Path phase_help = null; 58 59 private Path process_dir = null; 60 61 private Path dump_body = null; 62 63 private Path dump_cfg = null; 64 65 private Path include = null; 66 67 private Path exclude = null; 68 69 private Path dynamic_class = null; 70 71 private Path dynamic_dir = null; 72 73 private Path dynamic_package = null; 74 75 public void execute() throws BuildException { 76 77 if( phase_help != null ) addPath("-phase-help", phase_help); 78 79 if( process_dir != null ) addPath("-process-dir", process_dir); 80 81 if( dump_body != null ) addPath("-dump-body", dump_body); 82 83 if( dump_cfg != null ) addPath("-dump-cfg", dump_cfg); 84 85 if( include != null ) addPath("-include", include); 86 87 if( exclude != null ) addPath("-exclude", exclude); 88 89 if( dynamic_class != null ) addPath("-dynamic-class", dynamic_class); 90 91 if( dynamic_dir != null ) addPath("-dynamic-dir", dynamic_dir); 92 93 if( dynamic_package != null ) addPath("-dynamic-package", dynamic_package); 94 95 if(DEBUG) System.out.println(args); 96 try { 97 soot.Main.main((String []) args.toArray(new String [0])); 98 soot.G.v().reset(); 99 } catch( Exception e ) { 100 e.printStackTrace(); 101 throw new BuildException(e); 102 } 103 } 104 105 106 107 public void sethelp(boolean arg) { 108 if(arg) addArg("-help"); 109 } 110 111 public void setphase_list(boolean arg) { 112 if(arg) addArg("-phase-list"); 113 } 114 115 public void setphase_help(Path arg) { 116 if(phase_help == null ) 117 phase_help = new Path(getProject()); 118 phase_help = appendToPath(phase_help, arg); 119 } 120 121 public Path createphase_help() { 122 if(phase_help == null ) 123 phase_help = new Path(getProject()); 124 return phase_help.createPath(); 125 } 126 127 public void setversion(boolean arg) { 128 if(arg) addArg("-version"); 129 } 130 131 public void setverbose(boolean arg) { 132 if(arg) addArg("-verbose"); 133 } 134 135 public void setinteractive_mode(boolean arg) { 136 if(arg) addArg("-interactive-mode"); 137 } 138 139 public void setapp(boolean arg) { 140 if(arg) addArg("-app"); 141 } 142 143 public void setwhole_program(boolean arg) { 144 if(arg) addArg("-whole-program"); 145 } 146 147 public void setwhole_shimple(boolean arg) { 148 if(arg) addArg("-whole-shimple"); 149 } 150 151 public void setvalidate(boolean arg) { 152 if(arg) addArg("-validate"); 153 } 154 155 public void setdebug(boolean arg) { 156 if(arg) addArg("-debug"); 157 } 158 159 public void setdebug_resolver(boolean arg) { 160 if(arg) addArg("-debug-resolver"); 161 } 162 163 public void setsoot_classpath(String arg) { 164 addArg("-soot-classpath"); 165 addArg(arg); 166 } 167 168 public void setprocess_dir(Path arg) { 169 if(process_dir == null ) 170 process_dir = new Path(getProject()); 171 process_dir = appendToPath(process_dir, arg); 172 } 173 174 public Path createprocess_dir() { 175 if(process_dir == null ) 176 process_dir = new Path(getProject()); 177 return process_dir.createPath(); 178 } 179 180 public void setast_metrics(boolean arg) { 181 if(arg) addArg("-ast-metrics"); 182 } 183 184 public void setsrc_prec(String arg) { 185 if(false 186 187 || arg.equals( "c" ) 188 || arg.equals( "class" ) 189 || arg.equals( "only-class" ) 190 || arg.equals( "J" ) 191 || arg.equals( "jimple" ) 192 || arg.equals( "java" ) 193 ) { 194 addArg("-src-prec"); 195 addArg(arg); 196 } else { 197 throw new BuildException("Bad value "+arg+" for option src_prec"); 198 } 199 } 200 201 public void setfull_resolver(boolean arg) { 202 if(arg) addArg("-full-resolver"); 203 } 204 205 public void setallow_phantom_refs(boolean arg) { 206 if(arg) addArg("-allow-phantom-refs"); 207 } 208 209 public void setuse_old_type_assigner(boolean arg) { 210 if(arg) addArg("-use-old-type-assigner"); 211 } 212 213 public void setmain_class(String arg) { 214 addArg("-main-class"); 215 addArg(arg); 216 } 217 218 public void setoutput_dir(String arg) { 219 addArg("-output-dir"); 220 addArg(arg); 221 } 222 223 public void setoutput_format(String arg) { 224 if(false 225 226 || arg.equals( "J" ) 227 || arg.equals( "jimple" ) 228 || arg.equals( "j" ) 229 || arg.equals( "jimp" ) 230 || arg.equals( "S" ) 231 || arg.equals( "shimple" ) 232 || arg.equals( "s" ) 233 || arg.equals( "shimp" ) 234 || arg.equals( "B" ) 235 || arg.equals( "baf" ) 236 || arg.equals( "b" ) 237 || arg.equals( "G" ) 238 || arg.equals( "grimple" ) 239 || arg.equals( "g" ) 240 || arg.equals( "grimp" ) 241 || arg.equals( "X" ) 242 || arg.equals( "xml" ) 243 || arg.equals( "n" ) 244 || arg.equals( "none" ) 245 || arg.equals( "jasmin" ) 246 || arg.equals( "c" ) 247 || arg.equals( "class" ) 248 || arg.equals( "d" ) 249 || arg.equals( "dava" ) 250 ) { 251 addArg("-output-format"); 252 addArg(arg); 253 } else { 254 throw new BuildException("Bad value "+arg+" for option output_format"); 255 } 256 } 257 258 public void setoutput_jar(boolean arg) { 259 if(arg) addArg("-output-jar"); 260 } 261 262 public void setxml_attributes(boolean arg) { 263 if(arg) addArg("-xml-attributes"); 264 } 265 266 public void setprint_tags_in_output(boolean arg) { 267 if(arg) addArg("-print-tags-in-output"); 268 } 269 270 public void setno_output_source_file_attribute(boolean arg) { 271 if(arg) addArg("-no-output-source-file-attribute"); 272 } 273 274 public void setno_output_inner_classes_attribute(boolean arg) { 275 if(arg) addArg("-no-output-inner-classes-attribute"); 276 } 277 278 public void setdump_body(Path arg) { 279 if(dump_body == null ) 280 dump_body = new Path(getProject()); 281 dump_body = appendToPath(dump_body, arg); 282 } 283 284 public Path createdump_body() { 285 if(dump_body == null ) 286 dump_body = new Path(getProject()); 287 return dump_body.createPath(); 288 } 289 290 public void setdump_cfg(Path arg) { 291 if(dump_cfg == null ) 292 dump_cfg = new Path(getProject()); 293 dump_cfg = appendToPath(dump_cfg, arg); 294 } 295 296 public Path createdump_cfg() { 297 if(dump_cfg == null ) 298 dump_cfg = new Path(getProject()); 299 return dump_cfg.createPath(); 300 } 301 302 public void setshow_exception_dests(boolean arg) { 303 if(arg) addArg("-show-exception-dests"); 304 } 305 306 public void setgzip(boolean arg) { 307 if(arg) addArg("-gzip"); 308 } 309 310 public void setoptimize(boolean arg) { 311 if(arg) addArg("-optimize"); 312 } 313 314 public void setwhole_optimize(boolean arg) { 315 if(arg) addArg("-whole-optimize"); 316 } 317 318 public void setvia_grimp(boolean arg) { 319 if(arg) addArg("-via-grimp"); 320 } 321 322 public void setvia_shimple(boolean arg) { 323 if(arg) addArg("-via-shimple"); 324 } 325 326 public void setthrow_analysis(String arg) { 327 if(false 328 329 || arg.equals( "pedantic" ) 330 || arg.equals( "unit" ) 331 ) { 332 addArg("-throw-analysis"); 333 addArg(arg); 334 } else { 335 throw new BuildException("Bad value "+arg+" for option throw_analysis"); 336 } 337 } 338 339 public void setomit_excepting_unit_edges(boolean arg) { 340 if(arg) addArg("-omit-excepting-unit-edges"); 341 } 342 343 public void settrim_cfgs(boolean arg) { 344 if(arg) addArg("-trim-cfgs"); 345 } 346 347 public void setinclude(Path arg) { 348 if(include == null ) 349 include = new Path(getProject()); 350 include = appendToPath(include, arg); 351 } 352 353 public Path createinclude() { 354 if(include == null ) 355 include = new Path(getProject()); 356 return include.createPath(); 357 } 358 359 public void setexclude(Path arg) { 360 if(exclude == null ) 361 exclude = new Path(getProject()); 362 exclude = appendToPath(exclude, arg); 363 } 364 365 public Path createexclude() { 366 if(exclude == null ) 367 exclude = new Path(getProject()); 368 return exclude.createPath(); 369 } 370 371 public void setinclude_all(boolean arg) { 372 if(arg) addArg("-include-all"); 373 } 374 375 public void setdynamic_class(Path arg) { 376 if(dynamic_class == null ) 377 dynamic_class = new Path(getProject()); 378 dynamic_class = appendToPath(dynamic_class, arg); 379 } 380 381 public Path createdynamic_class() { 382 if(dynamic_class == null ) 383 dynamic_class = new Path(getProject()); 384 return dynamic_class.createPath(); 385 } 386 387 public void setdynamic_dir(Path arg) { 388 if(dynamic_dir == null ) 389 dynamic_dir = new Path(getProject()); 390 dynamic_dir = appendToPath(dynamic_dir, arg); 391 } 392 393 public Path createdynamic_dir() { 394 if(dynamic_dir == null ) 395 dynamic_dir = new Path(getProject()); 396 return dynamic_dir.createPath(); 397 } 398 399 public void setdynamic_package(Path arg) { 400 if(dynamic_package == null ) 401 dynamic_package = new Path(getProject()); 402 dynamic_package = appendToPath(dynamic_package, arg); 403 } 404 405 public Path createdynamic_package() { 406 if(dynamic_package == null ) 407 dynamic_package = new Path(getProject()); 408 return dynamic_package.createPath(); 409 } 410 411 public void setkeep_line_number(boolean arg) { 412 if(arg) addArg("-keep-line-number"); 413 } 414 415 public void setkeep_offset(boolean arg) { 416 if(arg) addArg("-keep-offset"); 417 } 418 419 public void setannot_purity(boolean arg) { 420 if(arg) addArg("-annot-purity"); 421 } 422 423 public void setannot_nullpointer(boolean arg) { 424 if(arg) addArg("-annot-nullpointer"); 425 } 426 427 public void setannot_arraybounds(boolean arg) { 428 if(arg) addArg("-annot-arraybounds"); 429 } 430 431 public void setannot_side_effect(boolean arg) { 432 if(arg) addArg("-annot-side-effect"); 433 } 434 435 public void setannot_fieldrw(boolean arg) { 436 if(arg) addArg("-annot-fieldrw"); 437 } 438 439 public void settime(boolean arg) { 440 if(arg) addArg("-time"); 441 } 442 443 public void setsubtract_gc(boolean arg) { 444 if(arg) addArg("-subtract-gc"); 445 } 446 447 public Object createp_jb() { 448 Object ret = new PhaseOptjb(); 449 phaseopts.add(ret); 450 return ret; 451 } 452 public class PhaseOptjb { 453 454 public void setenabled(boolean arg) { 455 addArg("-p"); 456 addArg("jb"); 457 addArg("enabled:"+(arg?"true":"false")); 458 } 459 460 public void setuse_original_names(boolean arg) { 461 addArg("-p"); 462 addArg("jb"); 463 addArg("use-original-names:"+(arg?"true":"false")); 464 } 465 466 } 467 468 public Object createp_jb_ls() { 469 Object ret = new PhaseOptjb_ls(); 470 phaseopts.add(ret); 471 return ret; 472 } 473 public class PhaseOptjb_ls { 474 475 public void setenabled(boolean arg) { 476 addArg("-p"); 477 addArg("jb.ls"); 478 addArg("enabled:"+(arg?"true":"false")); 479 } 480 481 } 482 483 public Object createp_jb_a() { 484 Object ret = new PhaseOptjb_a(); 485 phaseopts.add(ret); 486 return ret; 487 } 488 public class PhaseOptjb_a { 489 490 public void setenabled(boolean arg) { 491 addArg("-p"); 492 addArg("jb.a"); 493 addArg("enabled:"+(arg?"true":"false")); 494 } 495 496 public void setonly_stack_locals(boolean arg) { 497 addArg("-p"); 498 addArg("jb.a"); 499 addArg("only-stack-locals:"+(arg?"true":"false")); 500 } 501 502 } 503 504 public Object createp_jb_ule() { 505 Object ret = new PhaseOptjb_ule(); 506 phaseopts.add(ret); 507 return ret; 508 } 509 public class PhaseOptjb_ule { 510 511 public void setenabled(boolean arg) { 512 addArg("-p"); 513 addArg("jb.ule"); 514 addArg("enabled:"+(arg?"true":"false")); 515 } 516 517 } 518 519 public Object createp_jb_tr() { 520 Object ret = new PhaseOptjb_tr(); 521 phaseopts.add(ret); 522 return ret; 523 } 524 public class PhaseOptjb_tr { 525 526 public void setenabled(boolean arg) { 527 addArg("-p"); 528 addArg("jb.tr"); 529 addArg("enabled:"+(arg?"true":"false")); 530 } 531 532 } 533 534 public Object createp_jb_ulp() { 535 Object ret = new PhaseOptjb_ulp(); 536 phaseopts.add(ret); 537 return ret; 538 } 539 public class PhaseOptjb_ulp { 540 541 public void setenabled(boolean arg) { 542 addArg("-p"); 543 addArg("jb.ulp"); 544 addArg("enabled:"+(arg?"true":"false")); 545 } 546 547 public void setunsplit_original_locals(boolean arg) { 548 addArg("-p"); 549 addArg("jb.ulp"); 550 addArg("unsplit-original-locals:"+(arg?"true":"false")); 551 } 552 553 } 554 555 public Object createp_jb_lns() { 556 Object ret = new PhaseOptjb_lns(); 557 phaseopts.add(ret); 558 return ret; 559 } 560 public class PhaseOptjb_lns { 561 562 public void setenabled(boolean arg) { 563 addArg("-p"); 564 addArg("jb.lns"); 565 addArg("enabled:"+(arg?"true":"false")); 566 } 567 568 public void setonly_stack_locals(boolean arg) { 569 addArg("-p"); 570 addArg("jb.lns"); 571 addArg("only-stack-locals:"+(arg?"true":"false")); 572 } 573 574 } 575 576 public Object createp_jb_cp() { 577 Object ret = new PhaseOptjb_cp(); 578 phaseopts.add(ret); 579 return ret; 580 } 581 public class PhaseOptjb_cp { 582 583 public void setenabled(boolean arg) { 584 addArg("-p"); 585 addArg("jb.cp"); 586 addArg("enabled:"+(arg?"true":"false")); 587 } 588 589 public void setonly_regular_locals(boolean arg) { 590 addArg("-p"); 591 addArg("jb.cp"); 592 addArg("only-regular-locals:"+(arg?"true":"false")); 593 } 594 595 public void setonly_stack_locals(boolean arg) { 596 addArg("-p"); 597 addArg("jb.cp"); 598 addArg("only-stack-locals:"+(arg?"true":"false")); 599 } 600 601 } 602 603 public Object createp_jb_dae() { 604 Object ret = new PhaseOptjb_dae(); 605 phaseopts.add(ret); 606 return ret; 607 } 608 public class PhaseOptjb_dae { 609 610 public void setenabled(boolean arg) { 611 addArg("-p"); 612 addArg("jb.dae"); 613 addArg("enabled:"+(arg?"true":"false")); 614 } 615 616 public void setonly_stack_locals(boolean arg) { 617 addArg("-p"); 618 addArg("jb.dae"); 619 addArg("only-stack-locals:"+(arg?"true":"false")); 620 } 621 622 } 623 624 public Object createp_jb_cp_ule() { 625 Object ret = new PhaseOptjb_cp_ule(); 626 phaseopts.add(ret); 627 return ret; 628 } 629 public class PhaseOptjb_cp_ule { 630 631 public void setenabled(boolean arg) { 632 addArg("-p"); 633 addArg("jb.cp-ule"); 634 addArg("enabled:"+(arg?"true":"false")); 635 } 636 637 } 638 639 public Object createp_jb_lp() { 640 Object ret = new PhaseOptjb_lp(); 641 phaseopts.add(ret); 642 return ret; 643 } 644 public class PhaseOptjb_lp { 645 646 public void setenabled(boolean arg) { 647 addArg("-p"); 648 addArg("jb.lp"); 649 addArg("enabled:"+(arg?"true":"false")); 650 } 651 652 public void setunsplit_original_locals(boolean arg) { 653 addArg("-p"); 654 addArg("jb.lp"); 655 addArg("unsplit-original-locals:"+(arg?"true":"false")); 656 } 657 658 } 659 660 public Object createp_jb_ne() { 661 Object ret = new PhaseOptjb_ne(); 662 phaseopts.add(ret); 663 return ret; 664 } 665 public class PhaseOptjb_ne { 666 667 public void setenabled(boolean arg) { 668 addArg("-p"); 669 addArg("jb.ne"); 670 addArg("enabled:"+(arg?"true":"false")); 671 } 672 673 } 674 675 public Object createp_jb_uce() { 676 Object ret = new PhaseOptjb_uce(); 677 phaseopts.add(ret); 678 return ret; 679 } 680 public class PhaseOptjb_uce { 681 682 public void setenabled(boolean arg) { 683 addArg("-p"); 684 addArg("jb.uce"); 685 addArg("enabled:"+(arg?"true":"false")); 686 } 687 688 public void setremove_unreachable_traps(boolean arg) { 689 addArg("-p"); 690 addArg("jb.uce"); 691 addArg("remove-unreachable-traps:"+(arg?"true":"false")); 692 } 693 694 } 695 696 public Object createp_jb_tt() { 697 Object ret = new PhaseOptjb_tt(); 698 phaseopts.add(ret); 699 return ret; 700 } 701 public class PhaseOptjb_tt { 702 703 public void setenabled(boolean arg) { 704 addArg("-p"); 705 addArg("jb.tt"); 706 addArg("enabled:"+(arg?"true":"false")); 707 } 708 709 } 710 711 public Object createp_jj() { 712 Object ret = new PhaseOptjj(); 713 phaseopts.add(ret); 714 return ret; 715 } 716 public class PhaseOptjj { 717 718 public void setenabled(boolean arg) { 719 addArg("-p"); 720 addArg("jj"); 721 addArg("enabled:"+(arg?"true":"false")); 722 } 723 724 public void setuse_original_names(boolean arg) { 725 addArg("-p"); 726 addArg("jj"); 727 addArg("use-original-names:"+(arg?"true":"false")); 728 } 729 730 } 731 732 public Object createp_jj_ls() { 733 Object ret = new PhaseOptjj_ls(); 734 phaseopts.add(ret); 735 return ret; 736 } 737 public class PhaseOptjj_ls { 738 739 public void setenabled(boolean arg) { 740 addArg("-p"); 741 addArg("jj.ls"); 742 addArg("enabled:"+(arg?"true":"false")); 743 } 744 745 } 746 747 public Object createp_jj_a() { 748 Object ret = new PhaseOptjj_a(); 749 phaseopts.add(ret); 750 return ret; 751 } 752 public class PhaseOptjj_a { 753 754 public void setenabled(boolean arg) { 755 addArg("-p"); 756 addArg("jj.a"); 757 addArg("enabled:"+(arg?"true":"false")); 758 } 759 760 public void setonly_stack_locals(boolean arg) { 761 addArg("-p"); 762 addArg("jj.a"); 763 addArg("only-stack-locals:"+(arg?"true":"false")); 764 } 765 766 } 767 768 public Object createp_jj_ule() { 769 Object ret = new PhaseOptjj_ule(); 770 phaseopts.add(ret); 771 return ret; 772 } 773 public class PhaseOptjj_ule { 774 775 public void setenabled(boolean arg) { 776 addArg("-p"); 777 addArg("jj.ule"); 778 addArg("enabled:"+(arg?"true":"false")); 779 } 780 781 } 782 783 public Object createp_jj_tr() { 784 Object ret = new PhaseOptjj_tr(); 785 phaseopts.add(ret); 786 return ret; 787 } 788 public class PhaseOptjj_tr { 789 790 public void setenabled(boolean arg) { 791 addArg("-p"); 792 addArg("jj.tr"); 793 addArg("enabled:"+(arg?"true":"false")); 794 } 795 796 } 797 798 public Object createp_jj_ulp() { 799 Object ret = new PhaseOptjj_ulp(); 800 phaseopts.add(ret); 801 return ret; 802 } 803 public class PhaseOptjj_ulp { 804 805 public void setenabled(boolean arg) { 806 addArg("-p"); 807 addArg("jj.ulp"); 808 addArg("enabled:"+(arg?"true":"false")); 809 } 810 811 public void setunsplit_original_locals(boolean arg) { 812 addArg("-p"); 813 addArg("jj.ulp"); 814 addArg("unsplit-original-locals:"+(arg?"true":"false")); 815 } 816 817 } 818 819 public Object createp_jj_lns() { 820 Object ret = new PhaseOptjj_lns(); 821 phaseopts.add(ret); 822 return ret; 823 } 824 public class PhaseOptjj_lns { 825 826 public void setenabled(boolean arg) { 827 addArg("-p"); 828 addArg("jj.lns"); 829 addArg("enabled:"+(arg?"true":"false")); 830 } 831 832 public void setonly_stack_locals(boolean arg) { 833 addArg("-p"); 834 addArg("jj.lns"); 835 addArg("only-stack-locals:"+(arg?"true":"false")); 836 } 837 838 } 839 840 public Object createp_jj_cp() { 841 Object ret = new PhaseOptjj_cp(); 842 phaseopts.add(ret); 843 return ret; 844 } 845 public class PhaseOptjj_cp { 846 847 public void setenabled(boolean arg) { 848 addArg("-p"); 849 addArg("jj.cp"); 850 addArg("enabled:"+(arg?"true":"false")); 851 } 852 853 public void setonly_regular_locals(boolean arg) { 854 addArg("-p"); 855 addArg("jj.cp"); 856 addArg("only-regular-locals:"+(arg?"true":"false")); 857 } 858 859 public void setonly_stack_locals(boolean arg) { 860 addArg("-p"); 861 addArg("jj.cp"); 862 addArg("only-stack-locals:"+(arg?"true":"false")); 863 } 864 865 } 866 867 public Object createp_jj_dae() { 868 Object ret = new PhaseOptjj_dae(); 869 phaseopts.add(ret); 870 return ret; 871 } 872 public class PhaseOptjj_dae { 873 874 public void setenabled(boolean arg) { 875 addArg("-p"); 876 addArg("jj.dae"); 877 addArg("enabled:"+(arg?"true":"false")); 878 } 879 880 public void setonly_stack_locals(boolean arg) { 881 addArg("-p"); 882 addArg("jj.dae"); 883 addArg("only-stack-locals:"+(arg?"true":"false")); 884 } 885 886 } 887 888 public Object createp_jj_cp_ule() { 889 Object ret = new PhaseOptjj_cp_ule(); 890 phaseopts.add(ret); 891 return ret; 892 } 893 public class PhaseOptjj_cp_ule { 894 895 public void setenabled(boolean arg) { 896 addArg("-p"); 897 addArg("jj.cp-ule"); 898 addArg("enabled:"+(arg?"true":"false")); 899 } 900 901 } 902 903 public Object createp_jj_lp() { 904 Object ret = new PhaseOptjj_lp(); 905 phaseopts.add(ret); 906 return ret; 907 } 908 public class PhaseOptjj_lp { 909 910 public void setenabled(boolean arg) { 911 addArg("-p"); 912 addArg("jj.lp"); 913 addArg("enabled:"+(arg?"true":"false")); 914 } 915 916 public void setunsplit_original_locals(boolean arg) { 917 addArg("-p"); 918 addArg("jj.lp"); 919 addArg("unsplit-original-locals:"+(arg?"true":"false")); 920 } 921 922 } 923 924 public Object createp_jj_ne() { 925 Object ret = new PhaseOptjj_ne(); 926 phaseopts.add(ret); 927 return ret; 928 } 929 public class PhaseOptjj_ne { 930 931 public void setenabled(boolean arg) { 932 addArg("-p"); 933 addArg("jj.ne"); 934 addArg("enabled:"+(arg?"true":"false")); 935 } 936 937 } 938 939 public Object createp_jj_uce() { 940 Object ret = new PhaseOptjj_uce(); 941 phaseopts.add(ret); 942 return ret; 943 } 944 public class PhaseOptjj_uce { 945 946 public void setenabled(boolean arg) { 947 addArg("-p"); 948 addArg("jj.uce"); 949 addArg("enabled:"+(arg?"true":"false")); 950 } 951 952 } 953 954 public Object createp_cg() { 955 Object ret = new PhaseOptcg(); 956 phaseopts.add(ret); 957 return ret; 958 } 959 public class PhaseOptcg { 960 961 public void setenabled(boolean arg) { 962 addArg("-p"); 963 addArg("cg"); 964 addArg("enabled:"+(arg?"true":"false")); 965 } 966 967 public void setsafe_forname(boolean arg) { 968 addArg("-p"); 969 addArg("cg"); 970 addArg("safe-forname:"+(arg?"true":"false")); 971 } 972 973 public void setsafe_newinstance(boolean arg) { 974 addArg("-p"); 975 addArg("cg"); 976 addArg("safe-newinstance:"+(arg?"true":"false")); 977 } 978 979 public void setverbose(boolean arg) { 980 addArg("-p"); 981 addArg("cg"); 982 addArg("verbose:"+(arg?"true":"false")); 983 } 984 985 public void setall_reachable(boolean arg) { 986 addArg("-p"); 987 addArg("cg"); 988 addArg("all-reachable:"+(arg?"true":"false")); 989 } 990 991 public void setimplicit_entry(boolean arg) { 992 addArg("-p"); 993 addArg("cg"); 994 addArg("implicit-entry:"+(arg?"true":"false")); 995 } 996 997 public void settrim_clinit(boolean arg) { 998 addArg("-p"); 999 addArg("cg"); 1000 addArg("trim-clinit:"+(arg?"true":"false")); 1001 } 1002 1003 public void setjdkver(String arg) { 1004 addArg("-p"); 1005 addArg("cg"); 1006 addArg("jdkver:"+arg); 1007 } 1008 1009 } 1010 1011 public Object createp_cg_cha() { 1012 Object ret = new PhaseOptcg_cha(); 1013 phaseopts.add(ret); 1014 return ret; 1015 } 1016 public class PhaseOptcg_cha { 1017 1018 public void setenabled(boolean arg) { 1019 addArg("-p"); 1020 addArg("cg.cha"); 1021 addArg("enabled:"+(arg?"true":"false")); 1022 } 1023 1024 public void setverbose(boolean arg) { 1025 addArg("-p"); 1026 addArg("cg.cha"); 1027 addArg("verbose:"+(arg?"true":"false")); 1028 } 1029 1030 } 1031 1032 public Object createp_cg_spark() { 1033 Object ret = new PhaseOptcg_spark(); 1034 phaseopts.add(ret); 1035 return ret; 1036 } 1037 public class PhaseOptcg_spark { 1038 1039 public void setenabled(boolean arg) { 1040 addArg("-p"); 1041 addArg("cg.spark"); 1042 addArg("enabled:"+(arg?"true":"false")); 1043 } 1044 1045 public void setverbose(boolean arg) { 1046 addArg("-p"); 1047 addArg("cg.spark"); 1048 addArg("verbose:"+(arg?"true":"false")); 1049 } 1050 1051 public void setignore_types(boolean arg) { 1052 addArg("-p"); 1053 addArg("cg.spark"); 1054 addArg("ignore-types:"+(arg?"true":"false")); 1055 } 1056 1057 public void setforce_gc(boolean arg) { 1058 addArg("-p"); 1059 addArg("cg.spark"); 1060 addArg("force-gc:"+(arg?"true":"false")); 1061 } 1062 1063 public void setpre_jimplify(boolean arg) { 1064 addArg("-p"); 1065 addArg("cg.spark"); 1066 addArg("pre-jimplify:"+(arg?"true":"false")); 1067 } 1068 1069 public void setvta(boolean arg) { 1070 addArg("-p"); 1071 addArg("cg.spark"); 1072 addArg("vta:"+(arg?"true":"false")); 1073 } 1074 1075 public void setrta(boolean arg) { 1076 addArg("-p"); 1077 addArg("cg.spark"); 1078 addArg("rta:"+(arg?"true":"false")); 1079 } 1080 1081 public void setfield_based(boolean arg) { 1082 addArg("-p"); 1083 addArg("cg.spark"); 1084 addArg("field-based:"+(arg?"true":"false")); 1085 } 1086 1087 public void settypes_for_sites(boolean arg) { 1088 addArg("-p"); 1089 addArg("cg.spark"); 1090 addArg("types-for-sites:"+(arg?"true":"false")); 1091 } 1092 1093 public void setmerge_stringbuffer(boolean arg) { 1094 addArg("-p"); 1095 addArg("cg.spark"); 1096 addArg("merge-stringbuffer:"+(arg?"true":"false")); 1097 } 1098 1099 public void setstring_constants(boolean arg) { 1100 addArg("-p"); 1101 addArg("cg.spark"); 1102 addArg("string-constants:"+(arg?"true":"false")); 1103 } 1104 1105 public void setsimulate_natives(boolean arg) { 1106 addArg("-p"); 1107 addArg("cg.spark"); 1108 addArg("simulate-natives:"+(arg?"true":"false")); 1109 } 1110 1111 public void setsimple_edges_bidirectional(boolean arg) { 1112 addArg("-p"); 1113 addArg("cg.spark"); 1114 addArg("simple-edges-bidirectional:"+(arg?"true":"false")); 1115 } 1116 1117 public void seton_fly_cg(boolean arg) { 1118 addArg("-p"); 1119 addArg("cg.spark"); 1120 addArg("on-fly-cg:"+(arg?"true":"false")); 1121 } 1122 1123 public void setsimplify_offline(boolean arg) { 1124 addArg("-p"); 1125 addArg("cg.spark"); 1126 addArg("simplify-offline:"+(arg?"true":"false")); 1127 } 1128 1129 public void setsimplify_sccs(boolean arg) { 1130 addArg("-p"); 1131 addArg("cg.spark"); 1132 addArg("simplify-sccs:"+(arg?"true":"false")); 1133 } 1134 1135 public void setignore_types_for_sccs(boolean arg) { 1136 addArg("-p"); 1137 addArg("cg.spark"); 1138 addArg("ignore-types-for-sccs:"+(arg?"true":"false")); 1139 } 1140 1141 public void setdump_html(boolean arg) { 1142 addArg("-p"); 1143 addArg("cg.spark"); 1144 addArg("dump-html:"+(arg?"true":"false")); 1145 } 1146 1147 public void setdump_pag(boolean arg) { 1148 addArg("-p"); 1149 addArg("cg.spark"); 1150 addArg("dump-pag:"+(arg?"true":"false")); 1151 } 1152 1153 public void setdump_solution(boolean arg) { 1154 addArg("-p"); 1155 addArg("cg.spark"); 1156 addArg("dump-solution:"+(arg?"true":"false")); 1157 } 1158 1159 public void settopo_sort(boolean arg) { 1160 addArg("-p"); 1161 addArg("cg.spark"); 1162 addArg("topo-sort:"+(arg?"true":"false")); 1163 } 1164 1165 public void setdump_types(boolean arg) { 1166 addArg("-p"); 1167 addArg("cg.spark"); 1168 addArg("dump-types:"+(arg?"true":"false")); 1169 } 1170 1171 public void setclass_method_var(boolean arg) { 1172 addArg("-p"); 1173 addArg("cg.spark"); 1174 addArg("class-method-var:"+(arg?"true":"false")); 1175 } 1176 1177 public void setdump_answer(boolean arg) { 1178 addArg("-p"); 1179 addArg("cg.spark"); 1180 addArg("dump-answer:"+(arg?"true":"false")); 1181 } 1182 1183 public void setadd_tags(boolean arg) { 1184 addArg("-p"); 1185 addArg("cg.spark"); 1186 addArg("add-tags:"+(arg?"true":"false")); 1187 } 1188 1189 public void setset_mass(boolean arg) { 1190 addArg("-p"); 1191 addArg("cg.spark"); 1192 addArg("set-mass:"+(arg?"true":"false")); 1193 } 1194 1195 public void setpropagator(String arg) { 1196 addArg("-p"); 1197 addArg("cg.spark"); 1198 addArg("propagator:"+arg); 1199 } 1200 1201 public void setset_impl(String arg) { 1202 addArg("-p"); 1203 addArg("cg.spark"); 1204 addArg("set-impl:"+arg); 1205 } 1206 1207 public void setdouble_set_old(String arg) { 1208 addArg("-p"); 1209 addArg("cg.spark"); 1210 addArg("double-set-old:"+arg); 1211 } 1212 1213 public void setdouble_set_new(String arg) { 1214 addArg("-p"); 1215 addArg("cg.spark"); 1216 addArg("double-set-new:"+arg); 1217 } 1218 1219 } 1220 1221 public Object createp_cg_paddle() { 1222 Object ret = new PhaseOptcg_paddle(); 1223 phaseopts.add(ret); 1224 return ret; 1225 } 1226 public class PhaseOptcg_paddle { 1227 1228 public void setenabled(boolean arg) { 1229 addArg("-p"); 1230 addArg("cg.paddle"); 1231 addArg("enabled:"+(arg?"true":"false")); 1232 } 1233 1234 public void setverbose(boolean arg) { 1235 addArg("-p"); 1236 addArg("cg.paddle"); 1237 addArg("verbose:"+(arg?"true":"false")); 1238 } 1239 1240 public void setbdd(boolean arg) { 1241 addArg("-p"); 1242 addArg("cg.paddle"); 1243 addArg("bdd:"+(arg?"true":"false")); 1244 } 1245 1246 public void setdynamic_order(boolean arg) { 1247 addArg("-p"); 1248 addArg("cg.paddle"); 1249 addArg("dynamic-order:"+(arg?"true":"false")); 1250 } 1251 1252 public void setprofile(boolean arg) { 1253 addArg("-p"); 1254 addArg("cg.paddle"); 1255 addArg("profile:"+(arg?"true":"false")); 1256 } 1257 1258 public void setignore_types(boolean arg) { 1259 addArg("-p"); 1260 addArg("cg.paddle"); 1261 addArg("ignore-types:"+(arg?"true":"false")); 1262 } 1263 1264 public void setpre_jimplify(boolean arg) { 1265 addArg("-p"); 1266 addArg("cg.paddle"); 1267 addArg("pre-jimplify:"+(arg?"true":"false")); 1268 } 1269 1270 public void setcontext_heap(boolean arg) { 1271 addArg("-p"); 1272 addArg("cg.paddle"); 1273 addArg("context-heap:"+(arg?"true":"false")); 1274 } 1275 1276 public void setrta(boolean arg) { 1277 addArg("-p"); 1278 addArg("cg.paddle"); 1279 addArg("rta:"+(arg?"true":"false")); 1280 } 1281 1282 public void setfield_based(boolean arg) { 1283 addArg("-p"); 1284 addArg("cg.paddle"); 1285 addArg("field-based:"+(arg?"true":"false")); 1286 } 1287 1288 public void settypes_for_sites(boolean arg) { 1289 addArg("-p"); 1290 addArg("cg.paddle"); 1291 addArg("types-for-sites:"+(arg?"true":"false")); 1292 } 1293 1294 public void setmerge_stringbuffer(boolean arg) { 1295 addArg("-p"); 1296 addArg("cg.paddle"); 1297 addArg("merge-stringbuffer:"+(arg?"true":"false")); 1298 } 1299 1300 public void setstring_constants(boolean arg) { 1301 addArg("-p"); 1302 addArg("cg.paddle"); 1303 addArg("string-constants:"+(arg?"true":"false")); 1304 } 1305 1306 public void setsimulate_natives(boolean arg) { 1307 addArg("-p"); 1308 addArg("cg.paddle"); 1309 addArg("simulate-natives:"+(arg?"true":"false")); 1310 } 1311 1312 public void setglobal_nodes_in_natives(boolean arg) { 1313 addArg("-p"); 1314 addArg("cg.paddle"); 1315 addArg("global-nodes-in-natives:"+(arg?"true":"false")); 1316 } 1317 1318 public void setsimple_edges_bidirectional(boolean arg) { 1319 addArg("-p"); 1320 addArg("cg.paddle"); 1321 addArg("simple-edges-bidirectional:"+(arg?"true":"false")); 1322 } 1323 1324 public void setthis_edges(boolean arg) { 1325 addArg("-p"); 1326 addArg("cg.paddle"); 1327 addArg("this-edges:"+(arg?"true":"false")); 1328 } 1329 1330 public void setprecise_newinstance(boolean arg) { 1331 addArg("-p"); 1332 addArg("cg.paddle"); 1333 addArg("precise-newinstance:"+(arg?"true":"false")); 1334 } 1335 1336 public void setcontext_counts(boolean arg) { 1337 addArg("-p"); 1338 addArg("cg.paddle"); 1339 addArg("context-counts:"+(arg?"true":"false")); 1340 } 1341 1342 public void settotal_context_counts(boolean arg) { 1343 addArg("-p"); 1344 addArg("cg.paddle"); 1345 addArg("total-context-counts:"+(arg?"true":"false")); 1346 } 1347 1348 public void setmethod_context_counts(boolean arg) { 1349 addArg("-p"); 1350 addArg("cg.paddle"); 1351 addArg("method-context-counts:"+(arg?"true":"false")); 1352 } 1353 1354 public void setset_mass(boolean arg) { 1355 addArg("-p"); 1356 addArg("cg.paddle"); 1357 addArg("set-mass:"+(arg?"true":"false")); 1358 } 1359 1360 public void setnumber_nodes(boolean arg) { 1361 addArg("-p"); 1362 addArg("cg.paddle"); 1363 addArg("number-nodes:"+(arg?"true":"false")); 1364 } 1365 1366 public void setconf(String arg) { 1367 addArg("-p"); 1368 addArg("cg.paddle"); 1369 addArg("conf:"+arg); 1370 } 1371 1372 public void setorder(String arg) { 1373 addArg("-p"); 1374 addArg("cg.paddle"); 1375 addArg("order:"+arg); 1376 } 1377 1378 public void setq(String arg) { 1379 addArg("-p"); 1380 addArg("cg.paddle"); 1381 addArg("q:"+arg); 1382 } 1383 1384 public void setbackend(String arg) { 1385 addArg("-p"); 1386 addArg("cg.paddle"); 1387 addArg("backend:"+arg); 1388 } 1389 1390 public void setcontext(String arg) { 1391 addArg("-p"); 1392 addArg("cg.paddle"); 1393 addArg("context:"+arg); 1394 } 1395 1396 public void setk(String arg) { 1397 addArg("-p"); 1398 addArg("cg.paddle"); 1399 addArg("k:"+arg); 1400 } 1401 1402 public void setpropagator(String arg) { 1403 addArg("-p"); 1404 addArg("cg.paddle"); 1405 addArg("propagator:"+arg); 1406 } 1407 1408 public void setset_impl(String arg) { 1409 addArg("-p"); 1410 addArg("cg.paddle"); 1411 addArg("set-impl:"+arg); 1412 } 1413 1414 public void setdouble_set_old(String arg) { 1415 addArg("-p"); 1416 addArg("cg.paddle"); 1417 addArg("double-set-old:"+arg); 1418 } 1419 1420 public void setdouble_set_new(String arg) { 1421 addArg("-p"); 1422 addArg("cg.paddle"); 1423 addArg("double-set-new:"+arg); 1424 } 1425 1426 } 1427 1428 public Object createp_wstp() { 1429 Object ret = new PhaseOptwstp(); 1430 phaseopts.add(ret); 1431 return ret; 1432 } 1433 public class PhaseOptwstp { 1434 1435 public void setenabled(boolean arg) { 1436 addArg("-p"); 1437 addArg("wstp"); 1438 addArg("enabled:"+(arg?"true":"false")); 1439 } 1440 1441 } 1442 1443 public Object createp_wsop() { 1444 Object ret = new PhaseOptwsop(); 1445 phaseopts.add(ret); 1446 return ret; 1447 } 1448 public class PhaseOptwsop { 1449 1450 public void setenabled(boolean arg) { 1451 addArg("-p"); 1452 addArg("wsop"); 1453 addArg("enabled:"+(arg?"true":"false")); 1454 } 1455 1456 } 1457 1458 public Object createp_wjtp() { 1459 Object ret = new PhaseOptwjtp(); 1460 phaseopts.add(ret); 1461 return ret; 1462 } 1463 public class PhaseOptwjtp { 1464 1465 public void setenabled(boolean arg) { 1466 addArg("-p"); 1467 addArg("wjtp"); 1468 addArg("enabled:"+(arg?"true":"false")); 1469 } 1470 1471 } 1472 1473 public Object createp_wjop() { 1474 Object ret = new PhaseOptwjop(); 1475 phaseopts.add(ret); 1476 return ret; 1477 } 1478 public class PhaseOptwjop { 1479 1480 public void setenabled(boolean arg) { 1481 addArg("-p"); 1482 addArg("wjop"); 1483 addArg("enabled:"+(arg?"true":"false")); 1484 } 1485 1486 } 1487 1488 public Object createp_wjop_smb() { 1489 Object ret = new PhaseOptwjop_smb(); 1490 phaseopts.add(ret); 1491 return ret; 1492 } 1493 public class PhaseOptwjop_smb { 1494 1495 public void setenabled(boolean arg) { 1496 addArg("-p"); 1497 addArg("wjop.smb"); 1498 addArg("enabled:"+(arg?"true":"false")); 1499 } 1500 1501 public void setinsert_null_checks(boolean arg) { 1502 addArg("-p"); 1503 addArg("wjop.smb"); 1504 addArg("insert-null-checks:"+(arg?"true":"false")); 1505 } 1506 1507 public void setinsert_redundant_casts(boolean arg) { 1508 addArg("-p"); 1509 addArg("wjop.smb"); 1510 addArg("insert-redundant-casts:"+(arg?"true":"false")); 1511 } 1512 1513 public void setallowed_modifier_changes(String arg) { 1514 addArg("-p"); 1515 addArg("wjop.smb"); 1516 addArg("allowed-modifier-changes:"+arg); 1517 } 1518 1519 } 1520 1521 public Object createp_wjop_si() { 1522 Object ret = new PhaseOptwjop_si(); 1523 phaseopts.add(ret); 1524 return ret; 1525 } 1526 public class PhaseOptwjop_si { 1527 1528 public void setenabled(boolean arg) { 1529 addArg("-p"); 1530 addArg("wjop.si"); 1531 addArg("enabled:"+(arg?"true":"false")); 1532 } 1533 1534 public void setrerun_jb(boolean arg) { 1535 addArg("-p"); 1536 addArg("wjop.si"); 1537 addArg("rerun-jb:"+(arg?"true":"false")); 1538 } 1539 1540 public void setinsert_null_checks(boolean arg) { 1541 addArg("-p"); 1542 addArg("wjop.si"); 1543 addArg("insert-null-checks:"+(arg?"true":"false")); 1544 } 1545 1546 public void setinsert_redundant_casts(boolean arg) { 1547 addArg("-p"); 1548 addArg("wjop.si"); 1549 addArg("insert-redundant-casts:"+(arg?"true":"false")); 1550 } 1551 1552 public void setallowed_modifier_changes(String arg) { 1553 addArg("-p"); 1554 addArg("wjop.si"); 1555 addArg("allowed-modifier-changes:"+arg); 1556 } 1557 1558 public void setexpansion_factor(String arg) { 1559 addArg("-p"); 1560 addArg("wjop.si"); 1561 addArg("expansion-factor:"+arg); 1562 } 1563 1564 public void setmax_container_size(String arg) { 1565 addArg("-p"); 1566 addArg("wjop.si"); 1567 addArg("max-container-size:"+arg); 1568 } 1569 1570 public void setmax_inlinee_size(String arg) { 1571 addArg("-p"); 1572 addArg("wjop.si"); 1573 addArg("max-inlinee-size:"+arg); 1574 } 1575 1576 } 1577 1578 public Object createp_wjap() { 1579 Object ret = new PhaseOptwjap(); 1580 phaseopts.add(ret); 1581 return ret; 1582 } 1583 public class PhaseOptwjap { 1584 1585 public void setenabled(boolean arg) { 1586 addArg("-p"); 1587 addArg("wjap"); 1588 addArg("enabled:"+(arg?"true":"false")); 1589 } 1590 1591 } 1592 1593 public Object createp_wjap_ra() { 1594 Object ret = new PhaseOptwjap_ra(); 1595 phaseopts.add(ret); 1596 return ret; 1597 } 1598 public class PhaseOptwjap_ra { 1599 1600 public void setenabled(boolean arg) { 1601 addArg("-p"); 1602 addArg("wjap.ra"); 1603 addArg("enabled:"+(arg?"true":"false")); 1604 } 1605 1606 } 1607 1608 public Object createp_wjap_umt() { 1609 Object ret = new PhaseOptwjap_umt(); 1610 phaseopts.add(ret); 1611 return ret; 1612 } 1613 public class PhaseOptwjap_umt { 1614 1615 public void setenabled(boolean arg) { 1616 addArg("-p"); 1617 addArg("wjap.umt"); 1618 addArg("enabled:"+(arg?"true":"false")); 1619 } 1620 1621 } 1622 1623 public Object createp_wjap_uft() { 1624 Object ret = new PhaseOptwjap_uft(); 1625 phaseopts.add(ret); 1626 return ret; 1627 } 1628 public class PhaseOptwjap_uft { 1629 1630 public void setenabled(boolean arg) { 1631 addArg("-p"); 1632 addArg("wjap.uft"); 1633 addArg("enabled:"+(arg?"true":"false")); 1634 } 1635 1636 } 1637 1638 public Object createp_wjap_tqt() { 1639 Object ret = new PhaseOptwjap_tqt(); 1640 phaseopts.add(ret); 1641 return ret; 1642 } 1643 public class PhaseOptwjap_tqt { 1644 1645 public void setenabled(boolean arg) { 1646 addArg("-p"); 1647 addArg("wjap.tqt"); 1648 addArg("enabled:"+(arg?"true":"false")); 1649 } 1650 1651 } 1652 1653 public Object createp_wjap_cgg() { 1654 Object ret = new PhaseOptwjap_cgg(); 1655 phaseopts.add(ret); 1656 return ret; 1657 } 1658 public class PhaseOptwjap_cgg { 1659 1660 public void setenabled(boolean arg) { 1661 addArg("-p"); 1662 addArg("wjap.cgg"); 1663 addArg("enabled:"+(arg?"true":"false")); 1664 } 1665 1666 public void setshow_lib_meths(boolean arg) { 1667 addArg("-p"); 1668 addArg("wjap.cgg"); 1669 addArg("show-lib-meths:"+(arg?"true":"false")); 1670 } 1671 1672 } 1673 1674 public Object createp_wjap_purity() { 1675 Object ret = new PhaseOptwjap_purity(); 1676 phaseopts.add(ret); 1677 return ret; 1678 } 1679 public class PhaseOptwjap_purity { 1680 1681 public void setenabled(boolean arg) { 1682 addArg("-p"); 1683 addArg("wjap.purity"); 1684 addArg("enabled:"+(arg?"true":"false")); 1685 } 1686 1687 public void setdump_summaries(boolean arg) { 1688 addArg("-p"); 1689 addArg("wjap.purity"); 1690 addArg("dump-summaries:"+(arg?"true":"false")); 1691 } 1692 1693 public void setdump_cg(boolean arg) { 1694 addArg("-p"); 1695 addArg("wjap.purity"); 1696 addArg("dump-cg:"+(arg?"true":"false")); 1697 } 1698 1699 public void setdump_intra(boolean arg) { 1700 addArg("-p"); 1701 addArg("wjap.purity"); 1702 addArg("dump-intra:"+(arg?"true":"false")); 1703 } 1704 1705 public void setprint(boolean arg) { 1706 addArg("-p"); 1707 addArg("wjap.purity"); 1708 addArg("print:"+(arg?"true":"false")); 1709 } 1710 1711 public void setverbose(boolean arg) { 1712 addArg("-p"); 1713 addArg("wjap.purity"); 1714 addArg("verbose:"+(arg?"true":"false")); 1715 } 1716 1717 } 1718 1719 public Object createp_shimple() { 1720 Object ret = new PhaseOptshimple(); 1721 phaseopts.add(ret); 1722 return ret; 1723 } 1724 public class PhaseOptshimple { 1725 1726 public void setenabled(boolean arg) { 1727 addArg("-p"); 1728 addArg("shimple"); 1729 addArg("enabled:"+(arg?"true":"false")); 1730 } 1731 1732 public void setnode_elim_opt(boolean arg) { 1733 addArg("-p"); 1734 addArg("shimple"); 1735 addArg("node-elim-opt:"+(arg?"true":"false")); 1736 } 1737 1738 public void setstandard_local_names(boolean arg) { 1739 addArg("-p"); 1740 addArg("shimple"); 1741 addArg("standard-local-names:"+(arg?"true":"false")); 1742 } 1743 1744 public void setextended(boolean arg) { 1745 addArg("-p"); 1746 addArg("shimple"); 1747 addArg("extended:"+(arg?"true":"false")); 1748 } 1749 1750 public void setdebug(boolean arg) { 1751 addArg("-p"); 1752 addArg("shimple"); 1753 addArg("debug:"+(arg?"true":"false")); 1754 } 1755 1756 } 1757 1758 public Object createp_stp() { 1759 Object ret = new PhaseOptstp(); 1760 phaseopts.add(ret); 1761 return ret; 1762 } 1763 public class PhaseOptstp { 1764 1765 public void setenabled(boolean arg) { 1766 addArg("-p"); 1767 addArg("stp"); 1768 addArg("enabled:"+(arg?"true":"false")); 1769 } 1770 1771 } 1772 1773 public Object createp_sop() { 1774 Object ret = new PhaseOptsop(); 1775 phaseopts.add(ret); 1776 return ret; 1777 } 1778 public class PhaseOptsop { 1779 1780 public void setenabled(boolean arg) { 1781 addArg("-p"); 1782 addArg("sop"); 1783 addArg("enabled:"+(arg?"true":"false")); 1784 } 1785 1786 } 1787 1788 public Object createp_sop_cpf() { 1789 Object ret = new PhaseOptsop_cpf(); 1790 phaseopts.add(ret); 1791 return ret; 1792 } 1793 public class PhaseOptsop_cpf { 1794 1795 public void setenabled(boolean arg) { 1796 addArg("-p"); 1797 addArg("sop.cpf"); 1798 addArg("enabled:"+(arg?"true":"false")); 1799 } 1800 1801 public void setprune_cfg(boolean arg) { 1802 addArg("-p"); 1803 addArg("sop.cpf"); 1804 addArg("prune-cfg:"+(arg?"true":"false")); 1805 } 1806 1807 } 1808 1809 public Object createp_jtp() { 1810 Object ret = new PhaseOptjtp(); 1811 phaseopts.add(ret); 1812 return ret; 1813 } 1814 public class PhaseOptjtp { 1815 1816 public void setenabled(boolean arg) { 1817 addArg("-p"); 1818 addArg("jtp"); 1819 addArg("enabled:"+(arg?"true":"false")); 1820 } 1821 1822 } 1823 1824 public Object createp_jop() { 1825 Object ret = new PhaseOptjop(); 1826 phaseopts.add(ret); 1827 return ret; 1828 } 1829 public class PhaseOptjop { 1830 1831 public void setenabled(boolean arg) { 1832 addArg("-p"); 1833 addArg("jop"); 1834 addArg("enabled:"+(arg?"true":"false")); 1835 } 1836 1837 } 1838 1839 public Object createp_jop_cse() { 1840 Object ret = new PhaseOptjop_cse(); 1841 phaseopts.add(ret); 1842 return ret; 1843 } 1844 public class PhaseOptjop_cse { 1845 1846 public void setenabled(boolean arg) { 1847 addArg("-p"); 1848 addArg("jop.cse"); 1849 addArg("enabled:"+(arg?"true":"false")); 1850 } 1851 1852 public void setnaive_side_effect(boolean arg) { 1853 addArg("-p"); 1854 addArg("jop.cse"); 1855 addArg("naive-side-effect:"+(arg?"true":"false")); 1856 } 1857 1858 } 1859 1860 public Object createp_jop_bcm() { 1861 Object ret = new PhaseOptjop_bcm(); 1862 phaseopts.add(ret); 1863 return ret; 1864 } 1865 public class PhaseOptjop_bcm { 1866 1867 public void setenabled(boolean arg) { 1868 addArg("-p"); 1869 addArg("jop.bcm"); 1870 addArg("enabled:"+(arg?"true":"false")); 1871 } 1872 1873 public void setnaive_side_effect(boolean arg) { 1874 addArg("-p"); 1875 addArg("jop.bcm"); 1876 addArg("naive-side-effect:"+(arg?"true":"false")); 1877 } 1878 1879 } 1880 1881 public Object createp_jop_lcm() { 1882 Object ret = new PhaseOptjop_lcm(); 1883 phaseopts.add(ret); 1884 return ret; 1885 } 1886 public class PhaseOptjop_lcm { 1887 1888 public void setenabled(boolean arg) { 1889 addArg("-p"); 1890 addArg("jop.lcm"); 1891 addArg("enabled:"+(arg?"true":"false")); 1892 } 1893 1894 public void setunroll(boolean arg) { 1895 addArg("-p"); 1896 addArg("jop.lcm"); 1897 addArg("unroll:"+(arg?"true":"false")); 1898 } 1899 1900 public void setnaive_side_effect(boolean arg) { 1901 addArg("-p"); 1902 addArg("jop.lcm"); 1903 addArg("naive-side-effect:"+(arg?"true":"false")); 1904 } 1905 1906 public void setsafety(String arg) { 1907 addArg("-p"); 1908 addArg("jop.lcm"); 1909 addArg("safety:"+arg); 1910 } 1911 1912 } 1913 1914 public Object createp_jop_cp() { 1915 Object ret = new PhaseOptjop_cp(); 1916 phaseopts.add(ret); 1917 return ret; 1918 } 1919 public class PhaseOptjop_cp { 1920 1921 public void setenabled(boolean arg) { 1922 addArg("-p"); 1923 addArg("jop.cp"); 1924 addArg("enabled:"+(arg?"true":"false")); 1925 } 1926 1927 public void setonly_regular_locals(boolean arg) { 1928 addArg("-p"); 1929 addArg("jop.cp"); 1930 addArg("only-regular-locals:"+(arg?"true":"false")); 1931 } 1932 1933 public void setonly_stack_locals(boolean arg) { 1934 addArg("-p"); 1935 addArg("jop.cp"); 1936 addArg("only-stack-locals:"+(arg?"true":"false")); 1937 } 1938 1939 } 1940 1941 public Object createp_jop_cpf() { 1942 Object ret = new PhaseOptjop_cpf(); 1943 phaseopts.add(ret); 1944 return ret; 1945 } 1946 public class PhaseOptjop_cpf { 1947 1948 public void setenabled(boolean arg) { 1949 addArg("-p"); 1950 addArg("jop.cpf"); 1951 addArg("enabled:"+(arg?"true":"false")); 1952 } 1953 1954 } 1955 1956 public Object createp_jop_cbf() { 1957 Object ret = new PhaseOptjop_cbf(); 1958 phaseopts.add(ret); 1959 return ret; 1960 } 1961 public class PhaseOptjop_cbf { 1962 1963 public void setenabled(boolean arg) { 1964 addArg("-p"); 1965 addArg("jop.cbf"); 1966 addArg("enabled:"+(arg?"true":"false")); 1967 } 1968 1969 } 1970 1971 public Object createp_jop_dae() { 1972 Object ret = new PhaseOptjop_dae(); 1973 phaseopts.add(ret); 1974 return ret; 1975 } 1976 public class PhaseOptjop_dae { 1977 1978 public void setenabled(boolean arg) { 1979 addArg("-p"); 1980 addArg("jop.dae"); 1981 addArg("enabled:"+(arg?"true":"false")); 1982 } 1983 1984 public void setonly_tag(boolean arg) { 1985 addArg("-p"); 1986 addArg("jop.dae"); 1987 addArg("only-tag:"+(arg?"true":"false")); 1988 } 1989 1990 public void setonly_stack_locals(boolean arg) { 1991 addArg("-p"); 1992 addArg("jop.dae"); 1993 addArg("only-stack-locals:"+(arg?"true":"false")); 1994 } 1995 1996 } 1997 1998 public Object createp_jop_uce1() { 1999 Object ret = new PhaseOptjop_uce1(); 2000 phaseopts.add(ret); 2001 return ret; 2002 } 2003 public class PhaseOptjop_uce1 { 2004 2005 public void setenabled(boolean arg) { 2006 addArg("-p"); 2007 addArg("jop.uce1"); 2008 addArg("enabled:"+(arg?"true":"false")); 2009 } 2010 2011 public void setremove_unreachable_traps(boolean arg) { 2012 addArg("-p"); 2013 addArg("jop.uce1"); 2014 addArg("remove-unreachable-traps:"+(arg?"true":"false")); 2015 } 2016 2017 } 2018 2019 public Object createp_jop_ubf1() { 2020 Object ret = new PhaseOptjop_ubf1(); 2021 phaseopts.add(ret); 2022 return ret; 2023 } 2024 public class PhaseOptjop_ubf1 { 2025 2026 public void setenabled(boolean arg) { 2027 addArg("-p"); 2028 addArg("jop.ubf1"); 2029 addArg("enabled:"+(arg?"true":"false")); 2030 } 2031 2032 } 2033 2034 public Object createp_jop_uce2() { 2035 Object ret = new PhaseOptjop_uce2(); 2036 phaseopts.add(ret); 2037 return ret; 2038 } 2039 public class PhaseOptjop_uce2 { 2040 2041 public void setenabled(boolean arg) { 2042 addArg("-p"); 2043 addArg("jop.uce2"); 2044 addArg("enabled:"+(arg?"true":"false")); 2045 } 2046 2047 public void setremove_unreachable_traps(boolean arg) { 2048 addArg("-p"); 2049 addArg("jop.uce2"); 2050 addArg("remove-unreachable-traps:"+(arg?"true":"false")); 2051 } 2052 2053 } 2054 2055 public Object createp_jop_ubf2() { 2056 Object ret = new PhaseOptjop_ubf2(); 2057 phaseopts.add(ret); 2058 return ret; 2059 } 2060 public class PhaseOptjop_ubf2 { 2061 2062 public void setenabled(boolean arg) { 2063 addArg("-p"); 2064 addArg("jop.ubf2"); 2065 addArg("enabled:"+(arg?"true":"false")); 2066 } 2067 2068 } 2069 2070 public Object createp_jop_ule() { 2071 Object ret = new PhaseOptjop_ule(); 2072 phaseopts.add(ret); 2073 return ret; 2074 } 2075 public class PhaseOptjop_ule { 2076 2077 public void setenabled(boolean arg) { 2078 addArg("-p"); 2079 addArg("jop.ule"); 2080 addArg("enabled:"+(arg?"true":"false")); 2081 } 2082 2083 } 2084 2085 public Object createp_jap() { 2086 Object ret = new PhaseOptjap(); 2087 phaseopts.add(ret); 2088 return ret; 2089 } 2090 public class PhaseOptjap { 2091 2092 public void setenabled(boolean arg) { 2093 addArg("-p"); 2094 addArg("jap"); 2095 addArg("enabled:"+(arg?"true":"false")); 2096 } 2097 2098 } 2099 2100 public Object createp_jap_npc() { 2101 Object ret = new PhaseOptjap_npc(); 2102 phaseopts.add(ret); 2103 return ret; 2104 } 2105 public class PhaseOptjap_npc { 2106 2107 public void setenabled(boolean arg) { 2108 addArg("-p"); 2109 addArg("jap.npc"); 2110 addArg("enabled:"+(arg?"true":"false")); 2111 } 2112 2113 public void setonly_array_ref(boolean arg) { 2114 addArg("-p"); 2115 addArg("jap.npc"); 2116 addArg("only-array-ref:"+(arg?"true":"false")); 2117 } 2118 2119 public void setprofiling(boolean arg) { 2120 addArg("-p"); 2121 addArg("jap.npc"); 2122 addArg("profiling:"+(arg?"true":"false")); 2123 } 2124 2125 } 2126 2127 public Object createp_jap_npcolorer() { 2128 Object ret = new PhaseOptjap_npcolorer(); 2129 phaseopts.add(ret); 2130 return ret; 2131 } 2132 public class PhaseOptjap_npcolorer { 2133 2134 public void setenabled(boolean arg) { 2135 addArg("-p"); 2136 addArg("jap.npcolorer"); 2137 addArg("enabled:"+(arg?"true":"false")); 2138 } 2139 2140 } 2141 2142 public Object createp_jap_abc() { 2143 Object ret = new PhaseOptjap_abc(); 2144 phaseopts.add(ret); 2145 return ret; 2146 } 2147 public class PhaseOptjap_abc { 2148 2149 public void setenabled(boolean arg) { 2150 addArg("-p"); 2151 addArg("jap.abc"); 2152 addArg("enabled:"+(arg?"true":"false")); 2153 } 2154 2155 public void setwith_all(boolean arg) { 2156 addArg("-p"); 2157 addArg("jap.abc"); 2158 addArg("with-all:"+(arg?"true":"false")); 2159 } 2160 2161 public void setwith_cse(boolean arg) { 2162 addArg("-p"); 2163 addArg("jap.abc"); 2164 addArg("with-cse:"+(arg?"true":"false")); 2165 } 2166 2167 public void setwith_arrayref(boolean arg) { 2168 addArg("-p"); 2169 addArg("jap.abc"); 2170 addArg("with-arrayref:"+(arg?"true":"false")); 2171 } 2172 2173 public void setwith_fieldref(boolean arg) { 2174 addArg("-p"); 2175 addArg("jap.abc"); 2176 addArg("with-fieldref:"+(arg?"true":"false")); 2177 } 2178 2179 public void setwith_classfield(boolean arg) { 2180 addArg("-p"); 2181 addArg("jap.abc"); 2182 addArg("with-classfield:"+(arg?"true":"false")); 2183 } 2184 2185 public void setwith_rectarray(boolean arg) { 2186 addArg("-p"); 2187 addArg("jap.abc"); 2188 addArg("with-rectarray:"+(arg?"true":"false")); 2189 } 2190 2191 public void setprofiling(boolean arg) { 2192 addArg("-p"); 2193 addArg("jap.abc"); 2194 addArg("profiling:"+(arg?"true":"false")); 2195 } 2196 2197 public void setadd_color_tags(boolean arg) { 2198 addArg("-p"); 2199 addArg("jap.abc"); 2200 addArg("add-color-tags:"+(arg?"true":"false")); 2201 } 2202 2203 } 2204 2205 public Object createp_jap_profiling() { 2206 Object ret = new PhaseOptjap_profiling(); 2207 phaseopts.add(ret); 2208 return ret; 2209 } 2210 public class PhaseOptjap_profiling { 2211 2212 public void setenabled(boolean arg) { 2213 addArg("-p"); 2214 addArg("jap.profiling"); 2215 addArg("enabled:"+(arg?"true":"false")); 2216 } 2217 2218 public void setnotmainentry(boolean arg) { 2219 addArg("-p"); 2220 addArg("jap.profiling"); 2221 addArg("notmainentry:"+(arg?"true":"false")); 2222 } 2223 2224 } 2225 2226 public Object createp_jap_sea() { 2227 Object ret = new PhaseOptjap_sea(); 2228 phaseopts.add(ret); 2229 return ret; 2230 } 2231 public class PhaseOptjap_sea { 2232 2233 public void setenabled(boolean arg) { 2234 addArg("-p"); 2235 addArg("jap.sea"); 2236 addArg("enabled:"+(arg?"true":"false")); 2237 } 2238 2239 public void setnaive(boolean arg) { 2240 addArg("-p"); 2241 addArg("jap.sea"); 2242 addArg("naive:"+(arg?"true":"false")); 2243 } 2244 2245 } 2246 2247 public Object createp_jap_fieldrw() { 2248 Object ret = new PhaseOptjap_fieldrw(); 2249 phaseopts.add(ret); 2250 return ret; 2251 } 2252 public class PhaseOptjap_fieldrw { 2253 2254 public void setenabled(boolean arg) { 2255 addArg("-p"); 2256 addArg("jap.fieldrw"); 2257 addArg("enabled:"+(arg?"true":"false")); 2258 } 2259 2260 public void setthreshold(String arg) { 2261 addArg("-p"); 2262 addArg("jap.fieldrw"); 2263 addArg("threshold:"+arg); 2264 } 2265 2266 } 2267 2268 public Object createp_jap_cgtagger() { 2269 Object ret = new PhaseOptjap_cgtagger(); 2270 phaseopts.add(ret); 2271 return ret; 2272 } 2273 public class PhaseOptjap_cgtagger { 2274 2275 public void setenabled(boolean arg) { 2276 addArg("-p"); 2277 addArg("jap.cgtagger"); 2278 addArg("enabled:"+(arg?"true":"false")); 2279 } 2280 2281 } 2282 2283 public Object createp_jap_parity() { 2284 Object ret = new PhaseOptjap_parity(); 2285 phaseopts.add(ret); 2286 return ret; 2287 } 2288 public class PhaseOptjap_parity { 2289 2290 public void setenabled(boolean arg) { 2291 addArg("-p"); 2292 addArg("jap.parity"); 2293 addArg("enabled:"+(arg?"true":"false")); 2294 } 2295 2296 } 2297 2298 public Object createp_jap_pat() { 2299 Object ret = new PhaseOptjap_pat(); 2300 phaseopts.add(ret); 2301 return ret; 2302 } 2303 public class PhaseOptjap_pat { 2304 2305 public void setenabled(boolean arg) { 2306 addArg("-p"); 2307 addArg("jap.pat"); 2308 addArg("enabled:"+(arg?"true":"false")); 2309 } 2310 2311 } 2312 2313 public Object createp_jap_lvtagger() { 2314 Object ret = new PhaseOptjap_lvtagger(); 2315 phaseopts.add(ret); 2316 return ret; 2317 } 2318 public class PhaseOptjap_lvtagger { 2319 2320 public void setenabled(boolean arg) { 2321 addArg("-p"); 2322 addArg("jap.lvtagger"); 2323 addArg("enabled:"+(arg?"true":"false")); 2324 } 2325 2326 } 2327 2328 public Object createp_jap_rdtagger() { 2329 Object ret = new PhaseOptjap_rdtagger(); 2330 phaseopts.add(ret); 2331 return ret; 2332 } 2333 public class PhaseOptjap_rdtagger { 2334 2335 public void setenabled(boolean arg) { 2336 addArg("-p"); 2337 addArg("jap.rdtagger"); 2338 addArg("enabled:"+(arg?"true":"false")); 2339 } 2340 2341 } 2342 2343 public Object createp_jap_che() { 2344 Object ret = new PhaseOptjap_che(); 2345 phaseopts.add(ret); 2346 return ret; 2347 } 2348 public class PhaseOptjap_che { 2349 2350 public void setenabled(boolean arg) { 2351 addArg("-p"); 2352 addArg("jap.che"); 2353 addArg("enabled:"+(arg?"true":"false")); 2354 } 2355 2356 } 2357 2358 public Object createp_jap_umt() { 2359 Object ret = new PhaseOptjap_umt(); 2360 phaseopts.add(ret); 2361 return ret; 2362 } 2363 public class PhaseOptjap_umt { 2364 2365 public void setenabled(boolean arg) { 2366 addArg("-p"); 2367 addArg("jap.umt"); 2368 addArg("enabled:"+(arg?"true":"false")); 2369 } 2370 2371 } 2372 2373 public Object createp_jap_lit() { 2374 Object ret = new PhaseOptjap_lit(); 2375 phaseopts.add(ret); 2376 return ret; 2377 } 2378 public class PhaseOptjap_lit { 2379 2380 public void setenabled(boolean arg) { 2381 addArg("-p"); 2382 addArg("jap.lit"); 2383 addArg("enabled:"+(arg?"true":"false")); 2384 } 2385 2386 } 2387 2388 public Object createp_jap_aet() { 2389 Object ret = new PhaseOptjap_aet(); 2390 phaseopts.add(ret); 2391 return ret; 2392 } 2393 public class PhaseOptjap_aet { 2394 2395 public void setenabled(boolean arg) { 2396 addArg("-p"); 2397 addArg("jap.aet"); 2398 addArg("enabled:"+(arg?"true":"false")); 2399 } 2400 2401 public void setkind(String arg) { 2402 addArg("-p"); 2403 addArg("jap.aet"); 2404 addArg("kind:"+arg); 2405 } 2406 2407 } 2408 2409 public Object createp_jap_dmt() { 2410 Object ret = new PhaseOptjap_dmt(); 2411 phaseopts.add(ret); 2412 return ret; 2413 } 2414 public class PhaseOptjap_dmt { 2415 2416 public void setenabled(boolean arg) { 2417 addArg("-p"); 2418 addArg("jap.dmt"); 2419 addArg("enabled:"+(arg?"true":"false")); 2420 } 2421 2422 } 2423 2424 public Object createp_gb() { 2425 Object ret = new PhaseOptgb(); 2426 phaseopts.add(ret); 2427 return ret; 2428 } 2429 public class PhaseOptgb { 2430 2431 public void setenabled(boolean arg) { 2432 addArg("-p"); 2433 addArg("gb"); 2434 addArg("enabled:"+(arg?"true":"false")); 2435 } 2436 2437 } 2438 2439 public Object createp_gb_a1() { 2440 Object ret = new PhaseOptgb_a1(); 2441 phaseopts.add(ret); 2442 return ret; 2443 } 2444 public class PhaseOptgb_a1 { 2445 2446 public void setenabled(boolean arg) { 2447 addArg("-p"); 2448 addArg("gb.a1"); 2449 addArg("enabled:"+(arg?"true":"false")); 2450 } 2451 2452 public void setonly_stack_locals(boolean arg) { 2453 addArg("-p"); 2454 addArg("gb.a1"); 2455 addArg("only-stack-locals:"+(arg?"true":"false")); 2456 } 2457 2458 } 2459 2460 public Object createp_gb_cf() { 2461 Object ret = new PhaseOptgb_cf(); 2462 phaseopts.add(ret); 2463 return ret; 2464 } 2465 public class PhaseOptgb_cf { 2466 2467 public void setenabled(boolean arg) { 2468 addArg("-p"); 2469 addArg("gb.cf"); 2470 addArg("enabled:"+(arg?"true":"false")); 2471 } 2472 2473 } 2474 2475 public Object createp_gb_a2() { 2476 Object ret = new PhaseOptgb_a2(); 2477 phaseopts.add(ret); 2478 return ret; 2479 } 2480 public class PhaseOptgb_a2 { 2481 2482 public void setenabled(boolean arg) { 2483 addArg("-p"); 2484 addArg("gb.a2"); 2485 addArg("enabled:"+(arg?"true":"false")); 2486 } 2487 2488 public void setonly_stack_locals(boolean arg) { 2489 addArg("-p"); 2490 addArg("gb.a2"); 2491 addArg("only-stack-locals:"+(arg?"true":"false")); 2492 } 2493 2494 } 2495 2496 public Object createp_gb_ule() { 2497 Object ret = new PhaseOptgb_ule(); 2498 phaseopts.add(ret); 2499 return ret; 2500 } 2501 public class PhaseOptgb_ule { 2502 2503 public void setenabled(boolean arg) { 2504 addArg("-p"); 2505 addArg("gb.ule"); 2506 addArg("enabled:"+(arg?"true":"false")); 2507 } 2508 2509 } 2510 2511 public Object createp_gop() { 2512 Object ret = new PhaseOptgop(); 2513 phaseopts.add(ret); 2514 return ret; 2515 } 2516 public class PhaseOptgop { 2517 2518 public void setenabled(boolean arg) { 2519 addArg("-p"); 2520 addArg("gop"); 2521 addArg("enabled:"+(arg?"true":"false")); 2522 } 2523 2524 } 2525 2526 public Object createp_bb() { 2527 Object ret = new PhaseOptbb(); 2528 phaseopts.add(ret); 2529 return ret; 2530 } 2531 public class PhaseOptbb { 2532 2533 public void setenabled(boolean arg) { 2534 addArg("-p"); 2535 addArg("bb"); 2536 addArg("enabled:"+(arg?"true":"false")); 2537 } 2538 2539 } 2540 2541 public Object createp_bb_lso() { 2542 Object ret = new PhaseOptbb_lso(); 2543 phaseopts.add(ret); 2544 return ret; 2545 } 2546 public class PhaseOptbb_lso { 2547 2548 public void setenabled(boolean arg) { 2549 addArg("-p"); 2550 addArg("bb.lso"); 2551 addArg("enabled:"+(arg?"true":"false")); 2552 } 2553 2554 public void setdebug(boolean arg) { 2555 addArg("-p"); 2556 addArg("bb.lso"); 2557 addArg("debug:"+(arg?"true":"false")); 2558 } 2559 2560 public void setinter(boolean arg) { 2561 addArg("-p"); 2562 addArg("bb.lso"); 2563 addArg("inter:"+(arg?"true":"false")); 2564 } 2565 2566 public void setsl(boolean arg) { 2567 addArg("-p"); 2568 addArg("bb.lso"); 2569 addArg("sl:"+(arg?"true":"false")); 2570 } 2571 2572 public void setsl2(boolean arg) { 2573 addArg("-p"); 2574 addArg("bb.lso"); 2575 addArg("sl2:"+(arg?"true":"false")); 2576 } 2577 2578 public void setsll(boolean arg) { 2579 addArg("-p"); 2580 addArg("bb.lso"); 2581 addArg("sll:"+(arg?"true":"false")); 2582 } 2583 2584 public void setsll2(boolean arg) { 2585 addArg("-p"); 2586 addArg("bb.lso"); 2587 addArg("sll2:"+(arg?"true":"false")); 2588 } 2589 2590 } 2591 2592 public Object createp_bb_pho() { 2593 Object ret = new PhaseOptbb_pho(); 2594 phaseopts.add(ret); 2595 return ret; 2596 } 2597 public class PhaseOptbb_pho { 2598 2599 public void setenabled(boolean arg) { 2600 addArg("-p"); 2601 addArg("bb.pho"); 2602 addArg("enabled:"+(arg?"true":"false")); 2603 } 2604 2605 } 2606 2607 public Object createp_bb_ule() { 2608 Object ret = new PhaseOptbb_ule(); 2609 phaseopts.add(ret); 2610 return ret; 2611 } 2612 public class PhaseOptbb_ule { 2613 2614 public void setenabled(boolean arg) { 2615 addArg("-p"); 2616 addArg("bb.ule"); 2617 addArg("enabled:"+(arg?"true":"false")); 2618 } 2619 2620 } 2621 2622 public Object createp_bb_lp() { 2623 Object ret = new PhaseOptbb_lp(); 2624 phaseopts.add(ret); 2625 return ret; 2626 } 2627 public class PhaseOptbb_lp { 2628 2629 public void setenabled(boolean arg) { 2630 addArg("-p"); 2631 addArg("bb.lp"); 2632 addArg("enabled:"+(arg?"true":"false")); 2633 } 2634 2635 public void setunsplit_original_locals(boolean arg) { 2636 addArg("-p"); 2637 addArg("bb.lp"); 2638 addArg("unsplit-original-locals:"+(arg?"true":"false")); 2639 } 2640 2641 } 2642 2643 public Object createp_bop() { 2644 Object ret = new PhaseOptbop(); 2645 phaseopts.add(ret); 2646 return ret; 2647 } 2648 public class PhaseOptbop { 2649 2650 public void setenabled(boolean arg) { 2651 addArg("-p"); 2652 addArg("bop"); 2653 addArg("enabled:"+(arg?"true":"false")); 2654 } 2655 2656 } 2657 2658 public Object createp_tag() { 2659 Object ret = new PhaseOpttag(); 2660 phaseopts.add(ret); 2661 return ret; 2662 } 2663 public class PhaseOpttag { 2664 2665 public void setenabled(boolean arg) { 2666 addArg("-p"); 2667 addArg("tag"); 2668 addArg("enabled:"+(arg?"true":"false")); 2669 } 2670 2671 } 2672 2673 public Object createp_tag_ln() { 2674 Object ret = new PhaseOpttag_ln(); 2675 phaseopts.add(ret); 2676 return ret; 2677 } 2678 public class PhaseOpttag_ln { 2679 2680 public void setenabled(boolean arg) { 2681 addArg("-p"); 2682 addArg("tag.ln"); 2683 addArg("enabled:"+(arg?"true":"false")); 2684 } 2685 2686 } 2687 2688 public Object createp_tag_an() { 2689 Object ret = new PhaseOpttag_an(); 2690 phaseopts.add(ret); 2691 return ret; 2692 } 2693 public class PhaseOpttag_an { 2694 2695 public void setenabled(boolean arg) { 2696 addArg("-p"); 2697 addArg("tag.an"); 2698 addArg("enabled:"+(arg?"true":"false")); 2699 } 2700 2701 } 2702 2703 public Object createp_tag_dep() { 2704 Object ret = new PhaseOpttag_dep(); 2705 phaseopts.add(ret); 2706 return ret; 2707 } 2708 public class PhaseOpttag_dep { 2709 2710 public void setenabled(boolean arg) { 2711 addArg("-p"); 2712 addArg("tag.dep"); 2713 addArg("enabled:"+(arg?"true":"false")); 2714 } 2715 2716 } 2717 2718 public Object createp_tag_fieldrw() { 2719 Object ret = new PhaseOpttag_fieldrw(); 2720 phaseopts.add(ret); 2721 return ret; 2722 } 2723 public class PhaseOpttag_fieldrw { 2724 2725 public void setenabled(boolean arg) { 2726 addArg("-p"); 2727 addArg("tag.fieldrw"); 2728 addArg("enabled:"+(arg?"true":"false")); 2729 } 2730 2731 } 2732 2733 public Object createp_db() { 2734 Object ret = new PhaseOptdb(); 2735 phaseopts.add(ret); 2736 return ret; 2737 } 2738 public class PhaseOptdb { 2739 2740 public void setenabled(boolean arg) { 2741 addArg("-p"); 2742 addArg("db"); 2743 addArg("enabled:"+(arg?"true":"false")); 2744 } 2745 2746 } 2747 2748 public Object createp_db_transformations() { 2749 Object ret = new PhaseOptdb_transformations(); 2750 phaseopts.add(ret); 2751 return ret; 2752 } 2753 public class PhaseOptdb_transformations { 2754 2755 public void setenabled(boolean arg) { 2756 addArg("-p"); 2757 addArg("db.transformations"); 2758 addArg("enabled:"+(arg?"true":"false")); 2759 } 2760 2761 } 2762 2763 public Object createp_db_renamer() { 2764 Object ret = new PhaseOptdb_renamer(); 2765 phaseopts.add(ret); 2766 return ret; 2767 } 2768 public class PhaseOptdb_renamer { 2769 2770 public void setenabled(boolean arg) { 2771 addArg("-p"); 2772 addArg("db.renamer"); 2773 addArg("enabled:"+(arg?"true":"false")); 2774 } 2775 2776 public void setremove_fully_qualified(boolean arg) { 2777 addArg("-p"); 2778 addArg("db.renamer"); 2779 addArg("remove-fully-qualified:"+(arg?"true":"false")); 2780 } 2781 2782 } 2783 2784 public Object createp_db_deobfuscate() { 2785 Object ret = new PhaseOptdb_deobfuscate(); 2786 phaseopts.add(ret); 2787 return ret; 2788 } 2789 public class PhaseOptdb_deobfuscate { 2790 2791 public void setenabled(boolean arg) { 2792 addArg("-p"); 2793 addArg("db.deobfuscate"); 2794 addArg("enabled:"+(arg?"true":"false")); 2795 } 2796 2797 } 2798 2799 public Object createp_db_force_recompile() { 2800 Object ret = new PhaseOptdb_force_recompile(); 2801 phaseopts.add(ret); 2802 return ret; 2803 } 2804 public class PhaseOptdb_force_recompile { 2805 2806 public void setenabled(boolean arg) { 2807 addArg("-p"); 2808 addArg("db.force-recompile"); 2809 addArg("enabled:"+(arg?"true":"false")); 2810 } 2811 2812 } 2813 2814} 2815 | Popular Tags |