Formal Methods and Classes


[Package List] [Top]

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 --

hasArg 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 --

while-class Classes to Represent Unevaluated Language Objects

-- misc --

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