diff --git a/Doc/Makefile b/Doc/Makefile index 3edd6b686d0..a1366857583 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -7,6 +7,7 @@ # tut -- Tutorial (file tut.tex) # lib -- Library Reference (file lib.tex, inputs lib*.tex) # ext -- Extending and Embedding (file ext.tex) +# api -- Python-C API Reference # # The Reference Manual is now maintained as a FrameMaker document. # See the subdirectory ref; PostScript is included as ref/ref.ps. @@ -18,9 +19,6 @@ # four. You can also do "make lib" (etc.) to process individual # documents. # -# There's also: -# qua -- Paper published in the CWI Quarterly (file qua.tex) -# # There's one local style file: myformat.sty. This defines a number # of macros that are similar in name and intent as macros in Texinfo # (e.g. \code{...} and \emph{...}), as well as a number of @@ -31,7 +29,6 @@ # latex # makeindex # dvips -# bibtex (only for formatting qua.tex) # # There's a problem with generating the index which has been solved by # a sed command applied to the index file. The shell script fix_hack @@ -43,7 +40,7 @@ # Additional targets attempt to convert selected LaTeX sources to # various other formats. These are generally site specific because # the tools used are all but universal. These targets are: -# l2h -- convert tut, lib, ext from LaTeX to HTML +# l2h -- convert tut, lib, ext, api from LaTeX to HTML # See the README file for more info on these targets. # Customizations -- you *may* have to edit these @@ -67,19 +64,17 @@ DOCDESTDIR= $LIBDEST/doc # Main target all: all-ps -all-dvi: tut.dvi lib.dvi ext.dvi -all-ps: tut.ps lib.ps ext.ps +all-dvi: tut.dvi lib.dvi ext.dvi api.dvi +all-ps: tut.ps lib.ps ext.ps api.ps # Individual document fake targets tut: tut.ps lib: lib.ps ext: ext.ps - -# CWI Quarterly document fake target -qua: qua.ps +api: api.ps # Dependencies -tut.dvi lib.dvi ext.dvi: myformat.sty fix_hack +tut.dvi lib.dvi ext.dvi api.dvi: myformat.sty fix_hack # Tutorial document tut.dvi: tut.tex @@ -129,7 +124,7 @@ lib.ps: lib.dvi $(DVIPS) lib >lib.ps # Extensions document -ext.dvi: ext.tex extref.tex +ext.dvi: ext.tex touch ext.ind $(LATEX) ext ./fix_hack ext.idx @@ -139,15 +134,16 @@ ext.dvi: ext.tex extref.tex ext.ps: ext.dvi $(DVIPS) ext >ext.ps -# Quarterly document -qua.dvi: qua.tex quabib.bib - $(LATEX) qua - $(BIBTEX) qua - $(LATEX) qua - $(BIBTEX) qua +# Python-C API document +api.dvi: api.tex + touch api.ind + $(LATEX) api + ./fix_hack api.idx + $(MAKEINDEX) api.idx + $(LATEX) api -qua.ps: qua.dvi - $(DVIPS) qua >qua.ps +api.ps: api.dvi + $(DVIPS) api >api.ps # The remaining part of the Makefile is concerned with various @@ -168,7 +164,7 @@ qua.ps: qua.dvi # of; the prominent location makes it worth the extra step. This affects the # title pages! -l2h: l2htut l2hext l2hlib +l2h: l2htut l2hext l2hlib l2htut l2htut: tut.dvi myformat.perl $(L2H) $(L2HARGS) tut.tex @@ -199,15 +195,24 @@ l2hlib: lib.dvi myformat.perl @rm -rf python-lib mv lib python-lib +l2hapi: api.dvi myformat.perl + $(L2H) $(L2HARGS) api.tex + @rm -rf python-api + sed 's/^

,/

/' \ + api/xxx + ln -s api.html api/index.html + mv api/xxx api/api.html + mv api python-api + # Housekeeping targets -# Remove temporary files +# Remove temporary files; all except the following: +# - sources: .tex, .bib, .sty +# - useful results: .dvi, .ps, .texi, .info clean: rm -f @* *~ *.aux *.idx *.ilg *.ind *.log *.toc *.blg *.bbl *.pyc rm -f *.bak *.orig - # Sources: .tex, .bib, .sty - # Useful results: .dvi, .ps, .texi, .info # Remove temporaries as well as final products clobber: clean diff --git a/Doc/api.tex b/Doc/api.tex new file mode 100644 index 00000000000..6c43933d54f --- /dev/null +++ b/Doc/api.tex @@ -0,0 +1,884 @@ +\documentstyle[twoside,11pt,myformat]{report} + +% NOTE: this file controls which chapters/sections of the library +% manual are actually printed. It is easy to customize your manual +% by commenting out sections that you're not interested in. + +\title{Python-C API Reference} + +\input{boilerplate} + +\makeindex % tell \index to actually write the .idx file + + +\begin{document} + +\pagenumbering{roman} + +\maketitle + +\input{copyright} + +\begin{abstract} + +\noindent +This manual documents the API used by C (or C++) programmers who want +to write extension modules or embed Python. It is a companion to +``Extending and Embedding the Python Interpreter'', which describes +the general principles of extension writing but does not document the +API functions in detail. + +\end{abstract} + +\pagebreak + +{ +\parskip = 0mm +\tableofcontents +} + +\pagebreak + +\pagenumbering{arabic} + + +\chapter{Introduction} + +From the viewpoint of of C access to Python services, we have: + +\begin{enumerate} + +\item "Very high level layer": two or three functions that let you +exec or eval arbitrary Python code given as a string in a module whose +name is given, passing C values in and getting C values out using +mkvalue/getargs style format strings. This does not require the user +to declare any variables of type \code{PyObject *}. This should be +enough to write a simple application that gets Python code from the +user, execs it, and returns the output or errors. + +\item "Abstract objects layer": which is the subject of this chapter. +It has many functions operating on objects, and lest you do many +things from C that you can also write in Python, without going through +the Python parser. + +\item "Concrete objects layer": This is the public type-dependent +interface provided by the standard built-in types, such as floats, +strings, and lists. This interface exists and is currently documented +by the collection of include files provides with the Python +distributions. + +\begin{enumerate} + +From the point of view of Python accessing services provided by C +modules: + +\end{enumerate} + +\item[4] "Python module interface": this interface consist of the basic +routines used to define modules and their members. Most of the +current extensions-writing guide deals with this interface. + +\item[5] "Built-in object interface": this is the interface that a new +built-in type must provide and the mechanisms and rules that a +developer of a new built-in type must use and follow. + +\end{enumerate} + +The Python C API provides four groups of operations on objects, +corresponding to the same operations in the Python language: object, +numeric, sequence, and mapping. Each protocol consists of a +collection of related operations. If an operation that is not +provided by a particular type is invoked, then the standard exception +\code{TypeError} is raised with a operation name as an argument. + +In addition, for convenience this interface defines a set of +constructors for building objects of built-in types. This is needed +so new objects can be returned from C functions that otherwise treat +objects generically. + +\section{Reference Counting} + +For most of the functions in the Python-C API, if a function retains a +reference to a Python object passed as an argument, then the function +will increase the reference count of the object. It is unnecessary +for the caller to increase the reference count of an argument in +anticipation of the object's retention. + +Usually, Python objects returned from functions should be treated as +new objects. Functions that return objects assume that the caller +will retain a reference and the reference count of the object has +already been incremented to account for this fact. A caller that does +not retain a reference to an object that is returned from a function +must decrement the reference count of the object (using +\code{Py_DECREF()}) to prevent memory leaks. + +Exceptions to these rules will be noted with the individual functions. + +\section{Include Files} + +All function, type and macro definitions needed to use the Python-C +API are included in your code by the following line: + +\code{\#include "Python.h"} + +This implies inclusion of the following standard header files: +stdio.h, string.h, errno.h, and stdlib.h (if available). + +All user visible names defined by Python.h (except those defined by +the included standard headers) have one of the prefixes \code{Py} or +\code{_Py}. Names beginning with \code{_Py} are for internal use +only. + + +\chapter{Initialization and Shutdown of an Embedded Python Interpreter} + +When embedding the Python interpreter in a C or C++ program, the +interpreter must be initialized. + +\begin{cfuncdesc}{void}{PyInitialize}{} +This function initializes the interpreter. It must be called before +any interaction with the interpreter takes place. If it is called +more than once, the second and further calls have no effect. + +The function performs the following tasks: create an environment in +which modules can be imported and Python code can be executed; +initialize the \code{__builtin__} module; initialize the \code{sys} +module; initialize \code{sys.path}; initialize signal handling; and +create the empty \code{__main__} module. + +In the current system, there is no way to undo all these +initializations or to create additional interpreter environments. +\end{cfuncdesc} + +\begin{cfuncdesc}{int}{Py_AtExit}{void (*func) ()} +Register a cleanup function to be called when Python exits. The +cleanup function will be called with no arguments and should return no +value. At most 32 cleanup functions can be registered. When the +registration is successful, \code{Py_AtExit} returns 0; on failure, it +returns -1. Each cleanup function will be called t most once. The +cleanup function registered last is called first. +\end{cfuncdesc} + +\begin{cfuncdesc}{void}{Py_Exit}{int status} +Exit the current process. This calls \code{Py_Cleanup()} (see next +item) and performs additional cleanup (under some circumstances it +will attempt to delete all modules), and then calls the standard C +library function \code{exit(status)}. +\end{cfuncdesc} + +\begin{cfuncdesc}{void}{Py_Cleanup}{} +Perform some of the cleanup that \code{Py_Exit} performs, but don't +exit the process. In particular, this invokes the user's +\code{sys.exitfunc} function (if defined at all), and it invokes the +cleanup functions registered with \code{Py_AtExit()}, in reverse order +of their registration. +\end{cfuncdesc} + +\begin{cfuncdesc}{void}{Py_FatalError}{char *message} +Print a fatal error message and die. No cleanup is performed. This +function should only be invoked when a condition is detected that +would make it dangerous to continue using the Python interpreter; +e.g., when the object administration appears to be corrupted. +\end{cfuncdesc} + +\begin{cfuncdesc}{void}{PyImport_Init}{} +Initialize the module table. For internal use only. +\end{cfuncdesc} + +\begin{cfuncdesc}{void}{PyImport_Cleanup}{} +Empty the module table. For internal use only. +\end{cfuncdesc} + +\begin{cfuncdesc}{void}{PyBuiltin_Init}{} +Initialize the \code{__builtin__} module. For internal use only. +\end{cfuncdesc} + + +\chapter{Reference Counting} + +The functions in this chapter are used for managing reference counts +of Python objects. + +\begin{cfuncdesc}{void}{Py_INCREF}{PyObject *o} +Increment the reference count for object \code{o}. The object must +not be \NULL{}; if you aren't sure that it isn't \NULL{}, use +\code{Py_XINCREF()}. +\end{cfuncdesc} + +\begin{cfuncdesc}{void}{Py_XINCREF}{PyObject *o} +Increment the reference count for object \code{o}. The object may be +\NULL{}, in which case the function has no effect. +\end{cfuncdesc} + +\begin{cfuncdesc}{void}{Py_DECREF}{PyObject *o} +Decrement the reference count for object \code{o}. The object must +not be \NULL{}; if you aren't sure that it isn't \NULL{}, use +\code{Py_XDECREF()}. If the reference count reaches zero, the object's +type's deallocation function (which must not be \NULL{}) is invoked. + +\strong{Warning:} The deallocation function can cause arbitrary Python +code to be invoked (e.g. when a class instance with a \code{__del__()} +method is deallocated). While exceptions in such code are not +propagated, the executed code has free access to all Python global +variables. This means that any object that is reachable from a global +variable should be in a consistent state before \code{Py_DECREF()} is +invoked. For example, code to delete an object from a list should +copy a reference to the deleted object in a temporary variable, update +the list data structure, and then call \code{Py_DECREF()} for the +temporary variable. +\end{cfuncdesc} + +\begin{cfuncdesc}{void}{Py_XDECREF}{PyObject *o} +Decrement the reference count for object \code{o}.The object may be +\NULL{}, in which case the function has no effect; otherwise the +effect is the same as for \code{Py_DECREF()}, and the same warning +applies. +\end{cfuncdesc} + + +\chapter{Exception Handling} + +The functions in this chapter will let you handle and raise Python +exceptions. + +\begin{cfuncdesc}{void}{PyErr_Print}{} +\end{cfuncdesc} + + +\chapter{Utilities} + +The functions in this chapter perform various utility tasks, such as +parsing function arguments and constructing Python values from C +values. + +\begin{cfuncdesc}{int}{Py_FdIsInteractive}{FILE *fp, char *filename} +Return true (nonzero) if the standard I/O file \code{fp} with name +\code{filename} is deemed interactive. This is the case for files for +which \code{isatty(fileno(fp))} is true. If the global flag +\code{Py_InteractiveFlag} is true, this function also returns true if +the \code{name} pointer is \NULL{} or if the name is equal to one of +the strings \code{""} or \code{"???"}. +\end{cfuncdesc} + +\begin{cfuncdesc}{long}{PyOS_GetLastModificationTime}{char *filename} +Return the time of last modification of the file \code{filename}. +The result is encoded in the same way as the timestamp returned by +the standard C library function \code{time()}. +\end{cfuncdesc} + + +\chapter{Debugging} + +XXX Explain Py_DEBUG, Py_TRACE_REFS, Py_REF_DEBUG. + + +\chapter{The Very High Level Layer} + +The functions in this chapter will let you execute Python source code +given in a file or a buffer, but they will not let you interact in a +more detailed way with the interpreter. + + +\chapter{Abstract Objects Layer} + +The functions in this chapter interact with Python objects regardless +of their type, or with wide classes of object types (e.g. all +numerical types, or all sequence types). When used on object types +for which they do not apply, they will flag a Python exception. + +\section{Object Protocol} + +\begin{cfuncdesc}{int}{PyObject_Print}{PyObject *o, FILE *fp, int flags} +Print an object \code{o}, on file \code{fp}. Returns -1 on error +The flags argument is used to enable certain printing +options. The only option currently supported is \code{Py_Print_RAW}. +\end{cfuncdesc} + +\begin{cfuncdesc}{int}{PyObject_HasAttrString}{PyObject *o, char *attr_name} +Returns 1 if o has the attribute attr_name, and 0 otherwise. +This is equivalent to the Python expression: +\code{hasattr(o,attr_name)}. +This function always succeeds. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PyObject_GetAttrString}{PyObject *o, char *attr_name} +Retrieve an attributed named attr_name form object o. +Returns the attribute value on success, or \NULL{} on failure. +This is the equivalent of the Python expression: \code{o.attr_name}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyObject_HasAttr}{PyObject *o, PyObject *attr_name} +Returns 1 if o has the attribute attr_name, and 0 otherwise. +This is equivalent to the Python expression: +\code{hasattr(o,attr_name)}. +This function always succeeds. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyObject_GetAttr}{PyObject *o, PyObject *attr_name} +Retrieve an attributed named attr_name form object o. +Returns the attribute value on success, or \NULL{} on failure. +This is the equivalent of the Python expression: o.attr_name. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyObject_SetAttrString}{PyObject *o, char *attr_name, PyObject *v} +Set the value of the attribute named \code{attr_name}, for object \code{o}, +to the value \code{v}. Returns -1 on failure. This is +the equivalent of the Python statement: \code{o.attr_name=v}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyObject_SetAttr}{PyObject *o, PyObject *attr_name, PyObject *v} +Set the value of the attribute named \code{attr_name}, for +object \code{o}, +to the value \code{v}. Returns -1 on failure. This is +the equivalent of the Python statement: \code{o.attr_name=v}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyObject_DelAttrString}{PyObject *o, char *attr_name} +Delete attribute named \code{attr_name}, for object \code{o}. Returns -1 on +failure. This is the equivalent of the Python +statement: \code{del o.attr_name}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyObject_DelAttr}{PyObject *o, PyObject *attr_name} +Delete attribute named \code{attr_name}, for object \code{o}. Returns -1 on +failure. This is the equivalent of the Python +statement: \code{del o.attr_name}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyObject_Cmp}{PyObject *o1, PyObject *o2, int *result} +Compare the values of \code{o1} and \code{o2} using a routine provided by +\code{o1}, if one exists, otherwise with a routine provided by \code{o2}. +The result of the comparison is returned in \code{result}. Returns +-1 on failure. This is the equivalent of the Python +statement: \code{result=cmp(o1,o2)}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyObject_Compare}{PyObject *o1, PyObject *o2} +Compare the values of \code{o1} and \code{o2} using a routine provided by +\code{o1}, if one exists, otherwise with a routine provided by \code{o2}. +Returns the result of the comparison on success. On error, +the value returned is undefined. This is equivalent to the +Python expression: \code{cmp(o1,o2)}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyObject_Repr}{PyObject *o} +Compute the string representation of object, \code{o}. Returns the +string representation on success, \NULL{} on failure. This is +the equivalent of the Python expression: \code{repr(o)}. +Called by the \code{repr()} built-in function and by reverse quotes. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyObject_Str}{PyObject *o} +Compute the string representation of object, \code{o}. Returns the +string representation on success, \NULL{} on failure. This is +the equivalent of the Python expression: \code{str(o)}. +Called by the \code{str()} built-in function and by the \code{print} +statement. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyCallable_Check}{PyObject *o} +Determine if the object \code{o}, is callable. Return 1 if the +object is callable and 0 otherwise. +This function always succeeds. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyObject_CallObject}{PyObject *callable_object, PyObject *args} +Call a callable Python object \code{callable_object}, with +arguments given by the tuple \code{args}. If no arguments are +needed, then args may be \NULL{}. Returns the result of the +call on success, or \NULL{} on failure. This is the equivalent +of the Python expression: \code{apply(o, args)}. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PyObject_CallFunction}{PyObject *callable_object, char *format, ...} +Call a callable Python object \code{callable_object}, with a +variable number of C arguments. The C arguments are described +using a mkvalue-style format string. The format may be \NULL{}, +indicating that no arguments are provided. Returns the +result of the call on success, or \NULL{} on failure. This is +the equivalent of the Python expression: \code{apply(o,args)}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyObject_CallMethod}{PyObject *o, char *m, char *format, ...} +Call the method named \code{m} of object \code{o} with a variable number of +C arguments. The C arguments are described by a mkvalue +format string. The format may be \NULL{}, indicating that no +arguments are provided. Returns the result of the call on +success, or \NULL{} on failure. This is the equivalent of the +Python expression: \code{o.method(args)}. +Note that Special method names, such as "\code{__add__}", +"\code{__getitem__}", and so on are not supported. The specific +abstract-object routines for these must be used. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyObject_Hash}{PyObject *o} +Compute and return the hash value of an object \code{o}. On +failure, return -1. This is the equivalent of the Python +expression: \code{hash(o)}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyObject_IsTrue}{PyObject *o} +Returns 1 if the object \code{o} is considered to be true, and +0 otherwise. This is equivalent to the Python expression: +\code{not not o}. +This function always succeeds. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyObject_Type}{PyObject *o} +On success, returns a type object corresponding to the object +type of object \code{o}. On failure, returns \NULL{}. This is +equivalent to the Python expression: \code{type(o)}. +\end{cfuncdesc} + +\begin{cfuncdesc}{int}{PyObject_Length}{PyObject *o} +Return the length of object \code{o}. If the object \code{o} provides +both sequence and mapping protocols, the sequence length is +returned. On error, -1 is returned. This is the equivalent +to the Python expression: \code{len(o)}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyObject_GetItem}{PyObject *o, PyObject *key} +Return element of \code{o} corresponding to the object \code{key} or \NULL{} +on failure. This is the equivalent of the Python expression: +\code{o[key]}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyObject_SetItem}{PyObject *o, PyObject *key, PyObject *v} +Map the object \code{key} to the value \code{v}. +Returns -1 on failure. This is the equivalent +of the Python statement: \code{o[key]=v}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyObject_DelItem}{PyObject *o, PyObject *key, PyObject *v} +Delete the mapping for \code{key} from \code{*o}. Returns -1 +on failure. +This is the equivalent of the Python statement: del o[key]. +\end{cfuncdesc} + + +\section{Number Protocol} + +\begin{cfuncdesc}{int}{PyNumber_Check}{PyObject *o} +Returns 1 if the object \code{o} provides numeric protocols, and +false otherwise. +This function always succeeds. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Add}{PyObject *o1, PyObject *o2} +Returns the result of adding \code{o1} and \code{o2}, or null on failure. +This is the equivalent of the Python expression: \code{o1+o2}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Subtract}{PyObject *o1, PyObject *o2} +Returns the result of subtracting \code{o2} from \code{o1}, or null on +failure. This is the equivalent of the Python expression: +\code{o1-o2}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Multiply}{PyObject *o1, PyObject *o2} +Returns the result of multiplying \code{o1} and \code{o2}, or null on +failure. This is the equivalent of the Python expression: +\code{o1*o2}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Divide}{PyObject *o1, PyObject *o2} +Returns the result of dividing \code{o1} by \code{o2}, or null on failure. +This is the equivalent of the Python expression: \code{o1/o2}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Remainder}{PyObject *o1, PyObject *o2} +Returns the remainder of dividing \code{o1} by \code{o2}, or null on +failure. This is the equivalent of the Python expression: +\code{o1\%o2}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Divmod}{PyObject *o1, PyObject *o2} +See the built-in function divmod. Returns \NULL{} on failure. +This is the equivalent of the Python expression: +\code{divmod(o1,o2)}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Power}{PyObject *o1, PyObject *o2, PyObject *o3} +See the built-in function pow. Returns \NULL{} on failure. +This is the equivalent of the Python expression: +\code{pow(o1,o2,o3)}, where \code{o3} is optional. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Negative}{PyObject *o} +Returns the negation of \code{o} on success, or null on failure. +This is the equivalent of the Python expression: \code{-o}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Positive}{PyObject *o} +Returns \code{o} on success, or \NULL{} on failure. +This is the equivalent of the Python expression: \code{+o}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Absolute}{PyObject *o} +Returns the absolute value of \code{o}, or null on failure. This is +the equivalent of the Python expression: \code{abs(o)}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Invert}{PyObject *o} +Returns the bitwise negation of \code{o} on success, or \NULL{} on +failure. This is the equivalent of the Python expression: +\code{~o}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Lshift}{PyObject *o1, PyObject *o2} +Returns the result of left shifting \code{o1} by \code{o2} on success, or +\NULL{} on failure. This is the equivalent of the Python +expression: \code{o1 << o2}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Rshift}{PyObject *o1, PyObject *o2} +Returns the result of right shifting \code{o1} by \code{o2} on success, or +\NULL{} on failure. This is the equivalent of the Python +expression: \code{o1 >> o2}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_And}{PyObject *o1, PyObject *o2} +Returns the result of "anding" \code{o2} and \code{o2} on success and \NULL{} +on failure. This is the equivalent of the Python +expression: \code{o1 and o2}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Xor}{PyObject *o1, PyObject *o2} +Returns the bitwise exclusive or of \code{o1} by \code{o2} on success, or +\NULL{} on failure. This is the equivalent of the Python +expression: \code{o1\^{ }o2}. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PyNumber_Or}{PyObject *o1, PyObject *o2} +Returns the result or \code{o1} and \code{o2} on success, or \NULL{} on +failure. This is the equivalent of the Python expression: +\code{o1 or o2}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Coerce}{PyObject *o1, PyObject *o2} +This function takes the addresses of two variables of type +\code{PyObject*}. + +If the objects pointed to by \code{*p1} and \code{*p2} have the same type, +increment their reference count and return 0 (success). +If the objects can be converted to a common numeric type, +replace \code{*p1} and \code{*p2} by their converted value (with 'new' +reference counts), and return 0. +If no conversion is possible, or if some other error occurs, +return -1 (failure) and don't increment the reference counts. +The call \code{PyNumber_Coerce(\&o1, \&o2)} is equivalent to the Python +statement \code{o1, o2 = coerce(o1, o2)}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Int}{PyObject *o} +Returns the \code{o} converted to an integer object on success, or +\NULL{} on failure. This is the equivalent of the Python +expression: \code{int(o)}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Long}{PyObject *o} +Returns the \code{o} converted to a long integer object on success, +or \NULL{} on failure. This is the equivalent of the Python +expression: \code{long(o)}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Float}{PyObject *o} +Returns the \code{o} converted to a float object on success, or \NULL{} +on failure. This is the equivalent of the Python expression: +\code{float(o)}. +\end{cfuncdesc} + + +\section{Sequence protocol} + +\begin{cfuncdesc}{int}{PySequence_Check}{PyObject *o} +Return 1 if the object provides sequence protocol, and 0 +otherwise. +This function always succeeds. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PySequence_Concat}{PyObject *o1, PyObject *o2} +Return the concatination of \code{o1} and \code{o2} on success, and \NULL{} on +failure. This is the equivalent of the Python +expression: \code{o1+o2}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PySequence_Repeat}{PyObject *o, int count} +Return the result of repeating sequence object \code{o} count times, +or \NULL{} on failure. This is the equivalent of the Python +expression: \code{o*count}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PySequence_GetItem}{PyObject *o, int i} +Return the ith element of \code{o}, or \NULL{} on failure. This is the +equivalent of the Python expression: \code{o[i]}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PySequence_GetSlice}{PyObject *o, int i1, int i2} +Return the slice of sequence object \code{o} between \code{i1} and \code{i2}, or +\NULL{} on failure. This is the equivalent of the Python +expression, \code{o[i1:i2]}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PySequence_SetItem}{PyObject *o, int i, PyObject *v} +Assign object \code{v} to the \code{i}th element of \code{o}. +Returns -1 on failure. This is the equivalent of the Python +statement, \code{o[i]=v}. +\end{cfuncdesc} + +\begin{cfuncdesc}{int}{PySequence_DelItem}{PyObject *o, int i} +Delete the \code{i}th element of object \code{v}. Returns +-1 on failure. This is the equivalent of the Python +statement: \code{del o[i]}. +\end{cfuncdesc} + +\begin{cfuncdesc}{int}{PySequence_SetSlice}{PyObject *o, int i1, int i2, PyObject *v} +Assign the sequence object \code{v} to the slice in sequence +object \code{o} from \code{i1} to \code{i2}. This is the equivalent of the Python +statement, \code{o[i1:i2]=v}. +\end{cfuncdesc} + +\begin{cfuncdesc}{int}{PySequence_DelSlice}{PyObject *o, int i1, int i2} +Delete the slice in sequence object, \code{o}, from \code{i1} to \code{i2}. +Returns -1 on failure. This is the equivalent of the Python +statement: \code{del o[i1:i2]}. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PySequence_Tuple}{PyObject *o} +Returns the \code{o} as a tuple on success, and \NULL{} on failure. +This is equivalent to the Python expression: \code{tuple(o)}. +\end{cfuncdesc} + +\begin{cfuncdesc}{int}{PySequence_Count}{PyObject *o, PyObject *value} +Return the number of occurrences of \code{value} on \code{o}, that is, +return the number of keys for which \code{o[key]==value}. On +failure, return -1. This is equivalent to the Python +expression: \code{o.count(value)}. +\end{cfuncdesc} + +\begin{cfuncdesc}{int}{PySequence_In}{PyObject *o, PyObject *value} +Determine if \code{o} contains \code{value}. If an item in \code{o} is equal to +\code{value}, return 1, otherwise return 0. On error, return -1. This +is equivalent to the Python expression: \code{value in o}. +\end{cfuncdesc} + +\begin{cfuncdesc}{int}{PySequence_Index}{PyObject *o, PyObject *value} +Return the first index for which \code{o[i]=value}. On error, +return -1. This is equivalent to the Python +expression: \code{o.index(value)}. +\end{cfuncdesc} + +\section{Mapping protocol} + +\begin{cfuncdesc}{int}{PyMapping_Check}{PyObject *o} +Return 1 if the object provides mapping protocol, and 0 +otherwise. +This function always succeeds. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyMapping_Length}{PyObject *o} +Returns the number of keys in object \code{o} on success, and -1 on +failure. For objects that do not provide sequence protocol, +this is equivalent to the Python expression: \code{len(o)}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyMapping_DelItemString}{PyObject *o, char *key} +Remove the mapping for object \code{key} from the object \code{o}. +Return -1 on failure. This is equivalent to +the Python statement: \code{del o[key]}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyMapping_DelItem}{PyObject *o, PyObject *key} +Remove the mapping for object \code{key} from the object \code{o}. +Return -1 on failure. This is equivalent to +the Python statement: \code{del o[key]}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyMapping_HasKeyString}{PyObject *o, char *key} +On success, return 1 if the mapping object has the key \code{key} +and 0 otherwise. This is equivalent to the Python expression: +\code{o.has_key(key)}. +This function always succeeds. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyMapping_HasKey}{PyObject *o, PyObject *key} +Return 1 if the mapping object has the key \code{key} +and 0 otherwise. This is equivalent to the Python expression: +\code{o.has_key(key)}. +This function always succeeds. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyMapping_Keys}{PyObject *o} +On success, return a list of the keys in object \code{o}. On +failure, return \NULL{}. This is equivalent to the Python +expression: \code{o.keys()}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyMapping_Values}{PyObject *o} +On success, return a list of the values in object \code{o}. On +failure, return \NULL{}. This is equivalent to the Python +expression: \code{o.values()}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyMapping_Items}{PyObject *o} +On success, return a list of the items in object \code{o}, where +each item is a tuple containing a key-value pair. On +failure, return \NULL{}. This is equivalent to the Python +expression: \code{o.items()}. +\end{cfuncdesc} + +\begin{cfuncdesc}{int}{PyMapping_Clear}{PyObject *o} +Make object \code{o} empty. Returns 1 on success and 0 on failure. +This is equivalent to the Python statement: +\code{for key in o.keys(): del o[key]} +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyMapping_GetItemString}{PyObject *o, char *key} +Return element of \code{o} corresponding to the object \code{key} or \NULL{} +on failure. This is the equivalent of the Python expression: +\code{o[key]}. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PyMapping_SetItemString}{PyObject *o, char *key, PyObject *v} +Map the object \code{key} to the value \code{v} in object \code{o}. Returns +-1 on failure. This is the equivalent of the Python +statement: \code{o[key]=v}. +\end{cfuncdesc} + + +\section{Constructors} + +\begin{cfuncdesc}{PyObject*}{PyFile_FromString}{char *file_name, char *mode} +On success, returns a new file object that is opened on the +file given by \code{file_name}, with a file mode given by \code{mode}, +where \code{mode} has the same semantics as the standard C routine, +fopen. On failure, return -1. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PyFile_FromFile}{FILE *fp, char *file_name, char *mode, int close_on_del} +Return a new file object for an already opened standard C +file pointer, \code{fp}. A file name, \code{file_name}, and open mode, +\code{mode}, must be provided as well as a flag, \code{close_on_del}, that +indicates whether the file is to be closed when the file +object is destroyed. On failure, return -1. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PyFloat_FromDouble}{double v} +Returns a new float object with the value \code{v} on success, and +\NULL{} on failure. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PyInt_FromLong}{long v} +Returns a new int object with the value \code{v} on success, and +\NULL{} on failure. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PyList_New}{int l} +Returns a new list of length \code{l} on success, and \NULL{} on +failure. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PyLong_FromLong}{long v} +Returns a new long object with the value \code{v} on success, and +\NULL{} on failure. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PyLong_FromDouble}{double v} +Returns a new long object with the value \code{v} on success, and +\NULL{} on failure. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PyDict_New}{} +Returns a new empty dictionary on success, and \NULL{} on +failure. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PyString_FromString}{char *v} +Returns a new string object with the value \code{v} on success, and +\NULL{} on failure. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PyString_FromStringAndSize}{char *v, int l} +Returns a new string object with the value \code{v} and length \code{l} +on success, and \NULL{} on failure. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PyTuple_New}{int l} +Returns a new tuple of length \code{l} on success, and \NULL{} on +failure. +\end{cfuncdesc} + + +\chapter{Concrete Objects Layer} + +The functions in this chapter are specific to certain Python object +types. Passing them an object of the wrong type is not a good idea; +if you receive an object from a Python program and you are not sure +that it has the right type, you must perform a type check first; +e.g. to check that an object is a dictionary, use +\code{PyDict_Check()}. + + +\chapter{Defining New Object Types} + +\begin{cfuncdesc}{PyObject *}{_PyObject_New}{PyTypeObject *type} +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject *}{_PyObject_New}{PyTypeObject *type} +\end{cfuncdesc} + +\input{api.ind} % Index -- must be last + +\end{document} diff --git a/Doc/api/api.tex b/Doc/api/api.tex new file mode 100644 index 00000000000..6c43933d54f --- /dev/null +++ b/Doc/api/api.tex @@ -0,0 +1,884 @@ +\documentstyle[twoside,11pt,myformat]{report} + +% NOTE: this file controls which chapters/sections of the library +% manual are actually printed. It is easy to customize your manual +% by commenting out sections that you're not interested in. + +\title{Python-C API Reference} + +\input{boilerplate} + +\makeindex % tell \index to actually write the .idx file + + +\begin{document} + +\pagenumbering{roman} + +\maketitle + +\input{copyright} + +\begin{abstract} + +\noindent +This manual documents the API used by C (or C++) programmers who want +to write extension modules or embed Python. It is a companion to +``Extending and Embedding the Python Interpreter'', which describes +the general principles of extension writing but does not document the +API functions in detail. + +\end{abstract} + +\pagebreak + +{ +\parskip = 0mm +\tableofcontents +} + +\pagebreak + +\pagenumbering{arabic} + + +\chapter{Introduction} + +From the viewpoint of of C access to Python services, we have: + +\begin{enumerate} + +\item "Very high level layer": two or three functions that let you +exec or eval arbitrary Python code given as a string in a module whose +name is given, passing C values in and getting C values out using +mkvalue/getargs style format strings. This does not require the user +to declare any variables of type \code{PyObject *}. This should be +enough to write a simple application that gets Python code from the +user, execs it, and returns the output or errors. + +\item "Abstract objects layer": which is the subject of this chapter. +It has many functions operating on objects, and lest you do many +things from C that you can also write in Python, without going through +the Python parser. + +\item "Concrete objects layer": This is the public type-dependent +interface provided by the standard built-in types, such as floats, +strings, and lists. This interface exists and is currently documented +by the collection of include files provides with the Python +distributions. + +\begin{enumerate} + +From the point of view of Python accessing services provided by C +modules: + +\end{enumerate} + +\item[4] "Python module interface": this interface consist of the basic +routines used to define modules and their members. Most of the +current extensions-writing guide deals with this interface. + +\item[5] "Built-in object interface": this is the interface that a new +built-in type must provide and the mechanisms and rules that a +developer of a new built-in type must use and follow. + +\end{enumerate} + +The Python C API provides four groups of operations on objects, +corresponding to the same operations in the Python language: object, +numeric, sequence, and mapping. Each protocol consists of a +collection of related operations. If an operation that is not +provided by a particular type is invoked, then the standard exception +\code{TypeError} is raised with a operation name as an argument. + +In addition, for convenience this interface defines a set of +constructors for building objects of built-in types. This is needed +so new objects can be returned from C functions that otherwise treat +objects generically. + +\section{Reference Counting} + +For most of the functions in the Python-C API, if a function retains a +reference to a Python object passed as an argument, then the function +will increase the reference count of the object. It is unnecessary +for the caller to increase the reference count of an argument in +anticipation of the object's retention. + +Usually, Python objects returned from functions should be treated as +new objects. Functions that return objects assume that the caller +will retain a reference and the reference count of the object has +already been incremented to account for this fact. A caller that does +not retain a reference to an object that is returned from a function +must decrement the reference count of the object (using +\code{Py_DECREF()}) to prevent memory leaks. + +Exceptions to these rules will be noted with the individual functions. + +\section{Include Files} + +All function, type and macro definitions needed to use the Python-C +API are included in your code by the following line: + +\code{\#include "Python.h"} + +This implies inclusion of the following standard header files: +stdio.h, string.h, errno.h, and stdlib.h (if available). + +All user visible names defined by Python.h (except those defined by +the included standard headers) have one of the prefixes \code{Py} or +\code{_Py}. Names beginning with \code{_Py} are for internal use +only. + + +\chapter{Initialization and Shutdown of an Embedded Python Interpreter} + +When embedding the Python interpreter in a C or C++ program, the +interpreter must be initialized. + +\begin{cfuncdesc}{void}{PyInitialize}{} +This function initializes the interpreter. It must be called before +any interaction with the interpreter takes place. If it is called +more than once, the second and further calls have no effect. + +The function performs the following tasks: create an environment in +which modules can be imported and Python code can be executed; +initialize the \code{__builtin__} module; initialize the \code{sys} +module; initialize \code{sys.path}; initialize signal handling; and +create the empty \code{__main__} module. + +In the current system, there is no way to undo all these +initializations or to create additional interpreter environments. +\end{cfuncdesc} + +\begin{cfuncdesc}{int}{Py_AtExit}{void (*func) ()} +Register a cleanup function to be called when Python exits. The +cleanup function will be called with no arguments and should return no +value. At most 32 cleanup functions can be registered. When the +registration is successful, \code{Py_AtExit} returns 0; on failure, it +returns -1. Each cleanup function will be called t most once. The +cleanup function registered last is called first. +\end{cfuncdesc} + +\begin{cfuncdesc}{void}{Py_Exit}{int status} +Exit the current process. This calls \code{Py_Cleanup()} (see next +item) and performs additional cleanup (under some circumstances it +will attempt to delete all modules), and then calls the standard C +library function \code{exit(status)}. +\end{cfuncdesc} + +\begin{cfuncdesc}{void}{Py_Cleanup}{} +Perform some of the cleanup that \code{Py_Exit} performs, but don't +exit the process. In particular, this invokes the user's +\code{sys.exitfunc} function (if defined at all), and it invokes the +cleanup functions registered with \code{Py_AtExit()}, in reverse order +of their registration. +\end{cfuncdesc} + +\begin{cfuncdesc}{void}{Py_FatalError}{char *message} +Print a fatal error message and die. No cleanup is performed. This +function should only be invoked when a condition is detected that +would make it dangerous to continue using the Python interpreter; +e.g., when the object administration appears to be corrupted. +\end{cfuncdesc} + +\begin{cfuncdesc}{void}{PyImport_Init}{} +Initialize the module table. For internal use only. +\end{cfuncdesc} + +\begin{cfuncdesc}{void}{PyImport_Cleanup}{} +Empty the module table. For internal use only. +\end{cfuncdesc} + +\begin{cfuncdesc}{void}{PyBuiltin_Init}{} +Initialize the \code{__builtin__} module. For internal use only. +\end{cfuncdesc} + + +\chapter{Reference Counting} + +The functions in this chapter are used for managing reference counts +of Python objects. + +\begin{cfuncdesc}{void}{Py_INCREF}{PyObject *o} +Increment the reference count for object \code{o}. The object must +not be \NULL{}; if you aren't sure that it isn't \NULL{}, use +\code{Py_XINCREF()}. +\end{cfuncdesc} + +\begin{cfuncdesc}{void}{Py_XINCREF}{PyObject *o} +Increment the reference count for object \code{o}. The object may be +\NULL{}, in which case the function has no effect. +\end{cfuncdesc} + +\begin{cfuncdesc}{void}{Py_DECREF}{PyObject *o} +Decrement the reference count for object \code{o}. The object must +not be \NULL{}; if you aren't sure that it isn't \NULL{}, use +\code{Py_XDECREF()}. If the reference count reaches zero, the object's +type's deallocation function (which must not be \NULL{}) is invoked. + +\strong{Warning:} The deallocation function can cause arbitrary Python +code to be invoked (e.g. when a class instance with a \code{__del__()} +method is deallocated). While exceptions in such code are not +propagated, the executed code has free access to all Python global +variables. This means that any object that is reachable from a global +variable should be in a consistent state before \code{Py_DECREF()} is +invoked. For example, code to delete an object from a list should +copy a reference to the deleted object in a temporary variable, update +the list data structure, and then call \code{Py_DECREF()} for the +temporary variable. +\end{cfuncdesc} + +\begin{cfuncdesc}{void}{Py_XDECREF}{PyObject *o} +Decrement the reference count for object \code{o}.The object may be +\NULL{}, in which case the function has no effect; otherwise the +effect is the same as for \code{Py_DECREF()}, and the same warning +applies. +\end{cfuncdesc} + + +\chapter{Exception Handling} + +The functions in this chapter will let you handle and raise Python +exceptions. + +\begin{cfuncdesc}{void}{PyErr_Print}{} +\end{cfuncdesc} + + +\chapter{Utilities} + +The functions in this chapter perform various utility tasks, such as +parsing function arguments and constructing Python values from C +values. + +\begin{cfuncdesc}{int}{Py_FdIsInteractive}{FILE *fp, char *filename} +Return true (nonzero) if the standard I/O file \code{fp} with name +\code{filename} is deemed interactive. This is the case for files for +which \code{isatty(fileno(fp))} is true. If the global flag +\code{Py_InteractiveFlag} is true, this function also returns true if +the \code{name} pointer is \NULL{} or if the name is equal to one of +the strings \code{""} or \code{"???"}. +\end{cfuncdesc} + +\begin{cfuncdesc}{long}{PyOS_GetLastModificationTime}{char *filename} +Return the time of last modification of the file \code{filename}. +The result is encoded in the same way as the timestamp returned by +the standard C library function \code{time()}. +\end{cfuncdesc} + + +\chapter{Debugging} + +XXX Explain Py_DEBUG, Py_TRACE_REFS, Py_REF_DEBUG. + + +\chapter{The Very High Level Layer} + +The functions in this chapter will let you execute Python source code +given in a file or a buffer, but they will not let you interact in a +more detailed way with the interpreter. + + +\chapter{Abstract Objects Layer} + +The functions in this chapter interact with Python objects regardless +of their type, or with wide classes of object types (e.g. all +numerical types, or all sequence types). When used on object types +for which they do not apply, they will flag a Python exception. + +\section{Object Protocol} + +\begin{cfuncdesc}{int}{PyObject_Print}{PyObject *o, FILE *fp, int flags} +Print an object \code{o}, on file \code{fp}. Returns -1 on error +The flags argument is used to enable certain printing +options. The only option currently supported is \code{Py_Print_RAW}. +\end{cfuncdesc} + +\begin{cfuncdesc}{int}{PyObject_HasAttrString}{PyObject *o, char *attr_name} +Returns 1 if o has the attribute attr_name, and 0 otherwise. +This is equivalent to the Python expression: +\code{hasattr(o,attr_name)}. +This function always succeeds. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PyObject_GetAttrString}{PyObject *o, char *attr_name} +Retrieve an attributed named attr_name form object o. +Returns the attribute value on success, or \NULL{} on failure. +This is the equivalent of the Python expression: \code{o.attr_name}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyObject_HasAttr}{PyObject *o, PyObject *attr_name} +Returns 1 if o has the attribute attr_name, and 0 otherwise. +This is equivalent to the Python expression: +\code{hasattr(o,attr_name)}. +This function always succeeds. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyObject_GetAttr}{PyObject *o, PyObject *attr_name} +Retrieve an attributed named attr_name form object o. +Returns the attribute value on success, or \NULL{} on failure. +This is the equivalent of the Python expression: o.attr_name. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyObject_SetAttrString}{PyObject *o, char *attr_name, PyObject *v} +Set the value of the attribute named \code{attr_name}, for object \code{o}, +to the value \code{v}. Returns -1 on failure. This is +the equivalent of the Python statement: \code{o.attr_name=v}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyObject_SetAttr}{PyObject *o, PyObject *attr_name, PyObject *v} +Set the value of the attribute named \code{attr_name}, for +object \code{o}, +to the value \code{v}. Returns -1 on failure. This is +the equivalent of the Python statement: \code{o.attr_name=v}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyObject_DelAttrString}{PyObject *o, char *attr_name} +Delete attribute named \code{attr_name}, for object \code{o}. Returns -1 on +failure. This is the equivalent of the Python +statement: \code{del o.attr_name}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyObject_DelAttr}{PyObject *o, PyObject *attr_name} +Delete attribute named \code{attr_name}, for object \code{o}. Returns -1 on +failure. This is the equivalent of the Python +statement: \code{del o.attr_name}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyObject_Cmp}{PyObject *o1, PyObject *o2, int *result} +Compare the values of \code{o1} and \code{o2} using a routine provided by +\code{o1}, if one exists, otherwise with a routine provided by \code{o2}. +The result of the comparison is returned in \code{result}. Returns +-1 on failure. This is the equivalent of the Python +statement: \code{result=cmp(o1,o2)}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyObject_Compare}{PyObject *o1, PyObject *o2} +Compare the values of \code{o1} and \code{o2} using a routine provided by +\code{o1}, if one exists, otherwise with a routine provided by \code{o2}. +Returns the result of the comparison on success. On error, +the value returned is undefined. This is equivalent to the +Python expression: \code{cmp(o1,o2)}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyObject_Repr}{PyObject *o} +Compute the string representation of object, \code{o}. Returns the +string representation on success, \NULL{} on failure. This is +the equivalent of the Python expression: \code{repr(o)}. +Called by the \code{repr()} built-in function and by reverse quotes. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyObject_Str}{PyObject *o} +Compute the string representation of object, \code{o}. Returns the +string representation on success, \NULL{} on failure. This is +the equivalent of the Python expression: \code{str(o)}. +Called by the \code{str()} built-in function and by the \code{print} +statement. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyCallable_Check}{PyObject *o} +Determine if the object \code{o}, is callable. Return 1 if the +object is callable and 0 otherwise. +This function always succeeds. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyObject_CallObject}{PyObject *callable_object, PyObject *args} +Call a callable Python object \code{callable_object}, with +arguments given by the tuple \code{args}. If no arguments are +needed, then args may be \NULL{}. Returns the result of the +call on success, or \NULL{} on failure. This is the equivalent +of the Python expression: \code{apply(o, args)}. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PyObject_CallFunction}{PyObject *callable_object, char *format, ...} +Call a callable Python object \code{callable_object}, with a +variable number of C arguments. The C arguments are described +using a mkvalue-style format string. The format may be \NULL{}, +indicating that no arguments are provided. Returns the +result of the call on success, or \NULL{} on failure. This is +the equivalent of the Python expression: \code{apply(o,args)}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyObject_CallMethod}{PyObject *o, char *m, char *format, ...} +Call the method named \code{m} of object \code{o} with a variable number of +C arguments. The C arguments are described by a mkvalue +format string. The format may be \NULL{}, indicating that no +arguments are provided. Returns the result of the call on +success, or \NULL{} on failure. This is the equivalent of the +Python expression: \code{o.method(args)}. +Note that Special method names, such as "\code{__add__}", +"\code{__getitem__}", and so on are not supported. The specific +abstract-object routines for these must be used. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyObject_Hash}{PyObject *o} +Compute and return the hash value of an object \code{o}. On +failure, return -1. This is the equivalent of the Python +expression: \code{hash(o)}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyObject_IsTrue}{PyObject *o} +Returns 1 if the object \code{o} is considered to be true, and +0 otherwise. This is equivalent to the Python expression: +\code{not not o}. +This function always succeeds. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyObject_Type}{PyObject *o} +On success, returns a type object corresponding to the object +type of object \code{o}. On failure, returns \NULL{}. This is +equivalent to the Python expression: \code{type(o)}. +\end{cfuncdesc} + +\begin{cfuncdesc}{int}{PyObject_Length}{PyObject *o} +Return the length of object \code{o}. If the object \code{o} provides +both sequence and mapping protocols, the sequence length is +returned. On error, -1 is returned. This is the equivalent +to the Python expression: \code{len(o)}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyObject_GetItem}{PyObject *o, PyObject *key} +Return element of \code{o} corresponding to the object \code{key} or \NULL{} +on failure. This is the equivalent of the Python expression: +\code{o[key]}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyObject_SetItem}{PyObject *o, PyObject *key, PyObject *v} +Map the object \code{key} to the value \code{v}. +Returns -1 on failure. This is the equivalent +of the Python statement: \code{o[key]=v}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyObject_DelItem}{PyObject *o, PyObject *key, PyObject *v} +Delete the mapping for \code{key} from \code{*o}. Returns -1 +on failure. +This is the equivalent of the Python statement: del o[key]. +\end{cfuncdesc} + + +\section{Number Protocol} + +\begin{cfuncdesc}{int}{PyNumber_Check}{PyObject *o} +Returns 1 if the object \code{o} provides numeric protocols, and +false otherwise. +This function always succeeds. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Add}{PyObject *o1, PyObject *o2} +Returns the result of adding \code{o1} and \code{o2}, or null on failure. +This is the equivalent of the Python expression: \code{o1+o2}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Subtract}{PyObject *o1, PyObject *o2} +Returns the result of subtracting \code{o2} from \code{o1}, or null on +failure. This is the equivalent of the Python expression: +\code{o1-o2}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Multiply}{PyObject *o1, PyObject *o2} +Returns the result of multiplying \code{o1} and \code{o2}, or null on +failure. This is the equivalent of the Python expression: +\code{o1*o2}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Divide}{PyObject *o1, PyObject *o2} +Returns the result of dividing \code{o1} by \code{o2}, or null on failure. +This is the equivalent of the Python expression: \code{o1/o2}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Remainder}{PyObject *o1, PyObject *o2} +Returns the remainder of dividing \code{o1} by \code{o2}, or null on +failure. This is the equivalent of the Python expression: +\code{o1\%o2}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Divmod}{PyObject *o1, PyObject *o2} +See the built-in function divmod. Returns \NULL{} on failure. +This is the equivalent of the Python expression: +\code{divmod(o1,o2)}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Power}{PyObject *o1, PyObject *o2, PyObject *o3} +See the built-in function pow. Returns \NULL{} on failure. +This is the equivalent of the Python expression: +\code{pow(o1,o2,o3)}, where \code{o3} is optional. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Negative}{PyObject *o} +Returns the negation of \code{o} on success, or null on failure. +This is the equivalent of the Python expression: \code{-o}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Positive}{PyObject *o} +Returns \code{o} on success, or \NULL{} on failure. +This is the equivalent of the Python expression: \code{+o}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Absolute}{PyObject *o} +Returns the absolute value of \code{o}, or null on failure. This is +the equivalent of the Python expression: \code{abs(o)}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Invert}{PyObject *o} +Returns the bitwise negation of \code{o} on success, or \NULL{} on +failure. This is the equivalent of the Python expression: +\code{~o}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Lshift}{PyObject *o1, PyObject *o2} +Returns the result of left shifting \code{o1} by \code{o2} on success, or +\NULL{} on failure. This is the equivalent of the Python +expression: \code{o1 << o2}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Rshift}{PyObject *o1, PyObject *o2} +Returns the result of right shifting \code{o1} by \code{o2} on success, or +\NULL{} on failure. This is the equivalent of the Python +expression: \code{o1 >> o2}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_And}{PyObject *o1, PyObject *o2} +Returns the result of "anding" \code{o2} and \code{o2} on success and \NULL{} +on failure. This is the equivalent of the Python +expression: \code{o1 and o2}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Xor}{PyObject *o1, PyObject *o2} +Returns the bitwise exclusive or of \code{o1} by \code{o2} on success, or +\NULL{} on failure. This is the equivalent of the Python +expression: \code{o1\^{ }o2}. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PyNumber_Or}{PyObject *o1, PyObject *o2} +Returns the result or \code{o1} and \code{o2} on success, or \NULL{} on +failure. This is the equivalent of the Python expression: +\code{o1 or o2}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Coerce}{PyObject *o1, PyObject *o2} +This function takes the addresses of two variables of type +\code{PyObject*}. + +If the objects pointed to by \code{*p1} and \code{*p2} have the same type, +increment their reference count and return 0 (success). +If the objects can be converted to a common numeric type, +replace \code{*p1} and \code{*p2} by their converted value (with 'new' +reference counts), and return 0. +If no conversion is possible, or if some other error occurs, +return -1 (failure) and don't increment the reference counts. +The call \code{PyNumber_Coerce(\&o1, \&o2)} is equivalent to the Python +statement \code{o1, o2 = coerce(o1, o2)}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Int}{PyObject *o} +Returns the \code{o} converted to an integer object on success, or +\NULL{} on failure. This is the equivalent of the Python +expression: \code{int(o)}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Long}{PyObject *o} +Returns the \code{o} converted to a long integer object on success, +or \NULL{} on failure. This is the equivalent of the Python +expression: \code{long(o)}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyNumber_Float}{PyObject *o} +Returns the \code{o} converted to a float object on success, or \NULL{} +on failure. This is the equivalent of the Python expression: +\code{float(o)}. +\end{cfuncdesc} + + +\section{Sequence protocol} + +\begin{cfuncdesc}{int}{PySequence_Check}{PyObject *o} +Return 1 if the object provides sequence protocol, and 0 +otherwise. +This function always succeeds. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PySequence_Concat}{PyObject *o1, PyObject *o2} +Return the concatination of \code{o1} and \code{o2} on success, and \NULL{} on +failure. This is the equivalent of the Python +expression: \code{o1+o2}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PySequence_Repeat}{PyObject *o, int count} +Return the result of repeating sequence object \code{o} count times, +or \NULL{} on failure. This is the equivalent of the Python +expression: \code{o*count}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PySequence_GetItem}{PyObject *o, int i} +Return the ith element of \code{o}, or \NULL{} on failure. This is the +equivalent of the Python expression: \code{o[i]}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PySequence_GetSlice}{PyObject *o, int i1, int i2} +Return the slice of sequence object \code{o} between \code{i1} and \code{i2}, or +\NULL{} on failure. This is the equivalent of the Python +expression, \code{o[i1:i2]}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PySequence_SetItem}{PyObject *o, int i, PyObject *v} +Assign object \code{v} to the \code{i}th element of \code{o}. +Returns -1 on failure. This is the equivalent of the Python +statement, \code{o[i]=v}. +\end{cfuncdesc} + +\begin{cfuncdesc}{int}{PySequence_DelItem}{PyObject *o, int i} +Delete the \code{i}th element of object \code{v}. Returns +-1 on failure. This is the equivalent of the Python +statement: \code{del o[i]}. +\end{cfuncdesc} + +\begin{cfuncdesc}{int}{PySequence_SetSlice}{PyObject *o, int i1, int i2, PyObject *v} +Assign the sequence object \code{v} to the slice in sequence +object \code{o} from \code{i1} to \code{i2}. This is the equivalent of the Python +statement, \code{o[i1:i2]=v}. +\end{cfuncdesc} + +\begin{cfuncdesc}{int}{PySequence_DelSlice}{PyObject *o, int i1, int i2} +Delete the slice in sequence object, \code{o}, from \code{i1} to \code{i2}. +Returns -1 on failure. This is the equivalent of the Python +statement: \code{del o[i1:i2]}. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PySequence_Tuple}{PyObject *o} +Returns the \code{o} as a tuple on success, and \NULL{} on failure. +This is equivalent to the Python expression: \code{tuple(o)}. +\end{cfuncdesc} + +\begin{cfuncdesc}{int}{PySequence_Count}{PyObject *o, PyObject *value} +Return the number of occurrences of \code{value} on \code{o}, that is, +return the number of keys for which \code{o[key]==value}. On +failure, return -1. This is equivalent to the Python +expression: \code{o.count(value)}. +\end{cfuncdesc} + +\begin{cfuncdesc}{int}{PySequence_In}{PyObject *o, PyObject *value} +Determine if \code{o} contains \code{value}. If an item in \code{o} is equal to +\code{value}, return 1, otherwise return 0. On error, return -1. This +is equivalent to the Python expression: \code{value in o}. +\end{cfuncdesc} + +\begin{cfuncdesc}{int}{PySequence_Index}{PyObject *o, PyObject *value} +Return the first index for which \code{o[i]=value}. On error, +return -1. This is equivalent to the Python +expression: \code{o.index(value)}. +\end{cfuncdesc} + +\section{Mapping protocol} + +\begin{cfuncdesc}{int}{PyMapping_Check}{PyObject *o} +Return 1 if the object provides mapping protocol, and 0 +otherwise. +This function always succeeds. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyMapping_Length}{PyObject *o} +Returns the number of keys in object \code{o} on success, and -1 on +failure. For objects that do not provide sequence protocol, +this is equivalent to the Python expression: \code{len(o)}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyMapping_DelItemString}{PyObject *o, char *key} +Remove the mapping for object \code{key} from the object \code{o}. +Return -1 on failure. This is equivalent to +the Python statement: \code{del o[key]}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyMapping_DelItem}{PyObject *o, PyObject *key} +Remove the mapping for object \code{key} from the object \code{o}. +Return -1 on failure. This is equivalent to +the Python statement: \code{del o[key]}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyMapping_HasKeyString}{PyObject *o, char *key} +On success, return 1 if the mapping object has the key \code{key} +and 0 otherwise. This is equivalent to the Python expression: +\code{o.has_key(key)}. +This function always succeeds. +\end{cfuncdesc} + + +\begin{cfuncdesc}{int}{PyMapping_HasKey}{PyObject *o, PyObject *key} +Return 1 if the mapping object has the key \code{key} +and 0 otherwise. This is equivalent to the Python expression: +\code{o.has_key(key)}. +This function always succeeds. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyMapping_Keys}{PyObject *o} +On success, return a list of the keys in object \code{o}. On +failure, return \NULL{}. This is equivalent to the Python +expression: \code{o.keys()}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyMapping_Values}{PyObject *o} +On success, return a list of the values in object \code{o}. On +failure, return \NULL{}. This is equivalent to the Python +expression: \code{o.values()}. +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyMapping_Items}{PyObject *o} +On success, return a list of the items in object \code{o}, where +each item is a tuple containing a key-value pair. On +failure, return \NULL{}. This is equivalent to the Python +expression: \code{o.items()}. +\end{cfuncdesc} + +\begin{cfuncdesc}{int}{PyMapping_Clear}{PyObject *o} +Make object \code{o} empty. Returns 1 on success and 0 on failure. +This is equivalent to the Python statement: +\code{for key in o.keys(): del o[key]} +\end{cfuncdesc} + + +\begin{cfuncdesc}{PyObject*}{PyMapping_GetItemString}{PyObject *o, char *key} +Return element of \code{o} corresponding to the object \code{key} or \NULL{} +on failure. This is the equivalent of the Python expression: +\code{o[key]}. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PyMapping_SetItemString}{PyObject *o, char *key, PyObject *v} +Map the object \code{key} to the value \code{v} in object \code{o}. Returns +-1 on failure. This is the equivalent of the Python +statement: \code{o[key]=v}. +\end{cfuncdesc} + + +\section{Constructors} + +\begin{cfuncdesc}{PyObject*}{PyFile_FromString}{char *file_name, char *mode} +On success, returns a new file object that is opened on the +file given by \code{file_name}, with a file mode given by \code{mode}, +where \code{mode} has the same semantics as the standard C routine, +fopen. On failure, return -1. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PyFile_FromFile}{FILE *fp, char *file_name, char *mode, int close_on_del} +Return a new file object for an already opened standard C +file pointer, \code{fp}. A file name, \code{file_name}, and open mode, +\code{mode}, must be provided as well as a flag, \code{close_on_del}, that +indicates whether the file is to be closed when the file +object is destroyed. On failure, return -1. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PyFloat_FromDouble}{double v} +Returns a new float object with the value \code{v} on success, and +\NULL{} on failure. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PyInt_FromLong}{long v} +Returns a new int object with the value \code{v} on success, and +\NULL{} on failure. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PyList_New}{int l} +Returns a new list of length \code{l} on success, and \NULL{} on +failure. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PyLong_FromLong}{long v} +Returns a new long object with the value \code{v} on success, and +\NULL{} on failure. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PyLong_FromDouble}{double v} +Returns a new long object with the value \code{v} on success, and +\NULL{} on failure. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PyDict_New}{} +Returns a new empty dictionary on success, and \NULL{} on +failure. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PyString_FromString}{char *v} +Returns a new string object with the value \code{v} on success, and +\NULL{} on failure. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PyString_FromStringAndSize}{char *v, int l} +Returns a new string object with the value \code{v} and length \code{l} +on success, and \NULL{} on failure. +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject*}{PyTuple_New}{int l} +Returns a new tuple of length \code{l} on success, and \NULL{} on +failure. +\end{cfuncdesc} + + +\chapter{Concrete Objects Layer} + +The functions in this chapter are specific to certain Python object +types. Passing them an object of the wrong type is not a good idea; +if you receive an object from a Python program and you are not sure +that it has the right type, you must perform a type check first; +e.g. to check that an object is a dictionary, use +\code{PyDict_Check()}. + + +\chapter{Defining New Object Types} + +\begin{cfuncdesc}{PyObject *}{_PyObject_New}{PyTypeObject *type} +\end{cfuncdesc} + +\begin{cfuncdesc}{PyObject *}{_PyObject_New}{PyTypeObject *type} +\end{cfuncdesc} + +\input{api.ind} % Index -- must be last + +\end{document} diff --git a/Doc/ext.tex b/Doc/ext.tex index cf39f398434..b32702ea628 100644 --- a/Doc/ext.tex +++ b/Doc/ext.tex @@ -1366,7 +1366,7 @@ whitespace-separated absolute pathnames of libraries (\samp{.a} files). No \samp{-l} options can be used. -\input{extref} +%\input{extref} \input{ext.ind} diff --git a/Doc/ext/ext.tex b/Doc/ext/ext.tex index cf39f398434..b32702ea628 100644 --- a/Doc/ext/ext.tex +++ b/Doc/ext/ext.tex @@ -1366,7 +1366,7 @@ whitespace-separated absolute pathnames of libraries (\samp{.a} files). No \samp{-l} options can be used. -\input{extref} +%\input{extref} \input{ext.ind} diff --git a/Doc/extref.tex b/Doc/extref.tex deleted file mode 100644 index fed12623072..00000000000 --- a/Doc/extref.tex +++ /dev/null @@ -1,641 +0,0 @@ -\newcommand{\NULL}{\code{NULL}} - -\chapter{Extension Reference} - -\section{Introduction} - -From the viewpoint of of C access to Python services, we have: - -\begin{enumerate} - \item "Very high level layer": two or three functions that let you exec or - eval arbitrary Python code given as a string in a module whose name is - given, passing C values in and getting C values out using - mkvalue/getargs style format strings. This does not require the user - to declare any variables of type "PyObject *". This should be enough - to write a simple application that gets Python code from the user, - execs it, and returns the output or errors. - - \item "Abstract objects layer": which is the subject of this chapter. - It has many functions operating on objects, and lest you do many - things from C that you can also write in Python, without going - through the Python parser. - - \item "Concrete objects layer": This is the public type-dependent - interface provided by the standard built-in types, such as floats, - strings, and lists. This interface exists and is currently - documented by the collection of include files provides with the - Python distributions. - - From the point of view of Python accessing services provided by C - modules: - - \item "Python module interface": this interface consist of the basic - routines used to define modules and their members. Most of the - current extensions-writing guide deals with this interface. - - \item "Built-in object interface": this is the interface that a new - built-in type must provide and the mechanisms and rules that a - developer of a new built-in type must use and follow. -\end{enumerate} - - The Python C object interface provides four protocols: object, - numeric, sequence, and mapping. Each protocol consists of a - collection of related operations. If an operation that is not - provided by a particular type is invoked, then a standard exception, - NotImplementedError is raised with a operation name as an argument. - In addition, for convenience this interface defines a set of - constructors for building objects of built-in types. This is needed - so new objects can be returned from C functions that otherwise treat - objects generically. - -\subsection{Memory Management} - - For all of the functions described in this chapter, if a function - retains a reference to a Python object passed as an argument, then the - function will increase the reference count of the object. It is - unnecessary for the caller to increase the reference count of an - argument in anticipation of the object's retention. - - All Python objects returned from functions should be treated as new - objects. Functions that return objects assume that the caller will - retain a reference and the reference count of the object has already - been incremented to account for this fact. A caller that does not - retain a reference to an object that is returned from a function - must decrement the reference count of the object (using - DECREF(object)) to prevent memory leaks. - - -\section{Object Protocol} - - \begin{cfuncdesc}{int}{PyObject_Print}{PyObject *o, FILE *fp, int flags} - Print an object \code{o}, on file \code{fp}. Returns -1 on error - The flags argument is used to enable certain printing - options. The only option currently supported is \code{Py_Print_RAW}. - \end{cfuncdesc} - - \begin{cfuncdesc}{int}{PyObject_HasAttrString}{PyObject *o, char *attr_name} - Returns 1 if o has the attribute attr_name, and 0 otherwise. - This is equivalent to the Python expression: - \code{hasattr(o,attr_name)}. - This function always succeeds. - \end{cfuncdesc} - - \begin{cfuncdesc}{PyObject*}{PyObject_GetAttrString}{PyObject *o, char *attr_name} - Retrieve an attributed named attr_name form object o. - Returns the attribute value on success, or {\NULL} on failure. - This is the equivalent of the Python expression: \code{o.attr_name}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{int}{PyObject_HasAttr}{PyObject *o, PyObject *attr_name} - Returns 1 if o has the attribute attr_name, and 0 otherwise. - This is equivalent to the Python expression: - \code{hasattr(o,attr_name)}. - This function always succeeds. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyObject_GetAttr}{PyObject *o, PyObject *attr_name} - Retrieve an attributed named attr_name form object o. - Returns the attribute value on success, or {\NULL} on failure. - This is the equivalent of the Python expression: o.attr_name. - \end{cfuncdesc} - - - \begin{cfuncdesc}{int}{PyObject_SetAttrString}{PyObject *o, char *attr_name, PyObject *v} - Set the value of the attribute named \code{attr_name}, for object \code{o}, - to the value \code{v}. Returns -1 on failure. This is - the equivalent of the Python statement: \code{o.attr_name=v}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{int}{PyObject_SetAttr}{PyObject *o, PyObject *attr_name, PyObject *v} - Set the value of the attribute named \code{attr_name}, for - object \code{o}, - to the value \code{v}. Returns -1 on failure. This is - the equivalent of the Python statement: \code{o.attr_name=v}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{int}{PyObject_DelAttrString}{PyObject *o, char *attr_name} - Delete attribute named \code{attr_name}, for object \code{o}. Returns -1 on - failure. This is the equivalent of the Python - statement: \code{del o.attr_name}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{int}{PyObject_DelAttr}{PyObject *o, PyObject *attr_name} - Delete attribute named \code{attr_name}, for object \code{o}. Returns -1 on - failure. This is the equivalent of the Python - statement: \code{del o.attr_name}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{int}{PyObject_Cmp}{PyObject *o1, PyObject *o2, int *result} - Compare the values of \code{o1} and \code{o2} using a routine provided by - \code{o1}, if one exists, otherwise with a routine provided by \code{o2}. - The result of the comparison is returned in \code{result}. Returns - -1 on failure. This is the equivalent of the Python - statement: \code{result=cmp(o1,o2)}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{int}{PyObject_Compare}{PyObject *o1, PyObject *o2} - Compare the values of \code{o1} and \code{o2} using a routine provided by - \code{o1}, if one exists, otherwise with a routine provided by \code{o2}. - Returns the result of the comparison on success. On error, - the value returned is undefined. This is equivalent to the - Python expression: \code{cmp(o1,o2)}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyObject_Repr}{PyObject *o} - Compute the string representation of object, \code{o}. Returns the - string representation on success, {\NULL} on failure. This is - the equivalent of the Python expression: \code{repr(o)}. - Called by the \code{repr()} built-in function and by reverse quotes. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyObject_Str}{PyObject *o} - Compute the string representation of object, \code{o}. Returns the - string representation on success, {\NULL} on failure. This is - the equivalent of the Python expression: \code{str(o)}. - Called by the \code{str()} built-in function and by the \code{print} - statement. - \end{cfuncdesc} - - - \begin{cfuncdesc}{int}{PyCallable_Check}{PyObject *o} - Determine if the object \code{o}, is callable. Return 1 if the - object is callable and 0 otherwise. - This function always succeeds. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyObject_CallObject}{PyObject *callable_object, PyObject *args} - Call a callable Python object \code{callable_object}, with - arguments given by the tuple \code{args}. If no arguments are - needed, then args may be {\NULL}. Returns the result of the - call on success, or {\NULL} on failure. This is the equivalent - of the Python expression: \code{apply(o, args)}. - \end{cfuncdesc} - - \begin{cfuncdesc}{PyObject*}{PyObject_CallFunction}{PyObject *callable_object, char *format, ...} - Call a callable Python object \code{callable_object}, with a - variable number of C arguments. The C arguments are described - using a mkvalue-style format string. The format may be {\NULL}, - indicating that no arguments are provided. Returns the - result of the call on success, or {\NULL} on failure. This is - the equivalent of the Python expression: \code{apply(o,args)}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyObject_CallMethod}{PyObject *o, char *m, char *format, ...} - Call the method named \code{m} of object \code{o} with a variable number of - C arguments. The C arguments are described by a mkvalue - format string. The format may be {\NULL}, indicating that no - arguments are provided. Returns the result of the call on - success, or {\NULL} on failure. This is the equivalent of the - Python expression: \code{o.method(args)}. - Note that Special method names, such as "\code{__add__}", - "\code{__getitem__}", and so on are not supported. The specific - abstract-object routines for these must be used. - \end{cfuncdesc} - - - \begin{cfuncdesc}{int}{PyObject_Hash}{PyObject *o} - Compute and return the hash value of an object \code{o}. On - failure, return -1. This is the equivalent of the Python - expression: \code{hash(o)}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{int}{PyObject_IsTrue}{PyObject *o} - Returns 1 if the object \code{o} is considered to be true, and - 0 otherwise. This is equivalent to the Python expression: - \code{not not o}. - This function always succeeds. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyObject_Type}{PyObject *o} - On success, returns a type object corresponding to the object - type of object \code{o}. On failure, returns {\NULL}. This is - equivalent to the Python expression: \code{type(o)}. - \end{cfuncdesc} - - \begin{cfuncdesc}{int}{PyObject_Length}{PyObject *o} - Return the length of object \code{o}. If the object \code{o} provides - both sequence and mapping protocols, the sequence length is - returned. On error, -1 is returned. This is the equivalent - to the Python expression: \code{len(o)}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyObject_GetItem}{PyObject *o, PyObject *key} - Return element of \code{o} corresponding to the object \code{key} or {\NULL} - on failure. This is the equivalent of the Python expression: - \code{o[key]}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{int}{PyObject_SetItem}{PyObject *o, PyObject *key, PyObject *v} - Map the object \code{key} to the value \code{v}. - Returns -1 on failure. This is the equivalent - of the Python statement: \code{o[key]=v}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{int}{PyObject_DelItem}{PyObject *o, PyObject *key, PyObject *v} - Delete the mapping for \code{key} from \code{*o}. Returns -1 - on failure. - This is the equivalent of the Python statement: del o[key]. - \end{cfuncdesc} - - -\section{Number Protocol} - - \begin{cfuncdesc}{int}{PyNumber_Check}{PyObject *o} - Returns 1 if the object \code{o} provides numeric protocols, and - false otherwise. - This function always succeeds. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyNumber_Add}{PyObject *o1, PyObject *o2} - Returns the result of adding \code{o1} and \code{o2}, or null on failure. - This is the equivalent of the Python expression: \code{o1+o2}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyNumber_Subtract}{PyObject *o1, PyObject *o2} - Returns the result of subtracting \code{o2} from \code{o1}, or null on - failure. This is the equivalent of the Python expression: - \code{o1-o2}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyNumber_Multiply}{PyObject *o1, PyObject *o2} - Returns the result of multiplying \code{o1} and \code{o2}, or null on - failure. This is the equivalent of the Python expression: - \code{o1*o2}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyNumber_Divide}{PyObject *o1, PyObject *o2} - Returns the result of dividing \code{o1} by \code{o2}, or null on failure. - This is the equivalent of the Python expression: \code{o1/o2}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyNumber_Remainder}{PyObject *o1, PyObject *o2} - Returns the remainder of dividing \code{o1} by \code{o2}, or null on - failure. This is the equivalent of the Python expression: - \code{o1\%o2}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyNumber_Divmod}{PyObject *o1, PyObject *o2} - See the built-in function divmod. Returns {\NULL} on failure. - This is the equivalent of the Python expression: - \code{divmod(o1,o2)}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyNumber_Power}{PyObject *o1, PyObject *o2, PyObject *o3} - See the built-in function pow. Returns {\NULL} on failure. - This is the equivalent of the Python expression: - \code{pow(o1,o2,o3)}, where \code{o3} is optional. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyNumber_Negative}{PyObject *o} - Returns the negation of \code{o} on success, or null on failure. - This is the equivalent of the Python expression: \code{-o}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyNumber_Positive}{PyObject *o} - Returns \code{o} on success, or {\NULL} on failure. - This is the equivalent of the Python expression: \code{+o}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyNumber_Absolute}{PyObject *o} - Returns the absolute value of \code{o}, or null on failure. This is - the equivalent of the Python expression: \code{abs(o)}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyNumber_Invert}{PyObject *o} - Returns the bitwise negation of \code{o} on success, or {\NULL} on - failure. This is the equivalent of the Python expression: - \code{~o}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyNumber_Lshift}{PyObject *o1, PyObject *o2} - Returns the result of left shifting \code{o1} by \code{o2} on success, or - {\NULL} on failure. This is the equivalent of the Python - expression: \code{o1 << o2}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyNumber_Rshift}{PyObject *o1, PyObject *o2} - Returns the result of right shifting \code{o1} by \code{o2} on success, or - {\NULL} on failure. This is the equivalent of the Python - expression: \code{o1 >> o2}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyNumber_And}{PyObject *o1, PyObject *o2} - Returns the result of "anding" \code{o2} and \code{o2} on success and {\NULL} - on failure. This is the equivalent of the Python - expression: \code{o1 and o2}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyNumber_Xor}{PyObject *o1, PyObject *o2} - Returns the bitwise exclusive or of \code{o1} by \code{o2} on success, or - {\NULL} on failure. This is the equivalent of the Python - expression: \code{o1\^{ }o2}. - \end{cfuncdesc} - - \begin{cfuncdesc}{PyObject*}{PyNumber_Or}{PyObject *o1, PyObject *o2} - Returns the result or \code{o1} and \code{o2} on success, or {\NULL} on - failure. This is the equivalent of the Python expression: - \code{o1 or o2}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyNumber_Coerce}{PyObject *o1, PyObject *o2} - This function takes the addresses of two variables of type - \code{PyObject*}. - - If the objects pointed to by \code{*p1} and \code{*p2} have the same type, - increment their reference count and return 0 (success). - If the objects can be converted to a common numeric type, - replace \code{*p1} and \code{*p2} by their converted value (with 'new' - reference counts), and return 0. - If no conversion is possible, or if some other error occurs, - return -1 (failure) and don't increment the reference counts. - The call \code{PyNumber_Coerce(\&o1, \&o2)} is equivalent to the Python - statement \code{o1, o2 = coerce(o1, o2)}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyNumber_Int}{PyObject *o} - Returns the \code{o} converted to an integer object on success, or - {\NULL} on failure. This is the equivalent of the Python - expression: \code{int(o)}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyNumber_Long}{PyObject *o} - Returns the \code{o} converted to a long integer object on success, - or {\NULL} on failure. This is the equivalent of the Python - expression: \code{long(o)}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyNumber_Float}{PyObject *o} - Returns the \code{o} converted to a float object on success, or {\NULL} - on failure. This is the equivalent of the Python expression: - \code{float(o)}. - \end{cfuncdesc} - - -\section{Sequence protocol} - - \begin{cfuncdesc}{int}{PySequence_Check}{PyObject *o} - Return 1 if the object provides sequence protocol, and 0 - otherwise. - This function always succeeds. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PySequence_Concat}{PyObject *o1, PyObject *o2} - Return the concatination of \code{o1} and \code{o2} on success, and {\NULL} on - failure. This is the equivalent of the Python - expression: \code{o1+o2}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PySequence_Repeat}{PyObject *o, int count} - Return the result of repeating sequence object \code{o} count times, - or {\NULL} on failure. This is the equivalent of the Python - expression: \code{o*count}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PySequence_GetItem}{PyObject *o, int i} - Return the ith element of \code{o}, or {\NULL} on failure. This is the - equivalent of the Python expression: \code{o[i]}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PySequence_GetSlice}{PyObject *o, int i1, int i2} - Return the slice of sequence object \code{o} between \code{i1} and \code{i2}, or - {\NULL} on failure. This is the equivalent of the Python - expression, \code{o[i1:i2]}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{int}{PySequence_SetItem}{PyObject *o, int i, PyObject *v} - Assign object \code{v} to the \code{i}th element of \code{o}. -Returns -1 on failure. This is the equivalent of the Python - statement, \code{o[i]=v}. - \end{cfuncdesc} - - \begin{cfuncdesc}{int}{PySequence_DelItem}{PyObject *o, int i} - Delete the \code{i}th element of object \code{v}. Returns - -1 on failure. This is the equivalent of the Python - statement: \code{del o[i]}. - \end{cfuncdesc} - - \begin{cfuncdesc}{int}{PySequence_SetSlice}{PyObject *o, int i1, int i2, PyObject *v} - Assign the sequence object \code{v} to the slice in sequence - object \code{o} from \code{i1} to \code{i2}. This is the equivalent of the Python - statement, \code{o[i1:i2]=v}. - \end{cfuncdesc} - - \begin{cfuncdesc}{int}{PySequence_DelSlice}{PyObject *o, int i1, int i2} - Delete the slice in sequence object, \code{o}, from \code{i1} to \code{i2}. - Returns -1 on failure. This is the equivalent of the Python - statement: \code{del o[i1:i2]}. - \end{cfuncdesc} - - \begin{cfuncdesc}{PyObject*}{PySequence_Tuple}{PyObject *o} - Returns the \code{o} as a tuple on success, and {\NULL} on failure. - This is equivalent to the Python expression: \code{tuple(o)}. - \end{cfuncdesc} - - \begin{cfuncdesc}{int}{PySequence_Count}{PyObject *o, PyObject *value} - Return the number of occurrences of \code{value} on \code{o}, that is, - return the number of keys for which \code{o[key]==value}. On - failure, return -1. This is equivalent to the Python - expression: \code{o.count(value)}. - \end{cfuncdesc} - - \begin{cfuncdesc}{int}{PySequence_In}{PyObject *o, PyObject *value} - Determine if \code{o} contains \code{value}. If an item in \code{o} is equal to - \code{value}, return 1, otherwise return 0. On error, return -1. This - is equivalent to the Python expression: \code{value in o}. - \end{cfuncdesc} - - \begin{cfuncdesc}{int}{PySequence_Index}{PyObject *o, PyObject *value} - Return the first index for which \code{o[i]=value}. On error, - return -1. This is equivalent to the Python - expression: \code{o.index(value)}. - \end{cfuncdesc} - -\section{Mapping protocol} - - \begin{cfuncdesc}{int}{PyMapping_Check}{PyObject *o} - Return 1 if the object provides mapping protocol, and 0 - otherwise. - This function always succeeds. - \end{cfuncdesc} - - - \begin{cfuncdesc}{int}{PyMapping_Length}{PyObject *o} - Returns the number of keys in object \code{o} on success, and -1 on - failure. For objects that do not provide sequence protocol, - this is equivalent to the Python expression: \code{len(o)}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{int}{PyMapping_DelItemString}{PyObject *o, char *key} - Remove the mapping for object \code{key} from the object \code{o}. - Return -1 on failure. This is equivalent to - the Python statement: \code{del o[key]}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{int}{PyMapping_DelItem}{PyObject *o, PyObject *key} - Remove the mapping for object \code{key} from the object \code{o}. - Return -1 on failure. This is equivalent to - the Python statement: \code{del o[key]}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{int}{PyMapping_HasKeyString}{PyObject *o, char *key} - On success, return 1 if the mapping object has the key \code{key} - and 0 otherwise. This is equivalent to the Python expression: - \code{o.has_key(key)}. - This function always succeeds. - \end{cfuncdesc} - - - \begin{cfuncdesc}{int}{PyMapping_HasKey}{PyObject *o, PyObject *key} - Return 1 if the mapping object has the key \code{key} - and 0 otherwise. This is equivalent to the Python expression: - \code{o.has_key(key)}. - This function always succeeds. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyMapping_Keys}{PyObject *o} - On success, return a list of the keys in object \code{o}. On - failure, return {\NULL}. This is equivalent to the Python - expression: \code{o.keys()}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyMapping_Values}{PyObject *o} - On success, return a list of the values in object \code{o}. On - failure, return {\NULL}. This is equivalent to the Python - expression: \code{o.values()}. - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyMapping_Items}{PyObject *o} - On success, return a list of the items in object \code{o}, where - each item is a tuple containing a key-value pair. On - failure, return {\NULL}. This is equivalent to the Python - expression: \code{o.items()}. - \end{cfuncdesc} - - \begin{cfuncdesc}{int}{PyMapping_Clear}{PyObject *o} - Make object \code{o} empty. Returns 1 on success and 0 on failure. - This is equivalent to the Python statement: - \code{for key in o.keys(): del o[key]} - \end{cfuncdesc} - - - \begin{cfuncdesc}{PyObject*}{PyMapping_GetItemString}{PyObject *o, char *key} - Return element of \code{o} corresponding to the object \code{key} or {\NULL} - on failure. This is the equivalent of the Python expression: - \code{o[key]}. - \end{cfuncdesc} - - \begin{cfuncdesc}{PyObject*}{PyMapping_SetItemString}{PyObject *o, char *key, PyObject *v} - Map the object \code{key} to the value \code{v} in object \code{o}. Returns - -1 on failure. This is the equivalent of the Python - statement: \code{o[key]=v}. - \end{cfuncdesc} - - -\section{Constructors} - - \begin{cfuncdesc}{PyObject*}{PyFile_FromString}{char *file_name, char *mode} - On success, returns a new file object that is opened on the - file given by \code{file_name}, with a file mode given by \code{mode}, - where \code{mode} has the same semantics as the standard C routine, - fopen. On failure, return -1. - \end{cfuncdesc} - - \begin{cfuncdesc}{PyObject*}{PyFile_FromFile}{FILE *fp, char *file_name, char *mode, int close_on_del} - Return a new file object for an already opened standard C - file pointer, \code{fp}. A file name, \code{file_name}, and open mode, - \code{mode}, must be provided as well as a flag, \code{close_on_del}, that - indicates whether the file is to be closed when the file - object is destroyed. On failure, return -1. - \end{cfuncdesc} - - \begin{cfuncdesc}{PyObject*}{PyFloat_FromDouble}{double v} - Returns a new float object with the value \code{v} on success, and - {\NULL} on failure. - \end{cfuncdesc} - - \begin{cfuncdesc}{PyObject*}{PyInt_FromLong}{long v} - Returns a new int object with the value \code{v} on success, and - {\NULL} on failure. - \end{cfuncdesc} - - \begin{cfuncdesc}{PyObject*}{PyList_New}{int l} - Returns a new list of length \code{l} on success, and {\NULL} on - failure. - \end{cfuncdesc} - - \begin{cfuncdesc}{PyObject*}{PyLong_FromLong}{long v} - Returns a new long object with the value \code{v} on success, and - {\NULL} on failure. - \end{cfuncdesc} - - \begin{cfuncdesc}{PyObject*}{PyLong_FromDouble}{double v} - Returns a new long object with the value \code{v} on success, and - {\NULL} on failure. - \end{cfuncdesc} - - \begin{cfuncdesc}{PyObject*}{PyDict_New}{} - Returns a new empty dictionary on success, and {\NULL} on - failure. - \end{cfuncdesc} - - \begin{cfuncdesc}{PyObject*}{PyString_FromString}{char *v} - Returns a new string object with the value \code{v} on success, and - {\NULL} on failure. - \end{cfuncdesc} - - \begin{cfuncdesc}{PyObject*}{PyString_FromStringAndSize}{char *v, int l} - Returns a new string object with the value \code{v} and length \code{l} - on success, and {\NULL} on failure. - \end{cfuncdesc} - - \begin{cfuncdesc}{PyObject*}{PyTuple_New}{int l} - Returns a new tuple of length \code{l} on success, and {\NULL} on - failure. - \end{cfuncdesc} - diff --git a/Doc/myformat.sty b/Doc/myformat.sty index dc727685586..b1174780980 100644 --- a/Doc/myformat.sty +++ b/Doc/myformat.sty @@ -161,6 +161,7 @@ \newcommand{\Cpp}{C\protect\raisebox{.18ex}{++}} \newcommand{\C}{C} \newcommand{\EOF}{{\sc eof}} +\newcommand{\NULL}{\code{NULL}} % code is the most difficult one... \newcommand{\code}[1]{{\@vobeyspaces\@noligs\def\{{\char`\{}\def\}{\char`\}}\def\~{\char`\~}\def\^{\char`\^}\def\e{\char`\\}\def\${\char`\$}\def\#{\char`\#}\def\&{\char`\&}\def\%{\char`\%}% diff --git a/Doc/qua.tex b/Doc/qua.tex deleted file mode 100644 index 88f5778fa5a..00000000000 --- a/Doc/qua.tex +++ /dev/null @@ -1,1236 +0,0 @@ -\documentstyle[11pt]{article} -\newcommand{\Cpp}{C\protect\raisebox{.18ex}{++}} - -\title{ -Interactively Testing Remote Servers Using the Python Programming Language -} - -\author{ - Guido van Rossum \\ - Dept. AA, CWI, P.O. Box 94079 \\ - 1090 GB Amsterdam, The Netherlands \\ - E-mail: {\tt guido@cwi.nl} -\and - Jelke de Boer \\ - HIO Enschede; P.O.Box 1326 \\ - 7500 BH Enschede, The Netherlands -} - -\begin{document} - -\maketitle - -\begin{abstract} -This paper describes how two tools that were developed quite -independently gained in power by a well-designed connection between -them. The tools are Python, an interpreted prototyping language, and -AIL, a Remote Procedure Call stub generator. The context is Amoeba, a -well-known distributed operating system developed jointly by the Free -University and CWI in Amsterdam. - -As a consequence of their integration, both tools have profited: -Python gained usability when used with Amoeba --- for which it was not -specifically developed --- and AIL users now have a powerful -interactive tool to test servers and to experiment with new -client/server interfaces.% -\footnote{ -An earlier version of this paper was presented at the Spring 1991 -EurOpen Conference in Troms{\o} under the title ``Linking a Stub -Generator (AIL) to a Prototyping Language (Python).'' -} -\end{abstract} - -\section{Introduction} - -Remote Procedure Call (RPC) interfaces, used in distributed systems -like Amoeba -\cite{Amoeba:IEEE,Amoeba:CACM}, -have a much more concrete character than local procedure call -interfaces in traditional systems. Because clients and servers may -run on different machines, with possibly different word size, byte -order, etc., much care is needed to describe interfaces exactly and to -implement them in such a way that they continue to work when a client -or server is moved to a different machine. Since machines may fail -independently, error handling must also be treated more carefully. - -A common approach to such problems is to use a {\em stub generator}. -This is a program that takes an interface description and transforms -it into functions that must be compiled and linked with client and -server applications. These functions are called by the application -code to take care of details of interfacing to the system's RPC layer, -to implement transformations between data representations of different -machines, to check for errors, etc. They are called `stubs' because -they don't actually perform the action that they are called for but -only relay the parameters to the server -\cite{RPC}. - -Amoeba's stub generator is called AIL, which stands for Amoeba -Interface Language -\cite{AIL}. -The first version of AIL generated only C functions, but an explicit -goal of AIL's design was {\em retargetability}: it should be possible -to add back-ends that generate stubs for different languages from the -same interface descriptions. Moreover, the stubs generated by -different back-ends must be {\em interoperable}: a client written in -Modula-3, say, should be able to use a server written in C, and vice -versa. - -This interoperability is the key to the success of the marriage -between AIL and Python. Python is a versatile interpreted language -developed by the first author. Originally intended as an alternative -for the kind of odd jobs that are traditionally solved by a mixture of -shell scripts, manually given shell commands, and an occasional ad hoc -C program, Python has evolved into a general interactive prototyping -language. It has been applied to a wide range of problems, from -replacements for large shell scripts to fancy graphics demos and -multimedia applications. - -One of Python's strengths is the ability for the user to type in some -code and immediately run it: no compilation or linking is necessary. -Interactive performance is further enhanced by Python's concise, clear -syntax, its very-high-level data types, and its lack of declarations -(which is compensated by run-time type checking). All this makes -programming in Python feel like a leisure trip compared to the hard -work involved in writing and debugging even a smallish C program. - -It should be clear by now that Python will be the ideal tool to test -servers and their interfaces. Especially during the development of a -complex server, one often needs to generate test requests on an ad hoc -basis, to answer questions like ``what happens if request X arrives -when the server is in state Y,'' to test the behavior of the server -with requests that touch its limitations, to check server responses to -all sorts of wrong requests, etc. Python's ability to immediately -execute `improvised' code makes it a much better tool for this -situation than C. - -The link to AIL extends Python with the necessary functionality to -connect to arbitrary servers, making the server testbed sketched above -a reality. Python's high-level data types, general programming -features, and system interface ensure that it has all the power and -flexibility needed for the job. - -One could go even further than this. Current distributed operating -systems, based on client-server interaction, all lack a good command -language or `shell' to give adequate access to available services. -Python has considerable potential for becoming such a shell. - -\subsection{Overview of this Paper} - -The rest of this paper contains three major sections and a conclusion. -First an overview of the Python programming language is given. Next -comes a short description of AIL, together with some relevant details -about Amoeba. Finally, the design and construction of the link -between Python and AIL is described in much detail. The conclusion -looks back at the work and points out weaknesses and strengths of -Python and AIL that were discovered in the process. - -\section{An Overview of Python} - -Python% -\footnote{ -Named after the funny TV show, not the nasty reptile. -} -owes much to ABC -\cite{ABC}, -a language developed at CWI as a programming language for non-expert -computer users. Python borrows freely from ABC's syntax and data -types, but adds modules, exceptions and classes, extensibility, and -the ability to call system functions. The concepts of modules, -exceptions and (to some extent) classes are influenced strongly by -their occurrence in Modula-3 -\cite{Modula-3}. - -Although Python resembles ABC in many ways, there is a a clear -difference in application domain. ABC is intended to be the only -programming language for those who use a computer as a tool, but -occasionally need to write a program. For this reason, ABC is not -just a programming language but also a programming environment, which -comes with an integrated syntax-directed editor and some source -manipulation commands. Python, on the other hand, aims to be a tool -for professional (system) programmers, for whom having a choice of -languages with different feature sets makes it possible to choose `the -right tool for the job.' The features added to Python make it more -useful than ABC in an environment where access to system functions -(such as file and directory manipulations) are common. They also -support the building of larger systems and libraries. The Python -implementation offers little in the way of a programming environment, -but is designed to integrate seamlessly with existing programming -environments (e.g. UNIX and Emacs). - -Perhaps the best introduction to Python is a short example. The -following is a complete Python program to list the contents of a UNIX -directory. -\begin{verbatim} -import sys, posix - -def ls(dirname): # Print sorted directory contents - names = posix.listdir(dirname) - names.sort() - for name in names: - if name[0] != '.': print name - -ls(sys.argv[1]) -\end{verbatim} -The largest part of this program, in the middle starting with {\tt -def}, is a function definition. It defines a function named {\tt ls} -with a single parameter called {\tt dirname}. (Comments in Python -start with `\#' and extend to the end of the line.) The function body -is indented: Python uses indentation for statement grouping instead of -braces or begin/end keywords. This is shorter to type and avoids -frustrating mismatches between the perception of grouping by the user -and the parser. Python accepts one statement per line; long -statements may be broken in pieces using the standard backslash -convention. If the body of a compound statement is a single, simple -statement, it may be placed on the same line as the head. - -The first statement of the function body calls the function {\tt -listdir} defined in the module {\tt posix}. This function returns a -list of strings representing the contents of the directory name passed -as a string argument, here the argument {\tt dirname}. If {\tt -dirname} were not a valid directory name, or perhaps not even a -string, {\tt listdir} would raise an exception and the next statement -would never be reached. (Exceptions can be caught in Python; see -later.) Assuming {\tt listdir} returns normally, its result is -assigned to the local variable {\tt names}. - -The second statement calls the method {\tt sort} of the variable {\tt -names}. This method is defined for all lists in Python and does the -obvious thing: the elements of the list are reordered according to -their natural ordering relationship. Since in our example the list -contains strings, they are sorted in ascending \ASCII{} order. - -The last two lines of the function contain a loop that prints all -elements of the list whose first character isn't a period. In each -iteration, the {\tt for} statement assigns an element of the list to -the local variable {\tt name}. The {\tt print} statement is intended -for simple-minded output; more elaborate formatting is possible with -Python's string handling functions. - -The other two parts of the program are easily explained. The first -line is an {\tt import} statement that tells the interpreter to import -the modules {\tt sys} and {\tt posix}. As it happens these are both -built into the interpreter. Importing a module (built-in or -otherwise) only makes the module name available in the current scope; -functions and data defined in the module are accessed through the dot -notation as in {\tt posix.listdir}. The scope rules of Python are -such that the imported module name {\tt posix} is also available in -the function {\tt ls} (this will be discussed in more detail later). - -Finally, the last line of the program calls the {\tt ls} function with -a definite argument. It must be last since Python objects must be -defined before they can be used; in particular, the function {\tt ls} -must be defined before it can be called. The argument to {\tt ls} is -{\tt sys.argv[1]}, which happens to be the Python equivalent of {\tt -\$1} in a shell script or {\tt argv[1]} in a C program's {\tt main} -function. - -\subsection{Python Data Types} - -(This and the following subsections describe Python in quite a lot of -detail. If you are more interested in AIL, Amoeba and how they are -linked with Python, you can skip to section 3 now.) - -Python's syntax may not have big surprises (which is exactly as it -should be), but its data types are quite different from what is found -in languages like C, Ada or Modula-3. All data types in Python, even -integers, are `objects'. All objects participate in a common garbage -collection scheme (currently implemented using reference counting). -Assignment is cheap, independent of object size and type: only a -pointer to the assigned object is stored in the assigned-to variable. -No type checking is performed on assignment; only specific operations -like addition test for particular operand types. - -The basic object types in Python are numbers, strings, tuples, lists -and dictionaries. Some other object types are open files, functions, -modules, classes, and class instances; even types themselves are -represented as objects. Extension modules written in C can define -additional object types; examples are objects representing windows and -Amoeba capabilities. Finally, the implementation itself makes heavy -use of objects, and defines some private object types that aren't -normally visible to the user. There is no explicit pointer type in -Python. - -{\em Numbers}, both integers and floating point, are pretty -straightforward. The notation for numeric literals is the same as in -C, including octal and hexadecimal integers; precision is the same as -{\tt long} or {\tt double} in C\@. A third numeric type, `long -integer', written with an `L' suffix, can be used for arbitrary -precision calculations. All arithmetic, shifting and masking -operations from C are supported. - -{\em Strings} are `primitive' objects just like numbers. String -literals are written between single quotes, using similar escape -sequences as in C\@. Operations are built into the language to -concatenate and to replicate strings, to extract substrings, etc. -There is no limit to the length of the strings created by a program. -There is no separate character data type; strings of length one do -nicely. - -{\em Tuples} are a way to `pack' small amounts of heterogeneous data -together and carry them around as a unit. Unlike structure members in -C, tuple items are nameless. Packing and unpacking assignments allow -access to the items, for example: -\begin{verbatim} -x = 'Hi', (1, 2), 'World' # x is a 3-item tuple, - # its middle item is (1, 2) -p, q, r = x # unpack x into p, q and r -a, b = q # unpack q into a and b -\end{verbatim} -A combination of packing and unpacking assignment can be used as -parallel assignment, and is idiom for permutations, e.g.: -\begin{verbatim} -p, q = q, p # swap without temporary -a, b, c = b, c, a # cyclic permutation -\end{verbatim} -Tuples are also used for function argument lists if there is more than -one argument. A tuple object, once created, cannot be modified; but -it is easy enough to unpack it and create a new, modified tuple from -the unpacked items and assign this to the variable that held the -original tuple object (which will then be garbage-collected). - -{\em Lists} are array-like objects. List items may be arbitrary -objects and can be accessed and changed using standard subscription -notation. Lists support item insertion and deletion, and can -therefore be used as queues, stacks etc.; there is no limit to their -size. - -Strings, tuples and lists together are {\em sequence} types. These -share a common notation for generic operations on sequences such as -subscription, concatenation, slicing (taking subsequences) and -membership tests. As in C, subscripts start at 0. - -{\em Dictionaries} are `mappings' from one domain to another. The -basic operations on dictionaries are item insertion, extraction and -deletion, using subscript notation with the key as subscript. (The -current implementation allows only strings in the key domain, but a -future version of the language may remove this restriction.) - -\subsection{Statements} - -Python has various kinds of simple statements, such as assignments -and {\tt print} statements, and several kinds of compound statements, -like {\tt if} and {\tt for} statements. Formally, function -definitions and {\tt import} statements are also statements, and there -are no restrictions on the ordering of statements or their nesting: -{\tt import} may be used inside a function, functions may be defined -conditionally using an {\tt if} statement, etc. The effect of a -declaration-like statement takes place only when it is executed. - -All statements except assignments and expression statements begin with -a keyword: this makes the language easy to parse. An overview of the -most common statement forms in Python follows. - -An {\em assignment} has the general form -\vspace{\itemsep} - -\noindent -{\em variable $=$ variable $= ... =$ variable $=$ expression} -\vspace{\itemsep} - -It assigns the value of the expression to all listed variables. (As -shown in the section on tuples, variables and expressions can in fact -be comma-separated lists.) The assignment operator is not an -expression operator; there are no horrible things in Python like -\begin{verbatim} -while (p = p->next) { ... } -\end{verbatim} -Expression syntax is mostly straightforward and will not be explained -in detail here. - -An {\em expression statement} is just an expression on a line by -itself. This writes the value of the expression to standard output, -in a suitably unambiguous way, unless it is a `procedure call' (a -function call that returns no value). Writing the value is useful -when Python is used in `calculator mode', and reminds the programmer -not to ignore function results. - -The {\tt if} statement allows conditional execution. It has optional -{\tt elif} and {\tt else} parts; a construct like {\tt -if...elif...elif...elif...else} can be used to compensate for the -absence of a {\em switch} or {\em case} statement. - -Looping is done with {\tt while} and {\tt for} statements. The latter -(demonstrated in the `ls' example earlier) iterates over the elements -of a `sequence' (see the discussion of data types below). It is -possible to terminate a loop with a {\tt break} statement or to start -the next iteration with {\tt continue}. Both looping statements have -an optional {\tt else} clause which is executed after the loop is -terminated normally, but skipped when it is terminated by {\tt break}. -This can be handy for searches, to handle the case that the item is -not found. - -Python's {\em exception} mechanism is modelled after that of Modula-3. -Exceptions are raised by the interpreter when an illegal operation is -tried. It is also possible to explicitly raise an exception with the -{\tt raise} statement: -\vspace{\itemsep} - -\noindent -{\tt raise {\em expression}, {\em expression}} -\vspace{\itemsep} - -The first expression identifies which exception should be raised; -there are several built-in exceptions and the user may define -additional ones. The second, optional expression is passed to the -handler, e.g. as a detailed error message. - -Exceptions may be handled (caught) with the {\tt try} statement, which -has the following general form: -\vspace{\itemsep} - -\noindent -{\tt -\begin{tabular}{l} -try: {\em block} \\ -except {\em expression}, {\em variable}: {\em block} \\ -except {\em expression}, {\em variable}: {\em block} \\ -... \\ -except: {\em block} -\end{tabular} -} -\vspace{\itemsep} - -When an exception is raised during execution of the first block, a -search for an exception handler starts. The first {\tt except} clause -whose {\em expression} matches the exception is executed. The -expression may specify a list of exceptions to match against. A -handler without an expression serves as a `catch-all'. If there is no -match, the search for a handler continues with outer {\tt try} -statements; if no match is found on the entire invocation stack, an -error message and stack trace are printed, and the program is -terminated (interactively, the interpreter returns to its main loop). - -Note that the form of the {\tt except} clauses encourages a style of -programming whereby only selected exceptions are caught, passing -unanticipated exceptions on to the caller and ultimately to the user. -This is preferable over a simpler `catch-all' error handling -mechanism, where a simplistic handler intended to catch a single type -of error like `file not found' can easily mask genuine programming -errors --- especially in a language like Python which relies strongly -on run-time checking and allows the catching of almost any type of -error. - -Other common statement forms, which we have already encountered, are -function definitions, {\tt import} statements and {\tt print} -statements. There is also a {\tt del} statement to delete one or more -variables, a {\tt return} statement to return from a function, and a -{\tt global} statement to allow assignments to global variables. -Finally, the {\tt pass} statement is a no-op. - -\subsection{Execution Model} - -A Python program is executed by a stack-based interpreter. - -When a function is called, a new `execution environment' for it is -pushed onto the stack. An execution environment contains (among other -data) pointers to two `symbol tables' that are used to hold variables: -the local and the global symbol table. The local symbol table -contains local variables of the current function invocation (including -the function arguments); the global symbol table contains variables -defined in the module containing the current function. - -The `global' symbol table is thus only global with respect to the -current function. There are no system-wide global variables; using -the {\tt import} statement it is easy enough to reference variables -that are defined in other modules. A system-wide read-only symbol -table is used for built-in functions and constants though. - -On assignment to a variable, by default an entry for it is made in the -local symbol table of the current execution environment. The {\tt -global} command can override this (it is not enough that a global -variable by the same name already exists). When a variable's value is -needed, it is searched first in the local symbol table, then in the -global one, and finally in the symbol table containing built-in -functions and constants. - -The term `variable' in this context refers to any name: functions and -imported modules are searched in exactly the same way. - -Names defined in a module's symbol table survive until the end of the -program. This approximates the semantics of file-static global -variables in C or module variables in Modula-3. A module is -initialized the first time it is imported, by executing the text of -the module as a parameterless function whose local and global symbol -tables are the same, so names are defined in module's symbol table. -(Modules implemented in C have another way to define symbols.) - -A Python main program is read from standard input or from a script -file passed as an argument to the interpreter. It is executed as if -an anonymous module was imported. Since {\tt import} statements are -executed like all other statements, the initialization order of the -modules used in a program is defined by the flow of control through -the program. - -The `attribute' notation {\em m.name}, where {\em m} is a module, -accesses the symbol {\em name} in that module's symbol table. It can -be assigned to as well. This is in fact a special case of the -construct {\em x.name} where {\em x} denotes an arbitrary object; the -type of {\em x} determines how this is to be interpreted, and what -assignment to it means. - -For instance, when {\tt a} is a list object, {\tt a.append} yields a -built-in `method' object which, when called, appends an item to {\tt a}. -(If {\tt a} and {\tt b} are distinct list objects, {\tt a.append} and -{\tt b.append} are distinguishable method objects.) Normally, in -statements like {\tt a.append(x)}, the method object {\tt a.append} is -called and then discarded, but this is a matter of convention. - -List attributes are read-only --- the user cannot define new list -methods. Some objects, like numbers and strings, have no attributes -at all. Like all type checking in Python, the meaning of an attribute -is determined at run-time --- when the parser sees {\em x.name}, it -has no idea of the type of {\em x}. Note that {\em x} here does not -have to be a variable --- it can be an arbitrary (perhaps -parenthesized) expression. - -Given the flexibility of the attribute notation, one is tempted to use -methods to replace all standard operations. Yet, Python has kept a -small repertoire of built-in functions like {\tt len()} and {\tt -abs()}. The reason is that in some cases the function notation is -more familiar than the method notation; just like programs would -become less readable if all infix operators were replaced by function -calls, they would become less readable if all function calls had to be -replaced by method calls (and vice versa!). - -The choice whether to make something a built-in function or a method -is a matter of taste. For arithmetic and string operations, function -notation is preferred, since frequently the argument to such an -operation is an expression using infix notation, as in {\tt abs(a+b)}; -this definitely looks better than {\tt (a+b).abs()}. The choice -between make something a built-in function or a function defined in a -built-in method (requiring {\tt import}) is similarly guided by -intuition; all in all, only functions needed by `general' programming -techniques are built-in functions. - -\subsection{Classes} - -Python has a class mechanism distinct from the object-orientation -already explained. A class in Python is not much more than a -collection of methods and a way to create class instances. Class -methods are ordinary functions whose first parameter is the class -instance; they are called using the method notation. - -For instance, a class can be defined as follows: -\begin{verbatim} -class Foo: - def meth1(self, arg): ... - def meth2(self): ... -\end{verbatim} -A class instance is created by -{\tt x = Foo()} -and its methods can be called thus: -\begin{verbatim} -x.meth1('Hi There!') -x.meth2() -\end{verbatim} -The functions used as methods are also available as attributes of the -class object, and the above method calls could also have been written -as follows: -\begin{verbatim} -Foo.meth1(x, 'Hi There!') -Foo.meth2(x) -\end{verbatim} -Class methods can store instance data by assigning to instance data -attributes, e.g.: -\begin{verbatim} -self.size = 100 -self.title = 'Dear John' -\end{verbatim} -Data attributes do not have to be declared; as with local variables, -they spring into existence when assigned to. It is a matter of -discretion to avoid name conflicts with method names. This facility -is also available to class users; instances of a method-less class can -be used as records with named fields. - -There is no built-in mechanism for instance initialization. Classes -by convention provide an {\tt init()} method which initializes the -instance and then returns it, so the user can write -\begin{verbatim} -x = Foo().init('Dr. Strangelove') -\end{verbatim} - -Any user-defined class can be used as a base class to derive other -classes. However, built-in types like lists cannot be used as base -classes. (Incidentally, the same is true in \Cpp{} and Modula-3.) A -class may override any method of its base classes. Instance methods -are first searched in the method list of their class, and then, -recursively, in the method lists of their base class. Initialization -methods of derived classes should explicitly call the initialization -methods of their base class. - -A simple form of multiple inheritance is also supported: a class can -have multiple base classes, but the language rules for resolving name -conflicts are somewhat simplistic, and consequently the feature has so -far found little usage. - -\subsection{The Python Library} - -Python comes with an extensive library, structured as a collection of -modules. A few modules are built into the interpreter: these -generally provide access to system libraries implemented in C such as -mathematical functions or operating system calls. Two built-in -modules provide access to internals of the interpreter and its -environment. Even abusing these internals will at most cause an -exception in the Python program; the interpreter will not dump core -because of errors in Python code. - -Most modules however are written in Python and distributed with the -interpreter; they provide general programming tools like string -operations and random number generators, provide more convenient -interfaces to some built-in modules, or provide specialized services -like a {\em getopt}-style command line option processor for -stand-alone scripts. - -There are also some modules written in Python that dig deep in the -internals of the interpreter; there is a module to browse the stack -backtrace when an unhandled exception has occurred, one to disassemble -the internal representation of Python code, and even an interactive -source code debugger which can trace Python code, set breakpoints, -etc. - -\subsection{Extensibility} - -It is easy to add new built-in modules written in C to the Python -interpreter. Extensions appear to the Python user as built-in -modules. Using a built-in module is no different from using a module -written in Python, but obviously the author of a built-in module can -do things that cannot be implemented purely in Python. - -In particular, built-in modules can contain Python-callable functions -that call functions from particular system libraries (`wrapper -functions'), and they can define new object types. In general, if a -built-in module defines a new object type, it should also provide at -least one function that creates such objects. Attributes of such -object types are also implemented in C; they can return data -associated with the object or methods, implemented as C functions. - -For instance, an extension was created for Amoeba: it provides wrapper -functions for the basic Amoeba name server functions, and defines a -`capability' object type, whose methods are file server operations. -Another extension is a built-in module called {\tt posix}; it provides -wrappers around post UNIX system calls. Extension modules also -provide access to two different windowing/graphics interfaces: STDWIN -\cite{STDWIN} -(which connects to X11 on UNIX and to the Mac Toolbox on the -Macintosh), and the Graphics Library (GL) for Silicon Graphics -machines. - -Any function in an extension module is supposed to type-check its -arguments; the interpreter contains a convenience function to -facilitate extracting C values from arguments and type-checking them -at the same time. Returning values is also painless, using standard -functions to create Python objects from C values. - -On some systems extension modules may be dynamically loaded, thus -avoiding the need to maintain a private copy of the Python interpreter -in order to use a private extension. - -\section{A Short Description of AIL and Amoeba} - -An RPC stub generator takes an interface description as input. The -designer of a stub generator has at least two choices for the input -language: use a suitably restricted version of the target language, or -design a new language. The first solution was chosen, for instance, -by the designers of Flume, the stub generator for the Topaz -distributed operating system built at DEC SRC -\cite{Flume,Evolving}. - -Flume's one and only target language is Modula-2+ (the predecessor of -Modula-3). Modula-2+, like Modula-N for any N, has an interface -syntax that is well suited as a stub generator input language: an -interface module declares the functions that are `exported' by a -module implementation, with their parameter and return types, plus the -types and constants used for the parameters. Therefore, the input to -Flume is simply a Modula-2+ interface module. But even in this ideal -situation, an RPC stub generator needs to know things about functions -that are not stated explicitly in the interface module: for instance, -the transfer direction of VAR parameters (IN, OUT or both) is not -given. Flume solves this and other problems by a mixture of -directives hidden in comments and a convention for the names of -objects. Thus, one could say that the designers of Flume really -created a new language, even though it looks remarkably like their -target language. - -\subsection{The AIL Input Language} - -Amoeba uses C as its primary programming language. C function -declarations (at least in `Classic' C) don't specify the types of -the parameters, let alone their transfer direction. Using this as -input for a stub generator would require almost all information for -the stub generator to be hidden inside comments, which would require a -rather contorted scanner. Therefore we decided to design the input -syntax for Amoeba's stub generator `from scratch'. This gave us the -liberty to invent proper syntax not only for the transfer direction of -parameters, but also for variable-length arrays. - -On the other hand we decided not to abuse our freedom, and borrowed as -much from C as we could. For instance, AIL runs its input through the -C preprocessor, so we get macros, include files and conditional -compilation for free. AIL's type declaration syntax is a superset of -C's, so the user can include C header files to use the types declared -there as function parameter types --- which are declared using -function prototypes as in \Cpp{} or Standard C\@. It should be clear by -now that AIL's lexical conventions are also identical to C's. The -same is true for its expression syntax. - -Where does AIL differ from C, then? Function declarations in AIL are -grouped in {\em classes}. Classes in AIL are mostly intended as a -grouping mechanism: all functions implemented by a server are grouped -together in a class. Inheritance is used to form new groups by adding -elements to existing groups; multiple inheritance is supported to join -groups together. Classes can also contain constant and type -definitions, and one form of output that AIL can generate is a header -file for use by C programmers who wish to use functions from a -particular AIL class. - -Let's have a look at some (unrealistically simple) class definitions: -\begin{verbatim} -#include /* Defines `capability', etc. */ - -class standard_ops [1000 .. 1999] { - /* Operations supported by most interfaces */ - std_info(*, out char buf[size:100], out int size); - std_destroy(*); -}; -\end{verbatim} -This defines a class called `standard\_ops' whose request codes are -chosen by AIL from the range 1000-1999. Request codes are small -integers used to identify remote operations. The author of the class -must specify a range from which AIL chooses, and class authors must -make sure they avoid conflicts, e.g. by using an `assigned number -administration office'. In the example, `std\_info' will be assigned -request code 1000 and `std\_destroy' will get code 1001. There is -also an option to explicitly assign request codes, for compatibility -with servers with manually written interfaces. - -The class `standard\_ops' defines two operations, `std\_info' and -`std\_destroy'. The first parameter of each operation is a star -(`*'); this is a placeholder for a capability that must be passed when -the operation is called. The description of Amoeba below explains the -meaning and usage of capabilities; for now, it is sufficient to know -that a capability is a small structure that uniquely identifies an -object and a server or service. - -The standard operation `std\_info' has two output parameters: a -variable-size character buffer (which will be filled with a short -descriptive string of the object to which the operation is applied) -and an integer giving the length of this string. The standard -operation `std\_destroy' has no further parameters --- it just -destroys the object, if the caller has the right to do so. - -The next class is called `tty': -\begin{verbatim} -class tty [2000 .. 2099] { - inherit standard_ops; - const TTY_MAXBUF = 1000; - tty_write(*, char buf[size:TTY_MAXBUF], int size); - tty_read(*, out char buf[size:TTY_MAXBUF], out int size); -}; -\end{verbatim} -The request codes for operations defined in this class lie in the -range 2000-2099; inherited operations use the request codes already -assigned to them. The operations defined by this class are -`tty\_read' and `tty\_write', which pass variable-sized data buffers -between client and server. Class `tty' inherits class -`standard\_ops', so tty objects also support the operations -`std\_info' and `std\_destroy'. - -Only the {\em interface} for `std\_info' and `std\_destroy' is shared -between tty objects and other objects whose interface inherits -`standard\_ops'; the implementation may differ. Even multiple -implementations of the `tty' interface may exist, e.g. a driver for a -console terminal and a terminal emulator in a window. To expand on -the latter example, consider: -\begin{verbatim} -class window [2100 .. 2199] { - inherit standard_ops; - win_create(*, int x, int y, int width, int height, - out capability win_cap); - win_reconfigure(*, int x, int y, int width, int height); -}; - -class tty_emulator [2200 .. 2299] { - inherit tty, window; -}; -\end{verbatim} -Here two new interface classes are defined. -Class `window' could be used for creating and manipulating windows. -Note that `win\_create' returns a capability for the new window. -This request should probably should be sent to a generic window -server capability, or it might create a subwindow when applied to a -window object. - -Class `tty\_emulator' demonstrates the essence of multiple inheritance. -It is presumably the interface to a window-based terminal emulator. -Inheritance is transitive, so `tty\_emulator' also implicitly inherits -`standard\_ops'. -In fact, it inherits it twice: once via `tty' and once via `window'. -Since AIL class inheritance only means interface sharing, not -implementation sharing, inheriting the same class multiple times is -never a problem and has the same effect as inheriting it once. - -Note that the power of AIL classes doesn't go as far as \Cpp{}. -AIL classes cannot have data members, and there is -no mechanism for a server that implements a derived class -to inherit the implementation of the base -class --- other than copying the source code. -The syntax for class definitions and inheritance is also different. - -\subsection{Amoeba} - -The smell of `object-orientedness' that the use of classes in AIL -creates matches nicely with Amoeba's object-oriented approach to -RPC\@. In Amoeba, almost all operating system entities (files, -directories, processes, devices etc.) are implemented as {\em -objects}. Objects are managed by {\em services} and represented by -{\em capabilities}. A capability gives its holder access to the -object it represents. Capabilities are protected cryptographically -against forgery and can thus be kept in user space. A capability is a -128-bit binary string, subdivided as follows: - -% XXX Need a better version of this picture! -\begin{verbatim} - 48 24 8 48 Bits -+----------------+------------+--------+---------------+ -| Service | Object | Perm. | Check | -| port | number | bits | word | -+----------------+------------+--------+---------------+ -\end{verbatim} - -The service port is used by the RPC implementation in the Amoeba -kernel to locate a server implementing the service that manages the -object. In many cases there is a one-to-one correspondence between -servers and services (each service is implemented by exactly one -server process), but some services are replicated. For instance, -Amoeba's directory service, which is crucial for gaining access to most -other services, is implemented by two servers that listen on the same -port and know about exactly the same objects. - -The object number in the capability is used by the server receiving -the request for identifying the object to which the operation applies. -The permission bits specify which operations the holder of the capability -may apply. The last part of a capability is a 48-bit long `check -word', which is used to prevent forgery. The check word is computed -by the server based upon the permission bits and a random key per object -that it keeps secret. If you change the permission bits you must compute -the proper check word or else the server will refuse the capability. -Due to the size of the check word and the nature of the cryptographic -`one-way function' used to compute it, inverting this function is -impractical, so forging capabilities is impossible.% -\footnote{ -As computers become faster, inverting the one-way function becomes -less impractical. -Therefore, a next version of Amoeba will have 64-bit check words. -} - -A working Amoeba system is a collection of diverse servers, managing -files, directories, processes, devices etc. While most servers have -their own interface, there are some requests that make sense for some -or all object types. For instance, the {\em std\_info()} request, -which returns a short descriptive string, applies to all object types. -Likewise, {\em std\_destroy()} applies to files, directories and -processes, but not to devices. - -Similarly, different file server implementations may want to offer the -same interface for operations like {\em read()} and {\em write()} to -their clients. AIL's grouping of requests into classes is ideally -suited to describe this kind of interface sharing, and a class -hierarchy results which clearly shows the similarities between server -interfaces (not necessarily their implementations!). - -The base class of all classes defines the {\em std\_info()} request. -Most server interfaces actually inherit a derived class that also -defines {\em std\_destroy().} File servers inherit a class that -defines the common operations on files, etc. - -\subsection{How AIL Works} - -The AIL stub generator functions in three phases: -\begin{itemize} -\item -parsing, -\item -strategy determination, -\item -code generation. -\end{itemize} - -{\bf Phase one} parses the input and builds a symbol table containing -everything it knows about the classes and other definitions found in -the input. - -{\bf Phase two} determines the strategy to use for each function -declaration in turn and decides upon the request and reply message -formats. This is not a simple matter, because of various optimization -attempts. Amoeba's kernel interface for RPC requests takes a -fixed-size header and one arbitrary-size buffer. A large part of the -header holds the capability of the object to which the request is -directed, but there is some space left for a few integer parameters -whose interpretation is left up to the server. AIL tries to use these -slots for simple integer parameters, for two reasons. - -First, unlike the buffer, header fields are byte-swapped by the RPC -layer in the kernel if necessary, so it saves a few byte swapping -instructions in the user code. Second, and more important, a common -form of request transfers a few integers and one large buffer to or -from a server. The {\em read()} and {\em write()} requests of most -file servers have this form, for instance. If it is possible to place -all integer parameters in the header, the address of the buffer -parameter can be passed directly to the kernel RPC layer. While AIL -is perfectly capable of handling requests that do not fit this format, -the resulting code involves allocating a new buffer and copying all -parameters into it. It is a top priority to avoid this copying -(`marshalling') if at all possible, in order to maintain Amoeba's -famous RPC performance. - -When AIL resorts to copying parameters into a buffer, it reorders them -so that integers indicating the lengths of variable-size arrays are -placed in the buffer before the arrays they describe, since otherwise -decoding the request would be impossible. It also adds occasional -padding bytes to ensure integers are aligned properly in the buffer --- -this can speed up (un)marshalling. - -{\bf Phase three} is the code generator, or back-end. There are in -fact many different back-ends that may be called in a single run to -generate different types of output. The most important output types -are header files (for inclusion by the clients of an interface), -client stubs, and `server main loop' code. The latter decodes -incoming requests in the server. The generated code depends on the -programming language requested, and there are separate back-ends for -each supported language. - -It is important that the strategy chosen by phase two is independent -of the language requested for phase three --- otherwise the -interoperability of servers and clients written in different languages -would be compromised. - -\section{Linking AIL to Python} - -From the previous section it can be concluded that linking AIL to -Python is a matter of writing a back-end for Python. This is indeed -what we did. - -Considerable time went into the design of the back-end in order to -make the resulting RPC interface for Python fit as smoothly as -possible in Python's programming style. For instance, the issues of -parameter transfer, variable-size arrays, error handling, and call -syntax were all solved in a manner that favors ease of use in Python -rather than strict correspondence with the stubs generated for C, -without compromising network-level compatibility. - -\subsection{Mapping AIL Entities to Python} - -For each programming language that AIL is to support, a mapping must -be designed between the data types in AIL and those in that language. -Other aspects of the programming languages, such as differences in -function call semantics, must also be taken care of. - -While the mapping for C is mostly straightforward, the mapping for -Python requires a little thinking to get the best results for Python -programmers. - -\subsubsection{Parameter Transfer Direction} - -Perhaps the simplest issue is that of parameter transfer direction. -Parameters of functions declared in AIL are categorized as being of -type {\tt in}, {\tt out} or {\tt in} {\tt out} (the same distinction -as made in Ada). Python only has call-by-value parameter semantics; -functions can return multiple values as a tuple. This means that, -unlike the C back-end, the Python back-end cannot always generate -Python functions with exactly the same parameter list as the AIL -functions. - -Instead, the Python parameter list consists of all {\tt in} and {\tt -in} {\tt out} parameters, in the order in which they occur in the AIL -parameter list; similarly, the Python function returns a tuple -containing all {\tt in} {\tt out} and {\tt out} parameters. In fact -Python packs function parameters into a tuple as well, stressing the -symmetry between parameters and return value. For example, a stub -with this AIL parameter list: -\begin{verbatim} -(*, in int p1, in out int p2, in int p3, out int p4) -\end{verbatim} -will have the following parameter list and return values in Python: -\begin{verbatim} -(p1, p2, p3) -> (p2, p4) -\end{verbatim} - -\subsubsection{Variable-size Entities} - -The support for variable-size objects in AIL is strongly guided by the -limitations of C in this matter. Basically, AIL allows what is -feasible in C: functions may have variable-size arrays as parameters -(both input or output), provided their length is passed separately. -In practice this is narrowed to the following rule: for each -variable-size array parameter, there must be an integer parameter -giving its length. (An exception for null-terminated strings is -planned but not yet realized.) - -Variable-size arrays in AIL or C correspond to {\em sequences} in -Python: lists, tuples or strings. These are much easier to use than -their C counterparts. Given a sequence object in Python, it is always -possible to determine its size: the built-in function {\tt len()} -returns it. It would be annoying to require the caller of an RPC stub -with a variable-size parameter to also pass a parameter that -explicitly gives its size. Therefore we eliminate all parameters from -the Python parameter list whose value is used as the size of a -variable-size array. Such parameters are easily found: the array -bound expression contains the name of the parameter giving its size. -This requires the stub code to work harder (it has to recover the -value for size parameters from the corresponding sequence parameter), -but at least part of this work would otherwise be needed as well, to -check that the given and actual sizes match. - -Because of the symmetry in Python between the parameter list and the -return value of a function, the same elimination is performed on -return values containing variable-size arrays: integers returned -solely to tell the client the size of a returned array are not -returned explicitly to the caller in Python. - -\subsubsection{Error Handling} - -Another point where Python is really better than C is the issue of -error handling. It is a fact of life that everything involving RPC -may fail, for a variety of reasons outside the user's control: the -network may be disconnected, the server may be down, etc. Clients -must be prepared to handle such failures and recover from them, or at -least print an error message and die. In C this means that every -function returns an error status that must be checked by the caller, -causing programs to be cluttered with error checks --- or worse, -programs that ignore errors and carry on working with garbage data. - -In Python, errors are generally indicated by exceptions, which can be -handled out of line from the main flow of control if necessary, and -cause immediate program termination (with a stack trace) if ignored. -To profit from this feature, all RPC errors that may be encountered by -AIL-generated stubs in Python are turned into exceptions. An extra -value passed together with the exception is used to relay the error -code returned by the server to the handler. Since in general RPC -failures are rare, Python test programs can usually ignore exceptions ---- making the program simpler --- without the risk of occasional -errors going undetected. (I still remember the embarrassment of a -hundredfold speed improvement reported, long, long, ago, about a new -version of a certain program, which later had to be attributed to a -benchmark that silently dumped core...) - -\subsubsection{Function Call Syntax} - -Amoeba RPC operations always need a capability parameter (this is what -the `*' in the AIL function templates stands for); the service is -identified by the port field of the capability. In C, the capability -must always be the first parameter of the stub function, but in Python -we can do better. - -A Python capability is an opaque object type in its own right, which -is used, for instance, as parameter to and return value from Amoeba's -name server functions. Python objects can have methods, so it is -convenient to make all AIL-generated stubs methods of capabilities -instead of just functions. Therefore, instead of writing -\begin{verbatim} -some_stub(cap, other_parameters) -\end{verbatim} -as in C, Python programmers can write -\begin{verbatim} -cap.some_stub(other_parameters) -\end{verbatim} -This is better because it reduces name conflicts: in Python, no -confusion is possible between a stub and a local or global variable or -user-defined function with the same name. - -\subsubsection{Example} - -All the preceding principles can be seen at work in the following -example. Suppose a function is declared in AIL as follows: -\begin{verbatim} -some_stub(*, in char buf[size:1000], in int size, - out int n_done, out int status); -\end{verbatim} -In C it might be called by the following code (including declarations, -for clarity, but not initializations): -\begin{verbatim} -int err, n_done, status; -capability cap; -char buf[500]; -... -err = some_stub(&cap, buf, sizeof buf, &n_done, &status); -if (err != 0) return err; -printf("%d done; status = %d\n", n_done, status); -\end{verbatim} -Equivalent code in Python might be the following: -\begin{verbatim} -cap = ... -buf = ... -n_done, status = cap.some_stub(buf) -print n_done, 'done;', 'status =', status -\end{verbatim} -No explicit error check is required in Python: if the RPC fails, an -exception is raised so the {\tt print} statement is never reached. - -\subsection{The Implementation} - -More or less orthogonal to the issue of how to map AIL operations to -the Python language is the question of how they should be implemented. - -In principle it would be possible to use the same strategy that is -used for C: add an interface to Amoeba's low-level RPC primitives to -Python and generate Python code to marshal parameters into and out of -a buffer. However, Python's high-level data types are not well suited -for marshalling: byte-level operations are clumsy and expensive, with -the result that marshalling a single byte of data can take several -Python statements. This would mean that a large amount of code would -be needed to implement a stub, which would cost a lot of time to parse -and take up a lot of space in `compiled' form (as parse tree or pseudo -code). Execution of the marshalling code would be sluggish as well. - -We therefore chose an alternate approach, writing the marshalling in -C, which is efficient at such byte-level operations. While it is easy -enough to generate C code that can be linked with the Python -interpreter, it would obviously not stimulate the use of Python for -server testing if each change to an interface required relinking the -interpreter (dynamic loading of C code is not yet available on -Amoeba). This is circumvented by the following solution: the -marshalling is handled by a simple {\em virtual machine}, and AIL -generates instructions for this machine. An interpreter for the -machine is linked into the Python interpreter and reads its -instructions from a file written by AIL. - -The machine language for our virtual machine is dubbed {\em Stubcode}. -Stubcode is a super-specialized language. There are two sets of of -about a dozen instructions each: one set marshals Python objects -representing parameters into a buffer, the other set (similar but not -quite symmetric) unmarshals results from a buffer into Python objects. -The Stubcode interpreter uses a stack to hold Python intermediate -results. Other state elements are an Amoeba header and buffer, a -pointer indicating the current position in the buffer, and of course a -program counter. Besides (un)marshalling, the virtual machine must -also implement type checking, and raise a Python exception when a -parameter does not have the expected type. - -The Stubcode interpreter marshals Python data types very efficiently, -since each instruction can marshal a large amount of data. For -instance, a whole Python string is marshalled by a single Stubcode -instruction, which (after some checking) executes the most efficient -byte-copying loop possible --- it calls {\tt memcpy()}. - - -Construction details of the Stubcode interpreter are straightforward. -Most complications are caused by the peculiarities of AIL's strategy -module and Python's type system. By far the most complex single -instruction is the `loop' instruction, which is used to marshal -arrays. - -As an example, here is the complete Stubcode program (with spaces and -comments added for clarity) generated for the function {\tt -some\_stub()} of the example above. The stack contains pointers to -Python objects, and its initial contents is the parameter to the -function, the string {\tt buf}. The final stack contents will be the -function return value, the tuple {\tt (n\_done, status)}. The name -{\tt header} refers to the fixed size Amoeba RPC header structure. -\vspace{1em} - -{\tt -\begin{tabular}{l l l} -BufSize & 1000 & {\em Allocate RPC buffer of 1000 bytes} \\ -Dup & 1 & {\em Duplicate stack top} \\ -StringS & & {\em Replace stack top by its string size} \\ -PutI & h\_extra int32 & {\em Store top element in }header.h\_extra \\ -TStringSlt & 1000 & {\em Assert string size less than 1000} \\ -PutVS & & {\em Marshal variable-size string} \\ - & & \\ -Trans & 1234 & {\em Execute the RPC (request code 1234)} \\ - & & \\ -GetI & h\_extra int32 & {\em Push integer from} header.h\_extra \\ -GetI & h\_size int32 & {\em Push integer from} header.h\_size \\ -Pack & 2 & {\em Pack top 2 elements into a tuple} \\ -\end{tabular} -} -\vspace{1em} - -As much work as possible is done by the Python back-end in AIL, rather -than in the Stubcode interpreter, to make the latter both simple and -fast. For instance, the decision to eliminate an array size parameter -from the Python parameter list is taken by AIL, and Stubcode -instructions are generated to recover the size from the actual -parameter and to marshal it properly. Similarly, there is a special -alignment instruction (not used in the example) to meet alignment -requirements. - -Communication between AIL and the Stubcode generator is via the file -system. For each stub function, AIL creates a file in its output -directory, named after the stub with a specific suffix. This file -contains a machine-readable version of the Stubcode program for the -stub. The Python user can specify a search path containing -directories which the interpreter searches for a Stubcode file the -first time the definition for a particular stub is needed. - -The transformations on the parameter list and data types needed to map -AIL data types to Python data types make it necessary to help the -Python programmer a bit in figuring out the parameters to a call. -Although in most cases the rules are simple enough, it is sometimes -hard to figure out exactly what the parameter and return values of a -particular stub are. There are two sources of help in this case: -first, the exception contains enough information so that the user can -figure what type was expected; second, AIL's Python back-end -optionally generates a human-readable `interface specification' file. - -\section{Conclusion} - -We have succeeded in creating a useful extension to Python that -enables Amoeba server writers to test and experiment with their server -in a much more interactive manner. We hope that this facility will -add to the popularity of AIL amongst Amoeba programmers. - -Python's extensibility was proven convincingly by the exercise -(performed by the second author) of adding the Stubcode interpreter to -Python. Standard data abstraction techniques are used to insulate -extension modules from details of the rest of the Python interpreter. -In the case of the Stubcode interpreter this worked well enough that -it survived a major overhaul of the main Python interpreter virtually -unchanged. - -On the other hand, adding a new back-end to AIL turned out to be quite -a bit of work. One problem, specific to Python, was to be expected: -Python's variable-size data types differ considerably from the -C-derived data model that AIL favors. Two additional problems we -encountered were the complexity of the interface between AIL's second -and third phases, and a number of remaining bugs in the second phase -that surfaced when the implementation of the Python back-end was -tested. The bugs have been tracked down and fixed, but nothing -has been done about the complexity of the interface. - -\subsection{Future Plans} - -AIL's C back-end generates server main loop code as well as client -stubs. The Python back-end currently only generates client stubs, so -it is not yet possible to write servers in Python. While it is -clearly more important to be able to use Python as a client than as a -server, the ability to write server prototypes in Python would be a -valuable addition: it allows server designers to experiment with -interfaces in a much earlier stage of the design, with a much smaller -programming effort. This makes it possible to concentrate on concepts -first, before worrying about efficient implementation. - -The unmarshalling done in the server is almost symmetric with the -marshalling in the client, and vice versa, so relative small -extensions to the Stubcode virtual machine will allow its use in a -server main loop. We hope to find the time to add this feature to a -future version of Python. - -\section{Availability} - -The Python source distribution is available to Internet users by -anonymous ftp to site {\tt ftp.cwi.nl} [IP address 192.16.184.180] -from directory {\tt /pub}, file name {\tt python*.tar.Z} (where the -{\tt *} stands for a version number). This is a compressed UNIX tar -file containing the C source and \LaTeX documentation for the Python -interpreter. It includes the Python library modules and the {\em -Stubcode} interpreter, as well as many example Python programs. Total -disk space occupied by the distribution is about 3 Mb; compilation -requires 1-3 Mb depending on the configuration built, the compile -options, etc. - -\bibliographystyle{plain} - -\bibliography{quabib} - -\end{document} diff --git a/Doc/quabib.bib b/Doc/quabib.bib deleted file mode 100644 index 97b93f6d559..00000000000 --- a/Doc/quabib.bib +++ /dev/null @@ -1,139 +0,0 @@ -@inproceedings{bult:usenix91, - title = "A Structure for Transportable, Dynamic Multimedia Documents", - author = "Dick C.A. Bulterman - and Guido van Rossum - and Robert van Liere", - booktitle = "Proceedings of the 1991 Summer USENIX Conference", - publisher = "The USENIX Association", - year = "1991", -} - -@techreport{bult:gogh90, - title = "The {CWI} van {G}ogh Multimedia Research Project: Goals - and Objectives", - author = "Dick C.A. Bulterman", - institution = "CWI", - year = "1990", - number = "CST-90.1004", -} - -@article{Amoeba:IEEE, - title = "{A}moeba: A Distributed Operating System for the 1990s", - author = "S.J. Mullender - and G. van Rossum - and A.S. Tanenbaum - and R. van Renesse - and J.M. van Staveren", - journal = "IEEE Computer Magazine", - volume = "23", - number = "5", - month = "May", - year = "1990", - pages = "44-53", -} - -@article{Amoeba:CACM, - title = "Experiences with the {A}moeba Distributed Operating System", - author = "A.S. Tanenbaum -and R. van Renesse -and J.M. van Staveren -and G.J. Sharp -and S.J. Mullender -and A.J. Jansen -and G. van Rossum", -journal = "Communications of the ACM", -volume = "33", -number = "12", -month = "December", -year ="1990", -pages = "46-63", -} - -@inproceedings{AIL, -title = "{AIL} --- A Class-Oriented Stub Generator for {A}moeba", -author = "G. van Rossum", -editor = {E W. Schr\"{o}der-Preikschat -and E. W. Zimmer}, -booktitle = "Workshop on Progress in Distributed Operating Systems and Distributed Systems Management", -publisher = "Springer Verlag", -series = "Lecture Notes in Computer Science", -volume = "433", -year = "1990", -pages = "13-21", -} - -@techreport{STDWIN, -title = "{STDWIN} --- A Standard Window System Interface", -author = "G. van Rossum", -number = "CS-R8817", -institution = "CWI", -address = "Amsterdam", -month = "April", -year = "1988", -} - -@book{ABC, -title = "{ABC} Programmer's Handbook", -author = "Leo Geurts -and Lambert Meertens -and Steven Pemberton", -publisher = "Prentice-Hall", -address = "London", -year = "1990", -note = "ISBN 0-13-000027-2", -} - -@manual{Flume, -title = "{F}lume --- Remote Procedure Call Stub Generator for {M}odula-2+", -author = "A.D. Birrell -and E.D. Lazowska -and E. Wobber", -organization = "DEC SRC", -address = "Palo Alto, CA", -year = "1987", -note = "(Topaz manual page)", -} - -@techreport{Evolving, -title = "Evolving the {UNIX} System Interface to Support Multithreaded Programs", -author = "P.R. McJones -and G.F. Swart", -number = "21", -institution = "DEC SRC", -address = "Palo Alto, CA", -month = "September", -year = "1987", -} - -@inproceedings{Tcl, -title = "{T}cl: an Embeddable Command Language", -author = "John K. Ousterhout", -booktitle = "Proceedings of the Winter 1990 USENIX Conference", -publisher = "USENIX Association", -address = "Washington, DC", -month = "January", -year = "1990", -pages = "133-146", -} - -@article{RPC, -title = "Implementing Remote Procedure Calls", -author = "A. D. Birrell -and B. J. Nelson", -journal = "ACM Transactions on Computer Systems", -volume = "2", -number = "1", -month = "February", -year = "1984", -pages = "39-59", -} - -@techreport{Modula-3, -title = "{M}odula-3 Report (revised)", -author = "Luca Cardelli et al.", -number = "52", -institution = "DEC SRC", -address = "Palo Alto, CA", -month = "November", -year = "1989", -}