{"action":"opened","issue":{"url":"https://api.github.com/repos/CoCoViLa/CoCoViLa/issues/35","labels_url":"https://api.github.com/repos/CoCoViLa/CoCoViLa/issues/35/labels{/name}","comments_url":"https://api.github.com/repos/CoCoViLa/CoCoViLa/issues/35/comments","events_url":"https://api.github.com/repos/CoCoViLa/CoCoViLa/issues/35/events","html_url":"https://github.com/CoCoViLa/CoCoViLa/issues/35","id":57690718,"number":35,"title":"Alias element access: NPE","user":{"login":"MastaP","id":185344,"avatar_url":"https://avatars.githubusercontent.com/u/185344?v=3","gravatar_id":"","url":"https://api.github.com/users/MastaP","html_url":"https://github.com/MastaP","followers_url":"https://api.github.com/users/MastaP/followers","following_url":"https://api.github.com/users/MastaP/following{/other_user}","gists_url":"https://api.github.com/users/MastaP/gists{/gist_id}","starred_url":"https://api.github.com/users/MastaP/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/MastaP/subscriptions","organizations_url":"https://api.github.com/users/MastaP/orgs","repos_url":"https://api.github.com/users/MastaP/repos","events_url":"https://api.github.com/users/MastaP/events{/privacy}","received_events_url":"https://api.github.com/users/MastaP/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-02-14T11:50:45Z","updated_at":"2015-02-14T11:50:45Z","closed_at":null,"body":"**Reported by pgrigorenko on 2009-11-02 00:20 UTC**\nThe following spec causes NPE:\r\n\r\n/\\*@ specification A \\{\r\nint x11, x12, x21, x22;\r\nalias a1 = \\(x11, x12\\);\r\nalias a2 = \\(x21, x22\\);\r\nalias a = \\(a1, a2\\);\r\nx11 = 1;\r\nx21 = 1;\r\na.\\*.0 -&gt; a.\\*.1 \\{f\\};\r\n\\}@\\*/\r\n\r\njava.lang.NullPointerException\r\nat ee.ioc.cs.vsle.synthesize.ProblemCreator.getAliasElementVar\\(ProblemCreator.java:717\\)\r\nat ee.ioc.cs.vsle.synthesize.ProblemCreator.checkVarExistance\\(ProblemCreator.java:691\\)\r\nat ee.ioc.cs.vsle.synthesize.ProblemCreator.makeRel\\(ProblemCreator.java:649\\)\r\n..."}}