public class Diagnostic
extends java.lang.Object
| Constructor and Description |
|---|
Diagnostic(int pos,
Range range,
java.lang.String lexeme,
java.lang.String code,
java.lang.String message,
java.lang.String snippet) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getCode() |
java.lang.String |
getLexeme() |
java.lang.String |
getMessage() |
int |
getPos() |
Range |
getRange() |
java.lang.String |
getSnippet() |
public Diagnostic(int pos,
Range range,
java.lang.String lexeme,
java.lang.String code,
java.lang.String message,
java.lang.String snippet)
public int getPos()
public Range getRange()
public java.lang.String getLexeme()
public java.lang.String getCode()
public java.lang.String getMessage()
public java.lang.String getSnippet()
Copyright © 2012-2025 Alibaba Group. All Rights Reserved.