私は自分のプロジェクトにOpenJMLプラグインを使用していますが、Eclipseの自動フォーマットでJMLコードが混乱します。 JMLは//@
シンボルの後に書かれています。Eclipseオートフォーマットのコメントの後にスペースを削除するには?
//@ requires password != null;
//@ ensures !isActive() && getPassword().testWord(password) ? isActive() && \result : isActive() == \old(isActive()) && !\result;
Eclipseの自動フォーマットは、しかし、役に立たない私のJMLコードをレンダリング、//
と@
記号の間にスペースを追加します。
// @ requires password != null;
// @ ensures !isActive() && getPassword().testWord(password) ? isActive() && \result : isActive() == \old(isActive()) && !\result;
私はそう//
と@
シンボル、または私は完全にコメントした後の間隔を無効にすることができる方法の間にスペースを追加し無効にすることができますする方法はありますか?
フォーマッタプロファイルを変更しようとしましたが、設定が見つかりませんでした。
ここで説明しているように、末尾の空白を自動削除しようとしました:How to auto-remove trailing whitespace in Eclipse?しかし、それもうまくいきませんでした。コメントの自動書式設定を特に変更しようとしているので、私は推測します。
[Eclipseの末尾の空白を自動削除する方法](https://stackoverflow.com/questions/1043433)/how-to-auto-remove-trailing-whitespace-in-eclipse) – AxelH
@AxelH私は質問は考えていません末尾の空白を自動的に削除することは、Eclipseの質問と重複しています** 1行のコメント開始後に空白を挿入することで(つまり '// @'は '// @'になります) –
@MarkRotteveel '// @'をつぶす自動フォーマットを有効/無効にする方法を指します。そして、私はそれらの設定を見て "テンプレート"が更新できるかどうかを調べます。 – AxelH