Merge branch '62-support-ocra-behaviours' into 'master'

Resolve "Support OCRA behaviours"

Closes #62

See merge request ESProjects/SDE!64

eu.fbk.tools.editor/eu.fbk.tools.editor.oss.tests/resources/OSS_OK/test_behavior_init.oss

+COMPONENT system
+  INTERFACE
+  INPUT PORT inp : boolean;
+  INPUT PORT ev : event;
+  PARAMETER k : real;
+
+  CONTRACT foo
+    assume: true;
+    guarantee: G inp or in the future inp or (!inp U X inp);
+
+  REFINEMENT
+    SUB t : Test;
+
+	INIT fall(inp);
+    
+    CONTRACT foo REFINEDBY t.a;
+
+
+COMPONENT Test
+  INTERFACE
+    CONTRACT a
+      assume: true;
+      guarantee: true;

eu.fbk.tools.editor/eu.fbk.tools.editor.oss.tests/resources/OSS_OK/test_behavior_invar.oss

+COMPONENT system
+  INTERFACE
+  INPUT PORT inp : boolean;
+  INPUT PORT ev : event;
+  PARAMETER k : real;
+
+  CONTRACT foo
+    assume: true;
+    guarantee: G inp or in the future inp or (!inp U X inp);
+
+  REFINEMENT
+    SUB t : Test;
+
+	INVAR fall(inp);
+    
+    CONTRACT foo REFINEDBY t.a;
+
+
+COMPONENT Test
+  INTERFACE
+    CONTRACT a
+      assume: true;
+      guarantee: true;

eu.fbk.tools.editor/eu.fbk.tools.editor.oss.tests/resources/OSS_OK/test_behavior_trans.oss

+COMPONENT system
+  INTERFACE
+  INPUT PORT inp : boolean;
+  INPUT PORT ev : event;
+  PARAMETER k : real;
+
+  CONTRACT foo
+    assume: true;
+    guarantee: G inp or in the future inp or (!inp U X inp);
+
+  REFINEMENT
+    SUB t : Test;
+
+	TRANS inp or next(inp);
+    
+    CONTRACT foo REFINEDBY t.a;
+
+
+COMPONENT Test
+  INTERFACE
+    CONTRACT a
+      assume: true;
+      guarantee: true;

eu.fbk.tools.editor/eu.fbk.tools.editor.oss.tests/resources/OSS_OK/test_behavior_var.oss

+COMPONENT system
+  INTERFACE
+  INPUT PORT inp : boolean;
+  INPUT PORT ev : event;
+  PARAMETER k : real;
+
+  CONTRACT foo
+    assume: true;
+    guarantee: G inp or in the future inp or (!inp U X inp);
+
+  REFINEMENT
+    SUB t : Test;
+
+	VAR test : boolean;
+    
+    CONTRACT foo REFINEDBY t.a;
+
+
+COMPONENT Test
+  INTERFACE
+    CONTRACT a
+      assume: true;
+      guarantee: true;

eu.fbk.tools.editor/eu.fbk.tools.editor.oss.tests/resources/OSS_OK/test_behaviour_urgent.oss

+COMPONENT system
+  INTERFACE
+  INPUT PORT inp : boolean;
+  INPUT PORT ev : event;
+  PARAMETER k : real;
+
+  CONTRACT foo
+    assume: true;
+    guarantee: G inp or in the future inp or (!inp U X inp);
+
+  REFINEMENT
+    SUB t : Test;
+
+    URGENT inp or next(inp);
+
+    CONTRACT foo REFINEDBY t.a;
+
+    URGENT fall(inp);
+
+COMPONENT Test
+  INTERFACE
+    CONTRACT a
+      assume: true;
+      guarantee: true;

eu.fbk.tools.editor/eu.fbk.tools.editor.oss/src/eu/fbk/tools/editor/oss/Oss.xtext

@@ -53,7 +53,8 @@ RefinementInstance:
 	refinedby=RefinedBy |
 	formula=FormulaConstraint |
 	prop=ValidProp |
-	assertion=Assertion;
+	assertion=Assertion |
+	behaviour=Behaviour;
 
 Variable:
 	(Port | Parameter | Operation);
@@ -93,6 +94,13 @@ Assertion:
 ParameterAssumptions:
 	'PARAMETER' 'ASSUMPTIONS' constraint=Expression SEMICOLON;
 
+Behaviour:
+	'INIT' constraint=Expression SEMICOLON |
+	'VAR' name=ID COLON type=SimpleType SEMICOLON |
+	'INVAR' constraint=Expression SEMICOLON |
+	'TRANS' constraint=Expression SEMICOLON |
+	'URGENT' constraint=Expression SEMICOLON;
+	
 Connection:
 	('CONNECTION' | 'DEFINE') variable=(FullPortId | FullParameterId ) AssignementOp  constraint=Expression
 	(iterativeCondition=IterativeCondition)? SEMICOLON;