ProGuardマニュアル（7） 事前検証オプション
原文は、“ProGuard Manual”（Eric Lafortune）です（2011年3月29日取得）。
イントロダクションと索引はこちら。
＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
事前検証オプション
-dontpreverify
処理済みファイルの事前検証を行わないよう指定します。デフォルトでは、クラスファイルがJava Micro EditionもしくはJava 6以上を対象にコンパイルされたものである場合、事前検証が実施されます。Java Micro Edition向けのコードについては事前検証が必須であるため、このオプションを使用するということは、処理済みコードに何らかの別の事前検証ツールを適用する必要があるということです。Java 6向けのコードについていえば、事前検証は（いまのところ）必須ではありませんが、この手続きを経ることでJava仮想マシンのクラス読み込みの効率は向上します。
-microedition
処理済みクラスファイルが、Java Micro Editionを対象としたものであることを指定します。このとき、事前検証プログラムはコードに適切なStackMap属性──Java SE向けのStackMapTable属性とは異なる──を追加します。例えば、MIDletのコードを処理するとき、このオプションが必要になるでしょう。
＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
ProGuardマニュアル（8）につづく。
