// This may look like C, but it's really -*- C++ -*- /* COPYRIGHT Copyright 1992, 1993, 1994 Sun Microsystems, Inc. Printed in the United States of America. All Rights Reserved. This product is protected by copyright and distributed under the following license restricting its use. The Interface Definition Language Compiler Front End (CFE) is made available for your use provided that you include this license and copyright notice on all media and documentation and the software program in which this product is incorporated in whole or part. You may copy and extend functionality (but may not remove functionality) of the Interface Definition Language CFE without charge, but you are not authorized to license or distribute it to anyone else except as part of a product or program developed by you or with the express written consent of Sun Microsystems, Inc. ("Sun"). The names of Sun Microsystems, Inc. and any of its subsidiaries or affiliates may not be used in advertising or publicity pertaining to distribution of Interface Definition Language CFE as permitted herein. This license is effective until terminated by Sun for failure to comply with this license. Upon termination, you shall destroy or return all code and documentation for the Interface Definition Language CFE. INTERFACE DEFINITION LANGUAGE CFE IS PROVIDED AS IS WITH NO WARRANTIES OF ANY KIND INCLUDING THE WARRANTIES OF DESIGN, MERCHANTIBILITY AND FITNESS FOR A PARTICULAR PURPOSE, NONINFRINGEMENT, OR ARISING FROM A COURSE OF DEALING, USAGE OR TRADE PRACTICE. INTERFACE DEFINITION LANGUAGE CFE IS PROVIDED WITH NO SUPPORT AND WITHOUT ANY OBLIGATION ON THE PART OF Sun OR ANY OF ITS SUBSIDIARIES OR AFFILIATES TO ASSIST IN ITS USE, CORRECTION, MODIFICATION OR ENHANCEMENT. SUN OR ANY OF ITS SUBSIDIARIES OR AFFILIATES SHALL HAVE NO LIABILITY WITH RESPECT TO THE INFRINGEMENT OF COPYRIGHTS, TRADE SECRETS OR ANY PATENTS BY INTERFACE DEFINITION LANGUAGE CFE OR ANY PART THEREOF. IN NO EVENT WILL SUN OR ANY OF ITS SUBSIDIARIES OR AFFILIATES BE LIABLE FOR ANY LOST REVENUE OR PROFITS OR OTHER SPECIAL, INDIRECT AND CONSEQUENTIAL DAMAGES, EVEN IF SUN HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES. Use, duplication, or disclosure by the government is subject to restrictions as set forth in subparagraph (c)(1)(ii) of the Rights in Technical Data and Computer Software clause at DFARS 252.227-7013 and FAR 52.227-19. Sun, Sun Microsystems and the Sun logo are trademarks or registered trademarks of Sun Microsystems, Inc. SunSoft, Inc. 2550 Garcia Avenue Mountain View, California 94043 NOTE: SunOS, SunSoft, Sun, Solaris, Sun Microsystems or the Sun logo are trademarks or registered trademarks of Sun Microsystems, Inc. */ #ifndef _AST_EXPRESSION_AST_EXPRESSION_HH #define _AST_EXPRESSION_AST_EXPRESSION_HH #include "ace/CDR_Stream.h" #include "utl_scoped_name.h" class UTL_String; class UTL_Scope; class ast_visitor; class AST_Decl; class AST_Param_Holder; class AST_Enum; // Representation of expression values. // An expression (and maybe its value, if computed). class TAO_IDL_FE_Export AST_Expression { public: // Enum to define all the different operators to combine expressions. enum ExprComb { EC_add // '+' , EC_minus // '-' , EC_mul // '*' , EC_div // '/' , EC_mod // '%' , EC_or // '|' , EC_xor // '^' , EC_and // '&' , EC_left // '<<' , EC_right // '>>' , EC_u_plus // unary '+' , EC_u_minus // unary '-' , EC_bit_neg // '~' , EC_none // No operator (missing). , EC_symbol // A symbol (function or constant name). }; // Enum to define the different kinds of evaluation possible // Extend this for more kinds of evaluation as required. enum EvalKind { EK_const // Must evaluate to constant. , EK_positive_int // Must evaluate to positive integer. // @@ (JP) I added these to get the ~ operator to work with all the // relevant aritmetic types, but eventually, we should get rid of // this whole enum. , EK_bool , EK_short , EK_ushort , EK_long , EK_ulong , EK_longlong , EK_ulonglong , EK_octet , EK_floating_point , EK_fixed_point }; // Enum to define expression type. enum ExprType { EV_short // Expression value is short. , EV_ushort // Expression value is unsigned short. , EV_long // Expression value is long. , EV_ulong // Expression value is unsigned long. , EV_longlong // Expression value is long long. , EV_ulonglong // Expression value is unsigned long long. , EV_float // Expression value is 32-bit float. , EV_double // Expression value is 64-bit float. , EV_longdouble // Expression value is 128-bit float. , EV_char // Expression value is char. , EV_wchar // Expression value is wide char. , EV_octet // Expression value is unsigned char. , EV_bool // Expression value is boolean. , EV_string // Expression value is char *. , EV_wstring // Expression value is wide string. , EV_enum // Expression value is from an enum. // CORBA::Any and CORBA::Object are constructed in the parser first as // expression values, then looked up by name to get the // AST_PredefinedType entry. This is so the grammar non-terminals // integer_type, float_type, bool_type, etc. can also be expression // values in order to serve double duty -- as productions of const_type // and also (along with object_type) as productions of base_type_spec, // as found in the OMG IDL grammar specification. , EV_any // Used for CORBA::Any operation parameters , EV_object // Used for CORBA::Object parameters , EV_fixed , EV_void // Expression value is void (absent). , EV_none // Expression value is missing. }; // Structure to describe value of constant expression and its type. struct AST_ExprValue { AST_ExprValue (); union { ACE_CDR::Short sval; // Contains short expression value. ACE_CDR::UShort usval; // Contains unsigned short expr value. ACE_CDR::Long lval; // Contains long expression value. ACE_CDR::ULong ulval; // Contains unsigned long expr value. ACE_CDR::Boolean bval; // Contains boolean expression value. ACE_CDR::LongLong llval; // Contains long long expr value. ACE_CDR::ULongLong ullval; // Contains unsigned long long expr value. ACE_CDR::Float fval; // Contains 32-bit float expr value. ACE_CDR::Double dval; // Contains 64-bit float expr value. ACE_CDR::Char cval; // Contains char expression value. ACE_CDR::WChar wcval; // Contains wchar expression value. ACE_CDR::Octet oval; // Contains octet expr value. UTL_String *strval; // Contains String * expr value. char *wstrval; // Contains wide string expr value. ACE_CDR::ULong eval; // Contains enumeration value. ACE_CDR::Fixed fixedval; // Contains IDL fixed value. } u; ExprType et; }; // Operations. // Constructor(s). AST_Expression (AST_Expression *v, ExprType t); AST_Expression (ExprComb c, AST_Expression *v1, AST_Expression *v2); AST_Expression (ACE_CDR::Short s); AST_Expression (ACE_CDR::UShort us); AST_Expression (ACE_CDR::Long l); AST_Expression (ACE_CDR::LongLong ll); AST_Expression (ACE_CDR::Boolean b); AST_Expression (ACE_CDR::ULong ul); AST_Expression (ACE_CDR::ULongLong ull); AST_Expression (ACE_CDR::ULong, ExprType t); AST_Expression (ACE_CDR::Float f); AST_Expression (ACE_CDR::Double d); AST_Expression (ACE_CDR::Char c); AST_Expression (ACE_OutputCDR::from_wchar wc); AST_Expression (ACE_CDR::Octet o); AST_Expression (UTL_String *s); AST_Expression (char *s); AST_Expression (UTL_ScopedName *n); AST_Expression (const ACE_CDR::Fixed &f); // Destructor. virtual ~AST_Expression (); // Data Accessors. UTL_Scope *defined_in (); void set_defined_in (UTL_Scope *d); long line (); void set_line (long l); UTL_String *file_name (); void set_file_name (UTL_String *f); ExprComb ec (); AST_ExprValue *ev (); void set_ev (AST_ExprValue *new_ev); AST_Expression *v1 (); void set_v1 (AST_Expression *e); AST_Expression *v2 (); void set_v2 (AST_Expression *e); UTL_ScopedName *n (); void set_n (UTL_ScopedName *new_n); // AST Dumping. virtual void dump (ACE_OSTREAM_TYPE &o); // Visiting. virtual int ast_accept (ast_visitor *visitor); // Cleanup. virtual void destroy (); // Other operations. // Evaluation and value coercion. AST_ExprValue *coerce (ExprType t); // Top-level method, called only from yy_parse. AST_ExprValue *check_and_coerce (ExprType t, AST_Decl *d); // Evaluate then store value inside this AST_Expression. void evaluate (EvalKind ek); // Compare two AST_Expressions. bool operator== (AST_Expression *vc); long compare (AST_Expression *vc); // Accessor for the member. AST_Decl *get_tdef () const; // Accessor for the member. AST_Param_Holder *param_holder () const; static const char *exprtype_to_string (ExprType t); /// Pointer to enum of this value if applicable ///{ AST_Enum *enum_parent (); void enum_parent (AST_Enum *node); ///} protected: // Evaluate different sets of operators. AST_ExprValue *eval_bin_op (EvalKind ek); AST_ExprValue *eval_mod_op (EvalKind ek); AST_ExprValue *eval_bit_op (EvalKind ek); AST_ExprValue *eval_un_op (EvalKind ek); AST_ExprValue *eval_symbol (EvalKind ek); bool type_mismatch (ExprType et); private: UTL_Scope *pd_defined_in; // Scope. long pd_line; // Line defined in. UTL_String *pd_file_name; // What file defined in. ExprComb pd_ec; // What combinator. AST_ExprValue *pd_ev; // Computed value. AST_Expression *pd_v1; // 1st sub-expression. AST_Expression *pd_v2; // 2nd sub-expression. UTL_ScopedName *pd_n; // Symbolic name (if any). AST_Decl *tdef; // Propagates aliased constant type. AST_Param_Holder *param_holder_; // Non-zero if we were created from a reference template param. // Fill out the lineno, filename and definition scope details. void fill_definition_details (); // Internal evaluation. virtual AST_ExprValue *eval_internal (EvalKind ek); /// Pointer to enum of this value if applicable AST_Enum *enum_parent_; }; #endif // _AST_EXPR_VAL_AST_EXPR_VAL_HH