public class SourcePosition
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
int |
column |
int |
line |
int |
offset |
SourceFile |
source |
Constructor and Description |
---|
SourcePosition(SourceFile source,
int offset,
int line,
int column) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString() |
public final SourceFile source
public final int offset
public final int line
public final int column
public SourcePosition(SourceFile source, int offset, int line, int column)
Copyright © 2009-2018 Google. All Rights Reserved.