Difference between revisions of "Sequential Composition"

From Mesham
Jump to navigationJump to search
m
Line 10: Line 10:
 
== Examples ==
 
== Examples ==
  
  var a:=12 ; a:=99
+
  function void main() {
 +
    var a:=12 ; a:=99
 +
};
  
 
In the above example variable ''a'' is declared to be equal to 12, after this the variable is then modified to hold the value of 99.
 
In the above example variable ''a'' is declared to be equal to 12, after this the variable is then modified to hold the value of 99.
  
  function1() ; function2()
+
  function void main() {
 +
    function1() ; function2()
 +
};
  
 
In the second example ''function1'' will execute and then after (if it terminates) the function ''function2'' will be called.
 
In the second example ''function1'' will execute and then after (if it terminates) the function ''function2'' will be called.

Revision as of 14:10, 15 April 2013

Syntax

body ; body

Semantics

Will execute the code before the sequential composition, ;, and then (if this terminates) will execute the code after the sequential composition.

Note: Unlike many imperative languages, all blocks must be terminated by a form of composition (sequential or parallel.)

Examples

function void main() {
   var a:=12 ; a:=99
};

In the above example variable a is declared to be equal to 12, after this the variable is then modified to hold the value of 99.

function void main() {
   function1() ; function2()
};

In the second example function1 will execute and then after (if it terminates) the function function2 will be called.

Since: Version 0.41b