public class PositionInfo extends Object
Modifier and Type | Field and Description |
---|---|
File |
file |
String |
line |
int |
line_no |
int |
line_pos |
String |
pragma_prefix |
InputStream |
stream |
Constructor and Description |
---|
PositionInfo(int _line_no,
int _char_pos,
String prefix,
String _line,
File file) |
public String line
public int line_no
public int line_pos
public String pragma_prefix
public File file
public InputStream stream
Copyright © 2017 JacORB. All rights reserved.