source: doc/papers/general/evaluation/cfa-stack.c @ ac4dad2

aaron-thesisarm-ehcleanup-dtorsdeferred_resndemanglerjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerwith_gc
Last change on this file since ac4dad2 was ac4dad2, checked in by Peter A. Buhr <pabuhr@…>, 4 years ago

shorten experimental code

  • Property mode set to 100644
File size: 1003 bytes
Line 
1#include <stdlib>
2#include "cfa-stack.h"
3
4forall( otype T ) {
5        struct node {
6                T value;
7                node(T) * next;
8        };
9
10        void ?{}( stack(T) & s ) { (s.head){ 0 }; }
11
12        void ?{}( stack(T) & s, stack(T) t ) {
13                node(T) ** cr = &s.head;
14                for ( node(T) * nx = t.head; nx; nx = nx->next ) {
15                        *cr = alloc();
16                        ((*cr)->value){ nx->value };
17                        cr = &(*cr)->next;
18                }
19                *cr = 0;
20        }
21
22        void ^?{}( stack(T) & s) { clear( s ); }
23
24    void clear( stack(T) & s ) with( s ) {
25                for ( node(T) * nx = head; nx; ) {
26                        node(T) * cr = nx;
27                        nx = cr->next;
28                        ^(*cr){};
29                        free(cr);
30                }
31                head = 0;
32        }
33
34        stack(T) ?=?( stack(T) & s, stack(T) t ) {
35                if ( s.head == t.head ) return s;
36                clear( s );
37                s{ t };
38                return s;
39        }
40
41        _Bool empty( const stack(T) & s ) { return s.head == 0; }
42
43        void push( stack(T) & s, T value ) with( s ) {
44                node(T) * n = alloc();
45                (*n){ value, head };
46                head = n;
47        }
48
49        T pop( stack(T) & s ) with( s ) {
50                node(T) * n = head;
51                head = n->next;
52                T v = n->value;
53                ^(*n){};
54                free( n );
55                return v;
56        }
57}
Note: See TracBrowser for help on using the repository browser.