public static SourceLocation ToSourceLocation(IToken token) { string str = token.getText(); int num = (str != null) ? (str.Length - 1) : 0; return new SourceLocation(token.getLine(), token.getColumn() + num); }