LinterNotify¶

[Source]

interface tag LinterNotify

Public Behaviours¶

lint_completed¶

[Source]

be lint_completed(
  linter: Linter tag,
  task_id: USize val,
  tree: Node val,
  issues: ReadSeq[Issue val] val,
  errors: ReadSeq[(Node val , String val)] val)

Parameters¶

linter: Linter tag
task_id: USize val
tree: Node val
issues: ReadSeq[Issue val] val
errors: ReadSeq[(Node val , String val)] val

fix_completed¶

[Source]

be fix_completed(
  linter: Linter tag,
  task_id: USize val,
  tree: Node val,
  issues: ReadSeq[Issue val] val,
  errors: ReadSeq[(Node val , String val)] val)

Parameters¶

linter: Linter tag
task_id: USize val
tree: Node val
issues: ReadSeq[Issue val] val
errors: ReadSeq[(Node val , String val)] val

linter_failed¶

[Source]

be linter_failed(
  task_id: USize val,
  message: String val)

Parameters¶

task_id: USize val
message: String val