Perhaps it is a bad design, but I arrange my concepts such that there is an interface concept IDeclarations that contains definitions of fields and methods, much like a Java class. I make it extend ScopeProvider to provide scope for its members.
interface concept IDeclarations extends ScopeProvider
Then there is a concrete concept which implements this concept but is itself a ScopeProvider:
concept InstanceDef extends BaseConcept
Now how could I call the "default" behavior implementation of getScope() of IDeclarations in the body of the getScope() for InstanceDef? I tried this:IDeclarations.getScope() but it resulted in StackOverflowError. The Java 8 way of IDeclarations.super.getScope() also does not work since IDeclarations is not an interface.
Thanks in advance.