Package soot
Class AntTask.PhaseOptwjtp_tn
- java.lang.Object
-
- soot.AntTask.PhaseOptwjtp_tn
-
-
Constructor Summary
Constructors Constructor Description PhaseOptwjtp_tn()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidsetavoid_deadlock(boolean arg)voidsetdo_mhp(boolean arg)voidsetdo_tlo(boolean arg)voidsetenabled(boolean arg)voidsetlocking_scheme(String arg)voidsetopen_nesting(boolean arg)voidsetprint_debug(boolean arg)voidsetprint_graph(boolean arg)voidsetprint_table(boolean arg)
-
-
-
Method Detail
-
setenabled
public void setenabled(boolean arg)
-
setavoid_deadlock
public void setavoid_deadlock(boolean arg)
-
setopen_nesting
public void setopen_nesting(boolean arg)
-
setdo_mhp
public void setdo_mhp(boolean arg)
-
setdo_tlo
public void setdo_tlo(boolean arg)
-
setprint_graph
public void setprint_graph(boolean arg)
-
setprint_table
public void setprint_table(boolean arg)
-
setprint_debug
public void setprint_debug(boolean arg)
-
setlocking_scheme
public void setlocking_scheme(String arg)
-
-