NASA-AMMOS / aerie

A software framework for modeling spacecraft.
https://nasa-ammos.github.io/aerie-docs/
MIT License
73 stars 19 forks source link

Generate JVM default methods for procedural interfaces #1569

Closed JoelCourtney closed 1 month ago

JoelCourtney commented 1 month ago

Description

For some reason Kotlin doesn't automatically generate JVM interface default methods by default, and you have to enable it with a compiler flag. In a few interfaces, I've provided a couple default overload specializations of a method (i.e. plan.directives() and directives(type) delegate to directives(type, deserializer)). If you implement the interface in Kotlin, you don't have to override the overloads. But in Java you do, unless we have this flag.

Verification

I tested this by converting the NotImplementedPlan test stub from Kotlin to Java.