問題タブ [eiffel]

私は Eiffel で割り当てを行っていますが、ensure 句の実装に問題があります。変数または関数を含めるために必要な特別な構文はありますか?

これは、「put」関数の現時点での私のコードです

これは「has」関数のコードです

割り当ては、リンクされたリストを介してマップ広告を実装することです。'put' 関数は、項目 (キー、値) をリストに挿入します。「has」関数は、リストに (キー値) ペアが含まれているかどうかをチェックします。

どんな助けでも大歓迎です。

プロジェクトで作業していますが、同じネットワークにない IP から接続できません(LAN)。次のコードはローカルで正常に動作しますがIP、別の場所にある別の場所から作業を行う方法がわかりませんか?、Google は助けにならない、何かアイデアはありますか?

そしてクライアント：

EV_TIMEOUTin Eiffelに代わるものはありますか? このライブラリをプロジェクトに追加するオプションがないため、これはWindowsアプリケーション専用のようです..

前もって感謝>)

要素が取り外し可能な場合、要素が HASH_TABLE にあることを確認するにはどうすればよいですか?

私はPOINTエッフェルで不変のクラスを作ろうとしています。以下のコードはそれを定義していますか? とフィールドの{NONE}アクセシビリティは十分ですか? のようなクラス不変式に何かを書くことはできますか、または他にどのように不変性を達成できますか?xyx = x'

I created a little Vision2 window with an animation in it.

In my Windows 7 environment, I want this animation to be always visible on top all other windows on my desktop. I'm able to periodically call raise to bring the Vision2-window in front - but I lose focus of my selected window doing that.

To boil it down:

Q1: Is it even possible to keep a window "always on top" all other windows with Vision2 ?

Q2: Is it possible to do it with Eiffel WEL (and Windows 7) ?

以下のクラスのように例外を使用しようとしていますが、kivetelメソッドを呼び出すとプログラムは常に失敗します。事後条件を満たすよりも、再試行部分を呼び出すだけだと思います。しかし、「y_above_zero」事後条件違反で失敗します。