blob: 4b3616b743e3e82ce1c6ee7d4e340319f02a68d0 [file] [log] [blame]
{ dg-modules "module1" }
begin string je = access Module1 begin who end;
string ju = access Module1 ( who );
string ji = access Module1 if true then who else who fi;
string ja = access Module1 (true | who | who);
string aa = access Module1 case 1 in who, "no" esac;
mode United = union (void,int);
string bb = access Module1 case United (10) in (int): who esac;
string cc = access Module1 (1 | who, "no");
assert (je = "jemarch");
assert (ju = "jemarch");
assert (ji = "jemarch");
assert (ja = "jemarch");
assert (aa = "jemarch");
assert (bb = "jemarch");
assert (cc = "jemarch");
access Module1 to 1 do assert (who = "jemarch" AND whoelse = "pietro") od;
access Module1 (assert (beast_number = 666 AND angelic_number = 777));
access Module1 (MyInt a = 1; MyOtherInt b = 1; assert (a + b = 2))
end