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.
> 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.
Cheers,
Doug
-------------------------------------------------------------------------
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
