com.oracle.graal.pointsto.util

Class AnalysisError

java.lang.Object

java.lang.Throwable

java.lang.Error

com.oracle.graal.pointsto.util.AnalysisError

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

AnalysisError.FieldNotPresentError, AnalysisError.InterruptAnalysis, AnalysisError.ParsingError, AnalysisError.TypeNotFoundError, AnalysisError.UserError

public class AnalysisError
extends Error

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	AnalysisError.FieldNotPresentError
static class	AnalysisError.InterruptAnalysis
static class	AnalysisError.ParsingError Thrown when the analysis parsing encounters an error.
static class	AnalysisError.TypeNotFoundError Thrown when the analysis is sealed if a type that was not discovered during the analysis is requested.
static class	AnalysisError.UserError Thrown when the analysis is misused.

Method Summary

Modifier and Type	Method and Description
static AnalysisError.FieldNotPresentError	fieldNotPresentError(PointsToAnalysis bb, TypeFlow<?> objectFlow, BytecodePosition context, AnalysisField field, AnalysisType type)
static void	guarantee(boolean condition)
static void	guarantee(boolean condition, String format, Object... args)
static RuntimeException	interruptAnalysis(String msg)
static AnalysisError.ParsingError	parsingError(AnalysisMethod method, Throwable original)
static RuntimeException	shouldNotReachHere(String msg)
static RuntimeException	shouldNotReachHere(String msg, Throwable cause)
static RuntimeException	shouldNotReachHere(Throwable cause)
static RuntimeException	shouldNotReachHereUnexpectedInput(Object input)
static AnalysisError.TypeNotFoundError	typeNotFound(ResolvedJavaType type)
static AnalysisError.UserError	userError(String message)

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

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

Method Detail

typeNotFound

public static AnalysisError.TypeNotFoundError typeNotFound(ResolvedJavaType type)

parsingError

public static AnalysisError.ParsingError parsingError(AnalysisMethod method,
                                                      Throwable original)

userError

public static AnalysisError.UserError userError(String message)

fieldNotPresentError

public static AnalysisError.FieldNotPresentError fieldNotPresentError(PointsToAnalysis bb,
                                                                      TypeFlow<?> objectFlow,
                                                                      BytecodePosition context,
                                                                      AnalysisField field,
                                                                      AnalysisType type)

shouldNotReachHereUnexpectedInput

public static RuntimeException shouldNotReachHereUnexpectedInput(Object input)

shouldNotReachHere

public static RuntimeException shouldNotReachHere(String msg)

shouldNotReachHere

public static RuntimeException shouldNotReachHere(Throwable cause)

shouldNotReachHere

public static RuntimeException shouldNotReachHere(String msg,
                                                  Throwable cause)

guarantee

public static void guarantee(boolean condition)

guarantee

public static void guarantee(boolean condition,
                             String format,
                             Object... args)

interruptAnalysis

public static RuntimeException interruptAnalysis(String msg)