{"action":"created","issue":{"url":"https://api.github.com/repos/runtimeverification/javamop/issues/188","labels_url":"https://api.github.com/repos/runtimeverification/javamop/issues/188/labels{/name}","comments_url":"https://api.github.com/repos/runtimeverification/javamop/issues/188/comments","events_url":"https://api.github.com/repos/runtimeverification/javamop/issues/188/events","html_url":"https://github.com/runtimeverification/javamop/issues/188","id":49671604,"number":188,"title":"Problem with enforce","user":{"login":"kheradmand","id":2971184,"avatar_url":"https://avatars.githubusercontent.com/u/2971184?v=3","gravatar_id":"","url":"https://api.github.com/users/kheradmand","html_url":"https://github.com/kheradmand","followers_url":"https://api.github.com/users/kheradmand/followers","following_url":"https://api.github.com/users/kheradmand/following{/other_user}","gists_url":"https://api.github.com/users/kheradmand/gists{/gist_id}","starred_url":"https://api.github.com/users/kheradmand/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kheradmand/subscriptions","organizations_url":"https://api.github.com/users/kheradmand/orgs","repos_url":"https://api.github.com/users/kheradmand/repos","events_url":"https://api.github.com/users/kheradmand/events{/privacy}","received_events_url":"https://api.github.com/users/kheradmand/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/runtimeverification/javamop/labels/bug","name":"bug","color":"fc2929"}],"state":"open","locked":false,"assignee":null,"milestone":{"url":"https://api.github.com/repos/runtimeverification/javamop/milestones/1","labels_url":"https://api.github.com/repos/runtimeverification/javamop/milestones/1/labels","id":916771,"number":1,"title":"Agent","description":"Issues blocking a fully functional JavaMOP agent","creator":{"login":"pdaian","id":565776,"avatar_url":"https://avatars.githubusercontent.com/u/565776?v=3","gravatar_id":"","url":"https://api.github.com/users/pdaian","html_url":"https://github.com/pdaian","followers_url":"https://api.github.com/users/pdaian/followers","following_url":"https://api.github.com/users/pdaian/following{/other_user}","gists_url":"https://api.github.com/users/pdaian/gists{/gist_id}","starred_url":"https://api.github.com/users/pdaian/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/pdaian/subscriptions","organizations_url":"https://api.github.com/users/pdaian/orgs","repos_url":"https://api.github.com/users/pdaian/repos","events_url":"https://api.github.com/users/pdaian/events{/privacy}","received_events_url":"https://api.github.com/users/pdaian/received_events","type":"User","site_admin":false},"open_issues":5,"closed_issues":0,"state":"open","created_at":"2014-12-29T15:50:17Z","updated_at":"2014-12-29T15:54:15Z","due_on":"2015-01-02T06:00:00Z","closed_at":null},"comments":2,"created_at":"2014-11-21T08:34:50Z","updated_at":"2015-01-16T20:40:47Z","closed_at":null,"body":"I have a very simple mop file that enforces a thread schedule:\r\n\r\n```\r\npackage mop;\r\n\r\nenforce myEnforce() {\r\n    event one before():\r\n        execution(* *run(..)) && threadName(\"Thread-1\") {\r\n            System.out.println(\"one\");\r\n        }\r\n    event two before():\r\n        execution(* *run(..)) && threadName(\"Thread-2\") {\r\n            System.out.println(\"two\");\r\n        }\r\n    ere : one two\r\n\r\n    @fail {\r\n        System.out.println(\"failed\");\r\n    }\r\n\r\n\r\n}\r\n```\r\n\r\nwhen I try to generate agent for this file I get the following error:\r\n\r\n```\r\njavamop -agent enforce.mop\r\n-Processing 1 specification(s)\r\n enforce.rvm is generated\r\n enforceMonitorAspect.aj is generated\r\n-Processing 1 specification(s)\r\n enforceRuntimeMonitor.java is generated\r\n(ajc) Failed to produce aop-ajc.xml\r\n```\r\n\r\n\r\nAlso when I try to use ajc to instrument my code, I get the following:\r\n\r\n```\r\n/Users/Ali/FSL/replay/example/enforceMonitorAspect.aj:37 [error] cloned_monitor_condition_satisfied cannot be resolved to a variable\r\ncloned_monitor_condition_satisfied = clonedMonitor.Prop_1_event_one();\r\n^^^^^^^^^^^^^^^^^^^^^^^^^^^\r\n/Users/Ali/FSL/replay/example/enforceMonitorAspect.aj:38 [error] cloned_monitor_condition_satisfied cannot be resolved to a variable\r\nif (!cloned_monitor_condition_satisfied) {\r\n     ^^^^^^^^^^^^^^^^^^^^^^^^^^^\r\n/Users/Ali/FSL/replay/example/enforceMonitorAspect.aj:76 [error] cloned_monitor_condition_satisfied cannot be resolved to a variable\r\ncloned_monitor_condition_satisfied = clonedMonitor.Prop_1_event_two();\r\n^^^^^^^^^^^^^^^^^^^^^^^^^^^\r\n/Users/Ali/FSL/replay/example/enforceMonitorAspect.aj:77 [error] cloned_monitor_condition_satisfied cannot be resolved to a variable\r\nif (!cloned_monitor_condition_satisfied) {\r\n     ^^^^^^^^^^^^^^^^^^^^^^^^^^^\r\n/Users/Ali/FSL/replay/example/enforceMonitorAspect.aj:292 [error] cloned_monitor_condition_satisfied cannot be resolved to a variable\r\ncloned_monitor_condition_satisfied = clonedMonitor.Prop_1_event_one();\r\n^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\r\n/Users/Ali/FSL/replay/example/enforceMonitorAspect.aj:293 [error] cloned_monitor_condition_satisfied cannot be resolved to a variable\r\nif (!cloned_monitor_condition_satisfied) {\r\n     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\r\n/Users/Ali/FSL/replay/example/enforceMonitorAspect.aj:338 [error] cloned_monitor_condition_satisfied cannot be resolved to a variable\r\ncloned_monitor_condition_satisfied = clonedMonitor.Prop_1_event_two();\r\n^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\r\n/Users/Ali/FSL/replay/example/enforceMonitorAspect.aj:339 [error] cloned_monitor_condition_satisfied cannot be resolved to a variable\r\nif (!cloned_monitor_condition_satisfied) {\r\n     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\r\n/Users/Ali/FSL/replay/example/enforceMonitorAspect.aj:400 [error] myEnforceRuntimeMonitor cannot be resolved\r\nmyEnforceRuntimeMonitor.startDeadlockDetection();\r\n^^^^^^^^^^^^^^^^^^^^\r\n/Users/Ali/FSL/replay/example/enforceMonitorAspect.aj:406 [error] myEnforce_ThreadMonitor_ThreadSet cannot be resolved\r\nmyEnforce_ThreadMonitor_ThreadSet.add(t);\r\n^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\r\n\r\n10 errors\r\n```"},"comment":{"url":"https://api.github.com/repos/runtimeverification/javamop/issues/comments/70318740","html_url":"https://github.com/runtimeverification/javamop/issues/188#issuecomment-70318740","issue_url":"https://api.github.com/repos/runtimeverification/javamop/issues/188","id":70318740,"user":{"login":"kheradmand","id":2971184,"avatar_url":"https://avatars.githubusercontent.com/u/2971184?v=3","gravatar_id":"","url":"https://api.github.com/users/kheradmand","html_url":"https://github.com/kheradmand","followers_url":"https://api.github.com/users/kheradmand/followers","following_url":"https://api.github.com/users/kheradmand/following{/other_user}","gists_url":"https://api.github.com/users/kheradmand/gists{/gist_id}","starred_url":"https://api.github.com/users/kheradmand/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kheradmand/subscriptions","organizations_url":"https://api.github.com/users/kheradmand/orgs","repos_url":"https://api.github.com/users/kheradmand/repos","events_url":"https://api.github.com/users/kheradmand/events{/privacy}","received_events_url":"https://api.github.com/users/kheradmand/received_events","type":"User","site_admin":false},"created_at":"2015-01-16T20:40:47Z","updated_at":"2015-01-16T20:40:47Z","body":"RV-Monitor#100 has been resolved but still both agent generation and static weaving fail in javamop. "}}