source: tests/concurrent/waitfor/else.cfa @ dca5802

#include <fstream.hfa>
#include <monitor.hfa>

#include <stdbool.h>

monitor M {};

void notcalled( M & mutex m ) {
        abort();
}

void test( M & mutex m ) {
        int i = 0;
        sout | "Starting";

        when( false ) waitfor( notcalled, m );

        sout | "Step" | i++;

        waitfor( notcalled, m ); or else {
                sout | "else called";
        }

        sout | "Step" | i++;

        when( true ) waitfor( notcalled, m ); or when( true ) else {
                sout | "else called";
        }

        sout | "Step" | i++;

        when( false ) waitfor( notcalled, m ); or when( true ) else {
                sout | "else called";
        }

        sout | "Step" | i++;

        when( false ) waitfor( notcalled, m ); or when( false ) else {
                sout | "else called";
        }

        sout | "Done";
}

int main() {
        M m;
        test(m);
}