source: doc/papers/general/evaluation/cfa-stack.h @ 000ff2c

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

update CFA evaluation code

  • Property mode set to 100644
File size: 490 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.