Package sootup.java.core.exceptions

Class ExceptionInferResult

java.lang.Object

sootup.java.core.exceptions.ExceptionInferResult

public class ExceptionInferResult
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	ExceptionInferResult.ErrorType
static class	ExceptionInferResult.ExceptionType

Constructor Summary

Constructors

Constructor	Description
ExceptionInferResult(Set<ClassType> exceptions)
ExceptionInferResult(ClassType exception)

Method Summary

Modifier and Type	Method	Description
protected ExceptionInferResult	addException(ClassType newException, TypeHierarchy typeHierarchy)
protected ExceptionInferResult	addExceptions(ExceptionInferResult newResult, TypeHierarchy typeHierarchy)
Set<ClassType>	getExceptions()

Methods inherited from class java.lang.Object

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

Constructor Details

ExceptionInferResult

public ExceptionInferResult(Set<ClassType> exceptions)

ExceptionInferResult

public ExceptionInferResult(ClassType exception)

Method Details

getExceptions

public Set<ClassType> getExceptions()

addException

protected ExceptionInferResult addException(ClassType newException,
 TypeHierarchy typeHierarchy)

addExceptions

protected ExceptionInferResult addExceptions(ExceptionInferResult newResult,
 TypeHierarchy typeHierarchy)