soot.jbco

Class Main

java.lang.Object

soot.jbco.Main

public class Main
extends java.lang.Object

Author:

Michael Batchelder Created on 24-Jan-2006

Field Summary

Fields

Modifier and Type	Field and Description
static java.util.List<SootClass>	IntermediateAppClasses
static boolean	jbcoDebug
static boolean	jbcoSummary
static boolean	jbcoVerbose
static java.util.Map	method2Locals2REALTypes
static java.util.Map<SootMethod,java.util.Map<Local,Local>>	methods2Baf2JLocals
static java.util.Map<SootMethod,java.util.List<Local>>	methods2JLocals
static boolean	metrics
static java.util.Map<java.lang.String,java.util.Map<java.lang.Object,java.lang.Integer>>	transformsToMethodsToWeights
static java.util.Map<java.lang.String,java.lang.Integer>	transformsToWeights

Constructor Summary

Constructors

Constructor and Description
Main()

Method Summary

Methods

Modifier and Type	Method and Description
static int	getWeight(java.lang.String phasename, java.lang.String method)
static void	main(java.lang.String[] argv)

Methods inherited from class java.lang.Object

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

Field Detail

jbcoDebug

public static boolean jbcoDebug

jbcoSummary

public static boolean jbcoSummary

jbcoVerbose

public static boolean jbcoVerbose

metrics

public static boolean metrics

transformsToWeights

public static java.util.Map<java.lang.String,java.lang.Integer> transformsToWeights

transformsToMethodsToWeights

public static java.util.Map<java.lang.String,java.util.Map<java.lang.Object,java.lang.Integer>> transformsToMethodsToWeights

method2Locals2REALTypes

public static java.util.Map method2Locals2REALTypes

methods2Baf2JLocals

public static java.util.Map<SootMethod,java.util.Map<Local,Local>> methods2Baf2JLocals

methods2JLocals

public static java.util.Map<SootMethod,java.util.List<Local>> methods2JLocals

IntermediateAppClasses

public static java.util.List<SootClass> IntermediateAppClasses

Constructor Detail

Main

public Main()

Method Detail

main

public static void main(java.lang.String[] argv)

getWeight

public static int getWeight(java.lang.String phasename,
            java.lang.String method)