Class ErrorVisitor.UserError

    • Constructor Detail

      • UserError

        public UserError​(String m)