post-conditions

3熱

1答えて

構文エラーのためにClojureのpost-conditionが実行されない - なぜですか？この機能において

： (defn my-post [a] {:post (number? %)} a) 事後条件が実行されない（または少なくとも、アサーションエラーが発生しません）。私は今、それがされている必要があることを知っている： (defn my-post [a] {:post [(number? %)]} ;; note the square brack

1熱

1答えて

なぜ事後的に最も強力な事後条件が必要ですか？次のように

私が見てきた最強事後条件述語トランスのすべての製剤は、割り当てルールを提示：私は疑問に思って sp(X:=E, P) = ∃v. (X=E[v/X] ∧ P[v/X]) 、理由は実存（したがって、存在量化変数「V」）上記で必要ルール？最強の事後条件述語変換は、状態（変数から値へのマッピング）とパス条件（プログラムの特定の点で真でなければならない述語）を維持する点で、記号評価とほぼ同じです。しか

1熱

3答えて

"機能が終了する前に満足する必要がある要件"です。 postconditionの正しい定義は、Pythonで？、著者は定義として事後条件：で

は、「コンピュータ・サイエンティストのように考える方法Pythonは考える」：、それが終了する前に機能が満たすべき要件。また、彼は述べている：は逆に、関数の最後の条件は、事後条件です。事後条件には、意図した機能の影響（描画線セグメントなど）とその他の副作用（他の変更を行うタートルまたはの移動など）が含まれます。だから、我々は肯定を返す（つまりは、それがために必要とされる）しなければな

3熱

2答えて

パブリックメソッドでの前提条件と事後条件チェック

キーワードを使用してメソッドの前提条件と事後条件を確認することについてOracle documentationを読んでいました。文書は、それがpublicメソッドの事後条件を確認するためにassertキーワードを使用して大丈夫ですが、あなたは唯一のprivateメソッドのための前提条件を確認するためにassertキーワードを使用する必要があることを述べています。これはなぜですか？

0熱

1答えて

前提条件とクラス封じ込め

は、私は以下のクラスがあるとします。 public class Player { private Board board; private int roundsPlayed = 0; public void play() { while (board.isAvailable() && roundsPlayed < 10) { // playing on the boa

0熱

1答えて

例外は有効な事後条件ですか？は、すべての有効な入力され <pre><code>public interface AISPI { public Path getPath(Entity entity, Entity target, World world) throws NoPathException; } </code></pre> 確かそのエンティティ、ターゲット、および世界：

は、次のインタフェースを考えてみましょう。しかし、パスを見つけるために使用されたアルゴリズム（この場合はAstarです）は、パスを見つけることができません。ターゲットの位置はコンクリートの壁で囲まれています。は、事後条件がエンティティにターゲット（目標に開始）または（パスが見つからなかったことを考えると）NoPathExceptionからパスのいずれかであることの状態には有効ですか？ - は、

1熱

1答えて

Eiffelのループ全体でポストコードの使用にリンクされたリストをトラバースする方法は？

私は1間を使用しよう| .. | J としてlist.countすべて list.i_th（Z）〜旧list.i_th（Z）終了が、それは未知の識別子zを言います。この構文で何が間違っていますか？