【誤訳訂正書】
【提出日】平成23年7月6日(2011.7.6)
【誤訳訂正１】
【訂正対象書類名】明細書
【訂正対象項目名】特許請求の範囲
【訂正方法】変更
【訂正の内容】
【特許請求の範囲】
【請求項１】  言語サブセットの妥当性検査方法において、
プロセッサ上でメモリに記憶された命令を実行する段階であって、上記実行する段階は言語サブセットの妥当性検査を含み、上記妥当性検査は、
上記プロセッサ上で命令を実行することによって、複数のオブジェクト指向プログラムモジュールを含むコンピュータ実行可能プログラムのスタティックな検査を行う段階であって、上記複数のオブジェクト指向プログラムモジュールはクラスファイルを含み、上記クラスファイルはメソッド、フィールド、及びバイトコードを含み、上記バイトコードは第１コンピュータ言語のために定義され、上記第１のコンピュータ言語は第２コンピュータ言語のハードウェア依存性サブセットである段階、を含み、
上記第１コンピュータ言語は第１実行環境において実行されるものであり、
上記第２コンピュータ言語は第２実行環境において実行されるものであり、上記第２実行環境は上記第１実行環境とは異なるものであり、
上記のスタティックな検査を実行することは、
上記クラスファイルの１つを受信し、
上記クラスファイルの上記１つの中のフィールドを読み出し、
上記フィールドのフィールド宣言が上記第１コンピュータ言語によってサポートされないとき、上記フィールドに対してエラー状態である旨を表示し、
上記第１コンピュータ言語の上記第１実行環境によってサポートされない上記フィールド宣言において使用される各任意の特徴に対してエラー状態である旨を表示し、
上記クラスファイルの上記１つにおいてメソッドを受信し、
上記メソッドの上記メソッド宣言が上記第１コンピュータ言語によってサポートされないとき、上記メソッドに対してエラー状態である旨を表示し、そして、
上記メソッド宣言が、上記第１コンピュータ言語の上記第１実行環境にサポートされていない任意の特徴を使用するときに、エラー状態のためにバイトコードを検査することを含む段階、
という段階を含む方法。
【請求項２】  上記プロセッサ上で上記命令を実行することによって、複数のオブジェクト指向プログラムモジュールを含む上記コンピュータ実行可能プログラムのカードベースの妥当性検査を実行する段階を更に含み、上記カードベースの妥当性検査を実行する段階は、更に、
全ての上記プログラムモジュールに対するコード及びデータの使用量を加算することによりメモリ使用量を決定し、そして
上記メモリ使用量が最大メモリ使用量を越えたときにエラー状態である旨を表示するという段階を含む請求項１に記載の方法。
【請求項３】  上記バイトコードを検査する段階は、更に、
上記バイトコードを読み取り、
上記バイトコードが、上記第１コンピュータ言語によりサポートされないデータ形式を使用するときにエラーである旨を表示し、
上記バイトコードが、上記第１コンピュータ言語によりサポートされないデータ形式の値に基づいて動作するときにエラーである旨を表示し、
上記第１実行環境が上記第１コンピュータ言語の任意の特徴をサポートせずそして上記命令が上記任意の特徴を使用するときにエラーである旨を表示し、そして
上記第１実行環境が上記第１コンピュータ言語の任意の特徴をサポートせずそして上記命令が上記任意の特徴の少なくとも１つの値に基づいて動作するときにエラーである旨を表示する、
という段階を含む請求項１に記載の方法。
【請求項４】  上記プロセッサ上で上記命令を実行することによって、複数のオブジェクト指向プログラムモジュールを含む上記コンピュータ実行可能プログラムのメソッドベースの妥当性検査を実行する段階であって、上記メソッドベースの妥当性検査を実行する段階は、更に、
上記クラスファイルの１つを受信し、
上記クラスファイルの上記１つの内のメソッドに対するデータ流を発生し、そして
上記データ流を使用して、上記メソッド内の演算中間結果にオーバーフローの可能性が存在するかどうか決定し、このオーバーフローの可能性は、上記メソッドの第２の最終結果とは意義的に異なる上記メソッドの第１の最終結果を形成し、この第１の最終結果は、上記メソッドが上記第１実行環境において上記第１コンピュータ言語に対して実行されるときに得られ、そして上記第２の最終結果は、上記メソッドが上記第２実行環境において上記第２コンピュータ言語に対して実行されるときに得られる請求項１に記載の方法。
【請求項５】  上記妥当性検査段階は、更に、
上記プロセッサ上で命令を実行することによって、複数のオブジェクト指向プログラムモジュールを含むコンピュータ実行可能プログラムのメソッドのパッケージベースの妥当性検査を実行する段階であって、上記パッケージベースの妥当性検査を実行する段階は、
クラスファイルを含むパッケージを受信し、
上記パッケージにおけるメソッドの妥当性検査を行う段階であって、
上記パッケージにおける上記クラスファイルの１つにおいてメソッドを読み出し、
上記メソッド内のローカル変数及びパラメータの全数が変数及びパラメータの最大数を越えるときにエラーである旨を表示し、
上記メソッド内のローカル変数及びパラメータの上記全数が変数及びパラメータの上記最大数を越えないときに上記メソッド内の全てのバイトコードを上記第１コンピュータ言語に基づいて変換して、変換されたバイトコードを形成し、そして
変換されたバイトコードの全数がバイトコードの最大数を越えたときにエラーである旨を表示する、
という段階を含むものである段階を含む請求項１に記載の方法。
【請求項６】  上記パッケージベースの妥当性検査は、
パッケージの制限の妥当性検査を行う段階であって、
上記ＣＡＰファイルのメソッドコンポーネントによって使用されるバイトの全数を決定し、そして
上記バイトの全数が最大メモリ使用量を越えたときにエラー状態である旨を表示することを含む、ＣＡＰファイルコンポーネントサイズの妥当性検査を行う段階を含む段階をさらに含む
請求項５に記載の方法。
【請求項７】  パッケージベースの妥当性検査を実行する上記段階は、更に、
上記パッケージ中のクラスの妥当性検査を行う段階であって、
上記パッケージ内の上記クラスファイルの少なくとも１つを読み出し、
上記少なくとも１つのクラスファイルのクラス内のインスタンスフィールドの全数がインスタンスフィールドの最大数を越えたときにエラーである旨を表示し、
上記少なくとも１つのクラスファイルのクラス内のスタティックフィールドの全数がスタティックフィールドの最大数を越えたときにエラーである旨を表示し、
上記少なくとも１つのクラスファイルのインスタンスメソッドを含む上記パッケージ内のインスタンスメソッドの全数が上記インスタンスメソッドの最大数を越えたときにエラーである旨を表示し、
上記パッケージ内のスタティックメソッドの全数がスタティックメソッドの最大数を越えたときにエラーである旨を表示し、そして
上記パッケージの各クラス又は各インターフェイスのスーパーインターフェイスの全数がスーパーインターフェイスの最大数を越えたときにエラーである旨を表示することを含む段階を含む請求項５に記載の方法。
【請求項８】  クラスの妥当性検査を行う上記段階は、更に、
アクセスの妥当性検査を行う段階であって、
パブリックインターフェイスが上記パッケージ内のパッケージ可視インターフェイスを拡張するときにエラーである旨を表示し、そして
スーパークラスにおけるパッケージデフォールトメソッドのアクセス可視性が上記パッケージ内のサブセットにおいてパブリック又は保護状態に変更されるときにエラーである旨を表示する、ことを含む段階を含む請求項７に記載の方法。
【請求項９】  上記第１コンピュータ言語は、Ｊａｖａ  Ｃａｒｄ（登録商標）バーチャルマシンに対して定義され、そして
上記第２コンピュータ言語は、Ｊａｖａ（登録商標）言語より成る請求項１に記載の方法。
【請求項１０】  上記第１コンピュータ言語は、Ｊａｖａ  Ｃａｒｄ（登録商標）バーチャルマシンに対して定義され、そして
上記第２コンピュータ言語は、Ｊａｖａ（登録商標）クラスファイルより成る請求項１に記載の方法。
【請求項１１】  実行可能命令のプログラムを記憶したマシンにより読み取ることのできるプログラムを記憶した記憶装置であって、上記記憶された実行可能命令を読み出して上記マシンによって実行されたときに、言語サブセットの妥当性検査方法であって、
複数のオブジェクト指向プログラムモジュールを含むコンピュータ実行可能プログラムのスタティックな検査を行う段階であって、上記複数のオブジェクト指向プログラムモジュールはクラスファイルを含み、上記クラスファイルはメソッド、フィールド、及びバイトコードを含み、上記バイトコードは第１コンピュータ言語のために定義され、上記第１のコンピュータ言語は第２コンピュータ言語のハードウェア依存性サブセットである段階、を含み、
上記第１コンピュータ言語は第１実行環境において実行されるものであり、
上記第２コンピュータ言語は第２実行環境において実行されるものであり、上記第２実行環境は上記第１実行環境とは異なるものであり、
上記のスタティックな検査を実行することは、
上記クラスファイルの１つを受信し、
上記クラスファイルの上記１つの中のフィールドを読み出し、
上記フィールドのフィールド宣言が上記第１コンピュータ言語によってサポートされないとき上記フィールドに対してエラー状態である旨を表示し、
上記第１コンピュータ言語の上記第１実行環境によってサポートされないフィールド宣言において使用される各任意の特徴に対してエラー状態である旨を表示し、そして
上記クラスファイルの上記１つにおいてメソッドを受信し、
上記メソッドの上記メソッド宣言が上記第１コンピュータ言語によってサポートされないとき、上記メソッドに対してエラー状態である旨を表示し、そして、
上記メソッド宣言が、上記第１コンピュータ言語の上記第１実行環境にサポートされていない任意の特徴を使用するときに、エラー状態のためにバイトコードを検査することを含む段階、を含む方法を生成するプログラム記憶装置。
【請求項１２】  上記プロセッサ上で上記命令を実行することによって、複数のオブジェクト指向プログラムモジュールを含む上記コンピュータ実行可能プログラムのカードベースの妥当性検査を実行する段階を更に含み、上記カードベースの妥当性検査を実行する段階は、更に、全ての上記プログラムモジュールに対するコード及びデータの使用量を加算することによりメモリ使用量を決定し、そして上記メモリ使用量が最大メモリ使用量を越えたときにエラー状態である旨を表示する段階を含む請求項１１に記載のプログラム記憶装置。
【請求項１３】  上記バイトコードを検査する段階は、更に、上記バイトコードを読み取り、上記バイトコードが、上記第１コンピュータ言語によりサポートされないデータ形式を使用するときにエラーである旨を表示し、上記バイトコードが、上記第１コンピュータ言語によりサポートされないデータ形式の値に基づいて動作するときにエラーである旨を表示し、上記第１実行環境が上記第１コンピュータ言語の任意の特徴をサポートせずそして上記命令が上記任意の特徴を使用するときにエラーである旨を表示し、そして上記第１実行環境が上記第１コンピュータ言語の任意の特徴をサポートせずそして上記命令が上記任意の特徴の少なくとも１つの値に基づいて動作するときにエラーである旨を表示する段階を含む請求項１１に記載のプログラム記憶装置。
【請求項１４】  上記プロセッサ上で上記命令を実行することによって、複数のオブジェクト指向プログラムモジュールを含む上記コンピュータ実行可能プログラムのメソッドベースの妥当性検査を実行する段階であって、上記メソッドベースの妥当性検査を実行する段階は、更に、上記クラスファイルの１つを受信し、上記クラスファイルの上記１つの内のメソッドに対するデータ流を発生し、そして上記データ流を使用して、上記メソッド内の演算中間結果にオーバーフローの可能性が存在するかどうか決定し、このオーバーフローの可能性は、第２の最終結果とは意義的に異なる第１の最終結果を形成し、この第１の最終結果は、上記メソッドが上記第１実行環境において上記第１コンピュータ言語に対して実行されるときに得られ、そして上記第２の最終結果は、上記メソッドが上記第２実行環境において上記第２コンピュータ言語に対して実行されるときに得られる請求項１１に記載のプログラム記憶装置。
【請求項１５】  上記妥当性検査段階は、更に、上記プロセッサ上で命令を実行することによって、複数のオブジェクト指向プログラムモジュールを含むコンピュータ実行可能プログラムのメソッドのパッケージベースの妥当性検査を実行する段階であって、上記パッケージベースの妥当性検査を実行する段階は、クラスファイルを含むパッケージを受信し、上記パッケージにおけるメソッドの妥当性検査を行う段階であって、上記パッケージにおける上記クラスファイルの１つにおいてメソッドを読み出し、上記メソッド内のローカル変数及びパラメータの全数が変数及びパラメータの最大数を越えるときにエラーである旨を表示し、上記メソッド内のローカル変数及びパラメータの上記全数が変数及びパラメータの上記最大数を越えないときに上記メソッド内の全てのバイトコードを上記第１コンピュータ言語に基づいて変換して、変換されたバイトコードを形成し、そしてその変換されたバイトコードの全数がバイトコードの最大数を越えたときにエラーである旨を表示する段階を含む請求項１１に記載のプログラム記憶装置。
【請求項１６】  上記パッケージベースの妥当性検査は、
パッケージの制限の妥当性検査を行う段階であって、
上記ＣＡＰファイルのメソッドコンポーネントによって使用されるバイトの全数を決定し、そしてバイトの全数が最大メモリ使用量を越えたときにエラー状態である旨を表示することを含む、ＣＡＰファイルコンポーネントサイズの妥当性検査を行う段階を含む段階をさらに含む請求項１５に記載のプログラム記憶装置。
【請求項１７】  パッケージベースの妥当性検査を実行する上記段階は、更に、上記パッケージ中のクラスの妥当性検査を行う段階であって、上記パッケージ内の上記クラスファイルの少なくとも１つを読み出し、上記少なくとも１つのクラスファイルのクラス内のインスタンスフィールドの全数がインスタンスフィールドの最大数を越えたときにエラーである旨を表示し、上記少なくとも１つのクラスファイルのクラス内のスタティックフィールドの全数がスタティックフィールドの最大数を越えたときにエラーである旨を表示し、上記少なくとも１つのクラスファイルのインスタンスメソッドを含む上記パッケージ内のインスタンスメソッドの全数が上記インスタンスメソッドの最大数を越えたときにエラーである旨を表示し、上記パッケージ内のスタティックメソッドの全数がスタティックメソッドの最大数を越えたときにエラーである旨を表示し、そして上記パッケージの各クラス又は各インターフェイスのスーパーインターフェイスの全数がスーパーインターフェイスの最大数を越えたときにエラーである旨を表示することを含む請求項１５に記載のプログラム記憶装置。
【請求項１８】  上記クラスの妥当性検査を行う上記段階は、更に、アクセスの妥当性検査を行う段階であって、パブリックインターフェイスが上記パッケージ内のパッケージ可視インターフェイスを拡張するときにエラーである旨を表示し、そしてスーパークラスにおけるパッケージデフォールトメソッドのアクセス可視性が上記パッケージ内のサブセットにおいてパブリック又は保護状態に変更されるときにエラーである旨を表示する、ことを含む段階を含む請求項１７に記載のプログラム記憶装置。
【請求項１９】  上記第１コンピュータ言語は、Ｊａｖａ  Ｃａｒｄ（登録商標）バーチャルマシンに対して定義され、そして
上記第２コンピュータ言語は、Ｊａｖａ（登録商標）言語より成る請求項１１に記載のプログラム記憶装置。
【請求項２０】  上記第１コンピュータ言語は、Ｊａｖａ  Ｃａｒｄ（登録商標）バーチャルマシンに対して定義され、そして
上記第２コンピュータ言語は、Ｊａｖａ（登録商標）クラスファイルより成る請求項１１に記載のプログラム記憶装置。
【請求項２１】  言語サブセットの妥当性検査装置において、
言語サブセットの妥当性検査のためのプログラム命令を記憶したメモリと、
上記プログラム命令を実行するように構成されたプロセッサと、を含み、
上記プロセッサ上で命令を実行することによって、複数のオブジェクト指向プログラムモジュールを含むコンピュータ実行可能プログラムのスタティックな検査を行う手段であって、上記複数のオブジェクト指向プログラムモジュールはクラスファイルを含み、上記クラスファイルはメソッド、フィールド、及びバイトコードを含み、上記バイトコードは第１コンピュータ言語のために定義され、上記第１のコンピュータ言語は第２コンピュータ言語のハードウェア依存性サブセットである手段、を含み、
上記第１コンピュータ言語は第１実行環境において実行されるものであり、
上記第２コンピュータ言語は第２実行環境において実行されるものであり、上記第２実行環境は上記第１実行環境とは異なるものであり、
上記のスタティックな検査を実行する手段は、
上記クラスファイルの１つを受信する手段、
上記クラスファイルの上記１つの中のフィールドを読み出す手段、
上記フィールドのフィールド宣言が上記第１コンピュータ言語によってサポートされないとき、上記フィールドに対してエラー状態である旨を表示する手段と、
上記第１コンピュータ言語の上記第１実行環境によってサポートされない上記フィールド宣言において使用される各任意の特徴に対してエラー状態である旨を表示する手段と、
上記クラスファイルの上記１つにおいてメソッドを受信する手段と、
上記メソッドの上記メソッド宣言が上記第１コンピュータ言語によってサポートされないとき、上記メソッドに対してエラー状態である旨を表示する手段と、
上記メソッド宣言が、上記第１コンピュータ言語の上記第１実行環境にサポートされていない任意の特徴を使用するときに、エラー状態のためにバイトコードを検査する手段、を備えた装置。
【請求項２２】  上記プロセッサ上で上記命令を実行することによって、複数のオブジェクト指向プログラムモジュールを含む上記コンピュータ実行可能プログラムのカードベースの妥当性検査を実行する手段を更に含み、上記カードベースの妥当性検査を実行する手段は、更に、
全ての上記プログラムモジュールに対するコード及びデータの使用量を加算することによりメモリ使用量を決定する手段と、
上記メモリ使用量が最大メモリ使用量を越えたときにエラー状態である旨を表示する手段とを備えた請求項２１に記載の装置。