// $Id$ /* 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 _IDL_IDL_GLOBAL_HH #define _IDL_IDL_GLOBAL_HH // May of them could be forward declared.. #include "ace/SString.h" #include "ace/Hash_Map_Manager_T.h" #include "ace/Containers_T.h" #include "ace/Synch_Traits.h" #include "ace/Null_Mutex.h" #include "idl_bool.h" #include "ast_expression.h" #include "ast_predefined_type.h" #include "ast_component.h" #include "utl_stack.h" class AST_Root; class AST_Generator; class UTL_Error; class UTL_String; class UTL_Indenter; // idl_global.hh // // Defines a class containing all front end global data. class TAO_IDL_FE_Export IDL_GlobalData { public: // Types // The ParseState type encodes the state of the Yacc parser so that // better error messages can be produced, and for use by BEs in situations // where context sensitive behavior is required enum ParseState { PS_NoState // No state , PS_TypeDeclSeen // Seen complete type declaration , PS_TypeIdDeclSeen // Seen complete typeId declaration , PS_TypePrefixDeclSeen // Seen complete type_prefix declaration , PS_ConstDeclSeen // Seen complete const declaration , PS_ExceptDeclSeen // Seen complete exception declaration , PS_InterfaceDeclSeen // Seen complete interface declaration , PS_ModuleDeclSeen // Seen complete module declaration , PS_ValueTypeDeclSeen // Seen complete valuetype declaration , PS_ComponentDeclSeen // Seen complete component declaration , PS_HomeDeclSeen // Seen complete home declaration , PS_EventDeclSeen // Seen complete eventtype declartion , PS_AttrDeclSeen // Seen complete attribute declaration , PS_OpDeclSeen // Seen complete operation declaration , PS_ProvidesDeclSeen // Seen complete privides declaration , PS_UsesDeclSeen // Seen complete uses declaration , PS_EmitsDeclSeen // Seen complete emits declaration , PS_PublishesDeclSeen // Seen complete publishes declaration , PS_FactoryDeclSeen // Seen complete factory declaration , PS_FinderDeclSeen // Seen complete finder declaration , PS_ConsumesDeclSeen // Seen complete subscribes declaration , PS_ModuleSeen // Seen a MODULE keyword , PS_ModuleIDSeen // Seen the module ID , PS_ModuleSqSeen // '{' seen for module , PS_ModuleQsSeen // '}' seen for module , PS_ModuleBodySeen // Seen complete module body , PS_InheritColonSeen // Seen ':' in inheritance list , PS_InheritSpecSeen // Seen a complete inheritance spec , PS_SupportSpecSeen // Seen a complete supports spec , PS_ManagesSeen // Seen a MANAGES keyword , PS_ManagesIDSeen // Seen the scoped name referred to by MANAGES , PS_PrimaryKeySpecSeen // Seen a complete primary key spec , PS_InterfaceSeen // Seen an INTERFACE keyword , PS_InterfaceIDSeen // Seen the interface ID , PS_InterfaceForwardSeen // Forward interface decl seen , PS_InterfaceSqSeen // '{' seen for interface , PS_InterfaceQsSeen // '}' seen for interface , PS_InterfaceBodySeen // Seen an interface body , PS_ValueTypeSeen // Seen a VALUETYPE keyword , PS_ValueTypeForwardSeen // Forward valuetype decl seen , PS_ValueTypeIDSeen // Seen the valuetype ID , PS_ValueTypeSqSeen // '{' seen for value type , PS_ValueTypeQsSeen // '}' seen for value type , PS_ValueTypeBodySeen // Seen a value type body , PS_EventTypeSeen // Seen a EVENTTYPE keyword , PS_EventTypeForwardSeen // Forward eventtype decl seen , PS_EventTypeIDSeen // Seen the eventtype ID , PS_EventTypeSqSeen // '{' seen for event type , PS_EventTypeQsSeen // '}' seen for event type , PS_EventTypeBodySeen // Seen a event type body , PS_ComponentSeen // Seen a component declaration , PS_ComponentIDSeen // Seen the component ID , PS_ComponentForwardSeen // Seen a forward declaration of a component , PS_ComponentSqSeen // '{' seen for component , PS_ComponentQsSeen // '}' seen for component , PS_ComponentBodySeen // Seen a component body , PS_HomeSeen // Seen a home declaration , PS_HomeIDSeen // Seen the home ID , PS_HomeSqSeen // '{' seen for home , PS_HomeQsSeen // '}' seen for home , PS_HomeBodySeen // Seen a home body , PS_SNListCommaSeen // Seen ',' in list of scoped names , PS_ScopedNameSeen // Seen a complete scoped name , PS_SN_IDSeen // Seen an identifier as part of a scoped name , PS_ScopeDelimSeen // Seen a scope delim as party of a scoped name , PS_ConstSeen // Seen a CONST keyword , PS_ConstTypeSeen // Parsed the type of a constant , PS_ConstIDSeen // Seen the constant ID , PS_ConstAssignSeen // Seen the '=' , PS_ConstExprSeen // Seen the constant value expression , PS_TypedefSeen // Seen a TYPEDEF keyword , PS_TypeSpecSeen // Seen a complete type specification , PS_DeclaratorsSeen // Seen a complete list of declarators , PS_StructSeen // Seen a STRUCT keyword , PS_StructIDSeen // Seen the struct ID , PS_StructSqSeen // '{' seen for struct , PS_StructQsSeen // '}' seen for struct , PS_StructBodySeen // Seen complete body of struct decl , PS_StructForwardSeen // Forward struct decl seen , PS_MemberTypeSeen // Seen type of struct or except member , PS_MemberDeclsSeen // Seen decls of struct or except members , PS_MemberDeclsCompleted // Completed one struct or except member to ';' , PS_UnionSeen // Seen a UNION keyword , PS_UnionIDSeen // Seen the union ID , PS_UnionForwardSeen // Forward union decl seen , PS_SwitchSeen // Seen the SWITCH keyword , PS_SwitchOpenParSeen // Seen the switch open par. , PS_SwitchTypeSeen // Seen the switch type spec , PS_SwitchCloseParSeen // Seen the switch close par. , PS_UnionSqSeen // '{' seen for union , PS_UnionQsSeen // '}' seen for union , PS_DefaultSeen // Seen DEFAULT keyword , PS_UnionLabelSeen // Seen label of union element , PS_LabelColonSeen // Seen ':' of union branch label , PS_LabelExprSeen // Seen expression of union branch label , PS_UnionElemSeen // Seen a union element , PS_UnionElemCompleted // Completed one union member up to ';' , PS_CaseSeen // Seen a CASE keyword , PS_UnionElemTypeSeen // Seen type spec for union element , PS_UnionElemDeclSeen // Seen declarator for union element , PS_UnionBodySeen // Seen completed union body , PS_EnumSeen // Seen an ENUM keyword , PS_EnumIDSeen // Seen the enum ID , PS_EnumSqSeen // Seen '{' for enum , PS_EnumQsSeen // Seen '}' for enum , PS_EnumBodySeen // Seen complete enum body , PS_EnumCommaSeen // Seen ',' in list of enumerators , PS_SequenceSeen // Seen a SEQUENCE keyword , PS_SequenceSqSeen // Seen '<' for sequence , PS_SequenceQsSeen // Seen '>' for sequence , PS_SequenceTypeSeen // Seen type decl for sequence , PS_SequenceCommaSeen // Seen comma for sequence , PS_SequenceExprSeen // Seen size expression for sequence , PS_StringSeen // Seen a STRING keyword , PS_StringSqSeen // Seen '<' for string , PS_StringQsSeen // Seen '>' for string , PS_StringExprSeen // Seen size expression for string , PS_StringCompleted // Seen a string decl without size spec , PS_ArrayIDSeen // Seen array ID , PS_ArrayCompleted // Seen completed array declaration , PS_DimSqSeen // Seen '[' for array dimension , PS_DimQsSeen // Seen ']' for array dimension , PS_DimExprSeen // Seen size expression for array dimension , PS_AttrROSeen // Seen READONLY keyword , PS_AttrSeen // Seen ATTRIBUTE keyword , PS_AttrTypeSeen // Seen type decl for attribute , PS_AttrDeclsSeen // Seen declarators for attribute , PS_AttrCompleted // Seen complete attribute declaration , PS_ExceptSeen // Seen EXCEPTION keyword , PS_ExceptIDSeen // Seen exception identifier , PS_ExceptSqSeen // Seen '{' for exception , PS_ExceptQsSeen // Seen '}' for exception , PS_ExceptBodySeen // Seen complete exception body , PS_OpAttrSeen // Seen operation attribute , PS_OpTypeSeen // Seen operation return type , PS_OpIDSeen // Seen operation ID , PS_OpParsCompleted // Completed operation param list , PS_OpRaiseCompleted // Completed operation except list , PS_OpGetRaiseCompleted // Completed attribute get except list , PS_OpSetRaiseCompleted // Completed attribute set except list , PS_OpContextCompleted // Completed operation context spec , PS_OpCompleted // Completed operation statement , PS_OpSqSeen // Seen '(' for operation , PS_OpQsSeen // Seen ')' for operation , PS_OpParCommaSeen // Seen ',' in list of op params , PS_OpParDirSeen // Seen parameter direction , PS_OpParTypeSeen // Seen parameter type , PS_OpParDeclSeen // Seen parameter declaration , PS_OpRaiseSeen // Seen RAISES keyword , PS_OpRaiseSqSeen // Seen '(' for RAISES , PS_OpRaiseQsSeen // Seen ')' for RAISES , PS_OpGetRaiseSeen // Seen GETRAISES keyword , PS_OpGetRaiseSqSeen // Seen '(' for GETRAISES , PS_OpGetRaiseQsSeen // Seen ')' for GETRAISES , PS_OpSetRaiseSeen // Seen SETRAISES keyword , PS_OpSetRaiseSqSeen // Seen '(' for SETRAISES , PS_OpSetRaiseQsSeen // Seen ')' for SETRAISES , PS_OpContextSeen // Seen CONTEXT keyword , PS_OpContextSqSeen // Seen '(' for CONTEXT , PS_OpContextQsSeen // Seen ')' for CONTEXT , PS_OpContextCommaSeen // Seen ',' for CONTEXT , PS_DeclsCommaSeen // Seen ',' in declarators list , PS_DeclsDeclSeen // Seen complete decl in decls list , PS_NativeSeen // Seen a native declaration , PS_PragmaPrefixSyntax // Could not parse the #pragma prefix }; // 64-bit vector of flags for types of declarations seen while parsing. ACE_UINT64 decls_seen_info_; // Holds the masks to set and get in the above bit vector. struct dsf { dsf (void); ACE_UINT64 interface_seen_; ACE_UINT64 valuetype_seen_; ACE_UINT64 abstract_iface_seen_; ACE_UINT64 local_iface_seen_; ACE_UINT64 non_local_iface_seen_; ACE_UINT64 fwd_iface_seen_; ACE_UINT64 fwd_valuetype_seen_; ACE_UINT64 basic_type_seen_; ACE_UINT64 ambiguous_type_seen_; ACE_UINT64 enum_seen_; ACE_UINT64 string_seen_; ACE_UINT64 array_seen_; ACE_UINT64 aggregate_seen_; ACE_UINT64 union_seen_; ACE_UINT64 exception_seen_; ACE_UINT64 operation_seen_; ACE_UINT64 non_local_op_seen_; ACE_UINT64 typecode_seen_; ACE_UINT64 any_seen_; ACE_UINT64 parametermode_seen_; ACE_UINT64 base_object_seen_; ACE_UINT64 valuefactory_seen_; ACE_UINT64 valuebase_seen_; ACE_UINT64 seq_seen_; ACE_UINT64 iface_seq_seen_; ACE_UINT64 vt_seq_seen_; ACE_UINT64 array_seq_seen_; ACE_UINT64 pseudo_seq_seen_; ACE_UINT64 string_seq_seen_; ACE_UINT64 wstring_seq_seen_; ACE_UINT64 octet_seq_seen_; ACE_UINT64 boolean_seq_seen_; ACE_UINT64 char_seq_seen_; ACE_UINT64 wchar_seq_seen_; ACE_UINT64 short_seq_seen_; ACE_UINT64 ushort_seq_seen_; ACE_UINT64 long_seq_seen_; ACE_UINT64 ulong_seq_seen_; ACE_UINT64 longlong_seq_seen_; ACE_UINT64 ulonglong_seq_seen_; ACE_UINT64 float_seq_seen_; ACE_UINT64 double_seq_seen_; ACE_UINT64 longdouble_seq_seen_; ACE_UINT64 any_seq_seen_; ACE_UINT64 basic_arg_seen_; ACE_UINT64 bd_string_arg_seen_; ACE_UINT64 fixed_array_arg_seen_; ACE_UINT64 fixed_size_arg_seen_; ACE_UINT64 object_arg_seen_; ACE_UINT64 special_basic_arg_seen_; ACE_UINT64 ub_string_arg_seen_; ACE_UINT64 var_array_arg_seen_; ACE_UINT64 var_size_arg_seen_; } decls_seen_masks; // Constructor IDL_GlobalData (void); // Destructor virtual ~IDL_GlobalData (void); // Operations virtual UTL_ScopeStack &scopes (void); // Scopes stack virtual AST_Root *root (void); // Root of AST virtual void set_root (AST_Root *); // Set it virtual AST_Generator *gen (void); // Generator virtual void set_gen (AST_Generator *); // Set it virtual UTL_Error *err (void); // Error reporter virtual void set_err (UTL_Error *); // Set it virtual long err_count (void); // How many errors? virtual void set_err_count (long); // Set it virtual long lineno (void); // Where in file? virtual void set_lineno (long); // Set it virtual UTL_String *filename (void); // What file? virtual void set_filename (UTL_String *); // Set it virtual UTL_String *main_filename (void); // What's the main // file name? virtual void set_main_filename (UTL_String *); // Set it virtual UTL_String *real_filename (void); // What's the real // file name? virtual void set_real_filename (UTL_String *); // Set it virtual UTL_String *stripped_filename (void); // Stripped filename virtual void set_stripped_filename (UTL_String *); // Set it virtual idl_bool imported (void); // Are we imported? virtual idl_bool import (void); // Is import on? virtual void set_import (idl_bool); // Set it virtual idl_bool in_main_file (void); // Are we? virtual void set_in_main_file (idl_bool); // Set it virtual const char *prog_name (void); // Invoked as.. virtual void set_prog_name (const char *); // Set it virtual const char *cpp_location (void); // Where's CPP? virtual void set_cpp_location (const char *);// Set it virtual long compile_flags (void); // What flags are on? virtual void set_compile_flags (long); // Turn some on or off virtual char *local_escapes (void); // Get local escapes virtual void set_local_escapes (const char *);// Set it virtual UTL_Indenter *indent (void); // Get indenter virtual void set_indent (UTL_Indenter *); // Set it virtual void store_include_file_name (UTL_String *); virtual UTL_String **include_file_names (void); // Array of file names virtual void set_include_file_names (UTL_String **); // Set it virtual unsigned long n_include_file_names (void); // How many virtual void set_n_include_file_names (unsigned long n); // = Access methods to deal with other IDL files included in the main // IDL file. These IDL files are exactly the same strings that are // "#include"d in the main IDL file, not the ones after CC // preprocessor parsed the file. // Just storing the pointer. No memory will be allocated. virtual void add_to_included_idl_files (char* file_name); // Get all the files. virtual char** included_idl_files (void); // The number of currently availabe include files. virtual size_t n_included_idl_files (void); // Set the number of included_idl_files. Use this carefully. This // method is used when we validate all the #included idl files, // against the ones that we get after preprocessing. virtual void n_included_idl_files (size_t n); // Validate the included idl files, somefiles might have been // ignored by the preprocessor. virtual void validate_included_idl_files (void); virtual ParseState parse_state (void); // What state we're in virtual void set_parse_state (ParseState s); // Set it // Convert from a predefined type to an expression type virtual AST_Expression::ExprType PredefinedTypeToExprType (AST_PredefinedType::PredefinedType); virtual UTL_String *idl_src_file (void); // Returns the IDL source file being compiled. virtual void idl_src_file (UTL_String *); // Set the source IDL file that is being parsed. virtual void temp_dir (const char *s); // Set the directory where the IDL compiler can keep all its temp // files. By default, IDL compiler looks for TEMP env variable and // if it is not set, "/tmp/" is assigned. virtual const char *temp_dir (void) const; // Get the directory where the IDL compiler can keep all its temp // files. By default, IDL compiler looks for TEMP env variable and // if it is not set, "/tmp/" is assigned. virtual void tao_root (const char *s); // Set the path of TAO_ROOT. virtual const char *tao_root (void) const; // Get the path for TAO_ROOT. virtual void gperf_path (const char *s); // Set the path for the perfect hashing program (GPERF). virtual const char *gperf_path (void) const; // Get the path for the perfect hashing program (GPERF). virtual void ident_string (const char *s); // Set the value of the #ident string. virtual const char *ident_string (void) const; // Get the value of the #ident string. virtual void obv_support (idl_bool); // set enable/disable OBV (Valuetype) support virtual idl_bool obv_support (void); // check if OBV (Valuetype) support is enabled virtual void case_diff_error (idl_bool); // report an error (1) for indentifiers in the same scope // that differ only by case, or report a warning (0). virtual idl_bool case_diff_error (void); // are we strict about case-only differences or not? virtual void nest_orb (idl_bool); // Set on or off whether we are using the NEST ORB. virtual idl_bool nest_orb (void); // are we beIng used with the NEST ORB? virtual void destroy (void); // Cleanup function. virtual void append_idl_flag (const char *s); // Save each flag passed to the IDL compiler. virtual const char *idl_flags (void) const; // Get a string representation of the flags passed to the idl compiler. ACE_Hash_Map_Manager & idl_keywords (void); // Accessor for the IDL keyword container. ACE_Unbounded_Stack & pragma_prefixes (void); // Accessor for the pragma prefix container. void update_prefix (char *filename); // Do repo id prefix bookkeeping when the file changes. UTL_ScopedName *string_to_scoped_name (char *s); // Parses a string with double colons. long seen_include_file_before (char *); // Seen this include before? long last_seen_index (void) const; void last_seen_index (long val); // Accessors for last_seen_index_ member. idl_bool repeat_include (void) const; void repeat_include (idl_bool val); // Accessors for repeat_include_ member. const char *stripped_preproc_include (const char *name); // Takes an #include filename generated by the preprocessor, and // strips off any command line -I prefix that may have been // prepended. virtual idl_bool preserve_cpp_keywords (void); // Whether we should not mung idl element names that are // C++ keywords e.g. delete, operator etc. with _cxx_ prefix. // Should be true when being used by the IFR Service virtual void preserve_cpp_keywords (idl_bool); // Set whether we should not mung idl element names that are C++ // keywords e.g. delete, operator etc. with _cxx_ prefix. // Is set by the IFR Service. void add_include_path (const char *s); // Add another path to 'include_paths_'. ACE_Hash_Map_Manager & file_prefixes (void); // Accessor for the IDL keyword container. void create_uses_multiple_stuff (AST_Component *c, AST_Component::port_description &pd); // We must do this in the front end since the executor // mapping IDL will have these data types. int check_gperf (void); // Currently called only from IDL backend, but could be useful elsewhere. void fini (void); // Do final cleanup just before process exits. private: // Data UTL_ScopeStack pd_scopes; // Store scopes stack AST_Root *pd_root; // Store AST root AST_Generator *pd_gen; // Store generator UTL_Error *pd_err; // Error object long pd_err_count; // Count of errors long pd_lineno; // What line # UTL_String *pd_filename; // What file UTL_String *pd_main_filename; // What main filename UTL_String *pd_real_filename; // What real filename UTL_String *pd_stripped_filename; // Stripped filename idl_bool pd_import; // Is import on? idl_bool pd_in_main_file; // Are we in it? const char *pd_prog_name; // Argv[0] const char *pd_cpp_location; // Where to find CPP long pd_compile_flags; // Compile flags char *pd_local_escapes; // Trapdoor argument UTL_Indenter *pd_indent; // Indent object // as its being built UTL_String **pd_include_file_names;// Array of file names. unsigned long pd_n_include_file_names;// How many. unsigned long pd_n_alloced_file_names;// How many alloced. char **included_idl_files_; // IDL files that are "#include'd. size_t n_included_idl_files_; // The number of such idl files that are currently stored. size_t n_allocated_idl_files_; // For char*'s have been allocated for this. ParseState pd_parse_state; // Parse state we're in. UTL_String *pd_idl_src_file; // IDL source file. char *tao_root_; // Needed if orb.idl is included. char *gperf_path_; // Path for the perfect hash generator(gperf) program. Default // is $ACE_ROOT/bin/gperf. char *temp_dir_; // Temp directory where which we can rewsolve in drv_preproc.cpp by // checking for TEMP env variable otherwise we assign to /tmp/. char *ident_string_; // Holds a string that begins with #ident, to be passed from the IDL // file to the generated files. idl_bool obv_support_; // Do we support OBV (Valuetype)? idl_bool case_diff_error_; // Do we report an error for indentifiers in the same scope that differ // only by case? or just a warning? idl_bool nest_orb_; // Is this front end being used for the NEST ORB? ACE_CString idl_flags_; // Concatenation of all the command line options. ACE_Hash_Map_Manager idl_keywords_; // Container for all the IDL keywords so local names can be checked. ACE_Unbounded_Stack pragma_prefixes_; // Container for all the #pragma prefix declarations. idl_bool repeat_include_; // Has this IDL file been included before? idl_bool preserve_cpp_keywords_; // Do we allow C++ keywords as identifiers in the idl to stay as they are ? ACE_Unbounded_Queue include_paths_; // List of -I options passed to us. ACE_Hash_Map_Manager file_prefixes_; // Associates a prefix with a file. }; #endif //_IDL_IDL_GLOBAL_HH