public class Position
extends java.lang.Object
Constructor and Description |
---|
Position(java.lang.String source,
int line,
int charInLine,
int startOffset,
int length) |
Modifier and Type | Method and Description |
---|---|
int |
getCharInLine() |
int |
getLength() |
int |
getLine() |
java.lang.String |
getSource() |
int |
getStartOffset() |
static Position |
make(org.antlr.v4.runtime.ParserRuleContext ctx) |
static Position |
make(org.antlr.v4.runtime.Token ctx) |
public Position(java.lang.String source, int line, int charInLine, int startOffset, int length)
public static Position make(org.antlr.v4.runtime.ParserRuleContext ctx)
public static Position make(org.antlr.v4.runtime.Token ctx)
public java.lang.String getSource()
public int getLine()
public int getCharInLine()
public int getStartOffset()
public int getLength()
Copyright © 2003-2019 The KeY-Project.