Package soot

Class AntTask.PhaseOptcg_spark

  • Enclosing class:
    AntTask
    public class AntTask.PhaseOptcg_spark
extends Object

    • Constructor Detail

      • PhaseOptcg_spark

        public PhaseOptcg_spark()

    • Method Detail

      • setenabled

        public void setenabled​(boolean arg)

      • setverbose

        public void setverbose​(boolean arg)

      • setignore_types

        public void setignore_types​(boolean arg)

      • setforce_gc

        public void setforce_gc​(boolean arg)

      • setpre_jimplify

        public void setpre_jimplify​(boolean arg)

      • setapponly

        public void setapponly​(boolean arg)

      • setvta

        public void setvta​(boolean arg)

      • setrta

        public void setrta​(boolean arg)

      • setfield_based

        public void setfield_based​(boolean arg)

      • settypes_for_sites

        public void settypes_for_sites​(boolean arg)

      • setmerge_stringbuffer

        public void setmerge_stringbuffer​(boolean arg)

      • setstring_constants

        public void setstring_constants​(boolean arg)

      • setsimulate_natives

        public void setsimulate_natives​(boolean arg)

      • setempties_as_allocs

        public void setempties_as_allocs​(boolean arg)

      • setsimple_edges_bidirectional

        public void setsimple_edges_bidirectional​(boolean arg)

      • seton_fly_cg

        public void seton_fly_cg​(boolean arg)

      • setsimplify_offline

        public void setsimplify_offline​(boolean arg)

      • setsimplify_sccs

        public void setsimplify_sccs​(boolean arg)

      • setignore_types_for_sccs

        public void setignore_types_for_sccs​(boolean arg)

      • setdump_html

        public void setdump_html​(boolean arg)

      • setdump_pag

        public void setdump_pag​(boolean arg)

      • setdump_solution

        public void setdump_solution​(boolean arg)

      • settopo_sort

        public void settopo_sort​(boolean arg)

      • setdump_types

        public void setdump_types​(boolean arg)

      • setclass_method_var

        public void setclass_method_var​(boolean arg)

      • setdump_answer

        public void setdump_answer​(boolean arg)

      • setadd_tags

        public void setadd_tags​(boolean arg)

      • setset_mass

        public void setset_mass​(boolean arg)

      • setcs_demand

        public void setcs_demand​(boolean arg)

      • setlazy_pts

        public void setlazy_pts​(boolean arg)

      • setgeom_pta

        public void setgeom_pta​(boolean arg)

      • setgeom_trans

        public void setgeom_trans​(boolean arg)

      • setgeom_blocking

        public void setgeom_blocking​(boolean arg)

      • setgeom_app_only

        public void setgeom_app_only​(boolean arg)

      • setpropagator

        public void setpropagator​(String arg)

      • setset_impl

        public void setset_impl​(String arg)

      • setdouble_set_old

        public void setdouble_set_old​(String arg)

      • setdouble_set_new

        public void setdouble_set_new​(String arg)

      • settraversal

        public void settraversal​(String arg)

      • setpasses

        public void setpasses​(String arg)

      • setgeom_encoding

        public void setgeom_encoding​(String arg)

      • setgeom_worklist

        public void setgeom_worklist​(String arg)

      • setgeom_dump_verbose

        public void setgeom_dump_verbose​(String arg)

      • setgeom_verify_name

        public void setgeom_verify_name​(String arg)

      • setgeom_eval

        public void setgeom_eval​(String arg)

      • setgeom_frac_base

        public void setgeom_frac_base​(String arg)

      • setgeom_runs

        public void setgeom_runs​(String arg)