Differences

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

--- assignments:a3 [2012/10/30 14:11] – pawluk
+++ assignments:a3 [2012/10/31 20:51] (current) – pawluk
@@ Line 15: / Line 15: @@
   - 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''