This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 4894 - Clarify that acyclicity is determined polymorphically
Summary: Clarify that acyclicity is determined polymorphically
Status: RESOLVED FIXED
Alias: None
Product: SML
Classification: Unclassified
Component: Core (show other bugs)
Version: unspecified
Hardware: All All
: P2 normal
Target Milestone: ---
Assignee: Virginia Smith
QA Contact: SML Working Group discussion list
URL:
Whiteboard:
Keywords: resolved
Depends on:
Blocks:
 
Reported: 2007-07-30 17:13 UTC by Pratul Dublish
Modified: 2007-11-15 22:56 UTC (History)
0 users

See Also:

Attachments

Description Pratul Dublish 2007-07-30 17:13:10 UTC 
Section 3.3.1 for sml:acyclic should clarify that acyclicity is determined polymorphically.  In particular, if sml:acyclic=true for a reference type R, then a model is invalid if it contains a cycle whose edges are instances of R and any derived types of R.
Comment 1 Virginia Smith 2007-10-17 20:07:12 UTC 
Section 4.3.1 now.
Comment 2 Virginia Smith 2007-11-04 20:08:14 UTC 
The proposal in bug 4639 covers this.
Comment 3 Pratul Dublish 2007-11-12 18:29:22 UTC 
Agree with the proposal in 4639. Recommend resolving this as FIXED

--- Copied from 4639 ---------
2. Replace section 4.3.1.3 with the following text:
----------------
If T is a complex type definition with {acyclic} true, then instances of T MUST
NOT create cycles in any model. More precisely, the directed graph whose arcs
are SML references of a given complexType (and any derived types) and whose
nodes are all the elements pointed to by this set of SML references, must be
acyclic.

---- end copy -----
Comment 4 Kumar Pandit 2007-11-14 05:57:33 UTC 
I agree with the definition in comment# 3.
Comment 5 John Arwe 2007-11-15 17:09:32 UTC 
ok
Comment 6 Virginia Smith 2007-11-15 19:23:55 UTC 
Resolution: accept proposal in comment #3 and remove dependency on 4639. Bug 4639 may revisit this section.
Comment 7 Virginia Smith 2007-11-15 22:56:49 UTC 
Changed section 4.3.1.3 as proposed in comment #3.