Producing unitary class definitions from module specifications
First Claim
1. A computer-implemented method of processing a textual tag and a textual complement to provide type-safe assignment in an application-specific data structure, comprising the steps configured to execute by a processor:
- creating a predicator specialization,said predicator specialization specializing a generic predicator, andsaid predicator specialization having said textual tag and said textual complement;
applying to said predicator specialization, a specific target,said specific target included in said application-specific data structure, andsaid specific target an instance of a first object-oriented class;
creating a promissary reference, said promissary reference having said specific target, said textual tag, and said textual complement;
storing said promissary reference as a promissary reference base in a depository,said promissary reference base generalizing said promissary reference, andsaid promissary reference base having access to said textual complement;
creating a specific object,said specific object included in said application-specific data structure,said specific object an instance of a second object-oriented class, said second object-oriented class not necessarily distinct from said first object-oriented class, andsaid specific object associated with said textual complement;
storing said specific object, as a genetic object, said genetic object resolvable according to said textual complement;
retrieving said promissary reference base from said depository;
resolving said textual complement from said promissory reference base to said generic object;
dispatching a generic promissary dispatch to said genetic object, said promissary dispatch providing said promissary reference base, and said generic promissaryldispatch specializing to a specialized promissary dispatch to said specific object;
dispatching a generic promissary acceptor operation to said promissary reference base, said generic promissary acceptor operation providing said specific object, and said generic promissary acceptor operation specializing to a specific promissary acceptor operation to said promissary reference; and
accepting in said specific promissary acceptor operation, said type-safe assignment of said specific-object to said specific target of said promissary reference.
0 Assignments
0 Petitions
Accused Products
Abstract
A computer-implemented method of processing a module specification to produce predicator definitions is disclosed. The predicator definitions provide a facility for type-safe processing of generic elements (typically from markup processing or synthetic-language parsing) to specific elements suitable for accumulation as member data in an application-specific data structure. The method processes representations of modules, classes, and members. The predicators provided include a predicator base class definition, a plurality of predicator specializations, a promissary reference base class definition, and a plurality of promissary reference class definitions.
-
Citations
2 Claims
-
1. A computer-implemented method of processing a textual tag and a textual complement to provide type-safe assignment in an application-specific data structure, comprising the steps configured to execute by a processor:
-
creating a predicator specialization, said predicator specialization specializing a generic predicator, and said predicator specialization having said textual tag and said textual complement; applying to said predicator specialization, a specific target, said specific target included in said application-specific data structure, and said specific target an instance of a first object-oriented class; creating a promissary reference, said promissary reference having said specific target, said textual tag, and said textual complement; storing said promissary reference as a promissary reference base in a depository, said promissary reference base generalizing said promissary reference, and said promissary reference base having access to said textual complement; creating a specific object, said specific object included in said application-specific data structure, said specific object an instance of a second object-oriented class, said second object-oriented class not necessarily distinct from said first object-oriented class, and said specific object associated with said textual complement; storing said specific object, as a genetic object, said genetic object resolvable according to said textual complement; retrieving said promissary reference base from said depository; resolving said textual complement from said promissory reference base to said generic object; dispatching a generic promissary dispatch to said genetic object, said promissary dispatch providing said promissary reference base, and said generic promissaryldispatch specializing to a specialized promissary dispatch to said specific object; dispatching a generic promissary acceptor operation to said promissary reference base, said generic promissary acceptor operation providing said specific object, and said generic promissary acceptor operation specializing to a specific promissary acceptor operation to said promissary reference; and accepting in said specific promissary acceptor operation, said type-safe assignment of said specific-object to said specific target of said promissary reference.
-
-
2. A computer-implemented method of processing a module specification to produce predicator definitions said predicator definitions suitable for processing a textual tag and a textual complement to provide type-safe assignment in an application-specific data structure, comprising the steps configured to execute by a processor:
-
processing a module instance to produce a predicator base class definition, said module instance included in said module specification, said predicator base class definition included in said predicator definitions; processing a target categorical class instance to produce a generic predicator apply operation, said target categorical class instance included in said module specification, said target categorical class instance specifying a target categorical class definition, said generic predicator apply operation included in said predicator base class definition, and said generic predicator apply operation provided with a target argument supplying an instance of said target categorical class definition; processing said module instance to produce a promissary reference base class definition, said promissory reference, base class definition included in said predicator definitions; processing said object categorical class instance to produce a generic promissary accept operation, said generic promissary accept operation included in said promissary reference base class definition, said generic promissary accept operation provided with an object argument supplying an instance of said object categorical class definition; processing said member datum instance to produce a promissary reference class definition, said promissary reference class definition included in said predicator definitions, said promissary reference class definition specializing said promissary reference base class definition, said promissary reference class definition having a target datum supplying an instance of said target categorical class definition, said promissary reference class definition having a specialized accept operation, said specialized accept operation provided with an object argument corresponding to an instance of said object categorical definition, in which a type-safe assignment is performed, wherein an object instance of said object categorical class definition corresponding to said object argument is assigned to a member datum specified by said member datum instance, said member datum included in said target datum; and processing a member datum instance to produce a predicator specialization, said member datum instance included in said target categorical class instance, said member datum instance specified by an instance of an object categorical class definition, said object categorical class definition corresponding to an object categorical class instance included in said module specification, and said object categorical class instance not necessarily distinct from said target categorical class instance, said predicator specialization included in said predicator definitions, said predicator specialization specializing said predicator base class definition, and said predicator specialization having a specific predicator apply operation, said specific predicator apply operation a member function of said predicator specialization, and said specific predicator apply operation specializing said generic predicator apply operation; said specific predicator apply operation creating an instance of said promissary reference class definition, provided with said target argument, said textual tag, and said textual complement.
-
Specification