Files
iostreams/doc/concepts/source.html
Jonathan Turkanis d130e08f0a renamed io_char
[SVN r29094]
2005-05-20 05:00:34 +00:00

156 lines
6.3 KiB
HTML
Executable File

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<HTML>
<HEAD>
<TITLE>Source</TITLE>
<LINK REL="stylesheet" HREF="../../../../boost.css">
<LINK REL="stylesheet" HREF="../theme/iostreams.css">
</HEAD>
<BODY>
<!-- Begin Banner -->
<H1 CLASS="title">Source</H1>
<HR CLASS="banner">
<!-- End Banner -->
<H2>Definition</H2>
<P>
A Source is a <A HREF="device.html">Device</A> whose <A HREF="../modes.html">i/o mode</A> refines <A HREF="../modes.html#input">input</A>.
</P>
<H2>Description</H2>
<P>
A Source provides read-access to a sequence of characters of a given type. A Source may expose this sequence in three ways:
<OL>
<LI STYLE="list-style-type:lower-roman">
by defining a member function <CODE>read</CODE>, invoked indirectly by the Iostreams Library through the function <A HREF="../functions/read.html"><CODE>boost::iostreams::read</CODE></A>;
</LI>
<LI STYLE="list-style-type:lower-roman">
by overloading or specializing <A HREF="../functions/read.html"><CODE>boost::iostreams::read</CODE></A>; or
</LI>
<LI STYLE="list-style-type:lower-roman">
by defining a member function <CODE>input_sequence</CODE> returning a pair of pointers delimiting the sequence in its entirety.
</LI>
</OL>
</P>
<P>The i/o mode of a Source is <A HREF="../modes.html#input">input</A> or one of its refinements.</P>
<H2>Example</H2>
<P>
A model of Source can be defined as follows:
</P>
<PRE CLASS="broken_ie"><SPAN CLASS="keyword">struct</SPAN> Source {
<SPAN CLASS="keyword">typedef</SPAN> <SPAN CLASS="keyword">char</SPAN> char_type;
<SPAN CLASS="keyword">typedef</SPAN> source_tag category;
std::streamsize read(<SPAN CLASS="keyword">char</SPAN>* s, std::streamsize n)
{
<SPAN CLASS="comment">// Reads up to n characters from the controlled
// sequence into the buffer s, returning the number
// of characters read. Returning a value less than n
// indicates end-of-sequence.</SPAN>
}
};</PRE>
<P>
Here <CODE>source_tag</CODE> is a <A HREF="../traits.html#category_tags">category tag</A> identifying the type as a model of Source. Typically a Source can be defined by deriving from the helper classes <A HREF="../classes/device.html#source"><CODE>source</CODE></A> or <A HREF="../classes/device.html#wsource"><CODE>wsource</CODE></A> and defining a member function <CODE>read</CODE>.
<H2>Refinement of</H2>
<P><A HREF="device.html">Device</A>.</P>
<A NAME="types"></A>
<H2>Associated Types</H2>
<P>Same as <A HREF="device.html#types">Device</A>, with the following additional requirements:</P>
<TABLE CELLPADDING="5" BORDER="1">
<TR><TD>Category</TD><TD>A type convertible to <A HREF="../traits.html#category_tags"><CODE>device_tag</CODE></A> and to <A HREF="../modes.html#mode_tags"><CODE>input</CODE></A></TD></TR>
</TABLE>
<A NAME="notation"></A>
<H2>Notation</H2>
<TABLE CELLPADDING="2">
<TR><TD><CODE>S</CODE></TD><TD>- A type which is a model of Source</TD></TR>
<TR><TD><CODE>Ch</CODE></TD><TD>- The character type</TD></TR>
<TR><TD><CODE>src</CODE></TD><TD>- Object of type <CODE>S</CODE></TD></TR>
<TR><TD><CODE>s</CODE></TD><TD>- Object of type <CODE>Ch*</CODE></SPAN></TD></TR>
<TR><TD><CODE>n</CODE></TD><TD>- Object of type <CODE>std::streamsize</CODE></TD></TR>
</TABLE>
<A NAME="expressions"></A>
<H2>Valid Expressions / Semantics</H2>
<TABLE CELLPADDING="5" BORDER="1">
<TR><TH>Expression</TH><TH>Expression Type</TH><TH>Category Precondition</TH><TH>Semantics</TH></TR>
<TR>
<TD>
<PRE CLASS="plain_code"><CODE>typename <A HREF="../traits.html">char_type_of</A>&lt;S&gt;::type</CODE></PRE>
</TD>
<TD><CODE>typename</CODE> of the character type</TD>
<TD ALIGN="center">-</TD><TD ALIGN="center">-</TD>
</TR>
<TR>
<TD>
<PRE CLASS="plain_code"><CODE>typename <A HREF="../traits.html">category_of</A>&lt;S&gt;::type</CODE></PRE>
</TD>
<TD><CODE>typename</CODE> of the category</TD>
<TD ALIGN="center">-</TD><TD ALIGN="center">-</TD>
</TR>
<TR>
<TD><PRE CLASS="plain_code"><CODE><A HREF="../functions/read.html">boost::iostreams::read</A>(src, s, n)</CODE></PRE></TD>
<TD><CODE>std::streamsize</CODE></TD>
<TD>Not convertible to <A HREF="direct.html"><CODE>direct_tag</CODE></A></TD>
<TD>
Reads up to <CODE>n</CODE> characters from the sequence controlled by <CODE>src</CODE> into <CODE>s</CODE>, returning the number of characters read; returning a value less than n indicates end-of-sequence
</TD>
</TR>
<TR>
<TD><PRE CLASS="plain_code"><CODE>src.input_sequence()</CODE></PRE></TD>
<TD><PRE CLASS="plain_code"><CODE>std::pair&lt;Ch*,Ch*&gt;</CODE></PRE></TD>
<TD>Convertible to <A HREF="direct.html"><CODE>direct_tag</CODE></A></TD>
<TD>Returns a pair of pointers delimiting the sequence controlled by <CODE>src</CODE></TD>
</TR>
</TABLE>
<H2>Exceptions</H2>
<P>
Errors which occur during the execution of member functions <CODE>read</CODE> or <CODE>input_sequence</CODE> are indicated by throwing exceptions. Reaching the end of the sequence is not an error.
</P>
<P>
After an exception is thrown, a Source must be in a consistent state; further i/o operations may throw exceptions but must have well-defined behaviour.
</P>
<H2>Models</H2>
<UL>
<LI>Standard input streams and stream buffers.
<LI><A HREF="../classes/array.html#array_source">array_source</A>, <A HREF="../classes/file.html#file_source">basic_file_source</A>, <A HREF="../classes/file_descriptor.html#file_descriptor_source">file_descriptor_source</A>, <A HREF="../classes/mapped_file.html#mapped_file_source">mapped_file_source</A>.
</UL>
<!-- Begin Footer -->
<HR>
<P CLASS="copyright">Revised
<!--webbot bot="Timestamp" S-Type="EDITED" S-Format="%d %B, %Y" startspan -->
20 May, 2004
<!--webbot bot="Timestamp" endspan i-checksum="38504" -->
</P>
<P CLASS="copyright">&copy; Copyright Jonathan Turkanis, 2004</P>
<P CLASS="copyright">
Distributed under the Boost Software License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at <A HREF="http://www.boost.org/LICENSE_1_0.txt">http://www.boost.org/LICENSE_1_0.txt</A>)
</P>
<!-- End Footer -->
</BODY>