/** Return the current (zero-based) column number. */
public int getColumnNumber() {
return port.getColumnNumber();
}
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);
}