Translation from BON to Java

[atiti]

"deferred class interfaced" in BON becomes (when choosing 'Generate skeleton code'):
"public /@ nullable_by_default @/ abstract class "

I believe it should become:
"public /@ nullable_by_default @/ interface "

[atiti]

From: fintan (GH: fintanf) Date: Mon Mar 14 00:15:50 2011

The keyword interfaced in BON means that the class is "interfaced with the outside world: some class operation encapsulates external communication (function calls, data, etc.)" (source: the BON book).

The decision for determining whether a bon class becomes becomes a class, abstract class, or interface in Java is made according to the deferred keyword on the class and the features contained within.

[atiti]

From: kiniry (GH: kiniry) Date: Mon Mar 14 09:33:41 2011

My apologies, Ólavur, about mis-remembering the refinement semantics of BON's interfaced keyword.

See Section 3.1 of [http://kindsoftware.com/documents/reports/Darulova09.pdf Eva's report] for details on the refinement.

In particular, to specify a Java interface, you need to state that the BON class is deferred and all features must have public visibility and deferred.