mirror of
				https://github.com/saitohirga/WSJT-X.git
				synced 2025-11-04 05:50:31 -05:00 
			
		
		
		
	
		
			
	
	
		
			33 lines
		
	
	
		
			2.2 KiB
		
	
	
	
		
			ReStructuredText
		
	
	
	
	
	
		
		
			
		
	
	
			33 lines
		
	
	
		
			2.2 KiB
		
	
	
	
		
			ReStructuredText
		
	
	
	
	
	
| 
								 | 
							
								.. Copyright David Abrahams 2006. Distributed under the Boost
							 | 
						||
| 
								 | 
							
								.. Software License, Version 1.0. (See accompanying
							 | 
						||
| 
								 | 
							
								.. file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								Single Pass Iterator Concept
							 | 
						||
| 
								 | 
							
								............................
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								A class or built-in type ``X`` models the *Single Pass Iterator*
							 | 
						||
| 
								 | 
							
								concept if the following expressions are valid and respect the stated
							 | 
						||
| 
								 | 
							
								semantics.
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								+------------------------------------------------------------------------------------------+
							 | 
						||
| 
								 | 
							
								|Single Pass Iterator Requirements (in addition to Incrementable Iterator and Equality     |
							 | 
						||
| 
								 | 
							
								|Comparable)                                                                               |
							 | 
						||
| 
								 | 
							
								+--------------------------------+-----------------------------+---------------------------+
							 | 
						||
| 
								 | 
							
								|Expression                      |Return Type                  |Assertion/Semantics /      | 
							 | 
						||
| 
								 | 
							
								|                                |                             |Pre-/Post-condition        |
							 | 
						||
| 
								 | 
							
								+================================+=============================+===========================+
							 | 
						||
| 
								 | 
							
								|``++r``                         |``X&``                       |pre: ``r`` is              |
							 | 
						||
| 
								 | 
							
								|                                |                             |dereferenceable; post:     |
							 | 
						||
| 
								 | 
							
								|                                |                             |``r`` is dereferenceable or|
							 | 
						||
| 
								 | 
							
								|                                |                             |``r`` is past-the-end      |
							 | 
						||
| 
								 | 
							
								+--------------------------------+-----------------------------+---------------------------+
							 | 
						||
| 
								 | 
							
								|``a == b``                      |convertible to ``bool``      |``==`` is an equivalence   |
							 | 
						||
| 
								 | 
							
								|                                |                             |relation over its domain   |
							 | 
						||
| 
								 | 
							
								+--------------------------------+-----------------------------+---------------------------+
							 | 
						||
| 
								 | 
							
								|``a != b``                      |convertible to ``bool``      |``!(a == b)``              |
							 | 
						||
| 
								 | 
							
								+--------------------------------+-----------------------------+---------------------------+
							 | 
						||
| 
								 | 
							
								|``iterator_traversal<X>::type`` |Convertible to               |                           |
							 | 
						||
| 
								 | 
							
								|                                |``single_pass_traversal_tag``|                           |
							 | 
						||
| 
								 | 
							
								+--------------------------------+-----------------------------+---------------------------+
							 |