source: src/libcfa/containers/maybe @ 58daf53

aaron-thesisarm-ehcleanup-dtorsdeferred_resndemanglerjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newwith_gc
Last change on this file since 58daf53 was 58daf53, checked in by Andrew Beach <ajbeach@…>, 5 years ago

Made maybe and result mutable, they should now qualify as otypes. Also added a few details to cfa.nanorc.

  • Property mode set to 100644
File size: 1.2 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// maybe -- May contain a value.
8//
9// Author           : Andrew Beach
10// Created On       : Wed May 24 14:43:00 2017
11// Last Modified By : Andrew Beach
12// Last Modified On : Thr May 25 16:36:00 2017
13// Update Count     : 1
14//
15
16
17#ifndef MAYBE_H
18#define MAYBE_H
19
20#include <stdbool.h>
21
22// DO NOT USE DIRECTLY!
23forall(otype T)
24struct maybe {
25    bool has_value;
26    T value;
27};
28
29
30forall(otype T)
31void ?{}(maybe(T) * this);
32
33forall(otype T)
34void ?{}(maybe(T) * this, T value);
35
36forall(otype T)
37void ?{}(maybe(T) * this, maybe(T) other);
38
39forall(otype T)
40void ^?{}(maybe(T) * this);
41
42forall(otype T)
43maybe(T) ?=?(maybe(T) * this, maybe(T) other);
44
45forall(otype T)
46bool ?!=?(maybe(T) this, zero_t);
47
48forall(otype T)
49maybe(T) maybe_value(T value);
50
51forall(otype T)
52maybe(T) maybe_none();
53
54forall(otype T)
55bool has_value(maybe(T) * this);
56
57forall(otype T)
58T get(maybe(T) * this);
59
60forall(otype T)
61void set(maybe(T) * this, T value);
62
63forall(otype T)
64void set_none(maybe(T) * this);
65
66#endif // MAYBE_H
Note: See TracBrowser for help on using the repository browser.