Producing unitary class definitions from module specifications
First Claim
1. A computer-implemented method of processing a module specification to produce predicator definitions, comprising the steps of:
- viewing a module, said module included in said module specification,providing a predicator base class definition, said predicator base class definition included in said predicator definitions, and said predicator base class definition including a plurality of generic predicator apply operations,providing a promissary reference base class definition, said promissary reference base class definition included in said predicate definitions, said promissary reference base class definition including a resolve operation, and said promissary reference base class definition including a plurality of generic promissary acceptor operations,dispatching a plurality of categorical classes, said categorical classes included in said module;
viewing a categorical class, said categorical class included in said categorical classes,accumulating a generic predicator apply operation corresponding to said categorical class to said generic predicator apply operations,accumulating a generic promissary acceptor operation corresponding to said categorical class to said generic promissary acceptor operations,providing a promissary dispatch in a categorical class definition corresponding to said categorical class, said dispatch in turn dispatching to said generic promissary acceptor operation,dispatching a plurality of class members, said class members included in said categorical class; and
viewing a datum, said datum included in said class members,dispatching a view to a datum type, said datum type associated with said datum,receiving a value type,providing a value predicator specialization corresponding to said value type for said datum, said value predicator specialization deriving from said predicator base class definition, and said value predicator specialization including a value specific predicator apply operation, corresponding to said generic predicator apply operation, andaccumulating said value predicator specialization to a plurality of predicator specializations, said predicator specializations included in said predicator definitions,receiving a reference type,testing for a meron qualification, said meron qualification included in said datum,
according to the success of said test for said meron qualification,
providing an instantiating predicator specialization, corresponding to said reference type for said datum, said instantiating predicator specialization deriving from said predicator base class definition, and said instantiating predicator specialization including an instantiating specific predicator apply operation, corresponding to said generic predicator apply operation, and
and accumulating said instantiating predicator specialization to said predicator specializations,
according to the failure of said test for said meron qualification,
providing a promissary predicator specialization, corresponding to said reference type for said datum, said promissary predicator specialization deriving from said predicator base class definition, said promissary predicator specialization including a promissary specific predicator apply operation, corresponding to said generic predicator apply operation,
accumulating said promissary predicator specialization to said predicator specializations,
writing a promissary reference definition, said promissary reference definition deriving from said promissary reference base class definition, said promissary reference definition including a specific promissary acceptor operation, and said specific promissary acceptor operation corresponding to said generic promissary acceptor operation, and
accumulating said promissary reference definition to a plurality of promissary reference definitions, said promissary reference definitions included in said predicator definitions.
0 Assignments
0 Petitions
Accused Products
Abstract
A computer-implemented method of processing a module specification to produce elements of a module definition is disclosed. A module consists of a collection of interrelated classes for object-oriented programming. A module specification is an object-oriented data structure, the elements of which correspond to classes of a meta-module. A module definition is a collection of class definitions and other expressions in an object-oriented programming language. The module specification includes unitary and categorical class specifications. The class specifications include member specifications. The module definition may include definitions for a unitary host class, a unitary viewer class, a unitary editor class, a unitary factory class, a unitary reflector class, a unitary auditor class, acceptor class definitions, predicator class definitions, and categorical class definitions corresponding to the categorical class specifications.
57 Citations
1 Claim
-
1. A computer-implemented method of processing a module specification to produce predicator definitions, comprising the steps of:
-
viewing a module, said module included in said module specification, providing a predicator base class definition, said predicator base class definition included in said predicator definitions, and said predicator base class definition including a plurality of generic predicator apply operations, providing a promissary reference base class definition, said promissary reference base class definition included in said predicate definitions, said promissary reference base class definition including a resolve operation, and said promissary reference base class definition including a plurality of generic promissary acceptor operations, dispatching a plurality of categorical classes, said categorical classes included in said module; viewing a categorical class, said categorical class included in said categorical classes, accumulating a generic predicator apply operation corresponding to said categorical class to said generic predicator apply operations, accumulating a generic promissary acceptor operation corresponding to said categorical class to said generic promissary acceptor operations, providing a promissary dispatch in a categorical class definition corresponding to said categorical class, said dispatch in turn dispatching to said generic promissary acceptor operation, dispatching a plurality of class members, said class members included in said categorical class; and viewing a datum, said datum included in said class members, dispatching a view to a datum type, said datum type associated with said datum, receiving a value type, providing a value predicator specialization corresponding to said value type for said datum, said value predicator specialization deriving from said predicator base class definition, and said value predicator specialization including a value specific predicator apply operation, corresponding to said generic predicator apply operation, and accumulating said value predicator specialization to a plurality of predicator specializations, said predicator specializations included in said predicator definitions, receiving a reference type, testing for a meron qualification, said meron qualification included in said datum,
according to the success of said test for said meron qualification,
providing an instantiating predicator specialization, corresponding to said reference type for said datum, said instantiating predicator specialization deriving from said predicator base class definition, and said instantiating predicator specialization including an instantiating specific predicator apply operation, corresponding to said generic predicator apply operation, and
and accumulating said instantiating predicator specialization to said predicator specializations,
according to the failure of said test for said meron qualification,
providing a promissary predicator specialization, corresponding to said reference type for said datum, said promissary predicator specialization deriving from said predicator base class definition, said promissary predicator specialization including a promissary specific predicator apply operation, corresponding to said generic predicator apply operation,
accumulating said promissary predicator specialization to said predicator specializations,
writing a promissary reference definition, said promissary reference definition deriving from said promissary reference base class definition, said promissary reference definition including a specific promissary acceptor operation, and said specific promissary acceptor operation corresponding to said generic promissary acceptor operation, and
accumulating said promissary reference definition to a plurality of promissary reference definitions, said promissary reference definitions included in said predicator definitions.
-
Specification