hi, all

I am wondering whether the following module-definition is a valid one or not.

module MyModule
{
signature dummy() exception(integer);

type port PT_IN procedure
{
in dummy;
}

type port PT_OUT procedure
{
out dummy;
}

type component CT
{
port PT_IN in_pco;
port PT_OUT out_pco;
}

testcase test_raise_reply() runs on CT
{
connect(self : out_pco, self : in_pco);

in_pco.raise(dummy, integer : 1); // Is this OK?
/** I think it's invalid, because "dummy" is not included
* in the "out" list of the port in_pco.
* But according to Clause 23.3.5,"The type definition of the
port shall include
* in its list of accepted procedure calls the name of the
procedure to which
* the exception belongs.", it seems to be ok.
* I was confused. Anybody can help me?
*/


///////////////////////////////////////////////////////////////////////////

in_pco.reply(dummy :{}); // how about
this?
}
}

Best regards
HCD