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 full name of a field, including its simple name and its enclosing class name.

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 / . ; [.

As an exception, the local name ".this" represents the this binding. It cannot be used to declare variables (in VarDefs or ParamDefs) but can be referred to with a VarRef.

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

The simple name of a field (excluding its enclosing class).

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

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