Please enable JavaScript.
Coggle requires JavaScript to display documents.
Implementation Component - Coggle Diagram
Implementation Component
-
INSTRUCTIONS
B0 Substitutions
-
CASE
- CASE xx OF
EITHER o THEN yy := 1
OR 1 THEN yy := 0
ELSE yy := 10
END
SEQUENCE := XX := 10; YY := XX
- XX recebe 10 então YY recebe XX
-
LOOPS
- WHILE cc
DO S
INVARIANT P
VARIANT E
END
-
-
VARIABLE BLOCKS
- VAR xx in xx := 10
yy := xx
END
-
-
-
INSTRUCTIONS
B0 Predicates
-
-
-
-
PS: A conditional can't be formed by the return of a function or the return of any operation like Sum, DIF, PROD, DIV or MOD.
Can't be used like this:
IF xx + yy < 0 THEN zz := 0 END
Solution:
VAR nn IN
ss := xx + yy
IF ss > 0 THEN xx := 0
ELSE yy := 0
END
INSTRUCTIONS
B0 Types: SCALAR
-
-
-
-
Arrays
Concrete variables: Scalar and Arrays.
Concrete constants: Scalar, arrays and Subsets: xx <: T1
-