source:
src/Tests/Abstype.c
@
55ba733
| Last change on this file since 55ba733 was 55ba733, checked in by , 6 years ago | |
|---|---|
|
|
| File size: 369 bytes | |
| Rev | Line | |
|---|---|---|
| [55ba733] | 1 | otype T | { T x( T ); }; |
| [51b7345] | 2 | |
| [a65d92e] | 3 | T y( T t ) { |
| [51b7345] | 4 | T t_instance; |
| 5 | return x( t ); | |
| 6 | } | |
| 7 | ||
| [55ba733] | 8 | forall( otype T ) lvalue T *?( T * ); |
| [5f2f2d7] | 9 | int ?++( int * ); |
| [a65d92e] | 10 | int ?=?( int *, int ); |
| 11 | forall( dtype DT ) DT * ?=?( DT **, DT * ); | |
| [51b7345] | 12 | |
| [55ba733] | 13 | otype U = int *; |
| [51b7345] | 14 | |
| [a65d92e] | 15 | U x( U u ) { |
| [51b7345] | 16 | U u_instance = u; |
| 17 | (*u)++; | |
| 18 | return u; | |
| 19 | } | |
| 20 | ||
| [a65d92e] | 21 | int *break_abstraction( U u ) { |
| [51b7345] | 22 | return u; |
| 23 | } | |
| [a65d92e] | 24 | |
| 25 | // Local Variables: // | |
| 26 | // tab-width: 4 // | |
| 27 | // End: // |
Note: See TracBrowser
for help on using the repository browser.
