org.ashikunep.irenka.toolkit
インタフェース TypeConversions

すべてのスーパーインタフェース:

Tool

public interface TypeConversions
extends Tool

型の関係や変換に関する処理を行う。 Java Language Specification 3nd. Section 4 and Section 5.

バージョン:

$Date: 2008-02-12 12:35:47 +0900 (火, 12 2月 2008) $

作成者:

Suguru ARAKAWA (Gluegent, Inc.)

メソッドの概要

CtType<?>	binaryNumericPromotion(CtType<?> leftType, CtType<?> rightType) 二項の数値格上げを行う。
TypeConversions	borrow() このツールを借りる。
<T> CtClass<T>	boxing(CtType<T> type) この型にボクシング変換を適用した型を返す。
CtType<?>	capture(CtType<?> type, CtType<?> context) a -> bの取得変換(捕捉変換)が可能である場合にのみtrueを返す。
boolean	contains(CtType<?> a, CtType<?> b) b <= aが成り立つ場合にのみtrueを返す。
CtType<?>	erasure(CtType<?> type) この型のイレイジャを返す。
CtType<?>	greatestLowerBound(Collection<? extends CtType<?>> bounds) 指定された境界の最大の下界を返す。
CtDeclaredType<?>	invocation(CtDeclaredType<?> source, CtDeclaredType<?> superType) superTypeと同じ宣言を持つsourceのスーパータイプのうち、型を消去していない状態のものを返す。
boolean	isAssignmentConvertable(CtType<?> a, CtType<?> b) a -> bの代入変換が可能である場合にのみtrueを返す。
boolean	isBoxingConvertable(CtType<?> a, CtType<?> b) a -> bのボクシング変換が可能である場合にのみtrueを返す。
boolean	isCaptureConvertable(CtType<?> a, CtType<?> b) a -> bの取得変換(捕捉変換)が可能である場合にのみtrueを返す。
boolean	isIdentityConvertable(CtType<?> a, CtType<?> b) a = bの恒等変換が可能である場合にのみtrueを返す。
boolean	isNarrowingPrimitiveConvertable(CtType<?> a, CtType<?> b) a -> bのプリミティブ型ナローイング変換が可能である場合にのみtrueを返す。
boolean	isRaw(CtType<?> type) この型が未加工型、または非総称化型である場合にのみtrueを返す。
boolean	isReifiable(CtType<?> type) この型が具象化可能型である場合にのみtrueを返す。
boolean	isStringConvertable(CtType<?> type) type -> java.lang.Stringの文字列変換が可能である場合にのみtrueを返す。
boolean	isSubtype(CtType<?> a, CtType<?> b) a < bが成り立つ場合にのみtrueを返す。
boolean	isUnboxingConvertable(CtType<?> a, CtType<?> b) a -> bのアンボクシング変換が可能である場合にのみtrueを返す。
boolean	isUncheckedConvertable(CtType<?> a, CtType<?> b) a -> bの未チェック変換が可能である場合にのみtrueを返す。
boolean	isWideningAndNarrowingPrimitiveConvertable(CtType<?> a, CtType<?> b) a -> bのプリミティブ型ナローイング変換とワイドニング変換を組み合わせた変換が可能である場合にのみtrueを返す。
boolean	isWideningPrimitiveConvertable(CtType<?> a, CtType<?> b) a -> bのプリミティブ型ワイドニング変換が可能である場合にのみtrueを返す。
boolean	isWideningReferenceConvertable(CtType<?> a, CtType<?> b) a -> bの参照型ワイドニング変換が可能である場合にのみtrueを返す。
CtType<?>	leastUpperBound(Collection<? extends CtType<?>> bounds) 指定された境界の最小の上界を返す。
CtDeclaredType<?>	raw(CtDeclaredType<?> type) この型の未加工型を返す。
CtType<?>	unaryNumericPromotion(CtType<?> type) 単項の数値格上げを行う。
<T> CtType<T>	unboxing(CtType<T> type) この型にアンボクシング変換を適用した型を返す。

メソッドの詳細

contains

boolean contains(CtType<?> a,
                 CtType<?> b)

b <= aが成り立つ場合にのみtrueを返す。

• T <: S => ? extends T <= ? extends S
• S <: T => ? super T <= ? super S
• T <= T
• T <= ? extends T
• T <= ? super T

4.5.1.1 Type Argument Containment and Equivalence.

パラメータ:

a - 包括するべき型

b - 包括されるべき型

戻り値:

a <= bが成り立つ場合にのみtrue

isReifiable

boolean isReifiable(CtType<?> type)

この型が具象化可能型である場合にのみtrueを返す。

• 非総称化型
• 総称化型で G<?, ...,?>
• 未加工型 (isRaw(CtType))
• プリミティブ型
• 具象化可能型を要素型に持つ配列型

4.7 Reifiable Types

パラメータ:

type - 対象の型

戻り値:

具象化可能型である場合にのみtrue

isRaw

boolean isRaw(CtType<?> type)

この型が未加工型、または非総称化型である場合にのみtrueを返す。 4.8 Raw Types

パラメータ:

type - 対象の型

戻り値:

未加工型である場合にのみtrue

isSubtype

boolean isSubtype(CtType<?> a,
                  CtType<?> b)

a < bが成り立つ場合にのみtrueを返す。 直接のサブタイプは次のように定義される。

• 4.10.1 Subtyping among Primitive Types
  • double >₁ float
  • float >₁ long
  • long >₁ int
  • int >₁ char
  • int >₁ short
  • short >₁ byte
• 4.10.2 Subtyping among Class and Interface Types
  • C.superClass >₁ C
  • C.superInterfaces[i] >₁ C
  • java.lang.Object >₁ I (Iはインターフェース, I.superInterfaces.empty)
  • G >₁ G<...>
  • i=1..nにおけるT_iが型である場合のC<T₁, ..., T_n>について：
    • C<F₁, ..., F_n> >₁ D<U₁, ..., U_k>, theta = [F₁:= T₁, ..., F_n:= T_n] => C<T₁, ..., T_n> >₁ D<U₁theta , ..., U_ktheta>
    • C<S₁, ..., S_n> >₁ C<T₁, ..., T_n>, i=1..nに対して T_i <= S_i
  • exists R_i: C<R₁, ..., R_n> (i=1..n), C<X₁, ..., X_n> = capture-of C<R₁, ..., R_n>, S >₁ C<X₁, ..., X_n> => S >₁ C<R₁, ..., R_n>
• Subtyping 4.9 Intersection Types
  • T_i >₁ T_i& ... & T_n (i=1..n)
• Subtyping 4.4 Type Variables
  • java.lang.Object >₁ <T>
  • B >₁ <T extends B>
  • T >₁ lower-bound-of T
• Subtyping null type
  • {X| X is reference-type, X <> null >₁ <null>
• 4.10.3 Subtyping among Array Types
  • S >₁ T <=> S[] >₁ T[] (S, Tは参照型)
  • java.lang.Object >₁ java.lang.Object[]
  • java.lang.Cloneable >₁ java.lang.Object[]
  • java.io.Serializable >₁ java.lang.Object[]
  • java.lang.Object >₁ p[] (pは任意のプリミティブ型)
  • java.lang.Cloneable >₁ p[] (pは任意のプリミティブ型)
  • java.io.Serializable >₁ p[] (pは任意のプリミティブ型)

4.10 Subtyping.

パラメータ:

a - サブタイプ

b - 親タイプ

戻り値:

a < bが成り立つ場合にのみtrue

isIdentityConvertable

boolean isIdentityConvertable(CtType<?> a,
                              CtType<?> b)

a = bの恒等変換が可能である場合にのみtrueを返す。 つまり、aとbが完全に同じ型である場合にのみtrueを返す。 5.1.1 Identity Conversions.

パラメータ:

a - 変換する型

b - 変換先の型

戻り値:

変換可能である場合にのみtrue

isWideningPrimitiveConvertable

boolean isWideningPrimitiveConvertable(CtType<?> a,
                                       CtType<?> b)

a -> bのプリミティブ型ワイドニング変換が可能である場合にのみtrueを返す。 次の19種類に限られる。

• byte -> short, int, long, float, or double
• short -> int, long, float, or double
• char -> int, long, float, or double
• int -> long, float, or double
• long -> float, or double
• float -> double

5.1.2 Widening Primitive Conversions.

パラメータ:

a - 変換する型

b - 変換先の型

戻り値:

変換可能である場合にのみtrue

isNarrowingPrimitiveConvertable

boolean isNarrowingPrimitiveConvertable(CtType<?> a,
                                        CtType<?> b)

a -> bのプリミティブ型ナローイング変換が可能である場合にのみtrueを返す。 次の22種類に限られる。

• short -> byte or char
• char -> byte or short
• int -> byte, short, or char
• long -> byte, short, char, or int
• float -> byte, short, char, int, or long
• double -> byte, short, char, int, long, or float

5.1.3 Narrowing Primitive Conversions.

パラメータ:

a - 変換する型

b - 変換先の型

戻り値:

変換可能である場合にのみtrue

isWideningAndNarrowingPrimitiveConvertable

boolean isWideningAndNarrowingPrimitiveConvertable(CtType<?> a,
                                                   CtType<?> b)

a -> bのプリミティブ型ナローイング変換とワイドニング変換を組み合わせた変換が可能である場合にのみtrueを返す。 次のものに限られる。

• byte -> char

この変換は、byte -(widening)> int -(narrowing)> char という過程で行われる。 5.1.4 Widening and Narrowing Primitive Conversions.

パラメータ:

a - 変換する型

b - 変換先の型

戻り値:

変換可能である場合にのみtrue

isWideningReferenceConvertable

boolean isWideningReferenceConvertable(CtType<?> a,
                                       CtType<?> b)

a -> bの参照型ワイドニング変換が可能である場合にのみtrueを返す。 bがaのサブタイプ(isSubtype(CtType, CtType))であれば変換可能である。 5.1.5 Widening Reference Conversions.

パラメータ:

a - 変換する型

b - 変換先の型

戻り値:

変換可能である場合にのみtrue

isBoxingConvertable

boolean isBoxingConvertable(CtType<?> a,
                            CtType<?> b)

a -> bのボクシング変換が可能である場合にのみtrueを返す。

• boolean -> java.lang.Boolean
• byte -> java.lang.Byte
• char -> java.lang.Character
• short -> java.lang.Short
• int -> java.lang.Integer
• long -> java.lang.Long
• float -> java.lang.Float
• double -> java.lang.Double

5.1.7 Boxing Conversions.

パラメータ:

a - 変換する型

b - 変換先の型

戻り値:

変換可能である場合にのみtrue

isUnboxingConvertable

boolean isUnboxingConvertable(CtType<?> a,
                              CtType<?> b)

a -> bのアンボクシング変換が可能である場合にのみtrueを返す。

• java.lang.Boolean -> boolean
• java.lang.Byte -> byte
• java.lang.Character -> char
• java.lang.Short -> short
• java.lang.Integer -> int
• java.lang.Long -> long
• java.lang.Float -> float
• java.lang.Double -> double

5.1.8 Unboxing Conversions.

パラメータ:

a - 変換する型

b - 変換先の型

戻り値:

変換可能である場合にのみtrue

isUncheckedConvertable

boolean isUncheckedConvertable(CtType<?> a,
                               CtType<?> b)

a -> bの未チェック変換が可能である場合にのみtrueを返す。

• G -> G<T₁, ..., T_n>

5.1.9 Unchecked Conversions.

パラメータ:

a - 変換する型

b - 変換先の型

戻り値:

変換可能である場合にのみtrue

isCaptureConvertable

boolean isCaptureConvertable(CtType<?> a,
                             CtType<?> b)

a -> bの取得変換(捕捉変換)が可能である場合にのみtrueを返す。 5.1.10 Capture Conversions.

パラメータ:

a - 変換する型

b - 変換先の型

戻り値:

変換可能である場合にのみtrue

isStringConvertable

boolean isStringConvertable(CtType<?> type)

type -> java.lang.Stringの文字列変換が可能である場合にのみtrueを返す。

• T <> java.lang.String => T -> java.lang.String

5.1.11 String Conversions

パラメータ:

type - 変換する型

戻り値:

変換可能である場合にのみtrue

isAssignmentConvertable

boolean isAssignmentConvertable(CtType<?> a,
                                CtType<?> b)

a -> bの代入変換が可能である場合にのみtrueを返す。 次の変換を利用できる。

• isIdentityConvertable(CtType, CtType)
• isWideningPrimitiveConvertable(CtType, CtType)
• isWideningReferenceConvertable(CtType, CtType)
• isBoxingConvertable(CtType, CtType)
• isUnboxingConvertable(CtType, CtType)

結果の型が未加工型となった場合、次の変換を連続して適用できる。

• isUncheckedConvertable(CtType, CtType)

定数変換も行う必要があるが、ここでは考慮しない。 5.2 Assignment Conversion.

パラメータ:

a - 変換する型

b - 変換先の型

戻り値:

変換可能である場合にのみtrue

erasure

CtType<?> erasure(CtType<?> type)

この型のイレイジャを返す。

• G<T₁, ..., T_n> -> |G|
• T.C -> |T|.C
• T[] -> |T|[]
• <T extends P₁ & ... & P_n -> |P₁| (leftmost one)
• _ -> _

4.6 Type Erasure.

パラメータ:

type - 対象の型

戻り値:

対象の型のイレイジャ

raw

CtDeclaredType<?> raw(CtDeclaredType<?> type)

この型の未加工型を返す。

• G<T₁, ..., T_n> -> G

4.8 Raw Types

パラメータ:

type - 対象の型

戻り値:

対象型の未加工型

boxing

<T> CtClass<T> boxing(CtType<T> type)

この型にボクシング変換を適用した型を返す。 5.1.7 Boxing Conversions.

型パラメータ:

T - 型

パラメータ:

type - 対象の型

戻り値:

対象の型にボクシング変換を適用した型、適用できない型が指定された場合にはnull

unboxing

<T> CtType<T> unboxing(CtType<T> type)

この型にアンボクシング変換を適用した型を返す。 5.1.8 Unboxing Conversions.

型パラメータ:

T - 型

パラメータ:

type - 対象の型

戻り値:

対象の型にアンボクシング変換を適用した型、適用できない型が指定された場合にはnull

capture

CtType<?> capture(CtType<?> type,
                  CtType<?> context)

a -> bの取得変換(捕捉変換)が可能である場合にのみtrueを返す。 5.1.10 Capture Conversions.

パラメータ:

type - 変換する型

context - 変換時の型コンテキスト

戻り値:

変換後の型

unaryNumericPromotion

CtType<?> unaryNumericPromotion(CtType<?> type)

単項の数値格上げを行う。

• 参照型である場合、先にアンボクシング変換を行う
• byte -> int
• short -> int
• char -> int
• int -> int
• long -> long
• float -> float
• double -> double

次のコンテキストで使用される。

• CtNewArray.getDimensions()
• CtArrayAccess.getIndex()
• CtUnary with UnaryOperator.PLUS
• CtUnary with UnaryOperator.MINUS
• CtUnary with UnaryOperator.COMPLEMENT
• CtInfix.getLeftOperand() with shift operation
• CtInfix.getRightOperand() with shift operation

5.6.1 Unary Numeric Promotion.

パラメータ:

type - 対象の型

戻り値:

変換後の型、適用できない型が指定された場合にはnull

binaryNumericPromotion

CtType<?> binaryNumericPromotion(CtType<?> leftType,
                                 CtType<?> rightType)

二項の数値格上げを行う。

• 参照型である場合、先にアンボクシング変換を行う
• (double, _) -> (double, double)
• (float, _) -> (float, float)
• (long, _) -> (long, long)
• (_, _) -> (int, int)

次のコンテキストで使用できる。

• InfixOperator.PLUS (文字列連結以外)
• InfixOperator.MINUS
• InfixOperator.TIMES
• InfixOperator.DIVIDE
• InfixOperator.REMAINDER
• InfixOperator.LESS
• InfixOperator.LESS_EQUALS
• InfixOperator.GREATER
• InfixOperator.GREATER_EQUALS
• InfixOperator.EQUALS (数値比較)
• InfixOperator.NOT_EQUALS (数値比較)
• InfixOperator.AND (boolean以外)
• InfixOperator.OR (boolean以外)
• InfixOperator.XOR (boolean以外)
• CtConditional (一部の状況)

5.6.2 Binary Numeric Promotion.

パラメータ:

leftType - 対象の左演算数が持つ型

rightType - 対象の右演算数が持つ型

戻り値:

格上げ後の型、適用できない型が指定された場合にはnull

invocation

CtDeclaredType<?> invocation(CtDeclaredType<?> source,
                             CtDeclaredType<?> superType)

superTypeと同じ宣言を持つsourceのスーパータイプのうち、型を消去していない状態のものを返す。 |superType<U₁theta, ..., U_ktheta>| :> |source<V₁, ..., V_n>|} (型を消去しているスーパータイプ), source<V₁, ..., V_n>[V₁:= X₁, ...,V_n:= X_n] である場合: superType<U₁, ..., U_k>, theta = replacement of [V₁:= X₁, ...,V_n:= X_n] となるようなパラメータ化されたsuperTypeを返す。 そうでない場合: nullを返す。

パラメータ:

source - 基点となる型

superType - イレイジャが|source|のスーパータイプとなる型

戻り値:

型パラメータの復元されたスーパータイプ、スーパータイプでない場合はnull

leastUpperBound

CtType<?> leastUpperBound(Collection<? extends CtType<?>> bounds)

指定された境界の最小の上界を返す。

パラメータ:

bounds - 境界のリスト

戻り値:

最小の上界

greatestLowerBound

CtType<?> greatestLowerBound(Collection<? extends CtType<?>> bounds)

指定された境界の最大の下界を返す。

パラメータ:

bounds - 境界のリスト

戻り値:

最大の下界

borrow

TypeConversions borrow()

インタフェース Tool の記述:

このツールを借りる。

定義:

インタフェース Tool 内の borrow

戻り値:

借りるツール