Difference between revisions of "Procedural Programming Example"

m
(Local Variables --> Local Values (terminology change))
Line 46: Line 46:
 
This definition illustrates these features:
 
This definition illustrates these features:
  
# <code>VAR x := e</code> defines a local variable <code>x</code>, and sets its initial value to <code>e</code>. See [[Local_Variables#Defining_a_local_variable|Defining a Local Variable]].
+
# <code>VAR x := e</code> defines a local identifier <code>x</code> that refers to the value obtained by evaluating <code>e</code>. See [[Local_Values#Defining_a_local_value|Defining a Local Value]].
 
# You can group several expressions (statements) into a definition by separating them using “;” (semicolons). Expressions can be on the same line or successive lines. See [[Begin-End for Grouping Expressions]].
 
# You can group several expressions (statements) into a definition by separating them using “;” (semicolons). Expressions can be on the same line or successive lines. See [[Begin-End for Grouping Expressions]].
 
# <code>While test Do body</code> tests condition <code>Test</code>, and, if True, evaluates <code>Body</code>, and repeats until condition <code>Test</code> is False. See [[For_and_While_Loops#While.28Test.29_Do_Body|While(Test) Do Body]].
 
# <code>While test Do body</code> tests condition <code>Test</code>, and, if True, evaluates <code>Body</code>, and repeats until condition <code>Test</code> is False. See [[For_and_While_Loops#While.28Test.29_Do_Body|While(Test) Do Body]].
 
# <code>BEGIN e1; e2; … END</code>groups a sequence of expressions separated by semicolons “;” — in this case as the body of a While loop. See  [[Begin-End for Grouping Expressions]].
 
# <code>BEGIN e1; e2; … END</code>groups a sequence of expressions separated by semicolons “;” — in this case as the body of a While loop. See  [[Begin-End for Grouping Expressions]].
 
#  <code>(e1; e2; …)</code> is another way to group expressions — in this case, as the action to be taken in the Then case. See [[Begin-End for Grouping Expressions]].
 
#  <code>(e1; e2; …)</code> is another way to group expressions — in this case, as the action to be taken in the Then case. See [[Begin-End for Grouping Expressions]].
#  <code>x := e</code> assigns the value of expression <code>e</code> to a local variable <code>x</code> or, as in the first case, to a parameter of a function. See [[Local_Variables#Assigning_to_a_local_variable|Assigning to a local variable]].
+
#  <code>x := e</code> assigns the value of expression <code>e</code> to a local value <code>x</code> or, as in the first case, to a parameter of a function. See [[Local_Values#Assigning_to_a_local_value|Assigning to a local value]].
 
#  You can add a comment (text that Analytica ignores) between <code>{</code> and <code>}</code> or between <code>/*</code> and <code>*/</code>.
 
#  You can add a comment (text that Analytica ignores) between <code>{</code> and <code>}</code> or between <code>/*</code> and <code>*/</code>.
#  The value returned from a group of expressions is the value of the last expression — here the function <code>Factors</code> returns the value of the local variable<code>result</code> — whether the group is delimited by <code>Begin</code> and <code>End</code>, by parentheses, <code>(</code> and <code>)</code>, or, as here, by nothing.
+
#  The value returned from a group of expressions is the value of the last expression — here the function <code>Factors</code> returns the local value <code>result</code> — whether the group is delimited by <code>Begin</code> and <code>End</code>, by parentheses, <code>(</code> and <code>)</code>, or, as here, by nothing.
  
 
==See Also==
 
==See Also==
* [[Local_Variables#Defining_a_local_variable|Defining a Local Variable]]
+
* [[Local_Values#Defining_a_local_value|Defining a Local Value]]
* [[Local_Variables#Assigning_to_a_local_variable|Assigning to a local variable]]
+
* [[Local_Values#Assigning_to_a_local_value|Assigning to a local value]]
 
* [[Begin-End for Grouping Expressions]]
 
* [[Begin-End for Grouping Expressions]]
 
* [[For and While Loops]]
 
* [[For and While Loops]]

Revision as of 00:15, 5 January 2017


This function, Factors(x), computes the prime factors of an integer «x». It illustrates many of Analytica's key constructs for procedural programming:

Example1.png

This table identifies key constructs from the function definition above, with a number

Numbers identify
features below
Function Factors(x)
Definition:
1 VAR result := [1];
2 VAR n := 2;
3 WHILE n <= x DO
4 BEGIN
2
VAR r := Floor(x/n);
IF r*n = x THEN
5
(result := Concat(result, [n]);x := r)
6
ELSE n := n + 1
4, 7 END;
7, 8 result /* End Definition */

This definition illustrates these features:

  1. VAR x := e defines a local identifier x that refers to the value obtained by evaluating e. See Defining a Local Value.
  2. You can group several expressions (statements) into a definition by separating them using “;” (semicolons). Expressions can be on the same line or successive lines. See Begin-End for Grouping Expressions.
  3. While test Do body tests condition Test, and, if True, evaluates Body, and repeats until condition Test is False. See While(Test) Do Body.
  4. BEGIN e1; e2; … ENDgroups a sequence of expressions separated by semicolons “;” — in this case as the body of a While loop. See Begin-End for Grouping Expressions.
  5. (e1; e2; …) is another way to group expressions — in this case, as the action to be taken in the Then case. See Begin-End for Grouping Expressions.
  6. x := e assigns the value of expression e to a local value x or, as in the first case, to a parameter of a function. See Assigning to a local value.
  7. You can add a comment (text that Analytica ignores) between { and } or between /* and */.
  8. The value returned from a group of expressions is the value of the last expression — here the function Factors returns the local value result — whether the group is delimited by Begin and End, by parentheses, ( and ), or, as here, by nothing.

See Also


Comments


You are not allowed to post comments.