Lines Matching refs:parameter

312 of the {\it Atom} class: the string parameter of the constructor
338 first parameter is a string which becomes the functor of the term. The
429 parameter {\it Object} implements {\it CompoundTerm} and its functor
433 argument of the parameter object.
441 goals in the {\eclipse}. This method takes as a parameter the goal to be
442 executed. How to construct this parameter is dealt with in Section
443 \ref{sec:ji-rpc-parameter}. Section \ref{sec:ji-rpc-return} explains
448 \subsection{Passing the goal parameter to {\tt rpc}\index{rpc() method}}
449 \label{sec:ji-rpc-parameter}
451 goal parameter.
460 The string-parameter {\tt rpc}\index{rpc() method} variant is somewhat inefficient and it
464 {\tt rpc}\index{rpc() method}, passing it a parameter object which implements the {\it
559 rpc}\index{rpc() method} is invoked with a {\it CompoundTerm} parameter. When used in an
754 java.io.InputStream} as a parameter. This parameter stream is the
763 instance of {\it java.io.OutputStream} as a parameter. This parameter
766 parameter of this method is a Java object representing the piece of
830 parameter when {\tt eclipse\_to\_java\_formatted} was initialised, the
876 Both methods have a single {\it Object} parameter named {\tt
877 source}. When they are invoked this parameter is the {\it FromEclipseQueue}
1134 parameter. Each option has a standard property name detailed below.
1145 parameter or as a property, an exception will be thrown.
1237 a parameter. The method uses this to configure and set up {\eclipse}
1293 EclipseEngineOptions} object as its only parameter. See Section
1386 constructors which has no password parameter. This should
1404 constructors with a password parameter. This either blocks