Class boundsResult

Abstract class created as a model for every result of analyser

Hierarchy (view full)

analyserResult
- boundsResult

Index

Constructors

Properties

arrayName initializedFlag lengths line message name scopeName unsafeAccessFlag

Methods

getMessage getName getNode performFix

Constructors

constructor

new boundsResult(name, node, message, scopeName, initializedFlag, unsafeAccessFlag, lengths, 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: undefined | number = 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