Class PolyspaceDescriptor

java.lang.Object
edu.hm.hafner.analysis.registry.ParserDescriptor
edu.hm.hafner.analysis.registry.PolyspaceDescriptor

public class PolyspaceDescriptor extends ParserDescriptor
A descriptor for Polyspace tool.
Author:
Eva Habeeb
  • Method Details

    • createParser

      public IssueParser createParser(ParserDescriptor.Option... options)
      Description copied from class: ParserDescriptor
      Creates a new IssueParser instance.
      Specified by:
      createParser in class ParserDescriptor
      Parameters:
      options - options to configure the parser - may customize the new parser instance (if supported by the selected tool)
      Returns:
      the parser
    • getUrl

      public String getUrl()
      Description copied from class: ParserDescriptor
      Returns an optional URL to the homepage of the static analysis tool.
      Overrides:
      getUrl in class ParserDescriptor
      Returns:
      the help
    • getHelp

      public String getHelp()
      Description copied from class: ParserDescriptor
      Returns an optional help text that can provide useful hints on how to configure the static analysis tool so that the report files could be parsed by Jenkins. This help can be a plain text message or an HTML snippet.
      Overrides:
      getHelp in class ParserDescriptor
      Returns:
      the help