first commit

SimpleLinkedList/SingleLinkedList.def

@@ -0,0 +1,28 @@
+DEFINITION MODULE SingleLinkedList;
+
+TYPE 
+  List ;
+
+VAR
+  result : BOOLEAN;
+
+
+(*
+PROCEDURE SearchItem ( item : ; compare : PROC ) : BOOLEAN;
+
+PROCEDURE Traverse (l : List; toDo : PROC);
+*)
+PROCEDURE Empty (l : List): BOOLEAN ;
+(*
+PROCEDURE RemoveItem (): BOOLEAN;
+
+PROCEDURE AddItem (): BOOLEAN;
+*)
+
+PROCEDURE DeleteAllItems (l : List);
+
+PROCEDURE Free (VAR l : List);
+
+PROCEDURE Init (VAR l : List; mode : BOOLEAN ; p : PROC);
+  
+END SingleLinkedList.

SimpleLinkedList/SingleLinkedList.mod

@@ -0,0 +1,87 @@
+IMPLEMENTATION MODULE SingleLinkedList;
+
+FROM  SYSTEM IMPORT ADDRESS;
+FROM Storage IMPORT ALLOCATE, DEALLOCATE;
+
+TYPE 
+  ElementPtr = POINTER TO Element;
+  Element    = RECORD
+                 pos : CARDINAL;
+                 next : ElementPtr;
+                 item : ADDRESS;
+              END;  
+  List      = POINTER TO ListRec;            
+  ListRec   = RECORD
+                firstElement : ElementPtr;
+                lastElement  : ElementPtr;
+                homogene : BOOLEAN; (* allows or not homogene items                            *)
+                CheckType : PROC;   (* procedure to check if the elements are of the same type *)
+              END; 
+                      
+
+(*
+PROCEDURE SearchItem ( item : ; compare : PROC ) : BOOLEAN;
+
+  BEGIN
+    ;
+  END Seach;
+
+PROCEDURE Traverse (l : List; toDo : PROC);
+
+  BEGIN
+    ;
+  END Traverse;
+*)
+PROCEDURE Empty (l : List): BOOLEAN ;
+
+  BEGIN
+    IF l^.firstElement = NIL THEN
+      RETURN TRUE
+    ELSE 
+     RETURN FALSE 
+    END      
+  END Empty;
+(*
+PROCEDURE RemoveItem (): BOOLEAN;
+
+  BEGIN
+    ;
+  END Remove;
+
+PROCEDURE AddItem (): BOOLEAN;
+
+  BEGIN
+    ;
+  END Add;
+
+*)
+
+PROCEDURE DeleteAllItems (l : List);
+
+BEGIN
+
+END DeleteAllItems;
+
+PROCEDURE Free ( VAR l : List);
+
+BEGIN 
+  DeleteAllItems(l);
+  l^.firstElement := NIL;
+  l^.homogene := TRUE ;
+  l^.CheckType := NIL;
+  DISPOSE (l);
+END Free;
+
+PROCEDURE Init ( VAR l : List; mode : BOOLEAN ; p : PROC );
+
+  BEGIN
+    NEW (l);
+    l^.firstElement := NIL;
+    l^.homogene := mode;
+    l^.CheckType := p;
+  END Init;
+
+BEGIN
+  (* Initialization of the SingleLinkedList structure *)
+  
+END SingleLinkedList.

SimpleLinkedList/Tests/testSingleLinkedList1.mod

@@ -0,0 +1,19 @@
+MODULE testSingleLinkedList1;
+
+IMPORT SingleLinkedList;
+FROM InOut IMPORT Write, WriteLn, WriteString, WriteCard;
+
+VAR 
+  oneList : SingleLinkedList.List;
+
+BEGIN
+  SingleLinkedList.Init(oneList, FALSE , NIL );
+  IF SingleLinkedList.Empty(oneList) THEN
+    WriteString("liste vide");
+    WriteLn
+  ELSE
+    WriteString("y'a un stuck ;) ");
+    WriteLn
+  END;    
+  SingleLinkedList.Free (oneList);
+END testSingleLinkedList1.