Changes in doc/papers/general/evaluation/c-stack.h [ac4dad2:e59f0bf]

File:

• doc/papers/general/evaluation/c-stack.h (modified) (1 diff)

doc/papers/general/evaluation/c-stack.h

@@ -1 +1 @@
 #pragma once
 
-struct node;
-typedef struct stack {
-        struct node * head;
-} stack;
+struct stack_node;
+struct stack {
+        struct stack_node* head;
+};
 
-stack new_stack();
-void copy_stack(stack * dst, const stack * src, void * (* copy)(const void *));
-stack * assign_stack( stack * dst, const stack * src, 
-        void * (* copy_el)(const void *), void (* free_el)(void *));
-void clear_stack(stack * s, void (*free_el)(void *));
+struct stack new_stack();
+void copy_stack(struct stack* dst, const struct stack* src, void* (*copy)(const void*));
+struct stack* assign_stack(struct stack* dst, const struct stack* src, 
+        void* (*copy_el)(const void*), void (*free_el)(void*));
+void clear_stack(struct stack* s, void (*free_el)(void*));
 
-_Bool stack_empty( const stack * s );
-void push_stack( stack * s, void * value );
-void * pop_stack( stack * s );
+_Bool stack_empty(const struct stack* s);
+void push_stack(struct stack* s, void* value);
+void* pop_stack(struct stack* s);