soot
Class AntTask.PhaseOptcg_spark

java.lang.Object
  soot.AntTask.PhaseOptcg_spark

Enclosing class:

AntTask

public class AntTask.PhaseOptcg_spark
extends Object

Constructor Summary

AntTask.PhaseOptcg_spark()

Method Summary

void	setadd_tags(boolean arg)
void	setclass_method_var(boolean arg)
void	setcs_demand(boolean arg)
void	setdouble_set_new(String arg)
void	setdouble_set_old(String arg)
void	setdump_answer(boolean arg)
void	setdump_html(boolean arg)
void	setdump_pag(boolean arg)
void	setdump_solution(boolean arg)
void	setdump_types(boolean arg)
void	setempties_as_allocs(boolean arg)
void	setenabled(boolean arg)
void	setfield_based(boolean arg)
void	setforce_gc(boolean arg)
void	setgeom_blocking(boolean arg)
void	setgeom_dump_verbose(String arg)
void	setgeom_encoding(String arg)
void	setgeom_eval(String arg)
void	setgeom_frac_base(String arg)
void	setgeom_pta(boolean arg)
void	setgeom_runs(String arg)
void	setgeom_trans(boolean arg)
void	setgeom_verify_name(String arg)
void	setgeom_worklist(String arg)
void	setignore_types_for_sccs(boolean arg)
void	setignore_types(boolean arg)
void	setlazy_pts(boolean arg)
void	setmerge_stringbuffer(boolean arg)
void	seton_fly_cg(boolean arg)
void	setpasses(String arg)
void	setpre_jimplify(boolean arg)
void	setpropagator(String arg)
void	setrta(boolean arg)
void	setset_impl(String arg)
void	setset_mass(boolean arg)
void	setsimple_edges_bidirectional(boolean arg)
void	setsimplify_offline(boolean arg)
void	setsimplify_sccs(boolean arg)
void	setsimulate_natives(boolean arg)
void	setstring_constants(boolean arg)
void	settopo_sort(boolean arg)
void	settraversal(String arg)
void	settypes_for_sites(boolean arg)
void	setverbose(boolean arg)
void	setvta(boolean arg)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AntTask.PhaseOptcg_spark

public AntTask.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)

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)

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)