{"action":"created","issue":{"url":"https://api.github.com/repos/jflex-de/jflex/issues/202","repository_url":"https://api.github.com/repos/jflex-de/jflex","labels_url":"https://api.github.com/repos/jflex-de/jflex/issues/202/labels{/name}","comments_url":"https://api.github.com/repos/jflex-de/jflex/issues/202/comments","events_url":"https://api.github.com/repos/jflex-de/jflex/issues/202/events","html_url":"https://github.com/jflex-de/jflex/issues/202","id":170452604,"number":202,"title":"question on ignoring \\v (^K)","user":{"login":"tarzanek","id":504773,"avatar_url":"https://avatars.githubusercontent.com/u/504773?v=3","gravatar_id":"","url":"https://api.github.com/users/tarzanek","html_url":"https://github.com/tarzanek","followers_url":"https://api.github.com/users/tarzanek/followers","following_url":"https://api.github.com/users/tarzanek/following{/other_user}","gists_url":"https://api.github.com/users/tarzanek/gists{/gist_id}","starred_url":"https://api.github.com/users/tarzanek/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tarzanek/subscriptions","organizations_url":"https://api.github.com/users/tarzanek/orgs","repos_url":"https://api.github.com/users/tarzanek/repos","events_url":"https://api.github.com/users/tarzanek/events{/privacy}","received_events_url":"https://api.github.com/users/tarzanek/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":4,"created_at":"2016-08-10T15:53:36Z","updated_at":"2016-08-12T08:16:47Z","closed_at":null,"body":"Hi\r\nI have a text file containing ^K  (char 11 , vertical tab)\r\nand I'd like to capture this character\r\nI tried defining\r\n\\v\r\n[\\v]\r\nbut nothing helps, parser always dies on this character no matter how I try to define it\r\n\r\nany guidance?\r\nFwiw - source:\r\nhttps://github.com/OpenGrok/OpenGrok/blob/master/src/org/opensolaris/opengrok/analysis/erlang/ErlangXref.lex\r\n\r\nI tried adding \\v to whitespace definition and even just as alone char , but no luck :(\r\n\r\nthe text causing above to fail:\r\n'''\r\nr() ->\r\n<<\"a\u000Bb\">> = iolist_to_binary()\r\n'''\r\n- the char between a and b is ^K"},"comment":{"url":"https://api.github.com/repos/jflex-de/jflex/issues/comments/239387993","html_url":"https://github.com/jflex-de/jflex/issues/202#issuecomment-239387993","issue_url":"https://api.github.com/repos/jflex-de/jflex/issues/202","id":239387993,"user":{"login":"tarzanek","id":504773,"avatar_url":"https://avatars.githubusercontent.com/u/504773?v=3","gravatar_id":"","url":"https://api.github.com/users/tarzanek","html_url":"https://github.com/tarzanek","followers_url":"https://api.github.com/users/tarzanek/followers","following_url":"https://api.github.com/users/tarzanek/following{/other_user}","gists_url":"https://api.github.com/users/tarzanek/gists{/gist_id}","starred_url":"https://api.github.com/users/tarzanek/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tarzanek/subscriptions","organizations_url":"https://api.github.com/users/tarzanek/orgs","repos_url":"https://api.github.com/users/tarzanek/repos","events_url":"https://api.github.com/users/tarzanek/events{/privacy}","received_events_url":"https://api.github.com/users/tarzanek/received_events","type":"User","site_admin":false},"created_at":"2016-08-12T08:16:47Z","updated_at":"2016-08-12T08:16:47Z","body":"lovely , works, thanks for the pointer I am completely blind, didn't see that the list of escape sequences doesn't contain \\v"}}
{"actor":{"display_login":"tarzanek"}}