Modul edu.hm.hafner.analysis.model

Package edu.hm.hafner.analysis.parser

Klasse PolyspaceParser

java.lang.Object

edu.hm.hafner.analysis.IssueParser

edu.hm.hafner.analysis.parser.PolyspaceParser

Alle implementierten Schnittstellen:

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

Autor:

Eva Habeeb

Siehe auch:

• Serialisierte Form

Feldübersicht

Von Klasse geerbte Felder edu.hm.hafner.analysis.IssueParser

ADDITIONAL_PROPERTIES, CATEGORY, COLUMN_END, COLUMN_START, DESCRIPTION, FILE_NAME, FINGERPRINT, ID, LINE_END, LINE_RANGE_END, LINE_RANGE_START, LINE_RANGES, LINE_START, MESSAGE, MODULE_NAME, ORIGIN, PACKAGE_NAME, SEVERITY, TYPE

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
PolyspaceParser()

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
Report	parse(ReaderFactory reader)	Creates a new instance of PolyspaceParser.

Von Klasse geerbte Methoden edu.hm.hafner.analysis.IssueParser

accepts, equalsIgnoreCase, isXmlFile, parseFile

Von Klasse geerbte Methoden java.lang.Object

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

Konstruktordetails

PolyspaceParser

public PolyspaceParser()

Methodendetails

parse

public Report parse(ReaderFactory reader)
             throws ParsingException

Creates a new instance of PolyspaceParser.

Angegeben von:

parse in Klasse IssueParser

Parameter:

reader - provides a reader to the reports

Gibt zurück:

the issues

Löst aus:

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