Interface Plugin

    • Method Detail

      • setProperties

        void setProperties​(java.util.Map<java.lang.String,​java.lang.String> map)
                    throws java.lang.Exception
        Give the plugin the remaining properties. When a plugin is declared, the clause can contain extra properties. All the properties and directives are given to the plugin to use.
        Parameters:
        map - attributes and directives for this plugin's clause
        Throws:
        java.lang.Exception
      • setReporter

        void setReporter​(Reporter processor)
        Set the current reporter. This is called at init time. This plugin should report all errors and warnings to this reporter.
        Parameters:
        processor -