source: tests/result.cfa @ 36dfdac

//
// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
//
// The contents of this file are covered under the licence agreement in the
// file "LICENCE" distributed with Cforall.
//
// result.c --
//
// Author           : Andrew Beach
// Created On       : Thr May 25 16:50:00 2017
// Last Modified By : Peter A. Buhr
// Last Modified On : Wed Aug 30 21:46:34 2023
// Update Count     : 3
//

#include <assert.h>
#include <collections/result.hfa>

void checkPredicates() {
        result(int, char) pass = {1, 4};
        assert(pass);
        assert(has_value(&pass));

        result(int, char) fail = {0, '!'};
        assert((fail ? false : true));
        assert(!has_value(&fail));
}

/* Waiting for bug#11 to be fixed.
void checkNamedConstructors() {
        result(int, char) = result_value(4);
        assert(has_value(&pass));

        result(int, char) fail = result_error('!');
        assert(!has_value(&fail));
}
*/

void checkGetters() {
        result(int, char) pass = {1, 4};
        assert(4 == get(&pass));

        result(int, char) fail = {0, '!'};
        assert('!' == get_error(&fail));
}

void checkSetters() {
        result(int, char) fee = {1, -7};
        assert(-7 == get(&fee));
        set(&fee, 42);
        assert(42 == get(&fee));
        set_error(&fee, '@');
        assert('@' == get_error(&fee));

        result(int, char) fy = {1, -7};
        fee = fy;
        assert(-7 == get(&fee));
        result(int, char) foe = {0, '!'};
        fee = foe;
        assert('!' == get_error(&fee));
}

int main(int argc, char * argv[]) {
        checkPredicates();
        //checkNamedConstructors();
        checkGetters();
        checkSetters();
        printf( "done\n" );                             // non-empty .expect file
}