1 /* Definitions for Fortran expressions
3 Copyright (C) 2020, 2021 Free Software Foundation, Inc.
5 This file is part of GDB.
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.
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.
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/>. */
25 extern struct value
*eval_op_f_abs (struct type
*expect_type
,
26 struct expression
*exp
,
28 enum exp_opcode opcode
,
30 extern struct value
*eval_op_f_mod (struct type
*expect_type
,
31 struct expression
*exp
,
33 enum exp_opcode opcode
,
34 struct value
*arg1
, struct value
*arg2
);
35 extern struct value
*eval_op_f_ceil (struct type
*expect_type
,
36 struct expression
*exp
,
38 enum exp_opcode opcode
,
40 extern struct value
*eval_op_f_floor (struct type
*expect_type
,
41 struct expression
*exp
,
43 enum exp_opcode opcode
,
45 extern struct value
*eval_op_f_modulo (struct type
*expect_type
,
46 struct expression
*exp
,
48 enum exp_opcode opcode
,
49 struct value
*arg1
, struct value
*arg2
);
50 extern struct value
*eval_op_f_cmplx (struct type
*expect_type
,
51 struct expression
*exp
,
53 enum exp_opcode opcode
,
54 struct value
*arg1
, struct value
*arg2
);
55 extern struct value
*eval_op_f_kind (struct type
*expect_type
,
56 struct expression
*exp
,
58 enum exp_opcode opcode
,
60 extern struct value
*eval_op_f_associated (struct type
*expect_type
,
61 struct expression
*exp
,
63 enum exp_opcode opcode
,
65 extern struct value
*eval_op_f_associated (struct type
*expect_type
,
66 struct expression
*exp
,
68 enum exp_opcode opcode
,
71 extern struct value
* eval_op_f_allocated (struct type
*expect_type
,
72 struct expression
*exp
,
77 /* Implement the evaluation of UNOP_FORTRAN_RANK. EXPECTED_TYPE, EXP, and
78 NOSIDE are as for expression::evaluate (see expression.h). OP will
79 always be UNOP_FORTRAN_RANK, and ARG1 is the argument being passed to
82 extern struct value
*eval_op_f_rank (struct type
*expect_type
,
83 struct expression
*exp
,
88 /* Implement expression evaluation for Fortran's SIZE keyword. For
89 EXPECT_TYPE, EXP, and NOSIDE see expression::evaluate (in
90 expression.h). OP will always for FORTRAN_ARRAY_SIZE. ARG1 is the
91 value passed to SIZE if it is only passed a single argument. For the
92 two argument form see the overload of this function below. */
94 extern struct value
*eval_op_f_array_size (struct type
*expect_type
,
95 struct expression
*exp
,
97 enum exp_opcode opcode
,
100 /* An overload of EVAL_OP_F_ARRAY_SIZE above, this version takes two
101 arguments, representing the two values passed to Fortran's SIZE
104 extern struct value
*eval_op_f_array_size (struct type
*expect_type
,
105 struct expression
*exp
,
107 enum exp_opcode opcode
,
115 using fortran_abs_operation
= unop_operation
<UNOP_ABS
, eval_op_f_abs
>;
116 using fortran_ceil_operation
= unop_operation
<UNOP_FORTRAN_CEILING
,
118 using fortran_floor_operation
= unop_operation
<UNOP_FORTRAN_FLOOR
,
120 using fortran_kind_operation
= unop_operation
<UNOP_FORTRAN_KIND
,
122 using fortran_allocated_operation
= unop_operation
<UNOP_FORTRAN_ALLOCATED
,
123 eval_op_f_allocated
>;
125 using fortran_mod_operation
= binop_operation
<BINOP_MOD
, eval_op_f_mod
>;
126 using fortran_modulo_operation
= binop_operation
<BINOP_FORTRAN_MODULO
,
128 using fortran_associated_1arg
= unop_operation
<FORTRAN_ASSOCIATED
,
129 eval_op_f_associated
>;
130 using fortran_associated_2arg
= binop_operation
<FORTRAN_ASSOCIATED
,
131 eval_op_f_associated
>;
132 using fortran_rank_operation
= unop_operation
<UNOP_FORTRAN_RANK
,
134 using fortran_array_size_1arg
= unop_operation
<FORTRAN_ARRAY_SIZE
,
135 eval_op_f_array_size
>;
136 using fortran_array_size_2arg
= binop_operation
<FORTRAN_ARRAY_SIZE
,
137 eval_op_f_array_size
>;
139 /* The Fortran "complex" operation. */
140 class fortran_cmplx_operation
141 : public tuple_holding_operation
<operation_up
, operation_up
>
145 using tuple_holding_operation::tuple_holding_operation
;
147 value
*evaluate (struct type
*expect_type
,
148 struct expression
*exp
,
149 enum noside noside
) override
151 value
*arg1
= std::get
<0> (m_storage
)->evaluate (nullptr, exp
, noside
);
152 value
*arg2
= std::get
<1> (m_storage
)->evaluate (value_type (arg1
),
154 return eval_op_f_cmplx (expect_type
, exp
, noside
, BINOP_FORTRAN_CMPLX
,
158 enum exp_opcode
opcode () const override
159 { return BINOP_FORTRAN_CMPLX
; }
162 /* OP_RANGE for Fortran. */
163 class fortran_range_operation
164 : public tuple_holding_operation
<enum range_flag
, operation_up
, operation_up
,
169 using tuple_holding_operation::tuple_holding_operation
;
171 value
*evaluate (struct type
*expect_type
,
172 struct expression
*exp
,
173 enum noside noside
) override
175 error (_("ranges not allowed in this context"));
178 range_flag
get_flags () const
180 return std::get
<0> (m_storage
);
183 value
*evaluate0 (struct expression
*exp
, enum noside noside
) const
185 return std::get
<1> (m_storage
)->evaluate (nullptr, exp
, noside
);
188 value
*evaluate1 (struct expression
*exp
, enum noside noside
) const
190 return std::get
<2> (m_storage
)->evaluate (nullptr, exp
, noside
);
193 value
*evaluate2 (struct expression
*exp
, enum noside noside
) const
195 return std::get
<3> (m_storage
)->evaluate (nullptr, exp
, noside
);
198 enum exp_opcode
opcode () const override
202 /* In F77, functions, substring ops and array subscript operations
203 cannot be disambiguated at parse time. This operation handles
204 both, deciding which do to at evaluation time. */
205 class fortran_undetermined
206 : public tuple_holding_operation
<operation_up
, std::vector
<operation_up
>>
210 using tuple_holding_operation::tuple_holding_operation
;
212 value
*evaluate (struct type
*expect_type
,
213 struct expression
*exp
,
214 enum noside noside
) override
;
216 enum exp_opcode
opcode () const override
217 { return OP_F77_UNDETERMINED_ARGLIST
; }
221 value
*value_subarray (value
*array
, struct expression
*exp
,
225 /* Single-argument form of Fortran ubound/lbound intrinsics. */
226 class fortran_bound_1arg
227 : public tuple_holding_operation
<exp_opcode
, operation_up
>
231 using tuple_holding_operation::tuple_holding_operation
;
233 value
*evaluate (struct type
*expect_type
,
234 struct expression
*exp
,
235 enum noside noside
) override
;
237 enum exp_opcode
opcode () const override
238 { return std::get
<0> (m_storage
); }
241 /* Two-argument form of Fortran ubound/lbound intrinsics. */
242 class fortran_bound_2arg
243 : public tuple_holding_operation
<exp_opcode
, operation_up
, operation_up
>
247 using tuple_holding_operation::tuple_holding_operation
;
249 value
*evaluate (struct type
*expect_type
,
250 struct expression
*exp
,
251 enum noside noside
) override
;
253 enum exp_opcode
opcode () const override
254 { return std::get
<0> (m_storage
); }
257 } /* namespace expr */
259 #endif /* FORTRAN_EXP_H */