gov.nasa.jpf.symbc.veritesting.VeritestingUtil

Class ClassUtils

java.lang.Object

gov.nasa.jpf.symbc.veritesting.VeritestingUtil.ClassUtils

public class ClassUtils
extends java.lang.Object

A utility class used during discovering of static regions.

Constructor Summary

Constructors

Constructor and Description
ClassUtils()

Method Summary

Modifier and Type	Method and Description
static void	addSubClassNames(gov.nasa.jpf.vm.ThreadInfo ti, com.ibm.wala.ipa.cha.ClassHierarchy cha, java.util.HashSet<java.lang.String> methodSummarySubClassNames, java.lang.String methodSummaryClassName)
static void	findClasses(gov.nasa.jpf.vm.ThreadInfo ti, com.ibm.wala.ipa.cha.ClassHierarchy cha, java.lang.String classPath, java.lang.String startingClassName, java.util.HashSet<java.lang.String> methodSummaryClassNames)
static java.util.ArrayList<java.lang.String>	getSuperClassList(gov.nasa.jpf.vm.ThreadInfo ti, java.lang.String className)
static java.lang.String	getType(com.ibm.wala.types.TypeName typeName)

Methods inherited from class java.lang.Object

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

Constructor Detail

ClassUtils

public ClassUtils()

Method Detail

addSubClassNames

public static void addSubClassNames(gov.nasa.jpf.vm.ThreadInfo ti,
                                    com.ibm.wala.ipa.cha.ClassHierarchy cha,
                                    java.util.HashSet<java.lang.String> methodSummarySubClassNames,
                                    java.lang.String methodSummaryClassName)

findClasses

public static void findClasses(gov.nasa.jpf.vm.ThreadInfo ti,
                               com.ibm.wala.ipa.cha.ClassHierarchy cha,
                               java.lang.String classPath,
                               java.lang.String startingClassName,
                               java.util.HashSet<java.lang.String> methodSummaryClassNames)

getSuperClassList

public static java.util.ArrayList<java.lang.String> getSuperClassList(gov.nasa.jpf.vm.ThreadInfo ti,
                                                                      java.lang.String className)

getType

public static java.lang.String getType(com.ibm.wala.types.TypeName typeName)