Class TypeMayHaveBeenDeletedException

    • Constructor Detail

      • TypeMayHaveBeenDeletedException

        public TypeMayHaveBeenDeletedException​(String msg,
                                               AbstractTypeRef reference)
    • Method Detail

      • deleteTheType

        public void deleteTheType()