The Pascal compiler company

• Pascal Compiler
• Web Programming
• About Irie Tools

Description

If statements either perform one of two actions, or conditionally perform a single action. If statements include the following:

• An if-condition, which is specified by a boolean expression (i.e. an expression of boolean type). The if-condition is evaluated, and its value determines which action, if any, is performed. If the value of the if-condition is true then the action specified by the statement in the then-part is performed. If the value of the if-condition is false and an else-part is present, then the action specified by the statement in the else-part is performed. If the value of the if-condition is false and an else-part is not present, then the execution of the if statement is terminated.
• A then-part, which contains a statement specifying an action to perform. This statement can be a compound statement, containing a statement-sequence. If this statement transfers program execution to a statement outside of the if statement then execution of the if statement is terminated when program execution is transfered.
• An optional else-part, which contains a statement specifying an action to perform. This statement can be a compound statement, containing a statement-sequence. If this statement transfers program execution to a statement outside of the if statement then execution of the if statement is terminated when program execution is transfered.

Example

For example

   if x = y then
      writeln('x is equal to y);

is an if statement that conditionally performs a single action (i.e. the action specified by the then-part). When this if statement is executed the if-condition (i.e. x = y) is evaluated and if true the statement in the then-part (i.e. writeln('x is equal to y)) is executed, and if false then execution of the if statement is terminated.

Here is another example

   if x = y then
      writeln('x is equal to y)
   else
      writeln('x is not to y);

is an if statement that performs one of two actions (i.e. either the action specified by the then-part or the action specified by the else-part). When this if statement is executed the if-condition (i.e. x = y) is evaluated, and if the value of the test condition is true then the statement in the then-part (i.e. writeln('x is equal to y)) is executed, and if the value of the test condition is false then the statement in the else-part (i.e. writeln('x is not equal to y)) is execuited.

Syntax

(NOTE: for clarity some parts of the syntax are omitted, see Irie Pascal Grammar for the full syntax):

   if-statement = 'if' boolean-expression 'then' statement [ else-part ]

   else-part = 'else' statement