org.evosuite.symbolic.instrument

Class ConcolicInstrumentingClassLoader

java.lang.Object

java.lang.ClassLoader

org.evosuite.symbolic.instrument.ConcolicInstrumentingClassLoader

public class ConcolicInstrumentingClassLoader
extends ClassLoader

A ClassLoader very similar to the org.evosuite.javaagent.InstrumentingClassLoader It must instrument java bytecode to allow recording constraints on the program.

Author:

galeotti

Constructor Summary

Constructors

Constructor and Description
ConcolicInstrumentingClassLoader()

Method Summary

Modifier and Type	Method and Description
Class<?>	getClassForName(String className) Loads class named className, without initializing it.
Class<?>	getClassForType(org.objectweb.asm.Type aType) Loads class whose type is aType, without initializing it.
Class<?>	loadClass(String name)

Methods inherited from class java.lang.ClassLoader

clearAssertionStatus, defineClass, defineClass, defineClass, defineClass, definePackage, findClass, findLibrary, findLoadedClass, findResource, findResources, findSystemClass, getClassLoadingLock, getPackage, getPackages, getParent, getResource, getResourceAsStream, getResources, getSystemClassLoader, getSystemResource, getSystemResourceAsStream, getSystemResources, loadClass, registerAsParallelCapable, resolveClass, setClassAssertionStatus, setDefaultAssertionStatus, setPackageAssertionStatus, setSigners

Methods inherited from class java.lang.Object

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

Constructor Detail

ConcolicInstrumentingClassLoader

public ConcolicInstrumentingClassLoader()

Method Detail

loadClass

public Class<?> loadClass(String name)
                   throws ClassNotFoundException

Overrides:

loadClass in class ClassLoader

Throws:

ClassNotFoundException

getClassForName

public Class<?> getClassForName(String className)

Loads class named className, without initializing it.

Parameters:

className - either as p/q/MyClass or as p.q.MyClass

getClassForType

public Class<?> getClassForType(org.objectweb.asm.Type aType)

Loads class whose type is aType, without initializing it.

Parameters:

aType -