ComplexConstant

A complex literal.

Declaration

Syntax

ComplexConstant(float re, float im, ttype type)

Arguments

Argument

Description

re

the real part.

im

the imaginary part.

type

the complex type, which fixes the kind.

Return values

The value of the expression.

Description

Both parts are stored as numbers. A complex literal whose parts are not both constants is a ComplexConstructor instead.

Examples

(ComplexConstant
  :re 1.0
  :im 2.0
  :type (Complex
    :kind 4
  )
)

It comes from this complete ASR text document:

(TranslationUnit
  :symtab (SymbolTable
    :id 0
    :symbols {
      "main" (Program
        :symtab (SymbolTable
          :id 1
          :symbols {
            "b" (Variable
              :parent_symtab 1
              :name "b"
              :dependencies []
              :intent :Local
              :symbolic_value nil
              :value nil
              :storage :Default
              :type (Logical
                :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 []
            )
            "w" (Variable
              :parent_symtab 1
              :name "w"
              :dependencies []
              :intent :Local
              :symbolic_value nil
              :value nil
              :storage :Default
              :type (Complex
                :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 []
            )
            "x" (Variable
              :parent_symtab 1
              :name "x"
              :dependencies []
              :intent :Local
              :symbolic_value nil
              :value nil
              :storage :Default
              :type (Real
                :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 []
            )
            "z" (Variable
              :parent_symtab 1
              :name "z"
              :dependencies []
              :intent :Local
              :symbolic_value nil
              :value nil
              :storage :Default
              :type (Complex
                :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 [
          (Assignment
            :target (Var
              :v (SymbolRef 1 "z")
            )
            :value (ComplexConstant
              :re 1.0
              :im 2.0
              :type (Complex
                :kind 4
              )
            )
            :overloaded nil
            :realloc_lhs false
            :move_allocation false
          )
          (Assignment
            :target (Var
              :v (SymbolRef 1 "z")
            )
            :value (ComplexConstructor
              :re (RealConstant
                :r 1.0
                :type (Real
                  :kind 4
                )
              )
              :im (Var
                :v (SymbolRef 1 "x")
              )
              :type (Complex
                :kind 4
              )
              :value nil
            )
            :overloaded nil
            :realloc_lhs false
            :move_allocation false
          )
          (Assignment
            :target (Var
              :v (SymbolRef 1 "w")
            )
            :value (ComplexBinOp
              :left (Var
                :v (SymbolRef 1 "z")
              )
              :op :Mul
              :right (ComplexConstant
                :re 0.0
                :im 1.0
                :type (Complex
                  :kind 4
                )
              )
              :type (Complex
                :kind 4
              )
              :value nil
            )
            :overloaded nil
            :realloc_lhs false
            :move_allocation false
          )
          (Assignment
            :target (Var
              :v (SymbolRef 1 "w")
            )
            :value (ComplexUnaryMinus
              :arg (Var
                :v (SymbolRef 1 "z")
              )
              :type (Complex
                :kind 4
              )
              :value nil
            )
            :overloaded nil
            :realloc_lhs false
            :move_allocation false
          )
          (Assignment
            :target (Var
              :v (SymbolRef 1 "x")
            )
            :value (ComplexRe
              :arg (Var
                :v (SymbolRef 1 "z")
              )
              :type (Real
                :kind 4
              )
              :value nil
            )
            :overloaded nil
            :realloc_lhs false
            :move_allocation false
          )
          (Assignment
            :target (Var
              :v (SymbolRef 1 "x")
            )
            :value (ComplexIm
              :arg (Var
                :v (SymbolRef 1 "z")
              )
              :type (Real
                :kind 4
              )
              :value nil
            )
            :overloaded nil
            :realloc_lhs false
            :move_allocation false
          )
          (Assignment
            :target (Var
              :v (SymbolRef 1 "b")
            )
            :value (ComplexCompare
              :left (Var
                :v (SymbolRef 1 "z")
              )
              :op :Eq
              :right (Var
                :v (SymbolRef 1 "w")
              )
              :type (Logical
                :kind 4
              )
              :value nil
            )
            :overloaded nil
            :realloc_lhs false
            :move_allocation false
          )
        ]
      )
    }
  )
  :items []
)

See Also

ComplexConstructor, RealConstant, Complex