soot.coffi
Class Util

java.lang.Object
  |
  +--soot.coffi.Util

public class Util
extends java.lang.Object


Constructor Summary
Util(Singletons.Global g)
           
 
Method Summary
 void assertResolvedClass(java.lang.String className)
           
 void assertResolvedClassForType(Type type)
           
 boolean declaresLocal(Body b, java.lang.String localName)
           
 Local getLocal(Body b, java.lang.String name)
           
 SootClass getResolvedClass(java.lang.String className)
           
 SootClass getResolvedClass2(java.lang.String className)
           
 Type jimpleTypeOfFieldDescriptor(Scene cm, java.lang.String descriptor)
           
 Type[] jimpleTypesOfFieldOrMethodDescriptor(Scene cm, java.lang.String descriptor)
           
 SootClass resolveClassAndSupportClasses(java.lang.String className, Scene cm)
           
 SootClass resolveClassAndSupportClasses2(java.lang.String className, java.io.InputStream is)
           
 void resolveFromClassFile(SootClass aClass, java.io.InputStream is, SootResolver sootResolver, Scene cm)
           
 void setFaithfulNaming(boolean v)
           
static Util v()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Util

public Util(Singletons.Global g)
Method Detail

v

public static Util v()

setFaithfulNaming

public void setFaithfulNaming(boolean v)

assertResolvedClass

public void assertResolvedClass(java.lang.String className)

assertResolvedClassForType

public void assertResolvedClassForType(Type type)

getResolvedClass

public SootClass getResolvedClass(java.lang.String className)

getResolvedClass2

public SootClass getResolvedClass2(java.lang.String className)

resolveClassAndSupportClasses2

public SootClass resolveClassAndSupportClasses2(java.lang.String className,
                                                java.io.InputStream is)

resolveFromClassFile

public void resolveFromClassFile(SootClass aClass,
                                 java.io.InputStream is,
                                 SootResolver sootResolver,
                                 Scene cm)

resolveClassAndSupportClasses

public SootClass resolveClassAndSupportClasses(java.lang.String className,
                                               Scene cm)

jimpleTypesOfFieldOrMethodDescriptor

public Type[] jimpleTypesOfFieldOrMethodDescriptor(Scene cm,
                                                   java.lang.String descriptor)

jimpleTypeOfFieldDescriptor

public Type jimpleTypeOfFieldDescriptor(Scene cm,
                                        java.lang.String descriptor)

getLocal

public Local getLocal(Body b,
                      java.lang.String name)
               throws NoSuchLocalException

declaresLocal

public boolean declaresLocal(Body b,
                             java.lang.String localName)