Class SlDesignVerifierHtmlFileReader

Namespace

MES.MQC.DataSourceLibrary.Adapters.Files

Assembly

MES.MQC.DataSourceLibrary.dll

public class SlDesignVerifierHtmlFileReader : FileReader

Inheritance

object

AdapterBase

FileReader

SlDesignVerifierHtmlFileReader

Inherited Members

FileReader.Priority

FileReader.HumanReadableFileCount

FileReader.HumanReadableFileExtensions

FileReader.HumanReadableStartFileNames

FileReader.ReportDateTimeExpected

FileReader.ReadWithHumanReadableFiles(FileReaderContext, AdapterReadResult, IEnumerable<string>)

FileReader.GetHumanReadableFilePath(FileReaderContext)

FileReader.GetHumanReadableFilePaths(FileReaderContext)

FileReader.Validate(FileReaderContext)

FileReader.Execute(FileReaderContext, bool)

AdapterBase.Options

AdapterBase.TransformStringToValue(string)

AdapterBase.TransformStringToDateTime(string)

AdapterBase.TransformStringToDateTime(AdapterContext, string)

AdapterBase.ThrowWarningForEmptyDataProperty(AdapterDataBase, AdapterContextBase, string, string)

AdapterBase.ReadFilePathsInZipFile(string)

object.ToString()

object.Equals(object)

object.Equals(object, object)

object.ReferenceEquals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

Properties

DataSource

The Data Source of the Adapter. If a report file contains data from multiple data sources, this property has to be to "Unknown" and the DataSource of each AdapterData object has to be defined.

public override string DataSource { get; }

Property Value

string

Description

Description of the Adapter that is visible in the Adapter Dialog as a popover. If the adapter is an API Connector, the description is also shown in the Add/Edit DataSource dialog, when the API Connector is selected. Absolute links get transformed into HTML Link Tags, line breaks (\n) get transformed into HTML line breaks (<br>), HTML tags are not allowed.

public override string Description { get; }

Property Value

string

FileExtensions

File Extensions of the Adapter. This property has to be defined and must have at least one file extension. The Adapter is only used for FilePaths with the defined file extensions. The IsValid method is not called unless the file extension matches.

public override List<string> FileExtensions { get; }

Property Value

List<string>

Name

Unique Name of the Adapter. Defaults to the ClassName (without Adapter / FileReader / ApiConnector suffix), can be overridden with a user defined Name.

public override string Name { get; }

Property Value

string

Methods

IsValid(FileReaderContext)

Check if title element is "Simulink Design Verifier Report"

protected override bool IsValid(FileReaderContext context)

Parameters

context FileReaderContext

Context of file

Returns

bool

true if file is a valid Simulink Design Verifier

Examples

Read(FileReaderContext)

Fetch the rows in first table after the 'p' element with title="Objectives Status" and read first td as variable name(fro measure name = 'Objectives') and second td as value.

protected override AdapterReadResult Read(FileReaderContext context)

Parameters

context FileReaderContext

Context of file

Returns

AdapterReadResult

All Data is stored in an AdapterData Model object

Examples

<p title="Objectives Status"><b>Objectives Status&nbsp;</b><a name="d0e51"></a></p> <div class="table"> <div class="table-contents"> <table summary = ""> <thead> <tr><th align = "left" > Number of Objectives:</th><th align = "left" > 5 </ th ></ tr > </thead > <tbody> <tr><td align="left">Objectives Proven Valid: </td><td align = "left" > 4 </ td ></ tr > <tr><td align="left">Objectives Falsified with Test Cases: </td><td align = "left" > 1 </td></tr> </tbody> </table > </div></div>