Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.SARIF.Result

Description

Provides the Result type which represents results of a static analysis tool.

Synopsis

Documentation

A Level value represents the severity of a result.

Constructors

None	The concept of “severity” does not apply.
Note	A minor problem or an opportunity to improve the code was found.
Warning	A problem was found.
Error	A serious problem was found.

Instances details

FromJSON Level Source #
Instance details Defined in Data.SARIF.Level Methods parseJSON :: Value -> Parser Level # parseJSONList :: Value -> Parser [Level] #
ToJSON Level Source #
Instance details Defined in Data.SARIF.Level Methods toJSON :: Level -> Value # toEncoding :: Level -> Encoding # toJSONList :: [Level] -> Value # toEncodingList :: [Level] -> Encoding #
Show Level Source #
Instance details Defined in Data.SARIF.Level Methods showsPrec :: Int -> Level -> ShowS # show :: Level -> String # showList :: [Level] -> ShowS #
Eq Level Source #
Instance details Defined in Data.SARIF.Level Methods (==) :: Level -> Level -> Bool # (/=) :: Level -> Level -> Bool #

Represents the results of a run of a static analysis tool.

Constructors

Fields

resultRuleId :: Text
The unique ID of the rule of which this result is an occurrence of.
resultMessage :: MultiformatMessageString
A result-specific message which may refer to specific variable names etc. which caused the rule to trigger.
resultLocations :: [Location]
A list of locations which caused the rule to trigger.
resultLevel :: Maybe Level
An optional override for the default Level of the rule.

Instances details

FromJSON Result Source #
Instance details Defined in Data.SARIF.Result Methods parseJSON :: Value -> Parser Result # parseJSONList :: Value -> Parser [Result] #
ToJSON Result Source #
Instance details Defined in Data.SARIF.Result Methods toJSON :: Result -> Value # toEncoding :: Result -> Encoding # toJSONList :: [Result] -> Value # toEncodingList :: [Result] -> Encoding #
Show Result Source #
Instance details Defined in Data.SARIF.Result Methods showsPrec :: Int -> Result -> ShowS # show :: Result -> String # showList :: [Result] -> ShowS #
Eq Result Source #
Instance details Defined in Data.SARIF.Result Methods (==) :: Result -> Result -> Bool # (/=) :: Result -> Result -> Bool #