Class AEnum.B

java.lang.Object
  extended by AEnum.B
Enclosing class:
AEnum

@Pure
public static class AEnum.B
extends java.lang.Object

DOcumentation for class B.

JML Specifications
Annotations: @Pure

 


Constructor Summary
Constructor and Description
AEnum.B()
           
 
Method Summary
Modifier and Type Method and Description
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AEnum.B

public AEnum.B()