buf.append(" [line ");
buf.append(" [at line ");
	public String getMessage() {		if(astNode == null)			return super.getMessage();		else {			StringBuffer buf = new StringBuffer();			buf.append(super.getMessage());			buf.append(" [line ");			buf.append(astNode.getLine());			buf.append(", column ");			buf.append(astNode.getColumn());			buf.append("]");			return buf.toString();		}	}