Differences

This shows you the differences between two versions of the page.

--- assignments:a3 [2012/10/22 00:38] – pawluk
+++ assignments:a3 [2012/10/31 20:51] (current) – pawluk
@@ Line 9: / Line 9: @@
 ----
+===== Guidelines =====
+  - Read comments in the file ''tool_rental.e''. They contain descriptions of methods and pre/post conditions can be extracted from there.
+  - Write your assertions in natural language (e.g. as comments in the file).
+  - translate required assertions into Eiffel.
+  - Spec says://"__You are not to implement the body of the routines.__  But **you must implement all supporting quantifier and agent routines.** For your support routines you are to write appropriate assertions.  **For agents the assertions should be compliable**.  **For quantifiers, the assertions should be comments.**  For all loops in your support routines, you are to write, as comments, loop invariant and variant clauses."//
+  - To test your implementation of agents and quantifiers you may add a method in file ''owner.e'' (root class of the project) and call it in ''make'' feature.
+NOTE:
+  * There may be repetitions in the new_tools and other lists (e.g. two hammers but they should have different ids).
+  * in ''new_shop (new_tools : LINKED_LIST[TOOL_DESC] ; min_tool_count : INTEGER)'' ''min_tool_count'' is a min size of the list (can be more tools than min_tool_count in the list). So the ''new_tools.count'' should be more than ''min_tool_count''
+**We will assess if contracts do compile (for compilable contracts) and if they are correct and complete for both compilable and written as comments.**
+----
 [[|Solutions]]