問題タブ [eiffel]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票する
2 に答える
493 参照

eiffel - Array_List を使用して Eiffel のアサーション違反をチェックする

CUSTOMER クラス

BANK クラスの一部:

顧客を配列に入れようとすると、ARRAY_LIST クラスからチェック アサーション エラーが発生します。私が取得するタグは「valid_index」です。インデックスが正しく、配列のカウントを設定して正しいインデックスを指定しているため、なぜ間違っているのかわかりません。

顧客はタイプCUSTOMERクラスです

銀行には顧客がいて、顧客には口座があります

CUSTOMER には ACCOUNT クラスがあります

0 投票する
1 に答える
399 参照

comparison - Eiffel で参照の代わりにオブジェクト/値を比較する

次のコードで事後条件を機能させる方法を見つけようとしています。Bank は Customer のクライアント、Customer は Account のクライアントの 3 つのクラスがあります。

これが銀行クラスです。事後条件 other_customer_unchanged を渡すことができません

customers_unchanged_other_thanの特徴はこちら

そして、顧客クラスの is_equal 機能を再定義しました

私は古いcustomer.deep_twinにあるものを調べました.顧客のアイテムが含まれていますが、どういうわけか.has機能を使用すると、Resultがfalseになります. どんな助けでも大歓迎です:)

0 投票する
1 に答える
112 参照

eiffel - EIFFELのアイテム機能を使用してHASH_TABLEでオブジェクトを見つける

HASH_TABLE 内の 2 つのオブジェクトを比較する際に問題が発生しています

PERSON は、名前、誕生日、交際ステータス、配偶者名、配偶者 ID などの属性を持つクラスです。したがって、基本的に属性コードで構成されています。

エラー: 割り当てのソースがターゲットと互換性がありません。

使用される機能は「取り外し可能なG」を返します

アイテム機能が正しいオブジェクトタイプを返し、次に割り当てることを確実にするために、「添付されている場合」を行う必要があると思いますか? ただし、オブジェクトをキャストする方法が正確にはわかりません。

エラーは、上記の機能を呼び出すことによってトリガーされます

これらの関数が機能する必要がある理由は、並べ替えを簡単にできるからです

0 投票する
1 に答える
329 参照

null - Eiffel はすべての null を回避しますか?

私は実際に C# を使用していますが、Nulls に関する問題について、地元の開発者グループ (Chester Devs、英国) のソーシャル サイトで Nulls の問題が取り上げられました。

オブジェクト Person には Name などの String 型のプロパティがあります 名前が不明な場合、C# では Name は null です

Eiffel には、この一般的な動的 void を処理する C# ( x が null の場合 ...) よりも優れた方法がありますか?