18.05.04.01 Assignment

 

"Assignment" é a operação de atribuição.

 

Por exemplo:

 

 

minimum := maximum div 2;

 

 

 

Semântica:

A expressão do lado direito do símbolo de atribuição ( := ) é avaliada e o resultado atribuído a variável do lado esquerdo.

 

Sintaxe:

assignment_statement ::=

designator ':=' expression .

 

Uma instrução "assignment" é definida para cada "type" padrão.

Se uma "assignment" definida pelo usuário for necessária é deve-se defini-la.

 

"Declaration":

 

 

$ syntax expr: .(). := .() is                     <-> 20;

 

const proc: (inout type: dest) := (ref type: source)             is action "TYP_CPY";

const proc: (inout proc: dest) := (ref proc: source)             is action "PRC_CPY";

const proc: (inout func aType: dest) := (ref func aType: source) is action "PRC_CPY";

const proc: (inout varfunc aType: dest) := (ref varfunc aType: source) is action "PRC_CPY";

const proc: (inout ACTION: dest) := (in ACTION: source)          is action "ACT_CPY";

const proc: (inout boolean: dest) := (in boolean: source)        is action "BLN_CPY";

const proc: (inout integer: dest) := (in integer: source)        is action "INT_CPY";

const proc: (inout char: dest) := (ref char: source)             is action "CHR_CPY";

const proc: (inout string: dest) := (ref string: source)         is action "STR_CPY";

const proc: (inout reference: dest) := (ref reference: source)   is action "REF_CPY";

const proc: (inout ref_list: dest) := (in ref_list: source)      is action "RFL_CPY";

const proc: (inout ptrType: dest) := (in ptrType: source)        is action "REF_CPY";

const proc: (inout varptrType: dest) := (in varptrType: source)  is action "REF_CPY";

const proc: (inout arrayType: dest) := (in arrayType: source)    is action "ARR_CPY";

const proc: (inout bitset: dest) := (in bitset: source)          is action "SET_CPY";

const proc: (inout structType: dest) := (in structType: source)  is action "SCT_CPY";

const proc: (inout enumType: dest) := (in enumType: source)      is action "ENU_CPY";

const proc: (inout clib_file: dest) := (ref clib_file: source)   is action "FIL_CPY";

const proc: (inout interfaceType: dest) := (ref interfaceType: source) is action "ITF_CPY";

const proc: (inout interfaceType: dest) := (ref aType: source)   is action "ITF_CPY2";