ディレクティブの記述

オプションはコンパイルに対する命令です。オプションは、メソッドに応じた精度を提供します。使用可能なオプションはコンパイラによって異なり、特定の値の型を必要とします。

個々のコンパイラ・ディレクティブは、ディレクティブ・ファイルに記述します。アクティブなディレクティブのスタックに追加できるのはディレクティブ・ファイルのみで、個々のディレクティブは追加できません。

1. .json拡張子を使用してファイルを作成します。ディレクティブ・ファイルは、JSON構文のサブセットを使用して記述し、若干の追加と変更を行います。
2. 作業のベースとなるテンプレートとして次の構文を挿入します。

   [  //Array of Directives
       {   //Directive Block
           //Directive 1
       },
       {   //Directive Block
           //Directive 2
       },
   ]

   このテンプレートの構成要素は次のとおりです。

   ディレクティブの配列:

   • ディレクティブ・ファイルはディレクティブ・ブロックの配列を格納します。この配列は1対のカッコ([])で示されます。

   • ファイルに含まれるディレクティブ・ブロックが1つのみの場合、カッコはオプションです。

   ディレクティブ・ブロック:

   • 1つのブロックは1対のカッコ({})で示されます。

   • 1つのブロックには1つのディレクティブが含まれます。

   • ファイルには任意の数のディレクティブ・ブロックを含めることができます。

   • ブロックはカンマ(,)で区切ります。

   • 配列内の最後のブロックに続くカンマはオプションです。

   個々のディレクティブ:

   • 個々のディレクティブはディレクティブ・ブロック内に存在する必要があります。

   • ファイルに複数のディレクティブ・ブロックが含まれている場合、そのファイルには複数のディレクティブを含めることができます。

   コメント:

   • 単一行のコメントは、2つのスラッシュ(//)を使用して挿入します。

   • 複数行のコメントは使用できません。

3. テンプレートでディレクティブ・ブロックを追加または削除して、ファイルに含めるディレクティブの数と一致させます。
4. ディレクティブ・ブロックごとに1つのコンパイラ・ディレクティブを記述します。コンパイラ・ディレクティブの記述を参照してください。
5. 必要に応じてディレクティブ・ブロックを整理しなおします。ファイル内のディレクティブの順序は重要です。記述されたディレクティブが配列の先頭に近いほど、優先度が高くなります。詳細は、ディレクティブ・スタック内のディレクティブの順序およびコードへのディレクティブの適用を参照してください。

[  //Array of directives
    {   //Directive Block
        //Directive 1
        match: ["java*.*", "oracle*.*"],
        c1: {
            Enable: true,
            Exclude: true,
            BreakAtExecute: true,
        },
        c2: {
            Enable: false,
            MaxNodeLimit: 1000,
        },
        BreakAtCompile: true,
        DumpReplay: true,
    },
    {   //Directive Block
        //Directive 2
        match: ["*Concurrent.*"],
        c2: {
            Exclude:true,
        },
    },
]

コンパイラ・ディレクティブは、ディレクティブ・ファイル内に記述する必要があります。ディレクティブ・ファイルに記述する個々のコンパイラ・ディレクティブごとに、次の手順を繰り返します。

1. 作業のベースとなるテンプレートとして次のコード・ブロックを挿入して、個々のコンパイラ・ディレクティブを記述します。このコード・ブロックはディレクティブ・ブロックです。

       {
           match: [],
           c1: {
               //c1 directive options
           },
           c2: {
               //c2 directive options
           },
           //Directive options applicable to all compilers
       },

2. メソッド・パターンの配列にmatch属性を指定します。コンパイラ・ディレクティブのメソッド・パターンの記述を参照してください。
   次に例を示します。

           match: ["java*.*", "oracle*.*"],

3. カンマで区切られたディレクティブ・オプションのブロックにc1属性を指定します。これらのオプションはc1コンパイラに対して有効になります。
   次に例を示します。

           c1: {
               Enable: true,
               Exclude: true,
               BreakAtExecute: true,
           },

4. カンマで区切られたディレクティブ・オプションのブロックにc2属性を指定します。このブロックでは、共通のコンパイラ・オプションとc2専用のコンパイラ・オプションを併用できます。
   次に例を示します。

           c2: {
               Enable: false,
               MaxNodeLimit: 1000,
           },

5. ディレクティブの末尾に、すべてのコンパイラに適用するオプションを指定します。これらのオプションは、共通ブロックの範囲内に記述されているものとみなされます。オプションはカンマで区切ります。
   次に例を示します。

           BreakAtCompile: true,
           DumpReplay: true,

6. ファイルをクリーン・アップします。
   1. ディレクティブ・オプションの順序と重複の可能性を確認します。競合がある場合、最後に出現するオプションが優先されます。競合が最も発生しやすいのは、共通ブロックとc1ブロックまたはc2ブロックとの間です(c1ブロックとc2ブロックとの間ではありません)。
   2. c2専用ディレクティブ・オプションを共通ブロックに記述しないようにします。共通ブロックは共通オプションとc2専用オプションの組合せを受け入れることができますが、コマンド・ブロック内のc2専用オプションはc1コンパイラに影響を及ぼさないため、この方法でディレクティブを構成すると誤解を招きかねません。かわりに、c2専用オプションをc2ブロック内に記述してください。
   3. c1またはc2属性に対応するディレクティブ・オプションがない場合は、そのコンパイラに対する属性と値の構文を省略します。

    {
        match: ["java*.*", "oracle*.*"],
        c1: {
            Enable: true,
            Exclude: true,
            BreakAtExecute: true,
        },
        c2: {
            Enable: false,
            MaxNodeLimit: 1000,
        },
        BreakAtCompile: true,
        DumpReplay: true,
    },

    {
       "match": "*Concurrent.*",
        c2: {
            "Exclude": true,
        }
    },

ccstrはメソッド・パターンです。これは正確に記述しても、ワイルドカード文字で一般化してもかまいません。一致度の高いどのJavaコードに、付随するディレクティブ・オプションを適用するか、またはどのJavaコードをインライン化するかを指定します。

1. package/class.method(parameter_list)の構文を使用して、メソッド・パターンを書式設定します。細かく指定できない場合は、手順2を参照して、ワイルドカード文字でメソッド・パターンを一般化する方法を確認してください。
   この書式設定のスタイルを使用するメソッド・パターンの例を次に示します。

   java/lang/String.indexOf()

   その他の書式設定スタイルも使用できます。これにより、CompileCommandなどの以前のメソッド照合手段との下位互換性が確保されます。前述の例に代わる有効な書式設定には次のものが含まれます。

   • java/lang/String.indexOf()
   • java/lang/String,indexOf()
   • java/lang/String indexOf()
   • java.lang.String::indexOf()

   Hotspotの出力に合っているため、最後の書式設定スタイルが役立つ場合もあります。
2. メソッド・パターンの一部を一般化する必要がある場合、ワイルドカード文字(*)を挿入します。
   手順1のメソッド・パターンの例を適切に一般化したものを次に示します。

   • java/lang/String.indexOf*
   • *lang/String.indexOf*
   • *va/lang*.*dex*
   • java/lang/String.*
   • *.*
   これらの例では、一般化の度合いが増すほど、精度が低くなります。つまり、メソッド・パターンに一致する可能性があるJavaコードが増えるため、危険を伴います。そのため、ワイルドカード文字(*)は慎重に使用することが重要です。
3. メソッド・パターンのシグニチャ部分を変更します。シグニチャはJava仕様に応じて記述されます。シグニチャの照合は厳密である必要があります。そうでないと、シグニチャがワイルドカード文字(*)にデフォルト設定されます。省略されたシグニチャもワイルドカード文字にデフォルト設定されます。シグニチャ自体にワイルドカード文字を含めることはできません。
4. オプション: inlineディレクティブ・オプションを伴うメソッド・パターンを記述する場合、追加の文字をメソッド・パターンの前に付ける必要があります。インライン・ディレクティブ・オプションの記述を参照してください。

inlineディレクティブ・オプションの属性は、接頭辞つきの特殊コマンドを使用したメソッド・パターンの配列を必要とします。これにより、インライン化するメソッド・パターンとインライン化しないメソッド・パターンを指定します。

1. ディレクティブの共通ブロック、c1ブロックまたはc2ブロックに、inline: と記述します。
2. これに、慎重に順序づけたメソッド・パターンの配列を付け加えます。最初に一致したメソッド・パターンの接頭辞つきコマンドが実行されます。配列内の残りのメソッド・パターンは無視されます。
3. +の接頭辞を付けると、一致するJavaコードのインライン化が強制されます。
4. -の接頭辞を付けると、一致するJavaコードのインライン化が回避されます。
5. オプション: インライン化動作を複数のメソッド・パターンに適用する必要がある場合、これらの手順を繰り返して、複数のinline文を記述します。1つの配列にすべてのパターンを含めないでください。

Enableオプションは、ディレクティブの内容を非表示にします。このオプションは、ディレクティブ間の重複を防ぎます。

[
    {
        match: ["java*.*"],
        c1: {
            BreakAtExecute: true,
            BreakAtCompile: true,
            DumpReplay: true,
            DumpInline: true,
        },
        c2: {
            MaxNodeLimit: 1000,
        },
    },
    {
        match: ["oracle*.*"],
        c1: {
            BreakAtExecute: true,
            BreakAtCompile: true,
            DumpReplay: true,
            DumpInline: true,
        },
        c2: {
            MaxNodeLimit: 2000,
        },
    },
]

[
    {
        match: ["java*.*"],
        c1: {
            Enable: false,
        },
        c2: {
            MaxNodeLimit: 1000,
        },
    },
    {
        match: ["oracle*.*"],
        c1: {
            Enable: false,
        },
        c2: {
            MaxNodeLimit: 2000,
        },
    },
    {
        match: ["java*.*", "oracle*.*"],
        c1: {
            BreakAtExecute: true,
            BreakAtCompile: true,
            DumpReplay: true,
            DumpInline: true,
        },
        c2: {
            //Unreachable code
        },
    },
]