public class Commandline.Marker
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private int |
position |
private int |
realPos |
Constructor and Description |
---|
Marker(int position) |
Modifier and Type | Method and Description |
---|---|
int |
getPosition()
Return the number of arguments that preceded this marker.
|