class EnumDef extends AttributeTypeDef {

    public AttributeTypeDef cloneFromSubclass()
    {
        return new EnumDef(this);
    }

    public  EnumDef();
    public  EnumDef(EnumDef   template);

}