Expressive and modular predicate dispatch for Java

Abstract

Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each method implementation includes a predicate guard specifying the conditions under which the method should be invoked, and logical implication of predicates determines the method overriding relation. Predicate dispatch naturally unifies and generalizes several common forms of dynamic dispatch, including traditional OO dispatch, multimethod dispatch, and functional-style pattern matching. Unfortunately, prior languages supporting predicate dispatch have had several deficiencies that limit the practical utility of this language feature.We describe JPred, a backward-compatible extension to Java supporting predicate dispatch. While prior languages with predicate dispatch have been extensions to toy or nonmainstream languages, we show how predicate dispatch can be naturally added to a traditional OO language. While prior languages with predicate dispatch have required the whole program to be available for typechecking and compilation, JPred retains Java's modular typechecking and compilation strategies. While prior languages with predicate dispatch have included special-purpose algorithms for reasoning about predicates, JPred employs general-purpose, off-the-shelf decision procedures. As a result, JPred's type system is more flexible, allowing several useful programming idioms that are spuriously rejected by those other languages. After describing the JPred language informally, we present an extension to Featherweight Java that formalizes the language and its modular type system, which we have proven sound. Finally, we discuss two case studies that illustrate the practical utility of JPred, including its use in the detection of several errors.

A variability-aware module system

“…Furthermore, a set of methods with the same name typically needs a default implementation, which is called if none of the other methods is applicable, which is less safe than the checks in our approach, which do not need default implementations but can detect statically when no applicable function exists. Also, modular type checking of these approaches is quite hard [38,39]. On the other hand, these approaches are much more powerful with regard to expressing dynamic variability, which is not in the scope of this work.…”

An In-Depth Look at ALIA4J.

“…Predicate dispatching is modeled using one Specialization per predicate. A JPred when clause [MFRW09] then corresponds to the Specialization's predicate.…”

Metadata invariants: Checking and inferring metadata coding conventions

“…The programming languages community has proposed extending Java to enable the programmer to express patternmatching [15]- [17]. These extensions describe how program constructs are declared and how they can be extracted based on the specified patterns.…”