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 : Andrew Beach |
---|

12 | // Last Modified On : Fri Jun 16 15:41:00 2017 |
---|

13 | // Update Count : 2 |
---|

14 | // |
---|

15 | |
---|

16 | |
---|

17 | #ifndef RESULT_H |
---|

18 | #define RESULT_H |
---|

19 | |
---|

20 | #include <stdbool.h> |
---|

21 | |
---|

22 | // DO NOT USE DIRECTLY! |
---|

23 | forall(otype T, otype E) |
---|

24 | union inner_result{ |
---|

25 | T value; |
---|

26 | E error; |
---|

27 | }; |
---|

28 | |
---|

29 | forall(otype T, otype E) |
---|

30 | struct result { |
---|

31 | bool has_value; |
---|

32 | inner_result(T, E); |
---|

33 | }; |
---|

34 | |
---|

35 | |
---|

36 | forall(otype T, otype E) |
---|

37 | void ?{}(result(T, E) & this); |
---|

38 | |
---|

39 | forall(otype T, otype E) |
---|

40 | void ?{}(result(T, E) & this, one_t, T value); |
---|

41 | |
---|

42 | forall(otype T, otype E) |
---|

43 | void ?{}(result(T, E) & this, zero_t, E error); |
---|

44 | |
---|

45 | forall(otype T, otype E) |
---|

46 | void ?{}(result(T, E) & this, result(T, E) other); |
---|

47 | |
---|

48 | forall(otype T, otype E) |
---|

49 | void ^?{}(result(T, E) & this); |
---|

50 | |
---|

51 | forall(otype T, otype E) |
---|

52 | result(T, E) ?=?(result(T, E) & this, result(T, E) other); |
---|

53 | |
---|

54 | forall(otype T, otype E) |
---|

55 | bool ?!=?(result(T, E) this, zero_t); |
---|

56 | |
---|

57 | /* Wating for bug#11 to be fixed. |
---|

58 | forall(otype T, otype E) |
---|

59 | result(T, E) result_value(T value); |
---|

60 | |
---|

61 | forall(otype T, otype E) |
---|

62 | result(T, E) result_error(E error); |
---|

63 | */ |
---|

64 | |
---|

65 | forall(otype T, otype E) |
---|

66 | bool has_value(result(T, E) * this); |
---|

67 | |
---|

68 | forall(otype T, otype E) |
---|

69 | T get(result(T, E) * this); |
---|

70 | |
---|

71 | forall(otype T, otype E) |
---|

72 | E get_error(result(T, E) * this); |
---|

73 | |
---|

74 | forall(otype T, otype E) |
---|

75 | void set(result(T, E) * this, T value); |
---|

76 | |
---|

77 | forall(otype T, otype E) |
---|

78 | void set_error(result(T, E) * this, E error); |
---|

79 | |
---|

80 | #endif // RESULT_H |
---|