クラス CodeFlow

メソッドの詳細

• loadTarget

  public void loadTarget(MethodVisitor mv)

  バイトコードをプッシュしてターゲットをロードします（つまり、CompiledExpression.getValue（target、context）の最初の引数として渡されたもの）

  パラメーター:

  mv - ロード命令を挿入するメソッドビジター

• loadEvaluationContext

  public void loadEvaluationContext(MethodVisitor mv)

  バイトコードをプッシュして EvaluationContext（コンパイルされた式メソッドに渡される 2 番目のパラメーター）をロードします。

  パラメーター:

  mv - ロード命令を挿入するメソッドビジター

  導入:

  4.3.4

• pushDescriptor

  public void pushDescriptor(@Nullable StringSE descriptor)

  最後に評価された式要素の記述子を記録します。

  パラメーター:

  descriptor - 最近評価された要素の型記述子

• enterCompilationScope

  public void enterCompilationScope()

  通常はネストされた式の評価により、新しいコンパイルスコープを入力します。たとえば、メソッド呼び出し式の引数が評価されている場合、各引数は新しいスコープで評価されます。

• exitCompilationScope

  public void exitCompilationScope()

  通常、ネストされた式が評価された後で、コンパイルスコープを終了します。たとえば、メソッド呼び出しの引数が評価された後、このメソッドは以前の（外部）スコープに戻ります。

• lastDescriptor

  public @Nullable StringSE lastDescriptor()

  現在スタックの最上位にある（現在のスコープ内の）アイテムの記述子を返します。

• unboxBooleanIfNecessary

  public void unboxBooleanIfNecessary(MethodVisitor mv)

  コードフローが java.lang.Boolean に評価された最後の式を示している場合は、必要な命令を挿入して、ブールプリミティブにボックス化します。

  パラメーター:

  mv - 新しい命令を挿入するメソッドビジター

• finish

  public void finish()

  メインの式評価メソッドが生成された後に呼び出されるこのメソッドは、登録されている FieldAdders または ClinitAdders をコールバックして、コンパイルされた式を表すクラスに追加情報を追加します。

• registerNewField

  public void registerNewField(CodeFlow.FieldAdder fieldAdder)

  AST ノードのプライマリ generateCode() メソッドによって生成されたコードをサポートするために、生成されたクラスに新しいフィールドを追加する FieldAdder を登録します。

• registerNewClinit

  public void registerNewClinit(CodeFlow.ClinitAdder clinitAdder)

  生成されたクラスの静的初期化子にコードを追加して、AST ノードのプライマリ generateCode() メソッドによって生成されたコードをサポートする ClinitAdder を登録します。

• nextFieldId

  public int nextFieldId()

• nextFreeVariableId

  public int nextFreeVariableId()

• getClassName

  public StringSE getClassName()

• generateCodeForArgument

  public void generateCodeForArgument(MethodVisitor methodVisitor, SpelNode argument, ClassSE<?> requiredType)

  指定された引数をスタックにロードするバイトコードを生成します。

  指定された requiredType の記述子を使用して generateCodeForArgument(MethodVisitor, SpelNode, String) に委譲します。

  このメソッドは、スタック上の引数の型が指定された requiredType と一致することを確認するために必要なボックス化、アンボックス化、チェックキャストも実行します。

  AST 内のノードがコンストラクターまたはメソッド呼び出しの引数として使用される場合は、このメソッドを使用します。例: バイトコード内での実際のメソッド呼び出しで int 型である必要がある indexNode を使用してメソッドを呼び出す場合は、codeFlow.generateCodeForArgument(methodVisitor, indexNode, int.class) を呼び出します。

  パラメーター:

  methodVisitor - コードが生成される ASM MethodVisitor

  argument - メソッドまたはコンストラクターへの引数を表す SpelNode

  requiredType - 対応するコンストラクターまたはメソッドを呼び出すときに引数に必要な型

  導入:

  6.2

  関連事項:

  • generateCodeForArgument(MethodVisitor, SpelNode, String)

• generateCodeForArgument

  public void generateCodeForArgument(MethodVisitor methodVisitor, SpelNode argument, StringSE requiredTypeDesc)

  指定された引数をスタックにロードするバイトコードを生成します。

  このメソッドは、スタック上の引数の型が指定された requiredTypeDesc と一致することを確認するために必要なボックス化、アンボックス化、チェックキャストも実行します。

  AST 内のノードがコンストラクターまたはメソッド呼び出しの引数として使用される場合は、このメソッドを使用します。例: バイトコード内での実際のメソッド呼び出しで int 型である必要がある indexNode を使用してメソッドを呼び出す場合は、codeFlow.generateCodeForArgument(methodVisitor, indexNode, "I") を呼び出します。

  パラメーター:

  methodVisitor - コードが生成される ASM MethodVisitor

  argument - メソッドまたはコンストラクターへの引数を表す SpelNode

  requiredTypeDesc - 対応するコンストラクターまたはメソッドを呼び出すときに必要な引数の型の記述子

  導入:

  6.2

  関連事項:

  • generateCodeForArgument(MethodVisitor, SpelNode, Class)
  • toDescriptor(Class)

• insertUnboxInsns

  public static void insertUnboxInsns(MethodVisitor mv, char ch, @Nullable StringSE stackDescriptor)

  ボックス型からプリミティブ値に変換するために必要なキャストと値の呼び出しを挿入します。

  パラメーター:

  mv - 命令を挿入するメソッドビジター

  ch - 出力として必要なプリミティブ型

  stackDescriptor - スタックの一番上の型の記述子

• insertUnboxNumberInsns

  public static void insertUnboxNumberInsns(MethodVisitor mv, char targetDescriptor, @Nullable StringSE stackDescriptor)

  数値の場合は、適切なメソッドを使用して、リクエストされたプリミティブ型に変換します。

  パラメーター:

  mv - 命令を挿入するメソッドビジター

  targetDescriptor - 出力として必要なプリミティブ型

  stackDescriptor - スタックの一番上の型の記述子

• insertAnyNecessaryTypeConversionBytecodes

  public static void insertAnyNecessaryTypeConversionBytecodes(MethodVisitor mv, char targetDescriptor, StringSE stackDescriptor)

  スタックの内容と目的のターゲット型に基づいて、必要な数値変換バイトコードを挿入します。

  パラメーター:

  mv - 指示が配置されるメソッドビジター

  targetDescriptor - ターゲット型の（プリミティブ）記述子

  stackDescriptor - スタックの最上位のオペランドの記述子

• createSignatureDescriptor

  public static StringSE createSignatureDescriptor(MethodSE method)

  メソッドの JVM シグニチャー記述子を作成します。これは、括弧で囲まれたメソッドパラメーターの記述子で構成され、その後に戻りの型の記述子が続きます。ここでの記述子は JVM 記述子であることに注意してください。コンパイラーが使用している他の記述子形式とは異なり、末尾のセミコロンは含まれていません。

  パラメーター:

  method - メソッド

  戻り値:

  文字列署名記述子 (例: "(ILjava/lang/String;)V")

• createSignatureDescriptor

  public static StringSE createSignatureDescriptor(ConstructorSE<?> ctor)

  コンストラクターの JVM シグニチャー記述子を作成します。これは、括弧で囲まれたコンストラクターパラメーターの記述子と、それに続く戻り型の記述子（常に "V" ）で構成されます。ここでの記述子は JVM 記述子であることに注意してください。コンパイラーが使用している他の記述子形式とは異なり、末尾のセミコロンは含まれていません。

  パラメーター:

  ctor - コンストラクター

  戻り値:

  文字列署名記述子 (例: "(ILjava/lang/String;)V")

• toJvmDescriptor

  public static StringSE toJvmDescriptor(ClassSE<?> clazz)

  指定されたクラスの JVM 記述子を決定します。コンパイルプロセスで使用される他の記述子とは異なり、これは JVM が必要とする記述子であるため、必要な末尾のセミコロンが含まれます。(たとえば、Ljava/lang/String; ではなく、Ljava/lang/String)

  パラメーター:

  clazz - クラス

  戻り値:

  クラスの JVM 記述子

• toDescriptorFromObject

  public static StringSE toDescriptorFromObject(@Nullable ObjectSE value)

  オブジェクトインスタンス（または null）の記述子を決定します。

  パラメーター:

  value - オブジェクト (おそらく null)

  戻り値:

  オブジェクトの型記述子 (null 値の記述子は "Ljava/lang/Object" です)

• isBooleanCompatible

  @Contract("null -> false") public static boolean isBooleanCompatible(@Nullable StringSE descriptor)

  記述子がブールプリミティブ型かブール参照型かを判別します。

  パラメーター:

  descriptor - 型記述子

  戻り値:

  記述子がブール互換である場合は true 

• isPrimitive

  @Contract("null -> false") public static boolean isPrimitive(@Nullable StringSE descriptor)

  記述子がプリミティブ型または void 用であるかどうかを判断します。

  パラメーター:

  descriptor - 型記述子

  戻り値:

  プリミティブ型の場合は true、または void

• isPrimitiveArray

  @Contract("null -> false") public static boolean isPrimitiveArray(@Nullable StringSE descriptor)

  記述子がプリミティブ配列用であるかどうかを判断します (たとえば、"[[I" )。

  パラメーター:

  descriptor - 可能なプリミティブ配列の記述子

  戻り値:

  true （記述子がプリミティブ配列の場合）

• areBoxingCompatible

  public static boolean areBoxingCompatible(StringSE desc1, StringSE desc2)

  ボクシング / アンボクシングが 1 つの型から別の型に移行できるかどうかを決定します。

  型の少なくとも 1 つがボックス化された形式 (つまり、単一の char 記述子) であると想定します。

  戻り値:

  1 つの記述子から別の記述子に（ボクシングを介して）取得できる場合は true 

• isPrimitiveOrUnboxableSupportedNumberOrBoolean

  @Contract("null -> false") public static boolean isPrimitiveOrUnboxableSupportedNumberOrBoolean(@Nullable StringSE descriptor)

  提供された記述子がサポートされている数値型またはブール値用であるかどうかを判別してください。コンパイルプロセスは、（現在のところ）特定の数値型のみをサポートしています。これらは double、float、long、int です。

  パラメーター:

  descriptor - 型の記述子

  戻り値:

  true （記述子がサポートされている数値型またはブール値用である場合）

• isPrimitiveOrUnboxableSupportedNumber

  @Contract("null -> false") public static boolean isPrimitiveOrUnboxableSupportedNumber(@Nullable StringSE descriptor)

  指定された記述子がサポートされている数値用かどうかを判別してください。コンパイルプロセスは、（現在のところ）特定の数値型のみをサポートしています。これらは double、float、long、int です。

  パラメーター:

  descriptor - 型の記述子

  戻り値:

  記述子がサポートされている数値型用である場合は true 

• isIntegerForNumericOp

  public static boolean isIntegerForNumericOp(NumberSE number)

  指定された数値が、バイトコードレベルでの数値演算の目的で整数と見なされるかどうかを決定します。

  パラメーター:

  number - チェックする数

  戻り値:

  IntegerSE、ShortSE、ByteSE の場合は true 

• toPrimitiveTargetDesc

  public static char toPrimitiveTargetDesc(StringSE descriptor)

  型記述子を 1 文字のプリミティブ記述子に変換します。

  パラメーター:

  descriptor - プリミティブ表現が必要な型の記述子

  戻り値:

  プリミティブ入力記述子の単一文字記述子

• insertCheckCast

  public static void insertCheckCast(MethodVisitor mv, @Nullable StringSE descriptor)

  提供された記述子に適切な CHECKCAST 命令を挿入します。

  パラメーター:

  mv - 命令を挿入するメソッドビジター

  descriptor - キャストする型の記述子

• insertBoxIfNecessary

  public static void insertBoxIfNecessary(MethodVisitor mv, @Nullable StringSE descriptor)

  特定の型に適切なボクシング指示を決定し（ボクシングが必要な場合）、指示を提供されたビジターに挿入します。

  パラメーター:

  mv - 新しい命令のメソッドビジター

  descriptor - ボクシングが必要かどうかにかかわらず、型の記述子

• insertBoxIfNecessary

  public static void insertBoxIfNecessary(MethodVisitor mv, char ch)

  特定の型に適切なボクシング指示を決定し（ボクシングが必要な場合）、指示を提供されたビジターに挿入します。

  パラメーター:

  mv - 新しい命令のメソッドビジター

  ch - ボクシングが必要になる可能性がある型の記述子

• toDescriptor

  public static StringSE toDescriptor(ClassSE<?> type)

  型の記述子を推定します。ディスクリプタは JVM 型名に似ていますが、末尾の ";" がありません。Object の場合、記述子は "Ljava/lang/Object" で、int の場合は "I" です。

  パラメーター:

  type - 記述子を決定する型（プリミティブの場合があります）

  戻り値:

  記述子

• toParamDescriptors

  public static StringSE[] toParamDescriptors(MethodSE method)

  指定されたメソッドのパラメーター型を表す記述子の配列を作成します。パラメーターがない場合は、サイズがゼロの配列を返します。

  パラメーター:

  method - メソッド

  戻り値:

  ディスクリプタの文字列配列、メソッドパラメーターごとに 1 つのエントリ

• toParamDescriptors

  public static StringSE[] toParamDescriptors(ConstructorSE<?> ctor)

  指定されたコンストラクターのパラメーター型を表す記述子の配列を作成します。パラメーターがない場合は、サイズがゼロの配列を返します。

  パラメーター:

  ctor - コンストラクター

  戻り値:

  ディスクリプタの文字列配列、各コンストラクターパラメーターに 1 つのエントリ

• toDescriptors

  public static StringSE[] toDescriptors(ClassSE<?>[] types)

  クラスの配列から記述子の配列を作成します。

  パラメーター:

  types - クラスの入力配列

  戻り値:

  記述子の配列

• insertOptimalLoad

  public static void insertOptimalLoad(MethodVisitor mv, int value)

  スタックに数値をロードするための最適な命令を作成します。

  パラメーター:

  mv - バイトコードを挿入する場所

  value - ロードする値

• insertArrayStore

  public static void insertArrayStore(MethodVisitor mv, StringSE arrayComponentType)

  スタック項目を配列に格納するための適切なバイトコードを生成します。

  使用する命令は、型がプリミティブ型か参照型かによって異なります。

  パラメーター:

  mv - バイトコードを挿入する場所

  arrayComponentType - 配列のコンポーネント型

• arrayCodeFor

  public static int arrayCodeFor(StringSE arrayType)

  NEWARRAY バイトコードに使用する適切な T タグを決定します。

  パラメーター:

  arrayType - 配列プリミティブコンポーネント型

  戻り値:

  NEWARRAY に使用する T タグ

• isReferenceTypeArray

  public static boolean isReferenceTypeArray(StringSE arrayType)

  指定された配列型にコアコンポーネント参照型があるかどうかを返します。

• insertNewArrayCode

  public static void insertNewArrayCode(MethodVisitor mv, int size, StringSE arrayType)

  正しいバイトコードを生成して配列を構築します。使用するオペコードと、オペコードとともに渡すシグネチャーは、配列型のシグネチャーによって異なります。

  パラメーター:

  mv - コードを挿入するメソッドビジター

  size - 配列のサイズ

  arrayType - 配列の型

• insertNumericUnboxOrPrimitiveTypeCoercion

  public static void insertNumericUnboxOrPrimitiveTypeCoercion(MethodVisitor mv, @Nullable StringSE stackDescriptor, char targetDescriptor)

  数学演算子で使用するために、スタック上の（おそらくボックス化された）数値からプリミティブ数値型への変換を処理します。

  例: Integer から double へは、'Number.doubleValue()' を呼び出す必要があるだけですが、int から double へは、バイトコード 'i2d' を使用する必要があります。

  パラメーター:

  mv - 指示を追加する必要がある場合のメソッドビジター

  stackDescriptor - スタック上のオペランドの記述子

  targetDescriptor - プリミティブ型記述子

• toBoxedDescriptor

  public static StringSE toBoxedDescriptor(StringSE primitiveDescriptor)