Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Ind
 [Top of Book]  [Contents]   [Previous Chapter]   [Next Chapter] 

11 The Category Constructor
 11.1 Info class
 11.2 Constructors

11 The Category Constructor

11.1 Info class

11.1-1 InfoCategoryConstructor
‣ InfoCategoryConstructor( info class )

Info class controlling the debugging output of CategoryConstructor (11.2-1).

11.2 Constructors

11.2-1 CategoryConstructor
‣ CategoryConstructor( options )( operation )

Returns: a CAP category

Creates a CAP category subject to the options given via options, which is a record with the following keys:

The values of the keys create_func_* should be either the string "default" or functions which accept the category and the name of a CAP operation of the corresponding return_type. Values for return types occuring for operations in list_of_operations_to_install are mandatory. The functions must return strings, which (after some replacements described below) will be evaluated and added as an installation of the corresponding operation to the category. The value "default" chooses a suitable default string, see the implementation for details. The following placeholders may be used in the strings and are replaced automatically:

 [Top of Book]  [Contents]   [Previous Chapter]   [Next Chapter] 
Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Ind

generated by GAPDoc2HTML