Package edu.hm.hafner.analysis.parser

Class PolyspaceParser

java.lang.Object

edu.hm.hafner.analysis.IssueParser

edu.hm.hafner.analysis.parser.PolyspaceParser

All Implemented Interfaces:

Serializable

public class PolyspaceParser
extends IssueParser

A parser for Polyspace Bug Finder and Code Prover results. Used for .csv files generated from Bugfinder and CodeProver tools

Author:

Eva Habeeb

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
PolyspaceParser()

Method Summary

Modifier and Type	Method	Description
Report	parse(ReaderFactory reader)	Creates a new instance of PolyspaceParser.

Methods inherited from class edu.hm.hafner.analysis.IssueParser

accepts, equalsIgnoreCase, isXmlFile, parseFile

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

PolyspaceParser

public PolyspaceParser()

Method Details

parse

public Report parse(ReaderFactory reader)
             throws ParsingException

Creates a new instance of PolyspaceParser.

Specified by:

parse in class IssueParser

Parameters:

reader - provides a reader to the reports

Returns:

the issues

Throws:

ParsingException - Signals that during parsing a non recoverable error has been occurred