WellKnownNames

The exception thrown by a division by 0.

The exception thrown by an ArraySelect that is out of bounds.

The exception thrown by an Assign(ArraySelect, ...) where the value cannot be stored.

Map from hijacked classes to their respective primitive types.

The exception thrown by an AsInstanceOf that fails.

The class of things returned by ClassOf and GetClass.

Name of the class initializer method.

java.lang.Cloneable, which is an ancestor of array classes and is used by Clone.

ModuleID of the default module

The set of all hijacked classes.

The exception thrown by a Class_newArray if the first argument is classOf[Unit].

The exception thrown by a NewArray(...) with a negative size.

Name of a constructor without argument.

This is notably the signature of constructors of module classes.

The exception thrown by a variety of nodes for null arguments.

• Apply and ApplyStatically for the receiver,
• Select for the qualifier,
• ArrayLength and ArraySelect for the array,
• GetClass, Clone and UnwrapFromException for their respective only arguments.

java.lang.Object, the root of the class hierarchy.

ClassRef(ObjectClass).

Map from primitive types to their respective boxed (hijacked) classes.

java.io.Serializable, which is an ancestor of array classes.

Name of the static initializer method.

The exception thrown by a BinaryOp.String_charAt that is out of bounds.

The superclass of all throwables.

This is the result type of WrapAsThrowable nodes, as well as the input type of UnwrapFromThrowable.