Ignore:
Timestamp:
Mar 2, 2016, 6:15:02 PM (10 years ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, string, with_gc
Children:
36ebd03, b63e376
Parents:
8f610e85
Message:

change keyword type to otype and context to trait

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/libcfa/iostream

    r8f610e85 r4040425  
    1010// Created On       : Wed May 27 17:56:53 2015
    1111// Last Modified By : Peter A. Buhr
    12 // Last Modified On : Wed Mar  2 16:44:32 2016
    13 // Update Count     : 81
     12// Last Modified On : Wed Mar  2 18:05:27 2016
     13// Update Count     : 85
    1414//
    1515
     
    1919#include "iterator"
    2020
    21 context ostream( dtype ostype ) {
     21trait ostream( dtype ostype ) {
    2222        _Bool sepPrt( ostype * );
    2323        void sepOn( ostype * );
     
    3535};
    3636
    37 context writeable( type T ) {
     37trait writeable( otype T ) {
    3838        forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, T );
    3939};
     
    6969
    7070// writes the range [begin, end) to the given stream
    71 forall( type elt_type | writeable( elt_type ), type iterator_type | iterator( iterator_type, elt_type ), dtype os_type | ostream( os_type ) )
     71forall( otype elt_type | writeable( elt_type ), otype iterator_type | iterator( iterator_type, elt_type ), dtype os_type | ostream( os_type ) )
    7272void write( iterator_type begin, iterator_type end, os_type *os );
    7373
    74 forall( type elt_type | writeable( elt_type ), type iterator_type | iterator( iterator_type, elt_type ), dtype os_type | ostream( os_type ) )
     74forall( otype elt_type | writeable( elt_type ), otype iterator_type | iterator( iterator_type, elt_type ), dtype os_type | ostream( os_type ) )
    7575void write_reverse( iterator_type begin, iterator_type end, os_type *os );
    7676
    7777//---------------------------------------
    7878
    79 context istream( dtype istype ) {
     79trait istream( dtype istype ) {
    8080        int fail( istype * );
    8181        int eof( istype * );
     
    8787};
    8888
    89 context readable( type T ) {
     89trait readable( otype T ) {
    9090        forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, T );
    9191};
Note: See TracChangeset for help on using the changeset viewer.