com.oracle.svm.core.util

Class UserError

java.lang.Object

com.oracle.svm.core.util.UserError

public class UserError
extends Object

SVM mechanism for handling user errors and warnings that should be reported to the command line.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	UserError.UserException UserException type for all errors that should be reported to the SVM users.

Constructor Summary

Constructors

Constructor and Description
UserError()

Method Summary

Modifier and Type	Method and Description
static UserError.UserException	abort(Iterable<String> messages) Stop compilation immediately and report the message to the user.
static UserError.UserException	abort(String format, Object... args) Stop compilation immediately and report the message to the user.
static UserError.UserException	abort(Throwable cause, String format, Object... args) Stop compilation immediately and report the message to the user.
static Object[]	formatArguments(Object... args) Processes args to convert selected values to strings.
static void	guarantee(boolean condition, String format, Object... args) Concisely reports user errors.

Methods inherited from class java.lang.Object

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

Constructor Detail

UserError

public UserError()

Method Detail

abort

public static UserError.UserException abort(String format,
                                            Object... args)

Stop compilation immediately and report the message to the user.

Parameters:

format - format string

args - arguments for the format string that are preprocessed before being sent to String.format(String, Object...)

abort

public static UserError.UserException abort(Throwable cause,
                                            String format,
                                            Object... args)

Stop compilation immediately and report the message to the user.

Parameters:

cause - the exception that caused the abort.

format - format string

args - arguments for the format string that are preprocessed before being sent to String.format(String, Object...)

guarantee

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

Concisely reports user errors.

Parameters:

format - format string

args - arguments for the format string that are preprocessed before being sent to String.format(String, Object...)

formatArguments

public static Object[] formatArguments(Object... args)

Processes args to convert selected values to strings.

• A ResolvedJavaType is converted with JavaType.toJavaName() (true).
• A ResolvedJavaMethod is converted with JavaMethod.format(java.lang.String) ("%H.%n($p)").
• A ResolvedJavaField is converted with JavaField.format(java.lang.String) ("%H.%n").

All other values are copied to the returned array unmodified.

Parameters:

args - arguments to process

Returns:

a copy of args with certain values converted to strings as described above

abort

public static UserError.UserException abort(Iterable<String> messages)

Stop compilation immediately and report the message to the user.

Parameters:

messages - the error message to be reported to the user.