gdb/ada-exp.h

   1 /* Definitions for Ada expressions
   2
   3    Copyright (C) 2020-2022 Free Software Foundation, Inc.
   4
   5    This file is part of GDB.
   6
   7    This program is free software; you can redistribute it and/or modify
   8    it under the terms of the GNU General Public License as published by
   9    the Free Software Foundation; either version 3 of the License, or
  10    (at your option) any later version.
  11
  12    This program is distributed in the hope that it will be useful,
  13    but WITHOUT ANY WARRANTY; without even the implied warranty of
  14    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15    GNU General Public License for more details.
  16
  17    You should have received a copy of the GNU General Public License
  18    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
  19
  20 #ifndef ADA_EXP_H
  21 #define ADA_EXP_H
  22
  23 #include "expop.h"
  24
  25 extern struct value *ada_unop_neg (struct type *expect_type,
  26                                    struct expression *exp,
  27                                    enum noside noside, enum exp_opcode op,
  28                                    struct value *arg1);
  29 extern struct value *ada_atr_tag (struct type *expect_type,
  30                                   struct expression *exp,
  31                                   enum noside noside, enum exp_opcode op,
  32                                   struct value *arg1);
  33 extern struct value *ada_atr_size (struct type *expect_type,
  34                                    struct expression *exp,
  35                                    enum noside noside, enum exp_opcode op,
  36                                    struct value *arg1);
  37 extern struct value *ada_abs (struct type *expect_type,
  38                               struct expression *exp,
  39                               enum noside noside, enum exp_opcode op,
  40                               struct value *arg1);
  41 extern struct value *ada_unop_in_range (struct type *expect_type,
  42                                         struct expression *exp,
  43                                         enum noside noside, enum exp_opcode op,
  44                                         struct value *arg1, struct type *type);
  45 extern struct value *ada_mult_binop (struct type *expect_type,
  46                                      struct expression *exp,
  47                                      enum noside noside, enum exp_opcode op,
  48                                      struct value *arg1, struct value *arg2);
  49 extern struct value *ada_equal_binop (struct type *expect_type,
  50                                       struct expression *exp,
  51                                       enum noside noside, enum exp_opcode op,
  52                                       struct value *arg1, struct value *arg2);
  53 extern struct value *ada_ternop_slice (struct expression *exp,
  54                                        enum noside noside,
  55                                        struct value *array,
  56                                        struct value *low_bound_val,
  57                                        struct value *high_bound_val);
  58 extern struct value *ada_binop_in_bounds (struct expression *exp,
  59                                           enum noside noside,
  60                                           struct value *arg1,
  61                                           struct value *arg2,
  62                                           int n);
  63 extern struct value *ada_binop_minmax (struct type *expect_type,
  64                                        struct expression *exp,
  65                                        enum noside noside, enum exp_opcode op,
  66                                        struct value *arg1,
  67                                        struct value *arg2);
  68 extern struct value *ada_pos_atr (struct type *expect_type,
  69                                   struct expression *exp,
  70                                   enum noside noside, enum exp_opcode op,
  71                                   struct value *arg);
  72 extern struct value *ada_val_atr (enum noside noside, struct type *type,
  73                                   struct value *arg);
  74 extern struct value *ada_binop_exp (struct type *expect_type,
  75                                     struct expression *exp,
  76                                     enum noside noside, enum exp_opcode op,
  77                                     struct value *arg1, struct value *arg2);
  78
  79 namespace expr
  80 {
  81
  82 /* The base class for Ada type resolution.  Ada operations that want
  83    to participate in resolution implement this interface.  */
  84 struct ada_resolvable
  85 {
  86   /* Resolve this object.  EXP is the expression being resolved.
  87      DEPROCEDURE_P is true if a symbol that refers to a zero-argument
  88      function may be turned into a function call.  PARSE_COMPLETION
  89      and TRACKER are passed in from the parser context.  CONTEXT_TYPE
  90      is the expected type of the expression, or nullptr if none is
  91      known.  This method should return true if the operation should be
  92      replaced by a function call with this object as the callee.  */
  93   virtual bool resolve (struct expression *exp,
  94                         bool deprocedure_p,
  95                         bool parse_completion,
  96                         innermost_block_tracker *tracker,
  97                         struct type *context_type) = 0;
  98
  99   /* Possibly replace this object with some other expression object.
 100      This is like 'resolve', but can return a replacement.
 101
 102      The default implementation calls 'resolve' and wraps this object
 103      in a function call if that call returns true.  OWNER is a
 104      reference to the unique pointer that owns the 'this'; it can be
 105      'move'd from to construct the replacement.
 106
 107      This should either return a new object, or OWNER -- never
 108      nullptr.  */
 109
 110   virtual operation_up replace (operation_up &&owner,
 111                                 struct expression *exp,
 112                                 bool deprocedure_p,
 113                                 bool parse_completion,
 114                                 innermost_block_tracker *tracker,
 115                                 struct type *context_type);
 116 };
 117
 118 /* In Ada, some generic operations must be wrapped with a handler that
 119    handles some Ada-specific type conversions.  */
 120 class ada_wrapped_operation
 121   : public tuple_holding_operation<operation_up>
 122 {
 123 public:
 124
 125   using tuple_holding_operation::tuple_holding_operation;
 126
 127   value *evaluate (struct type *expect_type,
 128                    struct expression *exp,
 129                    enum noside noside) override;
 130
 131   enum exp_opcode opcode () const override
 132   { return std::get<0> (m_storage)->opcode (); }
 133 };
 134
 135 /* An Ada string constant.  */
 136 class ada_string_operation
 137   : public string_operation
 138 {
 139 public:
 140
 141   using string_operation::string_operation;
 142
 143   /* Return the underlying string.  */
 144   const char *get_name () const
 145   {
 146     return std::get<0> (m_storage).c_str ();
 147   }
 148
 149   value *evaluate (struct type *expect_type,
 150                    struct expression *exp,
 151                    enum noside noside) override;
 152 };
 153
 154 /* The Ada TYPE'(EXP) construct.  */
 155 class ada_qual_operation
 156   : public tuple_holding_operation<operation_up, struct type *>
 157 {
 158 public:
 159
 160   using tuple_holding_operation::tuple_holding_operation;
 161
 162   value *evaluate (struct type *expect_type,
 163                    struct expression *exp,
 164                    enum noside noside) override;
 165
 166   enum exp_opcode opcode () const override
 167   { return UNOP_QUAL; }
 168 };
 169
 170 /* Ternary in-range operator.  */
 171 class ada_ternop_range_operation
 172   : public tuple_holding_operation<operation_up, operation_up, operation_up>
 173 {
 174 public:
 175
 176   using tuple_holding_operation::tuple_holding_operation;
 177
 178   value *evaluate (struct type *expect_type,
 179                    struct expression *exp,
 180                    enum noside noside) override;
 181
 182   enum exp_opcode opcode () const override
 183   { return TERNOP_IN_RANGE; }
 184 };
 185
 186 using ada_neg_operation = unop_operation<UNOP_NEG, ada_unop_neg>;
 187 using ada_atr_tag_operation = unop_operation<OP_ATR_TAG, ada_atr_tag>;
 188 using ada_atr_size_operation = unop_operation<OP_ATR_SIZE, ada_atr_size>;
 189 using ada_abs_operation = unop_operation<UNOP_ABS, ada_abs>;
 190 using ada_pos_operation = unop_operation<OP_ATR_POS, ada_pos_atr>;
 191
 192 /* The in-range operation, given a type.  */
 193 class ada_unop_range_operation
 194   : public tuple_holding_operation<operation_up, struct type *>
 195 {
 196 public:
 197
 198   using tuple_holding_operation::tuple_holding_operation;
 199
 200   value *evaluate (struct type *expect_type,
 201                    struct expression *exp,
 202                    enum noside noside) override
 203   {
 204     value *val = std::get<0> (m_storage)->evaluate (nullptr, exp, noside);
 205     return ada_unop_in_range (expect_type, exp, noside, UNOP_IN_RANGE,
 206                               val, std::get<1> (m_storage));
 207   }
 208
 209   enum exp_opcode opcode () const override
 210   { return UNOP_IN_RANGE; }
 211 };
 212
 213 /* The Ada + and - operators.  */
 214 class ada_binop_addsub_operation
 215   : public tuple_holding_operation<enum exp_opcode, operation_up, operation_up>
 216 {
 217 public:
 218
 219   using tuple_holding_operation::tuple_holding_operation;
 220
 221   value *evaluate (struct type *expect_type,
 222                    struct expression *exp,
 223                    enum noside noside) override;
 224
 225   enum exp_opcode opcode () const override
 226   { return std::get<0> (m_storage); }
 227 };
 228
 229 using ada_binop_mul_operation = binop_operation<BINOP_MUL, ada_mult_binop>;
 230 using ada_binop_div_operation = binop_operation<BINOP_DIV, ada_mult_binop>;
 231 using ada_binop_rem_operation = binop_operation<BINOP_REM, ada_mult_binop>;
 232 using ada_binop_mod_operation = binop_operation<BINOP_MOD, ada_mult_binop>;
 233
 234 using ada_binop_min_operation = binop_operation<BINOP_MIN, ada_binop_minmax>;
 235 using ada_binop_max_operation = binop_operation<BINOP_MAX, ada_binop_minmax>;
 236
 237 using ada_binop_exp_operation = binop_operation<BINOP_EXP, ada_binop_exp>;
 238
 239 /* Implement the equal and not-equal operations for Ada.  */
 240 class ada_binop_equal_operation
 241   : public tuple_holding_operation<enum exp_opcode, operation_up, operation_up>
 242 {
 243 public:
 244
 245   using tuple_holding_operation::tuple_holding_operation;
 246
 247   value *evaluate (struct type *expect_type,
 248                    struct expression *exp,
 249                    enum noside noside) override
 250   {
 251     value *arg1 = std::get<1> (m_storage)->evaluate (nullptr, exp, noside);
 252     value *arg2 = std::get<2> (m_storage)->evaluate (value_type (arg1),
 253                                                      exp, noside);
 254     return ada_equal_binop (expect_type, exp, noside, std::get<0> (m_storage),
 255                             arg1, arg2);
 256   }
 257
 258   enum exp_opcode opcode () const override
 259   { return std::get<0> (m_storage); }
 260 };
 261
 262 /* Bitwise operators for Ada.  */
 263 template<enum exp_opcode OP>
 264 class ada_bitwise_operation
 265   : public maybe_constant_operation<operation_up, operation_up>
 266 {
 267 public:
 268
 269   using maybe_constant_operation::maybe_constant_operation;
 270
 271   value *evaluate (struct type *expect_type,
 272                    struct expression *exp,
 273                    enum noside noside) override
 274   {
 275     value *lhs = std::get<0> (m_storage)->evaluate (nullptr, exp, noside);
 276     value *rhs = std::get<1> (m_storage)->evaluate (nullptr, exp, noside);
 277     value *result = eval_op_binary (expect_type, exp, noside, OP, lhs, rhs);
 278     return value_cast (value_type (lhs), result);
 279   }
 280
 281   enum exp_opcode opcode () const override
 282   { return OP; }
 283 };
 284
 285 using ada_bitwise_and_operation = ada_bitwise_operation<BINOP_BITWISE_AND>;
 286 using ada_bitwise_ior_operation = ada_bitwise_operation<BINOP_BITWISE_IOR>;
 287 using ada_bitwise_xor_operation = ada_bitwise_operation<BINOP_BITWISE_XOR>;
 288
 289 /* Ada array- or string-slice operation.  */
 290 class ada_ternop_slice_operation
 291   : public maybe_constant_operation<operation_up, operation_up, operation_up>,
 292     public ada_resolvable
 293 {
 294 public:
 295
 296   using maybe_constant_operation::maybe_constant_operation;
 297
 298   value *evaluate (struct type *expect_type,
 299                    struct expression *exp,
 300                    enum noside noside) override
 301   {
 302     value *array = std::get<0> (m_storage)->evaluate (nullptr, exp, noside);
 303     value *low = std::get<1> (m_storage)->evaluate (nullptr, exp, noside);
 304     value *high = std::get<2> (m_storage)->evaluate (nullptr, exp, noside);
 305     return ada_ternop_slice (exp, noside, array, low, high);
 306   }
 307
 308   enum exp_opcode opcode () const override
 309   { return TERNOP_SLICE; }
 310
 311   bool resolve (struct expression *exp,
 312                 bool deprocedure_p,
 313                 bool parse_completion,
 314                 innermost_block_tracker *tracker,
 315                 struct type *context_type) override;
 316 };
 317
 318 /* Implement BINOP_IN_BOUNDS for Ada.  */
 319 class ada_binop_in_bounds_operation
 320   : public maybe_constant_operation<operation_up, operation_up, int>
 321 {
 322 public:
 323
 324   using maybe_constant_operation::maybe_constant_operation;
 325
 326   value *evaluate (struct type *expect_type,
 327                    struct expression *exp,
 328                    enum noside noside) override
 329   {
 330     value *arg1 = std::get<0> (m_storage)->evaluate (nullptr, exp, noside);
 331     value *arg2 = std::get<1> (m_storage)->evaluate (nullptr, exp, noside);
 332     return ada_binop_in_bounds (exp, noside, arg1, arg2,
 333                                 std::get<2> (m_storage));
 334   }
 335
 336   enum exp_opcode opcode () const override
 337   { return BINOP_IN_BOUNDS; }
 338 };
 339
 340 /* Implement several unary Ada OP_ATR_* operations.  */
 341 class ada_unop_atr_operation
 342   : public maybe_constant_operation<operation_up, enum exp_opcode, int>
 343 {
 344 public:
 345
 346   using maybe_constant_operation::maybe_constant_operation;
 347
 348   value *evaluate (struct type *expect_type,
 349                    struct expression *exp,
 350                    enum noside noside) override;
 351
 352   enum exp_opcode opcode () const override
 353   { return std::get<1> (m_storage); }
 354 };
 355
 356 /* Variant of var_value_operation for Ada.  */
 357 class ada_var_value_operation
 358   : public var_value_operation, public ada_resolvable
 359 {
 360 public:
 361
 362   using var_value_operation::var_value_operation;
 363
 364   value *evaluate (struct type *expect_type,
 365                    struct expression *exp,
 366                    enum noside noside) override;
 367
 368   value *evaluate_for_cast (struct type *expect_type,
 369                             struct expression *exp,
 370                             enum noside noside) override;
 371
 372   const block *get_block () const
 373   { return std::get<0> (m_storage).block; }
 374
 375   bool resolve (struct expression *exp,
 376                 bool deprocedure_p,
 377                 bool parse_completion,
 378                 innermost_block_tracker *tracker,
 379                 struct type *context_type) override;
 380
 381 protected:
 382
 383   using operation::do_generate_ax;
 384 };
 385
 386 /* Variant of var_msym_value_operation for Ada.  */
 387 class ada_var_msym_value_operation
 388   : public var_msym_value_operation
 389 {
 390 public:
 391
 392   using var_msym_value_operation::var_msym_value_operation;
 393
 394   value *evaluate_for_cast (struct type *expect_type,
 395                             struct expression *exp,
 396                             enum noside noside) override;
 397
 398 protected:
 399
 400   using operation::do_generate_ax;
 401 };
 402
 403 /* Implement the Ada 'val attribute.  */
 404 class ada_atr_val_operation
 405   : public tuple_holding_operation<struct type *, operation_up>
 406 {
 407 public:
 408
 409   using tuple_holding_operation::tuple_holding_operation;
 410
 411   value *evaluate (struct type *expect_type,
 412                    struct expression *exp,
 413                    enum noside noside) override;
 414
 415   enum exp_opcode opcode () const override
 416   { return OP_ATR_VAL; }
 417 };
 418
 419 /* The indirection operator for Ada.  */
 420 class ada_unop_ind_operation
 421   : public unop_ind_base_operation
 422 {
 423 public:
 424
 425   using unop_ind_base_operation::unop_ind_base_operation;
 426
 427   value *evaluate (struct type *expect_type,
 428                    struct expression *exp,
 429                    enum noside noside) override;
 430 };
 431
 432 /* Implement STRUCTOP_STRUCT for Ada.  */
 433 class ada_structop_operation
 434   : public structop_base_operation
 435 {
 436 public:
 437
 438   using structop_base_operation::structop_base_operation;
 439
 440   value *evaluate (struct type *expect_type,
 441                    struct expression *exp,
 442                    enum noside noside) override;
 443
 444   enum exp_opcode opcode () const override
 445   { return STRUCTOP_STRUCT; }
 446 };
 447
 448 /* Function calls for Ada.  */
 449 class ada_funcall_operation
 450   : public tuple_holding_operation<operation_up, std::vector<operation_up>>,
 451     public ada_resolvable
 452 {
 453 public:
 454
 455   using tuple_holding_operation::tuple_holding_operation;
 456
 457   value *evaluate (struct type *expect_type,
 458                    struct expression *exp,
 459                    enum noside noside) override;
 460
 461   bool resolve (struct expression *exp,
 462                 bool deprocedure_p,
 463                 bool parse_completion,
 464                 innermost_block_tracker *tracker,
 465                 struct type *context_type) override;
 466
 467   enum exp_opcode opcode () const override
 468   { return OP_FUNCALL; }
 469 };
 470
 471 /* An Ada assignment operation.  */
 472 class ada_assign_operation
 473   : public assign_operation
 474 {
 475 public:
 476
 477   using assign_operation::assign_operation;
 478
 479   value *evaluate (struct type *expect_type,
 480                    struct expression *exp,
 481                    enum noside noside) override;
 482
 483   enum exp_opcode opcode () const override
 484   { return BINOP_ASSIGN; }
 485 };
 486
 487 /* This abstract class represents a single component in an Ada
 488    aggregate assignment.  */
 489 class ada_component
 490 {
 491 public:
 492
 493   /* Assign to LHS, which is part of CONTAINER.  EXP is the expression
 494      being evaluated.  INDICES, LOW, and HIGH indicate which
 495      sub-components have already been assigned; INDICES should be
 496      updated by this call.  */
 497   virtual void assign (struct value *container,
 498                        struct value *lhs, struct expression *exp,
 499                        std::vector<LONGEST> &indices,
 500                        LONGEST low, LONGEST high) = 0;
 501
 502   /* Same as operation::uses_objfile.  */
 503   virtual bool uses_objfile (struct objfile *objfile) = 0;
 504
 505   /* Same as operation::dump.  */
 506   virtual void dump (ui_file *stream, int depth) = 0;
 507
 508   virtual ~ada_component () = default;
 509
 510 protected:
 511
 512   ada_component () = default;
 513   DISABLE_COPY_AND_ASSIGN (ada_component);
 514 };
 515
 516 /* Unique pointer specialization for Ada assignment components.  */
 517 typedef std::unique_ptr<ada_component> ada_component_up;
 518
 519 /* An operation that holds a single component.  */
 520 class ada_aggregate_operation
 521   : public tuple_holding_operation<ada_component_up>
 522 {
 523 public:
 524
 525   using tuple_holding_operation::tuple_holding_operation;
 526
 527   /* Assuming that LHS represents an lvalue having a record or array
 528      type, evaluate an assignment of this aggregate's value to LHS.
 529      CONTAINER is an lvalue containing LHS (possibly LHS itself).
 530      Does not modify the inferior's memory, nor does it modify the
 531      contents of LHS (unless == CONTAINER).  Returns the modified
 532      CONTAINER.  */
 533
 534   value *assign_aggregate (struct value *container,
 535                            struct value *lhs,
 536                            struct expression *exp);
 537
 538   value *evaluate (struct type *expect_type,
 539                    struct expression *exp,
 540                    enum noside noside) override
 541   {
 542     error (_("Aggregates only allowed on the right of an assignment"));
 543   }
 544
 545   enum exp_opcode opcode () const override
 546   { return OP_AGGREGATE; }
 547 };
 548
 549 /* A component holding a vector of other components to assign.  */
 550 class ada_aggregate_component : public ada_component
 551 {
 552 public:
 553
 554   explicit ada_aggregate_component (std::vector<ada_component_up> &&components)
 555     : m_components (std::move (components))
 556   {
 557   }
 558
 559   void assign (struct value *container,
 560                struct value *lhs, struct expression *exp,
 561                std::vector<LONGEST> &indices,
 562                LONGEST low, LONGEST high) override;
 563
 564   bool uses_objfile (struct objfile *objfile) override;
 565
 566   void dump (ui_file *stream, int depth) override;
 567
 568 private:
 569
 570   std::vector<ada_component_up> m_components;
 571 };
 572
 573 /* A component that assigns according to a provided index (which is
 574    relative to the "low" value).  */
 575 class ada_positional_component : public ada_component
 576 {
 577 public:
 578
 579   ada_positional_component (int index, operation_up &&op)
 580     : m_index (index),
 581       m_op (std::move (op))
 582   {
 583   }
 584
 585   void assign (struct value *container,
 586                struct value *lhs, struct expression *exp,
 587                std::vector<LONGEST> &indices,
 588                LONGEST low, LONGEST high) override;
 589
 590   bool uses_objfile (struct objfile *objfile) override;
 591
 592   void dump (ui_file *stream, int depth) override;
 593
 594 private:
 595
 596   int m_index;
 597   operation_up m_op;
 598 };
 599
 600 /* A component which handles an "others" clause.  */
 601 class ada_others_component : public ada_component
 602 {
 603 public:
 604
 605   explicit ada_others_component (operation_up &&op)
 606     : m_op (std::move (op))
 607   {
 608   }
 609
 610   void assign (struct value *container,
 611                struct value *lhs, struct expression *exp,
 612                std::vector<LONGEST> &indices,
 613                LONGEST low, LONGEST high) override;
 614
 615   bool uses_objfile (struct objfile *objfile) override;
 616
 617   void dump (ui_file *stream, int depth) override;
 618
 619 private:
 620
 621   operation_up m_op;
 622 };
 623
 624 /* An interface that represents an association that is used in
 625    aggregate assignment.  */
 626 class ada_association
 627 {
 628 public:
 629
 630   /* Like ada_component::assign, but takes an operation as a
 631      parameter.  The operation is evaluated and then assigned into LHS
 632      according to the rules of the concrete implementation.  */
 633   virtual void assign (struct value *container,
 634                        struct value *lhs,
 635                        struct expression *exp,
 636                        std::vector<LONGEST> &indices,
 637                        LONGEST low, LONGEST high,
 638                        operation_up &op) = 0;
 639
 640   /* Same as operation::uses_objfile.  */
 641   virtual bool uses_objfile (struct objfile *objfile) = 0;
 642
 643   /* Same as operation::dump.  */
 644   virtual void dump (ui_file *stream, int depth) = 0;
 645
 646   virtual ~ada_association () = default;
 647
 648 protected:
 649
 650   ada_association () = default;
 651   DISABLE_COPY_AND_ASSIGN (ada_association);
 652 };
 653
 654 /* Unique pointer specialization for Ada assignment associations.  */
 655 typedef std::unique_ptr<ada_association> ada_association_up;
 656
 657 /* A component that holds a vector of associations and an operation.
 658    The operation is re-evaluated for each choice.  */
 659 class ada_choices_component : public ada_component
 660 {
 661 public:
 662
 663   explicit ada_choices_component (operation_up &&op)
 664     : m_op (std::move (op))
 665   {
 666   }
 667
 668   /* Set the vector of associations.  This is done separately from the
 669      constructor because it was simpler for the implementation of the
 670      parser.  */
 671   void set_associations (std::vector<ada_association_up> &&assoc)
 672   {
 673     m_assocs = std::move (assoc);
 674   }
 675
 676   void assign (struct value *container,
 677                struct value *lhs, struct expression *exp,
 678                std::vector<LONGEST> &indices,
 679                LONGEST low, LONGEST high) override;
 680
 681   bool uses_objfile (struct objfile *objfile) override;
 682
 683   void dump (ui_file *stream, int depth) override;
 684
 685 private:
 686
 687   std::vector<ada_association_up> m_assocs;
 688   operation_up m_op;
 689 };
 690
 691 /* An association that uses a discrete range.  */
 692 class ada_discrete_range_association : public ada_association
 693 {
 694 public:
 695
 696   ada_discrete_range_association (operation_up &&low, operation_up &&high)
 697     : m_low (std::move (low)),
 698       m_high (std::move (high))
 699   {
 700   }
 701
 702   void assign (struct value *container,
 703                struct value *lhs, struct expression *exp,
 704                std::vector<LONGEST> &indices,
 705                LONGEST low, LONGEST high,
 706                operation_up &op) override;
 707
 708   bool uses_objfile (struct objfile *objfile) override;
 709
 710   void dump (ui_file *stream, int depth) override;
 711
 712 private:
 713
 714   operation_up m_low;
 715   operation_up m_high;
 716 };
 717
 718 /* An association that uses a name.  The name may be an expression
 719    that evaluates to an integer (for arrays), or an Ada string or
 720    variable value operation.  */
 721 class ada_name_association : public ada_association
 722 {
 723 public:
 724
 725   explicit ada_name_association (operation_up val)
 726     : m_val (std::move (val))
 727   {
 728   }
 729
 730   void assign (struct value *container,
 731                struct value *lhs, struct expression *exp,
 732                std::vector<LONGEST> &indices,
 733                LONGEST low, LONGEST high,
 734                operation_up &op) override;
 735
 736   bool uses_objfile (struct objfile *objfile) override;
 737
 738   void dump (ui_file *stream, int depth) override;
 739
 740 private:
 741
 742   operation_up m_val;
 743 };
 744
 745 /* A character constant expression.  This is a separate operation so
 746    that it can participate in resolution, so that TYPE'(CST) can
 747    work correctly for enums with character enumerators.  */
 748 class ada_char_operation : public long_const_operation,
 749                            public ada_resolvable
 750 {
 751 public:
 752
 753   using long_const_operation::long_const_operation;
 754
 755   bool resolve (struct expression *exp,
 756                 bool deprocedure_p,
 757                 bool parse_completion,
 758                 innermost_block_tracker *tracker,
 759                 struct type *context_type) override
 760   {
 761     /* This should never be called, because this class also implements
 762        'replace'.  */
 763     gdb_assert_not_reached ("unexpected call");
 764   }
 765
 766   operation_up replace (operation_up &&owner,
 767                         struct expression *exp,
 768                         bool deprocedure_p,
 769                         bool parse_completion,
 770                         innermost_block_tracker *tracker,
 771                         struct type *context_type) override;
 772 };
 773
 774 } /* namespace expr */
 775
 776 #endif /* ADA_EXP_H */