Methods and apparatus for declarative programming techniques in an object oriented environment

A method for customizing functionality of objects in an object oriented environment, said method comprising the steps of:

• storing a plurality of objects, each object comprising at least one method and an interface, said interface comprising a redirector;
• storing a pinch-point operation;
• receiving one or more declarative statements to augment the functionality of said method of said object;
• receiving a call, via said interface, to execute said method;
• redirecting, said call from said method to said pinch-point operation;
• determining, from said pinch-point operation, whether said method on said object includes one or more declarative statements associated with said method;
• and
• executing said one or more declarative statements if said declarative statements are associated with said method.

A method for customizing functionality of objects in an object oriented environment, said method comprising the steps of:

• storing a repository of compiled objects, wherein a compiled object comprises at least one method and said compiled objects being defined by one or more object type systems;
• providing to a user a means to specify one or more declarative statements;
• dynamically associating said one or more declarative statements to at least one method of an object, wherein said dynamic association links said one or more declarative statements to said method on said compiled object without re-compiling said object so as to re-direct calls from said method to said declarative statements;
• and
• executing said one or more declarative statements when said method on said object is called.

A method for integrating declarative, compiled and scripting approaches for developing application programs in an object oriented environment, the method comprising the steps of:

• implementing an abstract specification for an extended definition type system that comprises members to enforce rules through the type system;
• receiving declarative rules to implement functionality for application program development by adding one or more declarative rules to at least one method;
• dynamically associating said declarative rules to at least one method of an object, wherein said dynamic association links said one or more declarative statements to said method on said compiled object without re-compiling said object so as to re-direct calls from said method to said declarative statements;
• enforcing the declarative rules as rules in the type system;
• receiving complied code developed from an object-oriented language and compiled to include the extended definitions for the type system, wherein the code comprises a plurality of types;
• providing access to the types of the compiled code for application development;
• receiving scripts developed from a four generation language (4GL) to specify functionality for application program development;
• and
• enforcing the scripts as rules in the type system.

A computer readable medium comprising a plurality of instructions, which when executed by a computer, causes the computer to perform the steps of:

• receiving an identification of at least one compiled object, wherein said compiled object comprises at least one method;
• receiving one or more declarative statement to augment the functionality of said method of said compiled object, wherein a declarative statement comprises a constraint or requirement generally associated with said method of said compiled object;
• generating a dynamic association between said one or more declarative statements and said method identified on said compiled object, wherein said dynamic association links said declarative statements to said method on said compiled object without re-compiling said object;
• and
• executing said declarative statements such that when said method on said object is called, said one or more declarative statements, associated with said method, are executed in addition to said method.