Douglas Gregor wrote: > > On Oct 18, 2006, at 10:46 AM, Eric Niebler wrote: > >> I'm trying to document concepts using the transforms in the >> xsl/caramel directory. (Looks like the IU guys made this, so I'm >> cc'ing Doug.) I'm trying to find a way to say that a particular >> associated type must model a concept. > > I integrated it, but I won't pretend that I understand it well.
OK, noted. >> I have a "Sequence" concept that has an "elements" associated type. >> Then I have a refinement called "Mutable_Sequence" for which the >> "elements" associated type must be a model of >> "ReadWritePropertyMap". What xsl magic do I need for that? > > I pulled this out of libs/concept_check/doc/reference/InputIterator.xml: > > <valid-type-expression name="Difference type properties"> > <description/> > <type name="difference_type"/> > <return-type> > <models-as-first-arg const="no" testable="yes" > concept="SignedInteger"/> > </return-type> > </valid-type-expression> > > I think that concept="SignedInteger" is the syntax you need. Ah, that's approximately what I need. Thanks! I don't know what "models-as-first-arg" means, though. Also, I neglected to mention this, but the ReadWritePropertyMap is a multi-type concept. What I really should be saying is something like "where ReadWritePropertyMap< elements, cursor >;". I don't suppose there is syntax for that, is there? And (I know this is pushing it ;-) I don't suppose there is documentation for any of this, so I can find my own answers, is there? -- Eric Niebler Boost Consulting www.boost-consulting.com ------------------------------------------------------------------------- Using Tomcat but need to do more? Need to support web services, security? Get stuff done quickly with pre-integrated technology to make your job easier Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642 _______________________________________________ Boost-docs mailing list [email protected] Unsubscribe and other administrative requests: https://lists.sourceforge.net/lists/listinfo/boost-docs
