問題タブ [requires]

私のクラス Test には、a という名前の 5 つの int の配列と、選択したセルに 1 を追加するメソッド addOne(int index) があります。メソッドに渡されるインデックスを制御するための単純な前提条件を JML で記述しました。次に、負のインデックスでメソッドを呼び出すこの前提条件に違反しようとしましたが、JML はこのエラーをキャッチできません。どうしたの？

これはテストクラスです:

そして、これはメインです：

それは例外をスローします: java.lang.ArrayIndexOutOfBoundsException: -2.

任意の JML メッセージ。

私はCMDとextjsを使用しています。私のMain.jsには次のようなものがあります

必要な場合は、いくつかのクラスが必要です。必要なすべてのクラスを削除してそのままにしておくと

すべてのページが正しく読み込まれます。では、require にファイルを追加することで得られるメリットは何ですか。

MySQL 5.7 を AWS サーバーにインストールしています。このエラーが発生します：

エラー: パッケージ: mysql-community-server-5.7.15-1.el7.x86_64 (mysql57-community)

必要なもの: systemd

これまで、マニフェスト ファイルに次のようなものを含めることで、アプリをタブレットでのみ実行するように制限していました。

初めて Amazon Fire で起動する準備をしていますが、「requiresSmallestWidthDp="600」という制限があるため、このデバイスにアプリをインストールできないため、多くのユーザーが影響を受けます。次のエラー メッセージが表示されます。" Android:requiresSmallestWidthDp = '600'; デバイスには「527」が必要です」。

Fire 2015 は最も人気のあるタブレットであるため、アプリをインストールできるようにしたいのですが、同時に、アプリを電話にインストールしたくありません。これを達成する方法について何か提案はありますか？

Electron アプリで作業しようとしていますが、Chromium ブラウザー ウィンドウ内で実行されている別のスクリプトからモジュールを要求しようとすると問題が発生します。相対パスを指定するために何をしても、モジュールが見つからないという同じエラーが常に発生します。

私のプロジェクトは次のように設定されています：

electron の起動時にデフォルトで表示されるページである私の index.html は、body タグの末尾に通常のスクリプトとして controller.js をロードします。

controller.js の上部に次のコードがあります。

electron Chromium ウィンドウを起動すると、すぐに次の問題が発生します。

私の仮定では、controller.js ファイルからインポートする game.js ファイルへの相対パスが必要ですが、どのような調整を行っても、常にそのエラーが発生します。tests フォルダーの下に仕様がすべて実行されており、次のような require を正常に使用しているため、単なる構文エラーではないと思います。

Chromium ブラウザーから実行したときに相対パスが必要とされる方法について、間違った仮定をしていますか? どんな助けでも大歓迎です！