123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549 |
- <?xml version="1.0"?>
- <concept name="SignedInteger" category="Utility"><!--
- Based on concepts from the SGI Standard Template Library documentation:
- Copyright (c) 1996-1999
- Silicon Graphics Computer Systems, Inc.
- Copyright (c) 1994
- Hewlett-Packard Company
- --><!--
- Copyright 2000-2001 University of Notre Dame du Lac.
- Copyright 2001-2002 Indiana University.
- Some concepts based on versions from the MTL draft manual and Boost Graph
- and Property Map documentation:
- Copyright (c) Jeremy Siek, Lie-Quan Lee, and Andrew Lumsdaine 2000
- -->
- <param name="T" role="integral-type"/>
- <models-sentence>Integer type <arg num="1"/> must be a model of <self/>.</models-sentence>
- <refines const="no" concept="CopyConstructible"/>
- <refines const="no" concept="Assignable"/>
- <refines const="no" concept="DefaultConstructible"/>
- <refines const="no" concept="EqualityComparable"/>
- <refines const="no" concept="LessThanComparable"/>
- <notation variables="x y z">
- <sample-value><type name="T"/></sample-value>
- </notation>
- <notation variables="a b">
- <sample-value><type name="int"/></sample-value>
- </notation>
- <!--
- <valid-type-expression name="int-ness">
- <documentation>Should this really be required?</documentation>
- <type name="T"/>
- <return-type>
- <require-same-type>
- <type name="int"/>
- </require-same-type>
- </return-type>
- </valid-type-expression>
- -->
- <valid-expression name="Conversion from int">
- <construct template-parameters="">
- <type name="T"/>
- <sample-value><type name="int"/></sample-value>
- </construct>
- <return-type><require-same-type testable="yes">
- <type name="T"/>
- </require-same-type></return-type>
- </valid-expression>
- <valid-expression name="Preincrement">
- <preincrement>
- <sample-value>
- <reference-to><type name="T"/></reference-to>
- </sample-value>
- </preincrement>
- <return-type>
- <require-same-type testable="yes">
- <reference-to><type name="T"/></reference-to>
- </require-same-type>
- </return-type>
- </valid-expression>
- <valid-expression name="Predecrement">
- <predecrement>
- <sample-value>
- <reference-to><type name="T"/></reference-to>
- </sample-value>
- </predecrement>
- <return-type>
- <require-same-type testable="yes">
- <reference-to><type name="T"/></reference-to>
- </require-same-type>
- </return-type>
- </valid-expression>
- <valid-expression name="Postincrement">
- <postincrement>
- <sample-value>
- <reference-to><type name="T"/></reference-to>
- </sample-value>
- </postincrement>
- <return-type>
- <require-same-type testable="yes">
- <type name="T"/>
- </require-same-type>
- </return-type>
- </valid-expression>
- <valid-expression name="Postdecrement">
- <postdecrement>
- <sample-value>
- <reference-to><type name="T"/></reference-to>
- </sample-value>
- </postdecrement>
- <return-type>
- <require-same-type testable="yes">
- <type name="T"/>
- </require-same-type>
- </return-type>
- </valid-expression>
- <valid-expression name="Sum">
- <add>
- <sample-value>
- <type name="T"/>
- </sample-value>
- <sample-value>
- <type name="T"/>
- </sample-value>
- </add>
- <return-type>
- <require-same-type testable="yes">
- <type name="T"/>
- </require-same-type>
- </return-type>
- </valid-expression>
- <valid-expression name="Sum with int">
- <add>
- <sample-value>
- <type name="T"/>
- </sample-value>
- <sample-value>
- <type name="int"/>
- </sample-value>
- </add>
- <return-type>
- <require-same-type testable="yes">
- <type name="T"/>
- </require-same-type>
- </return-type>
- </valid-expression>
- <valid-expression name="Sum-assignment">
- <add-assign>
- <sample-value>
- <reference-to><type name="T"/></reference-to>
- </sample-value>
- <sample-value>
- <type name="T"/>
- </sample-value>
- </add-assign>
- <return-type>
- <require-same-type testable="yes">
- <reference-to><type name="T"/></reference-to>
- </require-same-type>
- </return-type>
- </valid-expression>
- <valid-expression name="Sum-assignment with int">
- <add-assign>
- <sample-value>
- <reference-to><type name="T"/></reference-to>
- </sample-value>
- <sample-value>
- <type name="int"/>
- </sample-value>
- </add-assign>
- <return-type>
- <require-same-type testable="yes">
- <reference-to><type name="T"/></reference-to>
- </require-same-type>
- </return-type>
- </valid-expression>
- <valid-expression name="Difference">
- <subtract>
- <sample-value>
- <type name="T"/>
- </sample-value>
- <sample-value>
- <type name="T"/>
- </sample-value>
- </subtract>
- <return-type>
- <require-same-type testable="yes">
- <type name="T"/>
- </require-same-type>
- </return-type>
- </valid-expression>
- <valid-expression name="Difference with int">
- <subtract>
- <sample-value>
- <type name="T"/>
- </sample-value>
- <sample-value>
- <type name="int"/>
- </sample-value>
- </subtract>
- <return-type>
- <require-same-type testable="yes">
- <type name="T"/>
- </require-same-type>
- </return-type>
- </valid-expression>
- <valid-expression name="Product">
- <multiply>
- <sample-value>
- <type name="T"/>
- </sample-value>
- <sample-value>
- <type name="T"/>
- </sample-value>
- </multiply>
- <return-type>
- <require-same-type testable="yes">
- <type name="T"/>
- </require-same-type>
- </return-type>
- </valid-expression>
- <valid-expression name="Product with int">
- <multiply>
- <sample-value>
- <type name="T"/>
- </sample-value>
- <sample-value>
- <type name="int"/>
- </sample-value>
- </multiply>
- <return-type>
- <require-same-type testable="yes">
- <type name="T"/>
- </require-same-type>
- </return-type>
- </valid-expression>
- <valid-expression name="Product-assignment with int">
- <multiply-assign>
- <sample-value>
- <reference-to><type name="T"/></reference-to>
- </sample-value>
- <sample-value>
- <type name="int"/>
- </sample-value>
- </multiply-assign>
- <return-type>
- <require-same-type testable="yes">
- <reference-to><type name="T"/></reference-to>
- </require-same-type>
- </return-type>
- </valid-expression>
- <valid-expression name="Product with int on left">
- <multiply>
- <sample-value>
- <type name="int"/>
- </sample-value>
- <sample-value>
- <type name="T"/>
- </sample-value>
- </multiply>
- <return-type>
- <require-same-type testable="yes">
- <type name="T"/>
- </require-same-type>
- </return-type>
- </valid-expression>
- <valid-expression name="Quotient">
- <divide>
- <sample-value>
- <type name="T"/>
- </sample-value>
- <sample-value>
- <type name="T"/>
- </sample-value>
- </divide>
- <return-type>
- <require-same-type testable="yes">
- <type name="T"/>
- </require-same-type>
- </return-type>
- </valid-expression>
- <valid-expression name="Quotient with int">
- <divide>
- <sample-value>
- <type name="T"/>
- </sample-value>
- <sample-value>
- <type name="int"/>
- </sample-value>
- </divide>
- <return-type>
- <require-same-type testable="yes">
- <type name="T"/>
- </require-same-type>
- </return-type>
- </valid-expression>
- <valid-expression name="Right-shift">
- <shift-right>
- <sample-value>
- <type name="T"/>
- </sample-value>
- <sample-value>
- <type name="T"/>
- </sample-value>
- </shift-right>
- <return-type>
- <require-same-type testable="yes">
- <type name="T"/>
- </require-same-type>
- </return-type>
- </valid-expression>
- <valid-expression name="Right-shift with int">
- <shift-right>
- <sample-value>
- <type name="T"/>
- </sample-value>
- <sample-value>
- <type name="int"/>
- </sample-value>
- </shift-right>
- <return-type>
- <require-same-type testable="yes">
- <type name="T"/>
- </require-same-type>
- </return-type>
- </valid-expression>
- <valid-expression name="Right-shift-assignment with int">
- <shift-right-assign>
- <sample-value>
- <reference-to><type name="T"/></reference-to>
- </sample-value>
- <sample-value>
- <type name="int"/>
- </sample-value>
- </shift-right-assign>
- <return-type>
- <require-same-type testable="yes">
- <reference-to><type name="T"/></reference-to>
- </require-same-type>
- </return-type>
- </valid-expression>
- <valid-expression name="Less-than comparison">
- <less-than>
- <sample-value>
- <type name="T"/>
- </sample-value>
- <sample-value>
- <type name="T"/>
- </sample-value>
- </less-than>
- <return-type>
- <convertible-to testable="yes">
- <type name="bool"/>
- </convertible-to>
- </return-type>
- </valid-expression>
- <valid-expression name="Less-than comparison with int">
- <less-than>
- <sample-value>
- <type name="T"/>
- </sample-value>
- <sample-value>
- <type name="int"/>
- </sample-value>
- </less-than>
- <return-type>
- <convertible-to testable="yes">
- <type name="bool"/>
- </convertible-to>
- </return-type>
- </valid-expression>
- <valid-expression name="Less-than comparison with size_t">
- <less-than>
- <sample-value>
- <type name="T"/>
- </sample-value>
- <sample-value>
- <type name="std::size_t"/>
- </sample-value>
- </less-than>
- <return-type>
- <convertible-to testable="yes">
- <type name="bool"/>
- </convertible-to>
- </return-type>
- </valid-expression>
- <valid-expression name="Greater-than comparison">
- <greater-than>
- <sample-value>
- <type name="T"/>
- </sample-value>
- <sample-value>
- <type name="T"/>
- </sample-value>
- </greater-than>
- <return-type>
- <convertible-to testable="yes">
- <type name="bool"/>
- </convertible-to>
- </return-type>
- </valid-expression>
- <valid-expression name="Greater-than comparison with int">
- <greater-than>
- <sample-value>
- <type name="T"/>
- </sample-value>
- <sample-value>
- <type name="int"/>
- </sample-value>
- </greater-than>
- <return-type>
- <convertible-to testable="yes">
- <type name="bool"/>
- </convertible-to>
- </return-type>
- </valid-expression>
- <valid-expression name="Less-than-or-equal comparison">
- <less-than-or-equal>
- <sample-value>
- <type name="T"/>
- </sample-value>
- <sample-value>
- <type name="T"/>
- </sample-value>
- </less-than-or-equal>
- <return-type>
- <convertible-to testable="yes">
- <type name="bool"/>
- </convertible-to>
- </return-type>
- </valid-expression>
- <valid-expression name="Less-than-or-equal comparison with int">
- <less-than-or-equal>
- <sample-value>
- <type name="T"/>
- </sample-value>
- <sample-value>
- <type name="int"/>
- </sample-value>
- </less-than-or-equal>
- <return-type>
- <convertible-to testable="yes">
- <type name="bool"/>
- </convertible-to>
- </return-type>
- </valid-expression>
- <valid-expression name="Greater-than-or-equal comparison">
- <greater-than-or-equal>
- <sample-value>
- <type name="T"/>
- </sample-value>
- <sample-value>
- <type name="T"/>
- </sample-value>
- </greater-than-or-equal>
- <return-type>
- <convertible-to testable="yes">
- <type name="bool"/>
- </convertible-to>
- </return-type>
- </valid-expression>
- <valid-expression name="Greater-than-or-equal comparison with int">
- <greater-than-or-equal>
- <sample-value>
- <type name="T"/>
- </sample-value>
- <sample-value>
- <type name="int"/>
- </sample-value>
- </greater-than-or-equal>
- <return-type>
- <convertible-to testable="yes">
- <type name="bool"/>
- </convertible-to>
- </return-type>
- </valid-expression>
- <valid-expression name="Greater-than-or-equal comparison with int on left">
- <greater-than-or-equal>
- <sample-value>
- <type name="int"/>
- </sample-value>
- <sample-value>
- <type name="T"/>
- </sample-value>
- </greater-than-or-equal>
- <return-type>
- <convertible-to testable="yes">
- <type name="bool"/>
- </convertible-to>
- </return-type>
- </valid-expression>
- <valid-expression name="Equality comparison">
- <equal-to>
- <sample-value>
- <type name="T"/>
- </sample-value>
- <sample-value>
- <type name="T"/>
- </sample-value>
- </equal-to>
- <return-type>
- <convertible-to testable="yes">
- <type name="bool"/>
- </convertible-to>
- </return-type>
- </valid-expression>
- <valid-expression name="Equality comparison with int">
- <equal-to>
- <sample-value>
- <type name="T"/>
- </sample-value>
- <sample-value>
- <type name="int"/>
- </sample-value>
- </equal-to>
- <return-type>
- <convertible-to testable="yes">
- <type name="bool"/>
- </convertible-to>
- </return-type>
- </valid-expression>
- <valid-type-expression name="Conversion to int">
- <documentation/>
- <type name="T"/>
- <return-type>
- <convertible-to testable="yes">
- <type name="int"/>
- </convertible-to>
- </return-type>
- </valid-type-expression>
- </concept>
|