Data.SARIF.Run

Provides the Run type which represents a single run of a static analysis tool.

Documentation

data Run

Represents individual runs of static analysis tools.

Constructors

MkRun

Fields

• runTool :: Tool

  A description of the tool that was run.

• runArtifacts :: [Artifact]

  A list of the artifacts that were scanned by the tool.

• runResults :: [Result]

  The results produced by the tool as a result of scanning the artifacts.

Instances

FromJSON Run

Defined in Data.SARIF.Run

Methods

parseJSON :: Value -> Parser Run

parseJSONList :: Value -> Parser [Run]

ToJSON Run

Defined in Data.SARIF.Run

Methods

toJSON :: Run -> Value

toEncoding :: Run -> Encoding

toJSONList :: [Run] -> Value

toEncodingList :: [Run] -> Encoding

Show Run

Defined in Data.SARIF.Run

Methods

showsPrec :: Int -> Run -> ShowS

show :: Run -> String

showList :: [Run] -> ShowS

Eq Run

Defined in Data.SARIF.Run

Methods

(==) :: Run -> Run -> Bool

(/=) :: Run -> Run -> Bool