Names
Members list
Type members
Classlikes
The full name of a class.
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 / . ; [.
Attributes
- Companion
- object
- Supertypes
The name of a field.
The name of a field.
Field names must be non-empty, and can contain any Unicode code point except / . ; [.
Attributes
- Companion
- object
- Supertypes
The name of the label of a Labeled block.
The name of the label of a Labeled block.
Label names must be non-empty, and can contain any Unicode code point except / . ; [.
Attributes
- Companion
- object
- Supertypes
The name of a local variable or capture parameter.
The name of a local variable or capture parameter.
Local names must be non-empty, and can contain any Unicode code point except / . ; [.
Attributes
- Companion
- object
- Supertypes
Attributes
- Companion
- class
- Supertypes
- Self type
-
MethodName.type
The simple name of a method (excluding 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>.
Attributes
- Companion
- object
- Supertypes
Attributes
- Companion
- class
- Supertypes
- Self type
-
SimpleMethodName.type
Value members
Concrete fields
The exception thrown by a division by 0.
The exception thrown by a division by 0.
Attributes
The exception thrown by an ArraySelect that is out of bounds.
The exception thrown by an ArraySelect that is out of bounds.
Attributes
The exception thrown by an Assign(ArraySelect, ...) where the value cannot be stored.
The exception thrown by an Assign(ArraySelect, ...) where the value cannot be stored.
Attributes
The exception thrown by an AsInstanceOf that fails.
The exception thrown by an AsInstanceOf that fails.
Attributes
The class of things returned by ClassOf and GetClass.
The class of things returned by ClassOf and GetClass.
Attributes
Name of the class initializer method.
Name of the class initializer method.
Attributes
java.lang.Cloneable, which is an ancestor of array classes and is used by Clone.
java.lang.Cloneable, which is an ancestor of array classes and is used by Clone.
Attributes
ModuleID of the default module
ModuleID of the default module
Attributes
The set of all hijacked classes.
The set of all hijacked classes.
Attributes
The exception thrown by a NewArray(...) with a negative size.
The exception thrown by a NewArray(...) with a negative size.
Attributes
Name of a constructor without argument.
Name of a constructor without argument.
This is notably the signature of constructors of module classes.
Attributes
This is used to construct a java.lang.Class.
This is used to construct a java.lang.Class.
Attributes
java.lang.Object, the root of the class hierarchy.
java.lang.Object, the root of the class hierarchy.
Attributes
java.io.Serializable, which is an ancestor of array classes.
java.io.Serializable, which is an ancestor of array classes.
Attributes
Name of the static initializer method.
Name of the static initializer method.
Attributes
The exception thrown by a BinaryOp.String_charAt that is out of bounds.
The exception thrown by a BinaryOp.String_charAt that is out of bounds.
Attributes
The superclass of all throwables.
The superclass of all throwables.
This is the result type of WrapAsThrowable nodes, as well as the input type of UnwrapFromThrowable.