Changeset f99f5ba for libcfa/src/bits/collection.hfa

Timestamp:

Feb 1, 2021, 2:42:22 PM (5 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

8be729f, c235179

Parents:

cd70477 (diff), 5669d0b (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• libcfa/src/bits/collection.hfa (modified) (2 diffs)

libcfa/src/bits/collection.hfa

@@ +1 @@
+//
+// Cforall Version 1.0.0 Copyright (C) 2021 University of Waterloo
+//
+// The contents of this file are covered under the licence agreement in the
+// file "LICENCE" distributed with Cforall.
+//
+// bits/collection.hfa -- PUBLIC
+// Intrusive singly-linked list
+//
+// Author           : Colby Alexander Parsons & Peter A. Buhr
+// Created On       : Thu Jan 21 19:46:50 2021
+// Last Modified By :
+// Last Modified On :
+// Update Count     :
+//
+
 #pragma once
-#include <stdio.h> // REMOVE THIS AFTER DEBUGGING
-
 
 struct Colable {
-        struct Colable * next;                                                                          // next node in the list
+        // next node in the list
         // invariant: (next != 0) <=> listed()
+        struct Colable * next;
 };
 #ifdef __cforall
@@ -53 +68 @@
         Collection & ?=?( const Collection & ) = void;          // no assignment
 
-        void ?{}( Collection & collection ) with( collection ) {        
+        void ?{}( Collection & collection ) with( collection ) {
                 root = 0p;
         } // post: empty()