String
A character string.
Values of this type correspond to instances of java.lang.String and are
compiled as global arrays of UTF-16 characters. Use ByteString to
represent C-string literals.
Value members
Inherited methods
true iff this is a numerical value equal to "-1".
true iff this is a numerical value equal to "-1".
- Inherited from:
- Val
true iff this is the value "1" in its type.
true iff this is the value "1" in its type.
- Inherited from:
- Val
true iff this is the maximum value of a signed numerical type.
true iff this is the maximum value of a signed numerical type.
- Inherited from:
- Val
true iff this is the minimum value of a signed numerical type.
true iff this is the minimum value of a signed numerical type.
- Inherited from:
- Val
true iff this is the maximum value of an unsigned numerical type.
true iff this is the maximum value of an unsigned numerical type.
- Inherited from:
- Val
true iff this is the minimum value of an unsigned numerical type.
true iff this is the minimum value of an unsigned numerical type.
- Inherited from:
- Val
true iff this represents a virtual value.
true iff this represents a virtual value.
- Inherited from:
- Val
true iff this is the "zero" value of its type.
true iff this is the "zero" value of its type.
- Inherited from:
- Val