/** Get the current line number. The "first" line is number number 0. */
public int getLineNumber() {
return port.getLineNumber();
}
public void error(char severity, String message) {
int line = port.getLineNumber();
int column = port.getColumnNumber();
error(severity, port.getName(), line + 1, column >= 0 ? column + 1 : 0, message);
}