source: libcfa/src/containers/result.hfa @ 97c3159

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since 97c3159 was 73abe95, checked in by Thierry Delisle <tdelisle@…>, 6 years ago

Replace extension-less headers with .hfa

  • Property mode set to 100644
File size: 1.7 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// result -- Contains the expected value or an error value.
8//
9// Author           : Andrew Beach
10// Created On       : Wed May 24 14:45:00 2017
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Sat Jul 22 10:00:44 2017
13// Update Count     : 3
14//
15
16#pragma once
17
18#include <stdbool.h>
19
20// DO NOT USE DIRECTLY!
21forall(otype T, otype E)
22union inner_result{
23        T value;
24        E error;
25};
26
27forall(otype T, otype E)
28struct result {
29        bool has_value;
30        inline union inner_result(T, E);
31};
32
33
34forall(otype T, otype E)
35void ?{}(result(T, E) & this);
36
37forall(otype T, otype E)
38void ?{}(result(T, E) & this, one_t, T value);
39
40forall(otype T, otype E)
41void ?{}(result(T, E) & this, zero_t, E error);
42
43forall(otype T, otype E)
44void ?{}(result(T, E) & this, result(T, E) other);
45
46forall(otype T, otype E)
47void ^?{}(result(T, E) & this);
48
49forall(otype T, otype E)
50result(T, E) ?=?(result(T, E) & this, result(T, E) other);
51
52forall(otype T, otype E)
53bool ?!=?(result(T, E) this, zero_t);
54
55/* Wating for bug#11 to be fixed.
56forall(otype T, otype E)
57result(T, E) result_value(T value);
58
59forall(otype T, otype E)
60result(T, E) result_error(E error);
61*/
62
63forall(otype T, otype E)
64bool has_value(result(T, E) * this);
65
66forall(otype T, otype E)
67T get(result(T, E) * this);
68
69forall(otype T, otype E)
70E get_error(result(T, E) * this);
71
72forall(otype T, otype E)
73void set(result(T, E) * this, T value);
74
75forall(otype T, otype E)
76void set_error(result(T, E) * this, E error);
77
78// Local Variables: //
79// mode: c //
80// tab-width: 4 //
81// End: //
Note: See TracBrowser for help on using the repository browser.