AssociateBlock¶
The scope of an associate construct.
Declaration¶
Syntax¶
AssociateBlock(symbol_table symtab, identifier name, stmt* body)
Arguments¶
Argument |
Description |
|---|---|
|
the symbol table of the construct, holding the associate names. |
|
a generated name for the block, unique in its scope. |
|
the statements of the construct. |
Return values¶
None.
Description¶
An associate construct introduces names for expressions and runs a block of
statements with them in scope, so it needs a symbol table of its own. That
makes it a symbol rather than a statement: the symbol holds the scope, and
AssociateBlockCall marks the place
in the enclosing statement list where the block runs.
Each associate name is set up by an Associate statement at the start of the body, which binds the name to the target expression rather than copying it.
Examples¶
(AssociateBlock
:symtab (SymbolTable
:id 2
:symbols {
"k" (Variable
:parent_symtab 2
:name "k"
:dependencies []
:intent :Local
:symbolic_value nil
:value nil
:storage :Default
:type (Integer
:kind 4
)
:type_declaration nil
:abi :Source
:access :Public
:presence :Required
:value_attr false
:target_attr false
:contiguous_attr false
:bindc_name nil
:is_volatile false
:is_protected false
:pass_attr :NotMethod
:self_argument nil
:codims []
)
}
)
:name "block"
:body [
(Associate
:target (Var
:v (SymbolRef 2 "k")
)
:value (Var
:v (SymbolRef 1 "x")
)
)
(Assignment
:target (Var
:v (SymbolRef 2 "k")
)
:value (IntegerConstant
:n 1
:type (Integer
:kind 4
)
:intboz_type :Decimal
)
:overloaded nil
:realloc_lhs false
:move_allocation false
)
]
)
It comes from this complete ASR text document:
(TranslationUnit
:symtab (SymbolTable
:id 0
:symbols {
"main" (Program
:symtab (SymbolTable
:id 1
:symbols {
"block" (AssociateBlock
:symtab (SymbolTable
:id 2
:symbols {
"k" (Variable
:parent_symtab 2
:name "k"
:dependencies []
:intent :Local
:symbolic_value nil
:value nil
:storage :Default
:type (Integer
:kind 4
)
:type_declaration nil
:abi :Source
:access :Public
:presence :Required
:value_attr false
:target_attr false
:contiguous_attr false
:bindc_name nil
:is_volatile false
:is_protected false
:pass_attr :NotMethod
:self_argument nil
:codims []
)
}
)
:name "block"
:body [
(Associate
:target (Var
:v (SymbolRef 2 "k")
)
:value (Var
:v (SymbolRef 1 "x")
)
)
(Assignment
:target (Var
:v (SymbolRef 2 "k")
)
:value (IntegerConstant
:n 1
:type (Integer
:kind 4
)
:intboz_type :Decimal
)
:overloaded nil
:realloc_lhs false
:move_allocation false
)
]
)
"x" (Variable
:parent_symtab 1
:name "x"
:dependencies []
:intent :Local
:symbolic_value nil
:value nil
:storage :Default
:type (Integer
:kind 4
)
:type_declaration nil
:abi :Source
:access :Public
:presence :Required
:value_attr false
:target_attr false
:contiguous_attr false
:bindc_name nil
:is_volatile false
:is_protected false
:pass_attr :NotMethod
:self_argument nil
:codims []
)
}
)
:name "main"
:dependencies []
:body [
(AssociateBlockCall
:m (SymbolRef 1 "block")
)
]
)
}
)
:items []
)