Producing unitary class definitions from module specifications

• US 7,962,888 B2
• Filed: 04/11/2007
• Issued: 06/14/2011
• Est. Priority Date: 04/11/2006
• Status: Expired due to Fees

• Current Assignee: Alan S. Rojer
• Original Assignee: Alan S. Rojer
• Inventors: Rojer, Alan S.
• Primary Examiner(s): Zhen; Wei Y
• Assistant Examiner(s): Nguyen; Phillip H
• Application Number:
  US11/786,313
• Publication Number:
  US 20070256051A1
• Time in Patent Office: 1,525 Days
• Field of Search: 717/108, 717/116
• US Class Current: 717/100
• CPC Class Codes: G06F 8/24 Object-oriented
• CPC Class Codes: G06F 8/315 Object-oriented languages

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.

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.