Interface A.BNInterface_nodoc

Enclosing class:
A

@Pure
public static interface A.BNInterface_nodoc

JML Specifications
Annotations: @Pure
    invariant false;