Class BoundsResult

Abstract class created as a model for every result of analyser

Hierarchy (View Summary)

AnalyserResult
- BoundsResult

Index

Constructors

Properties

arrayName initializedFlag lengths line message name scopeName unsafeAccessFlag

Methods

getMessage getName getNode performFix

Constructors

constructor

new BoundsResult(
    name: string,
    node: Vardecl,
    message: string,
    scopeName: string,
    initializedFlag: boolean,
    unsafeAccessFlag: boolean,
    lengths: number[],
    fix?: Fix,
): BoundsResult
Parameters
- name: string
- node: Vardecl
- message: string
- scopeName: string
- initializedFlag: boolean
- unsafeAccessFlag: boolean
- lengths: number[]
- Optionalfix: Fix
Returns BoundsResult
Overrides AnalyserResult.constructor
- Defined in clava/Clava-JS/src-api/clava/analysis/analysers/BoundsResult.ts:13

Properties

arrayName

arrayName: string

initializedFlag

initializedFlag: boolean

lengths

lengths: number[]

line

line: number | undefined = undefined

message

message: string

name

name: string

scopeName

scopeName: string

unsafeAccessFlag

unsafeAccessFlag: boolean

Methods

getMessage

getMessage(): string
Returns string
Inherited from AnalyserResult.getMessage
- Defined in clava/Clava-JS/src-api/clava/analysis/AnalyserResult.ts:29

getName

getName(): string
Returns string
Inherited from AnalyserResult.getName
- Defined in clava/Clava-JS/src-api/clava/analysis/AnalyserResult.ts:21

getNode

getNode(): Joinpoint
Returns Joinpoint
Inherited from AnalyserResult.getNode
- Defined in clava/Clava-JS/src-api/clava/analysis/AnalyserResult.ts:25

performFix

performFix(): void
Returns void
Inherited from AnalyserResult.performFix
- Defined in clava/Clava-JS/src-api/clava/analysis/AnalyserResult.ts:33