Message compiler for object-oriented language that statically produces object code by provisionally identifying a set of candidate types

摘要

A 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.