soot.G.v().out = new MavenLogPrintStream( getLog() );
}
protected void configureOptions()
{
final Options options = Options.v();
options.set_help( help );
options.set_phase_list( phaseList );
options.set_phase_help( phaseHelp );
options.set_version( version );
options.set_verbose( verbose );
options.set_interactive_mode( interactiveMode );
options.set_unfriendly_mode( unfriendlyMode );
options.set_app( applicationMode );
options.set_whole_program( wholeProgram );
options.set_whole_shimple( wholeShimple );
options.set_validate( validate );
options.set_debug( debug );
options.set_debug_resolver( debugResolver );
options.set_soot_classpath( sootClasspath );
options.set_prepend_classpath( prependClasspath );
options.set_process_dir( processDirectory );
options.set_ast_metrics( astMetrics );
options.set_src_prec( sourcePrecedence.getValue() );
options.set_full_resolver( fullResolver );
options.set_allow_phantom_refs( allowPhantomRefs );
options.set_no_bodies_for_excluded( noBodiesForExcluded );
options.set_j2me( j2me );
options.set_main_class( mainClass );
options.set_polyglot( polyglot );
options.set_output_dir( outputDirectory );
options.set_output_format( outputFormat.getValue() );
options.set_output_jar( outputJar );
options.set_xml_attributes( xmlAttributes );
options.set_print_tags_in_output( printTags );
options.set_no_output_source_file_attribute( noOutputSourceFileAttribute );
options.set_no_output_inner_classes_attribute( noOutputInnerClassesAttribute );
options.set_dump_body( dumpBody );
options.set_dump_cfg( dumpCfg );
options.set_show_exception_dests( showExceptionDests );
options.set_gzip( gzip );
// options.set_XXXXXXX(optimize);
// options.set_XXXXXXX(wholeOptimize);
options.set_via_grimp( viaGrimp );
options.set_via_shimple( viaShimple );
options.set_throw_analysis( throwAnalysis.getValue() );
options.set_omit_excepting_unit_edges( omitExceptingUnitEdges );
// options.set_XXXXXXX(trimCfgs);
// options.set_XXXXXXX(ignoreResolutionErrors);
options.set_include( includes );
options.set_exclude( excludes );
options.set_include_all( includeAll );
options.set_dynamic_class( dynamicClasses );
options.set_dynamic_dir( dynamicDirectories );
options.set_dynamic_package( dynamicPackages );
options.set_keep_line_number( keepLineNumber );
options.set_keep_offset( keepBytecodeOffset );
// options.set_XXXXXXX(annotPurity);
// options.set_XXXXXXX(annotNullPointer);
// options.set_XXXXXXX(annotArrayBounds);
// options.set_XXXXXXX(annotSideEffect);
// options.set_XXXXXXX(annotFieldReadWrite);
options.set_time( time );
options.set_subtract_gc( subtractGC );
}