Names

The full name of a class.

A class name is non-empty sequence of .-separated simple names, where each simple name must be non-empty and can contain any Unicode code point except / . ; [.

The name of a field.

Field names must be non-empty, and can contain any Unicode code point except / . ; [.

The name of the label of a Labeled block.

Label names must be non-empty, and can contain any Unicode code point except / . ; [.

The name of a local variable or capture parameter.

Local names must be non-empty, and can contain any Unicode code point except / . ; [.

The full name of a method, including its simple name and its signature.

The simple name of a method (excluding its signature).

Simple names must be non-empty, and can contain any Unicode code point except / . ; [. In addition, they must not contain the code point < unless they are one of <init>, <stinit> or <clinit>.

The exception thrown by a division by 0.

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

The excpetion 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.

Name of a constructor without argument.

This is notably the signature of constructors of module classes.

This is used to construct a java.lang.Class.

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

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

Name of the static initializer method.