Package pascal.taie

Class AbstractWorldBuilder

java.lang.Object

pascal.taie.AbstractWorldBuilder

All Implemented Interfaces:

WorldBuilder

Direct Known Subclasses:

SootWorldBuilder

public abstract class AbstractWorldBuilder
extends Object
implements WorldBuilder

Common functionality for WorldBuilder implementations.

Field Summary

Fields

Modifier and Type	Field	Description
protected static final List<String>	implicitEntries
protected static final String	JREs

Constructor Summary

Constructors

Constructor	Description
AbstractWorldBuilder()

Method Summary

Modifier and Type	Method	Description
protected static String	getClassPath(Options options)
protected static List<String>	getInputClasses(Options options)	Obtains all input classes specified in options.
protected static NativeModel	getNativeModel(TypeSystem typeSystem, ClassHierarchy hierarchy, Options options)

Methods inherited from class java.lang.Object

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

Methods inherited from interface pascal.taie.WorldBuilder

build

Field Details

JREs

protected static final String JREs

See Also:

• Constant Field Values

implicitEntries

protected static final List<String> implicitEntries

Constructor Details

AbstractWorldBuilder

public AbstractWorldBuilder()

Method Details

getClassPath

protected static String getClassPath(Options options)

getNativeModel

protected static NativeModel getNativeModel(TypeSystem typeSystem,
 ClassHierarchy hierarchy,
 Options options)

getInputClasses

protected static List<String> getInputClasses(Options options)

Obtains all input classes specified in options.