Class AEnum

java.lang.Object
  extended by AEnum

public class AEnum
extends java.lang.Object

Documentation of class A


Nested Class Summary
Modifier and Type Class and Description
static interface AEnum.Annot
           
@Pure static class AEnum.B
          DOcumentation for class B.
static class AEnum.consts
           
 
JML Nested Model Class Summary
Modifier and Type Class and Description
@Model static interface AEnum.MAnnot
          Model annotation
@Model static class AEnum.MB
          Documentation for a model nested class but not BNInterface.
@Model protected static class AEnum.mconsts
          Model enum
 
Constructor Summary
Constructor and Description
AEnum()
           
 
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

public AEnum()