Class CheckverGoal

    • Constructor Detail

      • CheckverGoal

        public CheckverGoal()

        Constructor for CheckverGoal.

    • Method Detail

      • addToBugsWhitelist

        public void addToBugsWhitelist​(String _bugs)
        Used to specify the bugs for which the analysis will be done.
        Parameters:
        _bugs - a String object.
      • executeTasks

        protected void executeTasks()
                             throws Exception
        MUST be overridden in subclasses to implement the goal-specific tasks.
        Specified by:
        executeTasks in class AbstractGoal
        Throws:
        Exception - if any.