Message compiler for object-oriented language that statically produces object code by provisionally identifying a set of candidate types
Patent 5579518 Issued on November 26, 1996. Estimated Expiration Date: 
May 31, 2015. Estimated Expiration Date is calculated based on simple USPTO term provisions. It does not account for terminal disclaimers, term adjustments, failure to pay maintenance fees, or other factors which might affect the term of a patent.
May 31, 2015. Estimated Expiration Date is calculated based on simple USPTO term provisions. It does not account for terminal disclaimers, term adjustments, failure to pay maintenance fees, or other factors which might affect the term of a patent.Patent ReferencesMethod and apparatus for generating program code files System and method for database management supporting object-oriented programming System of object oriented inheritance using the temporal status of superclasses Dynamic query optimization using partial information Object oriented method management system and software for managing class method names in a computer system Patent #: 5361350 InventorAssigneeApplicationNo. 455255 filed on 05/31/1995US Classes:717/131, Including analysis of program execution719/315, Object oriented message719/332Object oriented dynamic linking, late bindingExaminersPrimary: Treat, William M.Assistant: Maung, Zarni Attorney, Agent or FirmForeign Patent References
International ClassG06F 015/00Foreign Application Priority Data1993-03-19 JPAbstractA data processing system including a message compiler for an object-oriented language with which object types are determined during execution of a programming code. The compiler compiles source code into object code. The compiler includes a provisional type identifying device for provisionally identifying a set of candidate types for an object to which a message is to be transmitted, based on a parsed result of the source code. A static method-searching device statically searches a method corresponding to the candidate type provisionally identified by the provisional type identifying device when the set of candidate types includes at least one candidate type. A type-checking code producing device produces object code to perform a type-check with the set of candidate types provisionally identified, if the set of candidate types includes more than one candidate type. A static call producing device produces, based on the method statically searched by the static method-searching device, object code for a statically bound call. The static call producing device also produces object code for a statically bound call if a candidate type of the set of candidate types is type-checked to be of a correct type. A dynamic call producing device produces object code for a dynamically bound call, if the provisional type identifying device identifies an empty set of the candidate types and produces object code if the candidate type is type-checked to be of an incorrect type.Other References
| |
