Subject: Re: interface gate restriction
From: Rick Reed TSE (rickreed#tseng.co.uk)
Date: Fri Jan 26 2001 - 14:37:53 GMT
Eckhardt Holz at holz#informatik.hu-berlin.de wrote on 25/01/2001 11:46:
> agreed - the point is to prevent a circular definition. An agent must
> not use
> its implicit interface neither directly or indirectly (by inheritance or
> in a
> signallist) on its ingoing gates that are connected to its state
> machine. There
> seems to be no problem (afaik) on the outgoing gates or on the gates not
> connected to the state machine.
I am not sure we need such a restriction (see my earlier email in response
to Anders), but if we do then:
a) it has to be on the graphical grammar as well as the textual grammar;
b) it should also prohibit indirect references to the interface (for example
through an interface that inherits the interface);
c) the restriction is also needed on any incoming signal list, not just on
interface gate definitions.
-- Rick Reed - rickreed#tseng.co.uk Tel:+44 1455 55 96 55 Fax:+44 1455 55 96 58 Mob.:+44 7970 50 96 50
This archive was generated by hypermail 2a23 : Mon May 05 2008 - 20:30:55 GMT