Re: Importing items used in MODULE-COMPLIANCE and AGENT-CAPABILITIES

[Juergen Schoenwaelder <schoenw@ibr.cs.tu-bs.de>]

>>>>> C M Heard writes:

Mike> Although exemptions to this general requirement are granted by
Mike> RFC 2580 Sections 5.4.3 and 6.5.2 for names of objects appearing
Mike> in the OBJECT clause of a MODULE-COMPLIANCE macro invocation or
Mike> in the VARIATION clause of an AGENT-CAPABILITIES macro
Mike> invocation, it is nonetheless RECOMMENDED by these guidelines
Mike> that such symbols be included in the module's IMPORTS statement.

Another data point: I just verified with Dave's examples that "smidump
-f smiv2" always generates explicit import lists - but I guess this
does not count much since I remember to have written the code which
computes import lists myself.

On the other hand, smilint right now does not warn if people use
implicit imports since the SMIv2 says this is legal. But if it turns
out to be consensus that this is legal but not the recommended way of
doing things, then it should be not too difficult to add some code to
detect this and to issue a level 6 warning...

/js

-- 
Juergen Schoenwaelder    <http://www.informatik.uni-osnabrueck.de/schoenw/>