Changeset 32cab5b for doc/papers/general/evaluation/cfa-stack.h
- Timestamp:
- Apr 17, 2018, 12:01:09 PM (7 years ago)
- Branches:
- ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, with_gc
- Children:
- 3265399
- Parents:
- b2fe1c9 (diff), 81bb114 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)
links above to see all the changes relative to each parent. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/papers/general/evaluation/cfa-stack.h
rb2fe1c9 r32cab5b 1 1 #pragma once 2 2 3 forall( otype T) struct stack_node;4 forall( otype T) struct stack {3 forall( otype T ) struct stack_node; 4 forall( otype T ) struct stack { 5 5 stack_node(T) * head; 6 6 }; 7 7 8 forall( otype T) void ?{}( stack(T) & s );9 forall( otype T) void ?{}( stack(T) & s, stack(T) t );10 forall( otype T) stack(T) ?=?( stack(T) & s, stack(T) t );11 forall( otype T) void ^?{}( stack(T) & s);8 forall( otype T ) void ?{}( stack(T) & s ); 9 forall( otype T ) void ?{}( stack(T) & s, stack(T) t ); 10 forall( otype T ) stack(T) ?=?( stack(T) & s, stack(T) t ); 11 forall( otype T ) void ^?{}( stack(T) & s); 12 12 13 forall( otype T) _Bool empty( const stack(T) & s );14 forall( otype T) void push( stack(T) & s, T value );15 forall( otype T) T pop( stack(T) & s );16 forall( otype T) void clear( stack(T) & s );13 forall( otype T ) _Bool empty( const stack(T) & s ); 14 forall( otype T ) void push( stack(T) & s, T value ); 15 forall( otype T ) T pop( stack(T) & s ); 16 forall( otype T ) void clear( stack(T) & s );
Note:
See TracChangeset
for help on using the changeset viewer.