- /* X IN A'RANGE(N). N is an immediate operand, surrounded by
- BINOP_IN_BOUNDS before and after. A is an array, X an index
- value. Evaluates to true iff X is within range of the Nth
- dimension (1-based) of A. (A multi-dimensional array
- type is represented as array of array of ...) */
- BINOP_IN_BOUNDS = OP_EXTENDED0,
-
- /* X IN L .. U. True iff L <= X <= U. */
- TERNOP_IN_RANGE,
-
- /* Ada attributes ('Foo). */
- OP_ATR_FIRST,
- OP_ATR_LAST,
- OP_ATR_LENGTH,
- OP_ATR_IMAGE,
- OP_ATR_MAX,
- OP_ATR_MIN,
- OP_ATR_MODULUS,
- OP_ATR_POS,
- OP_ATR_SIZE,
- OP_ATR_TAG,
- OP_ATR_VAL,
-
- /* Ada type qualification. It is encoded as for UNOP_CAST, above,
- and denotes the TYPE'(EXPR) construct. */
- UNOP_QUAL,
-
- /* X IN TYPE. The `TYPE' argument is immediate, with
- UNOP_IN_RANGE before and after it. True iff X is a member of
- type TYPE (typically a subrange). */
- UNOP_IN_RANGE,
-
- /* End marker */
- OP_ADA_LAST
+ /* Indicates a symbol that does not encode a renaming. */
+ ADA_NOT_RENAMING,
+
+ /* For symbols declared
+ Foo : TYPE renamed OBJECT; */
+ ADA_OBJECT_RENAMING,
+
+ /* For symbols declared
+ Foo : exception renames EXCEPTION; */
+ ADA_EXCEPTION_RENAMING,
+ /* For packages declared
+ package Foo renames PACKAGE; */
+ ADA_PACKAGE_RENAMING,
+ /* For subprograms declared
+ SUBPROGRAM_SPEC renames SUBPROGRAM;
+ (Currently not used). */
+ ADA_SUBPROGRAM_RENAMING