source: doc/papers/general/evaluation/cfa-stack.h @ 29db723

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

additional changes

  • Property mode set to 100644
File size: 510 bytes
Line 
1#pragma once
2
3forall( otype T ) struct stack_node;
4forall( otype T ) struct stack {
5        stack_node(T) * head;
6};
7
8forall( otype T ) void ?{}( stack(T) & s );
9forall( otype T ) void ?{}( stack(T) & s, stack(T) t );
10forall( otype T ) stack(T) ?=?( stack(T) & s, stack(T) t );
11forall( otype T ) void ^?{}( stack(T) & s);
12
13forall( otype T ) _Bool empty( const stack(T) & s );
14forall( otype T ) void push( stack(T) & s, T value );
15forall( otype T ) T pop( stack(T) & s );
16forall( otype T ) void clear( stack(T) & s );
Note: See TracBrowser for help on using the repository browser.