Formal Methods and Classes

A C D E F G H I L M N P R S T V W misc

(-class	Classes to Represent Unevaluated Language Objects
.BasicFunsList	List of Builtin and Special Functions
.doTracePrint	Classes Used Internally to Control Tracing
.InitTraceFunctions	Classes Used Internally to Control Tracing
.makeTracedFunction	Classes Used Internally to Control Tracing
.untracedFunction	Classes Used Internally to Control Tracing
<--class	Classes to Represent Unevaluated Language Objects

-- A --

allGenerics	Tools for Managing Generic Functions
ANY-class	Classes Corresponding to Basic Data Types
array-class	Classes Corresponding to Basic Structures
as	Force an Object to Belong to a Class

-- C --

call-class	Classes to Represent Unevaluated Language Objects
callGeneric	Tools for Managing Generic Functions
callNextMethod	Call an Inherited Method
character-class	Classes Corresponding to Basic Data Types
class	Class of an Object
Classes	Class Definitions
coerce	Force an Object to Belong to a Class
complex-class	Classes Corresponding to Basic Data Types

-- D --

double-class	Classes Corresponding to Basic Data Types
dumpMethod	Tools for Managing Generic Functions
dumpMethods	Tools for Managing Generic Functions

-- E --

environment-class	Class "environment"
existsFunction	Tools for Managing Generic Functions
expression-class	Classes Corresponding to Basic Data Types
extends	Is an Object from a Class

-- F --

findFunction	Tools for Managing Generic Functions
findMethod	Get the Definition of a Method
for-class	Classes to Represent Unevaluated Language Objects
function-class	Classes Corresponding to Basic Data Types
functionWithTrace-class	Classes Used Internally to Control Tracing

-- G --

GenericFunctions	Tools for Managing Generic Functions
getClass	Get Class Definition
getClassDef	Get Class Definition
getClasses	Create a Class Definition
getGenerics	Tools for Managing Generic Functions
getMethod	Get the Definition of a Method
getMethods	Get the Definition of a Method
getValidity	Test the Validity of an Object

-- H --

Look for an Argument in the Call

-- I --

if-class	Classes to Represent Unevaluated Language Objects
initialize	Generate an Object from a Class
integer-class	Classes Corresponding to Basic Data Types
is	Is an Object from a Class
isClass	Create a Class Definition
isGeneric	Tools for Managing Generic Functions
isGroup	Tools for Managing Generic Functions

-- L --

language-class	Classes to Represent Unevaluated Language Objects
LinearMethodsList-class	Class "LinearMethodsList" ~~~
list-class	Classes Corresponding to Basic Data Types
logical-class	Classes Corresponding to Basic Data Types

-- M --

matrix-class	Classes Corresponding to Basic Structures
MethodDefinition-class	Classes to Represent Method Definitions
MethodDefinitionWithTrace-class	Classes Used Internally to Control Tracing
Methods	General Information on Methods
MethodsList-class	Class MethodsList, Representation of Methods for a Generic Function
MethodsListSelect	Get the Definition of a Method
MethodWithNext-class	Class MethodWithNext, ~~class for ... ~~
MethodWithNextWithTrace-class	Classes Used Internally to Control Tracing
missing-class	Classes Corresponding to Basic Data Types

-- N --

name-class	Classes to Represent Unevaluated Language Objects
new	Generate an Object from a Class
NULL-class	Classes Corresponding to Basic Data Types
numeric-class	Classes Corresponding to Basic Data Types

-- P --

promptClass	Generate a Shell for Documentation of a Formal Class
promptMethods	Generate a Shell for Documentation of Formal Methods

-- R --

removeClass	Create a Class Definition
removeGeneric	Tools for Managing Generic Functions
removeMethod	Create and Save a Method
removeMethods	Tools for Managing Generic Functions
repeat-class	Classes to Represent Unevaluated Language Objects
representation	Describe A Class Representation
resetClass	Create a Class Definition

-- S --

selectMethod	Get the Definition of a Method
setAs	Force an Object to Belong to a Class
setClass	Create a Class Definition
setGeneric	Define a New Generic Function
setGroupGeneric	Define a New Generic Function
setIs	Is an Object from a Class
setMethod	Create and Save a Method
setReplaceMethod	Tools for Managing Generic Functions
setSClass	Low-level Class definition
setValidity	Test the Validity of an Object
show	Show an Object
showMethods	Show all the methods for the specified function(s)
signature	Tools for Managing Generic Functions
signature-class	Class "signature" For Method Definitions
single-class	Classes Corresponding to Basic Data Types
slot	The Slots in an Object from a Formal Class
slotNames	The Slots in an Object from a Formal Class
standardGeneric	Tools for Managing Generic Functions
structure-class	Classes Corresponding to Basic Structures

-- T --

traceable-class	Classes Used Internally to Control Tracing
ts-class	Classes Corresponding to Basic Structures

-- V --

validObject	Test the Validity of an Object
vector-class	Classes Corresponding to Basic Data Types
VIRTUAL-class	Classes Corresponding to Basic Data Types

-- W --

Classes to Represent Unevaluated Language Objects

-- misc --

__ClassMetaData	Class Definitions
{-class	Classes to Represent Unevaluated Language Objects