############################################################################# ## ## This file is part of GAP, a system for computational discrete algebra. ## ## Copyright of GAP belongs to its developers, whose names are too numerous ## to list here. Please refer to the COPYRIGHT file for details. ## ## SPDX-License-Identifier: GPL-2.0-or-later ## ## Custom streams for HPC-GAP ##
############################################################################# ## #C IsOutputCustomStream( <obj> ) . . . . . category of output custom streams ## ## <#GAPDoc Label="IsOutputCustomStream"> ## <ManSection> ## <Filt Name="IsOutputCustomStream" Arg='obj' Type='Category'/> ## ## <Description> ## All <E>custom</E> output streams lie in this category and translate ## new-line characters on output. ## </Description> ## </ManSection> ## <#/GAPDoc> ##
DeclareCategory( "IsOutputCustomStream", IsOutputStream );
############################################################################# ## #O InputTextCustom( <state>, <read>, <close> ) . . . . . . create input text #O stream from state, read, and close functions. ## ## <#GAPDoc Label="InputTextCustom"> ## <ManSection> ## <Oper Name="InputTextCustom" Arg='state, read, close'/> ## ## <Description> ## <C>InputTextString( <A>state</A>, <A>read</A>, <A>close</A> )</C> returns ## an input stream that ## delivers the characters generated by the <A>read</A> function. The ## <A>read</A> function is passed the <A>state</A> parameter as its ## argument. When the stream is closed, <A>close</A> is called with ## <A>state</a> as its argument. ## </Description> ## </ManSection> ## <#/GAPDoc> ##
DeclareGlobalFunction( "InputTextCustom" );
############################################################################# ## #O OutputTextCustom( <state>, <write>, <close> ) . . . . . . create custom #O output text stream ## ## <#GAPDoc Label="OutputTextCustom"> ## <ManSection> ## <Oper Name="OutputTextCustom" Arg='state, write, close'/> ## ## <Description> ## returns an output stream that sends all received characters to the ## <A>write</A> function. The <A>write</A> function is called with ## <A>state</A> as its first parameter and a string containing characters ## to be output as its second. The <A>close</A> function is called when ## the stream is closed with <A>state</A> as its only argument. ## </Description> ## </ManSection> ## <#/GAPDoc> ##
DeclareGlobalFunction( "OutputTextCustom" );
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Angebot
Hier finden Sie eine Liste der Produkte des Unternehmens