Package soot

Class AntTask.PhaseOptcg_paddle

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

    • Constructor Detail

      • PhaseOptcg_paddle

        public PhaseOptcg_paddle()

    • Method Detail

      • setenabled

        public void setenabled​(boolean arg)

      • setverbose

        public void setverbose​(boolean arg)

      • setbdd

        public void setbdd​(boolean arg)

      • setdynamic_order

        public void setdynamic_order​(boolean arg)

      • setprofile

        public void setprofile​(boolean arg)

      • setverbosegc

        public void setverbosegc​(boolean arg)

      • setignore_types

        public void setignore_types​(boolean arg)

      • setpre_jimplify

        public void setpre_jimplify​(boolean arg)

      • setcontext_heap

        public void setcontext_heap​(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)

      • setglobal_nodes_in_natives

        public void setglobal_nodes_in_natives​(boolean arg)

      • setsimple_edges_bidirectional

        public void setsimple_edges_bidirectional​(boolean arg)

      • setthis_edges

        public void setthis_edges​(boolean arg)

      • setprecise_newinstance

        public void setprecise_newinstance​(boolean arg)

      • setcontext_counts

        public void setcontext_counts​(boolean arg)

      • settotal_context_counts

        public void settotal_context_counts​(boolean arg)

      • setmethod_context_counts

        public void setmethod_context_counts​(boolean arg)

      • setset_mass

        public void setset_mass​(boolean arg)

      • setnumber_nodes

        public void setnumber_nodes​(boolean arg)

      • setconf

        public void setconf​(String arg)

      • setorder

        public void setorder​(String arg)

      • setq

        public void setq​(String arg)

      • setbackend

        public void setbackend​(String arg)

      • setbdd_nodes

        public void setbdd_nodes​(String arg)

      • setcontext

        public void setcontext​(String arg)

      • setk

        public void setk​(String 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)