(クラス)
public abstract sealed Type
{inherits
TypeInfo}
can-be-null?: | この型が値に null を使用できる場合は true、その他の場合は false になります。 |
フィールド public-get hidden-set Type.can-be-null?:
bool
class?: | この型がクラスである (メソッドを持っている) 場合は true、その他の場合は false になります。 |
アクセサ public final inline Type.class?:
bool
アクセサ public sealed Type.keyword-type-parameters:{
FastArray-of KeywordTypeParameter}
アクセサ public final Type.non-null-variant:#
Type
アクセサ public final Type.null-variant:#
Type
アクセサ public sealed Type.positional-type-parameters:{
FastArray-of PositionalTypeParameter}
primitive?: | この型がプリミティブの場合 (数値、char、bool、any、void) または true、その他の場合は false になります。 |
アクセサ public final Type.primitive?:
bool
フィールド public-get hidden-set Type.takes-rest-args?:
bool
template: | パラメータ化される場合はこの型のテンプレート、その他の場合は null になります。 |
public abstract sealed | {Type.subtype-of? t:Type}:bool |
(フィールド)
public-get hidden-set Type.can-be-null?:
bool この型が値に null を使用できる場合は true、その他の場合は false になります。
説明
#T 型の場合これは true になり、T または null
を意味します。
注意事項
(アクセサ)
アクセサ public final inline Type.class?:
bool この型がクラスである (メソッドを持っている) 場合は true、その他の場合は false になります。
注意事項
(アクセサ)
アクセサ public sealed Type.keyword-type-parameters:{
FastArray-of KeywordTypeParameter}
(アクセサ)
この型で表現される KindOfUnits (物理的またはグラフィックの寸法)。これが数値型の場合のみ意味を持ちます。
注意事項
(アクセサ)
アクセサ public final Type.non-null-variant:#
Type この型の非 null バリアント。
説明
#T の非 null バリアントは T です。
(アクセサ)
アクセサ public final Type.null-variant:#
Type この型の null バリアント。
説明
T の null バリアントは #T で、その他の場合は T です。
(アクセサ)
アクセサ public sealed Type.positional-type-parameters:{
FastArray-of PositionalTypeParameter}
(アクセサ)
アクセサ public final Type.primitive?:
bool この型がプリミティブの場合 (数値、char、bool、any、void) または true、その他の場合は false になります。
(フィールド)
public-get hidden-set Type.takes-rest-args?:
bool これが残余 (...) 引数を受ける ProcType の場合は true、その他の場合は false になります。
注意事項
(アクセサ)
パラメータ化される場合はこの型のテンプレート、その他の場合は null になります。
注意事項
(メソッド)
public abstract sealed | {Type.subtype-of? t:Type}:bool |
self が、指定された Type のサブタイプかどうかを特定します。
t:
self との比較の際に使用される
Type。
戻り値
bool。このメソッドは、
self がサブタイプ
t である場合に
true を返します。それ以外の場合は、
false を返します。
説明
self 型の任意のインスタンスを、表現を変更しなくても t 型の変数に格納できる場合、self は t のサブタイプです。
注意事項
以下に注意してください。
- どの型もそれ自体のサブタイプです。
- すべての型は、any 型のサブタイプです。
- define-class を使用して作成されたすべての型は、その直接および間接の基本クラス (Object を含む) のサブタイプです。
- すべての型 t は、その NULL のバリアント型 #t のサブタイプです。
- 整数型は、その値が適合する場合でもそれより大きい整数型のサブタイプとは見なされません。これは、同じ表現を持たないからです。たとえば、int8 は、int のサブタイプではありません。その表現で使用するビット数が異なるからです。
注意事項