US 6,687,759 B1 · Method and apparatus for performing method lookup in the presence of modularity constructs to support transitive method override

Abstract

A method lookup mechanism is disclosed which not only enforces accessibility constraints imposed by modularity constructs but also enables transitive method override. According to one embodiment, when a method m is invoked on a target object, the method m in a resolved class is checked to determine whether it has been declared as public/protected. If so, then standard method lookup may be used to determine the proper implementation of method m to invoke. However, if the resolved method is not declared as public/protected, then the class of the target object is searched for an implementation of the method m. If no implementation is found, then a superclass of the target object class is searched for an implementation. This process repeats until an implementation is found or until the resolved class is reached. If an implementation for method m is found in a class (referred to as the current class) other than the resolved class, then a determination is made as to whether the current class can access the method m in the resolved class. The current class can access method m of the resolved class if the current class is in the same package P as the resolved class, or if an intervening class has “publicized” the method m of the resolved class. If either one of these conditions is met, then the implementation for method m in the current class is invoked. In effect, the method m of the current class is allowed to override the method m of the resolved class. Performing method lookup in this manner makes it possible to both enforce accessibility constraints imposed by modularity constructs and enable transitive method override.

Claims30

Dependent claims

A computer implemented method for performing dynamic method dispatch, comprising:

detecting an invocation of a method m on a target object, said invocation having associated therewith a resolved method and a resolved class, wherein said resolved method is private to a particular modularity construct;
finding a potential implementation for said method m, said potential implementation being associated with a class X;
determining whether an intervening class has publicized said resolved method;
and
in response to a determination that an intervening class has publicized said resolved method, invoking said potential implementation, thereby overriding said resolved method.

2 more elements

A computer readable medium having stored thereon instructions which, when executed by one or more processors, cause the one or more processors to perform dynamic method dispatch, said computer readable medium comprising:

instructions for causing one or more processors to detect an invocation of a method m on a target object, said invocation having associated therewith a resolved method and a resolved class, wherein said resolved method is private to a particular modularity construct;
instructions for causing one or more processors to find a potential implementation for said method m, said potential implementation being associated with a class X;
instructions for causing one or more processors to determine whether an intervening class has publicized said resolved method;
and
instructions for causing one or more processors to invoke, in response to a determination that an intervening class has publicized said resolved method, said potential implementation, thereby overriding said resolved method.

2 more elements

Dependencies are inferred from the claim text.

Method and apparatus for performing method lookup in the presence of modularity constructs to support transitive method override

Life of this patent

Method and apparatus for performing method lookup in the presence of modularity constructs to support transitive method override

Life of this patent

Abstract

Claims30