source: doc/papers/OOPSLA17/evaluation/c-stack.c @ 96ac72c

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since 96ac72c was f4e3419d, checked in by Peter A. Buhr <pabuhr@…>, 7 years ago

restructure paper documents

  • Property mode set to 100644
File size: 1.1 KB
Line 
1#include <stdlib.h>
2#include "c-stack.h"
3
4struct stack_node {
5        void* value;
6        struct stack_node* next;
7};
8
9struct stack new_stack() { return (struct stack){ NULL }; /***/ }
10
11void copy_stack(struct stack* s, const struct stack* t, void* (*copy)(const void*)) {
12        struct stack_node** crnt = &s->head;
13        for ( struct stack_node* next = t->head; next; next = next->next ) {
14                *crnt = malloc(sizeof(struct stack_node)); /***/
15                **crnt = (struct stack_node){ copy(next->value) }; /***/
16                crnt = &(*crnt)->next;
17        }
18        *crnt = 0;
19}
20
21void clear_stack(struct stack* s, void (*free_el)(void*)) {
22    for ( struct stack_node* next = s->head; next; ) {
23                struct stack_node* crnt = next;
24                next = crnt->next;
25                free_el(crnt->value);
26                free(crnt);
27        }
28        s->head = NULL;
29}
30
31_Bool stack_empty(const struct stack* s) { return s->head == NULL; }
32
33void push_stack(struct stack* s, void* value) {
34        struct stack_node* n = malloc(sizeof(struct stack_node)); /***/
35        *n = (struct stack_node){ value, s->head }; /***/
36        s->head = n;
37}
38
39void* pop_stack(struct stack* s) {
40        struct stack_node* n = s->head;
41        s->head = n->next;
42        void* x = n->value;
43        free(n);
44        return x;
45}
Note: See TracBrowser for help on using the repository browser.