ANTAREX API

Clava API

LARA API

LARA Common Language API

(.js)
laraImport("lara.analysis.CheckResult");

(.lara)
import lara.analysis.CheckResult;

CheckResult

Constructor

CheckResult

new CheckResult(name, node, message, fix)

Parameters

name: any
node: any
message: any
fix: any

Instance Members

getMessage

getMessage()

performFix

performFix()