Next: call value discarded, Previous: call in member variable initializer, Up: Well-formedness – Valued Actions and Calls [Contents][Index]
action value discardedA typed Action is called without using its return value.
interface ihello
{
in bool hello ();
behavior
{
on hello: reply (true);
}
}
component action_discard_value
{
provides ihello p;
requires ihello r;
behavior
{
on p.hello (): r.hello ();
}
}
This results in the following error message:
action-discard-value.dzn:16:20: error: action value discarded