Header menu logo TestPrune

AnalysisError Type

Union cases

Union case Description

CheckerAborted file

Full Usage: CheckerAborted file

Parameters:
    file : string

file : string

DatabaseError(operation, exn)

Full Usage: DatabaseError(operation, exn)

Parameters:
    operation : string
    Item2 : exn

operation : string
Item2 : exn

DiffProviderFailed reason

Full Usage: DiffProviderFailed reason

Parameters:
    reason : string

reason : string

ParseFailed(file, errors)

Full Usage: ParseFailed(file, errors)

Parameters:
    file : string
    errors : string list

file : string
errors : string list

ProjectBuildFailed(project, exitCode)

Full Usage: ProjectBuildFailed(project, exitCode)

Parameters:
    project : string
    exitCode : int

project : string
exitCode : int

Instance members

Instance member Description

this.IsCheckerAborted

Full Usage: this.IsCheckerAborted

Returns: bool
Returns: bool

this.IsDatabaseError

Full Usage: this.IsDatabaseError

Returns: bool
Returns: bool

this.IsDiffProviderFailed

Full Usage: this.IsDiffProviderFailed

Returns: bool
Returns: bool

this.IsParseFailed

Full Usage: this.IsParseFailed

Returns: bool
Returns: bool

this.IsProjectBuildFailed

Full Usage: this.IsProjectBuildFailed

Returns: bool
Returns: bool

Type something to start searching.