2017-12-01 12 views
2

私は自分のプロジェクトに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?しかし、それもうまくいきませんでした。コメントの自動書式設定を特に変更しようとしているので、私は推測します。

+2

[Eclipseの末尾の空白を自動削除する方法](https://stackoverflow.com/questions/1043433)/how-to-auto-remove-trailing-whitespace-in-eclipse) – AxelH

+1

@AxelH私は質問は考えていません末尾の空白を自動的に削除することは、Eclipseの質問と重複しています** 1行のコメント開始後に空白を挿入することで(つまり '// @'は '// @'になります) –

+0

@MarkRotteveel '// @'をつぶす自動フォーマットを有効/無効にする方法を指します。そして、私はそれらの設定を見て "テンプレート"が更新できるかどうかを調べます。 – AxelH

答えて

2

私の解決策は簡単で、行コメントの書式設定を無効にします。

Window > Preferences > Java > Code Style > Formatter 

現在のプロファイルを編集します(デフォルトプロファイルの場合は名前を変更する必要があります)。

コメントタブでは、のチェックボックスをオフにしてください。を有効にしてください。

フォーマットはあなたを与えるように、これはそのスペースを除去することが可能である場合でも

理由

正しい

//@ 

これは、すべてのコメント、あなたが言うことができない大した影響を与えるでしょう。しかし、注釈付き注釈はどうですか?

// @SuppressWarning("...") 

これはOpenJMLにとって問題となることが

//@SuppressWarning("...") 

にフォーマットされるだろう、それが紛争になります。これらのタグの間に

// @formatter:off 
... 
// @formatter:on 

すべてしばらくません:あなたは、注釈やJML両方のための別の解決策は、フォーマッタを無効にすることであるが、これは正直に言うと使用できなくなりますUser guide - 4.2 Syntactic conflicts with @

にその詳細を見ることができますフォーマットされている場合(formatter:onが省略されている場合、ファイル内のそれ以降のものはすべてフォーマットされません)

関連する問題