soot.options
Class JBTROptions

java.lang.Object
  extended by soot.options.JBTROptions

public class JBTROptions
extends Object

Option parser for Type Assigner.


Constructor Summary
JBTROptions(Map options)
           
 
Method Summary
 boolean compare_type_assigners()
          Compare type assigners -- Compares Ben Bellamy's and the older type assigner.
 boolean enabled()
          Enabled -- .
 boolean use_older_type_assigner()
          Use older type assigner -- Enables the older type assigner.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

JBTROptions

public JBTROptions(Map options)
Method Detail

enabled

public boolean enabled()
Enabled -- .


use_older_type_assigner

public boolean use_older_type_assigner()
Use older type assigner -- Enables the older type assigner. This enables the older type assigner that was in use until May 2008. The current type assigner is a reimplementation by Ben Bellamy that uses an entirely new and faster algorithm which always assigns the most narrow type possible. If compare-type-assigners is on, this option causes the older type assigner to execute first. (Otherwise the newer one is executed first.)


compare_type_assigners

public boolean compare_type_assigners()
Compare type assigners -- Compares Ben Bellamy's and the older type assigner. Enables comparison (both runtime and results) of Ben Bellamy's type assigner with the older type assigner that was in Soot.