---

Util Class Reference

List of all members.

Static Public Methods
void	resolveClass (SootClass bclass)
String	deleteChars (String s, String chars)
Type	getType (String typeName)
boolean	hasJavaPrefix (String s)
ca mcgill sable util Collection	convert (String name, Collection c)
SootClass	getDeclaringClass (SootClass sc, String method)
SootClass	getDeclaringClass (SootClass sc, String method, List parameterTypes, Type returnType)
boolean	isAncestorOf (SootClass child, String ancestor)
boolean	isValidId (String s)
String	combineStrings (String[] strs, String s)
int	convertModifiers (int modifiers)
int	convertModifiers (String modifiers) throws InvalidModifiersException
edu ksu cis bandera jjjc symboltable Type	convertType (ca.mcgill.sable.soot.Type type, edu.ksu.cis.bandera.jjjc.symboltable.SymbolTable symbolTable) throws CompilerException
ca mcgill sable soot Type	convertType (edu.ksu.cis.bandera.jjjc.symboltable.Type type)
int	countArrayDimensions (String s)
String	decodeString (String s)
String	encodeString (String s)
String[]	splitString (String s, String limiter)
Private Methods
	Util ()
	Util ()
Static Private Methods
String	getAbbreviationOfClassName (String className)
Local	getLocalCreatingIfNecessary (JimpleBody listBody, String name, Type type)
Local	getLocalForIndex (JimpleBody listBody, int index)
Local	getLocalForStackOp (JimpleBody listBody, TypeStack typeStack, int index)
String	getNextEasyName ()
String	getNormalizedClassName (String className)
Type	jimpleReturnTypeOfMethodDescriptor (SootClassManager cm, String descriptor)
Type	jimpleTypeOfFieldDescriptor (SootClassManager cm, String descriptor)
Type[]	jimpleTypesOfFieldOrMethodDescriptor (SootClassManager cm, String descriptor)
void	resetEasyNames ()
void	setActiveClassManager (SootClassManager manager)
void	setClassNameToAbbreviation (Map map)
Static Private Attributes
Map	classNameToAbbreviation
SootClassManager	classManager
int	nextEasyNameIndex
final VectorList	emptyList = new VectorList()
Category	cat = Category.getInstance(Util.class.getName())

---

Detailed Description

This class provides utility methods which can be used through out the package.

Author:

Venkatesh Prasad Ranganath

Version:

Name:

(

Revision:

1.1.1.1

)

Definition at line 117 of file ca/mcgill/sable/soot/coffi/Util.java.

---

Constructor & Destructor Documentation

Util::Util (    )  [inline, private]

Util constructor comment. Definition at line 42 of file edu/ksu/cis/bandera/abstraction/util/Util.java.

Util::Util (    )  [inline, private]

A private constructor to prevent the instantiation of an object of this class. Definition at line 81 of file edu/ksu/cis/bandera/bofa/Util.java.

---

Member Function Documentation

String Util::combineStrings (  String   strs[], String   s )  [inline, static]

Returns: java.lang.String Parameters: strs   java.lang.String[] s   java.lang.String Definition at line 46 of file edu/ksu/cis/bandera/jjjc/util/Util.java.

ca mcgill sable util Collection Util::convert (  String   name, Collection   c )  [inline, static]

Creates a new object which implements ca.mcgill.sable.util.Collection and copy the contents of the given collection into it. Parameters: name   String is the name of the class which implements ca.mcgill.sable.util.collection interface and which will be the actual type of the returned object. c   Collection is an object which implements java.util.Collection interface and contains values that need to be copied into another container object and returned. Returns: ca.mcgill.sable.util.Collection implementing object of type String containing all the values that were in Collection. Definition at line 97 of file edu/ksu/cis/bandera/bofa/Util.java.

int Util::convertModifiers (  String   modifiers )  [inline, static]

Returns: int Parameters: modifier   java.lang.String Definition at line 96 of file edu/ksu/cis/bandera/jjjc/util/Util.java.

int Util::convertModifiers (  int   modifiers )  [inline, static]

Returns: int Parameters: modifiers   int Definition at line 65 of file edu/ksu/cis/bandera/jjjc/util/Util.java.

ca mcgill sable soot Type Util::convertType (  edu.ksu.cis.bandera.jjjc.symboltable.Type   type )  [inline, static]

Returns: ca.mcgill.sable.soot.Type Parameters: type   edu.ksu.cis.bandera.jjjc.symboltable.Type Definition at line 171 of file edu/ksu/cis/bandera/jjjc/util/Util.java.

edu ksu cis bandera jjjc symboltable Type Util::convertType (  ca.mcgill.sable.soot.Type   type, edu.ksu.cis.bandera.jjjc.symboltable.SymbolTable   symbolTable )  [inline, static]

Returns: edu.ksu.cis.bandera.jjjc.symboltable.Type Parameters: type   ca.mcgill.sable.soot.Type symbolTable   SymbolTable Definition at line 133 of file edu/ksu/cis/bandera/jjjc/util/Util.java. Referenced by convertType().

int Util::countArrayDimensions (  String   s )  [inline, static]

Returns: int Parameters: s   java.lang.String Definition at line 205 of file edu/ksu/cis/bandera/jjjc/util/Util.java.

String Util::decodeString (  String   s )  [inline, static]

Returns: java.lang.String Parameters: s   java.lang.String Definition at line 219 of file edu/ksu/cis/bandera/jjjc/util/Util.java.

String Util::encodeString (  String   s )  [inline, static]

Returns: java.lang.String Parameters: s   java.lang.String Definition at line 233 of file edu/ksu/cis/bandera/jjjc/util/Util.java.

SootClass Util::getDeclaringClass (  SootClass   sc, String   method, List   parameterTypes, Type   returnType )  [inline, static]

Provides the SootClass which injects the given method into the specific branch of the inheritence hierarchy to which sc belongs to. Parameters: sc   class that defines the branch in which the injecting class exists. method   name of the method (not the fully classified name). parameterTypes   list of type of the parameters of the method. returnType   return type of the method. Returns: If there is such a class then a SootClass object is returned. Exceptions: code   >ca.mcgill.sable.soot.NoSuchMethodException is thrown when no such method is declared in the given hierarchy. Definition at line 147 of file edu/ksu/cis/bandera/bofa/Util.java.

SootClass Util::getDeclaringClass (  SootClass   sc, String   method )  [inline, static]

Shorthand version of Util.getDefiningClass() where the parameter list is empty and the returnType is void. Parameters: sc   class in or above which the method may be defined. method   name of the method (not the fully classified name). Returns: If there is such a class then a SootClass object is returned else null is returned. Definition at line 131 of file edu/ksu/cis/bandera/bofa/Util.java.

boolean Util::hasJavaPrefix (  String   s )  [inline, static]

Returns: boolean Parameters: s   java.lang.String Definition at line 84 of file edu/ksu/cis/bandera/abstraction/util/Util.java.

boolean Util::isAncestorOf (  SootClass   child, String   ancestor )  [inline, static]

isAncestorOf checks if a class is an ancestor of another. It is assumed that a class cannot be it's own ancestor. Parameters: child   SootClass representing the class whose ancestor is of interest. ancestor   String representing the name of the ancestor. Returns: boolean true if ancestor is indeed is one of the ancestor, false otherwise. Definition at line 171 of file edu/ksu/cis/bandera/bofa/Util.java.

boolean Util::isValidId (  String   s )  [inline, static]

Returns: boolean Parameters: s   java.lang.String Definition at line 41 of file edu/ksu/cis/bandera/bui/Util.java.

String [] Util::splitString (  String   s, String   limiter )  [inline, static]

Returns: java.lang.String[] Parameters: s   java.lang.String limiter   java.lang.String Definition at line 283 of file edu/ksu/cis/bandera/jjjc/util/Util.java. Referenced by convertModifiers().

---

Member Data Documentation

Category Util::cat = Category.getInstance(Util.class.getName()) [static, private]

Provides logging through log4j. Definition at line 75 of file edu/ksu/cis/bandera/bofa/Util.java.

final VectorList Util::emptyList = new VectorList() [static, private]

An empty list to be used for queries on no parameter method. Definition at line 69 of file edu/ksu/cis/bandera/bofa/Util.java.

---

The documentation for this class was generated from the following files:

• ca/mcgill/sable/soot/coffi/Util.java
• edu/ksu/cis/bandera/bofa/Util.java
• edu/ksu/cis/bandera/abstraction/util/Util.java
• edu/ksu/cis/bandera/bui/Util.java
• edu/ksu/cis/bandera/jjjc/util/Util.java

---