Sunbelt Computer Software

PL/B Language Development and Support

compiler/src/ifc_modules.h at main · edgcpp/compiler · GitHub

Repository navigation

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

61

62

63

64

65

66

67

68

69

70

71

72

73

74

75

76

77

78

79

80

81

82

83

84

85

86

87

88

89

90

91

92

93

94

95

96

97

98

99

100

101

102

103

104

105

106

107

108

109

110

111

112

113

114

115

116

117

118

119

120

121

122

123

124

125

126

127

128

129

130

131

132

133

134

135

136

137

138

139

140

141

142

143

144

145

146

147

148

149

150

151

152

153

154

155

156

157

158

159

160

161

162

163

164

165

166

167

168

169

170

171

172

173

174

175

176

177

178

179

180

181

182

183

184

185

186

187

188

189

190

191

192

193

194

195

196

197

198

199

200

201

202

203

204

205

206

207

208

209

210

211

212

213

214

215

216

217

/*

Part of the EDG Compiler Project, under the Apache License v2.0 with LLVM

Exceptions.

See https://edgcpp.org/LICENSE.txt for license information.

SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception

*/

/*

ifc_modules.h -- Declarations relating to IFC modules made available to the

rest of the front end. For declarations related only to the

implementation of IFC modules itself see

ifc_modules_internal.h.

*/

/* Avoid including these declarations more than once: */

#ifndef IFC_MODULES_H

#define IFC_MODULES_H 1

#if !STANDALONE_UTILITY_PROGRAM

#include "ifc_map.h"

#include "util.h"

/* Conditionally open the "edg" namespace. */

BEGIN_EDG_NAMESPACE

typedef struct a_tmpl_decl_state *a_tmpl_decl_state_ptr;

/* FIXME: Temporarily disable "not referenced" warnings until completed. */

/*lint -save -e755 -e758 -e768 -e769*/

typedef uint64_t a_module_ref_key;

/*

Magic numbers that identify the beginning of a Microsoft IFC file.

*/

constexpr a_byte ms_ifc_magic_numbers[] = { 0x54, 0x51, 0x45, 0x1A };

/*

Magic numbers that identify the beginning of an EDG IFC file.

*/

constexpr a_byte edg_ifc_magic_numbers[] = { 0x54, 0x51, 0x45, 0x2C };

namespace detail {

/*

The following specializations provide Is_trivially_copyable and

Is_trivially_destructible support for ifc_map.h types.

*/

template<>

struct Is_trivially_copyable_edg_impl<an_ifc_attr_index> :

Integral_constant<bool, true> {

}; /* Is_trivially_copyable_edg_impl */

template<>

struct Is_trivially_copyable_edg_impl<an_ifc_decl_index> :

Integral_constant<bool, true> {

}; /* Is_trivially_copyable_edg_impl */

template<>

struct Is_trivially_copyable_edg_impl<an_ifc_edg_basic_token_sort> :

Integral_constant<bool, true> {

}; /* Is_trivially_destructible_edg_impl */

template<>

struct Is_trivially_copyable_edg_impl<an_ifc_edg_complex_token_index> :

Integral_constant<bool, true> {

}; /* Is_trivially_destructible_edg_impl */

template<>

struct Is_trivially_copyable_edg_impl<an_ifc_type_index> :

Integral_constant<bool, true> {

}; /* Is_trivially_copyable_edg_impl */

template<>

struct Is_trivially_destructible_edg_impl<an_ifc_attr_index> :

Integral_constant<bool, true> {

}; /* Is_trivially_destructible_edg_impl */

template<>

struct Is_trivially_destructible_edg_impl<an_ifc_decl_index> :

Integral_constant<bool, true> {

}; /* Is_trivially_destructible_edg_impl */

template<>

struct Is_trivially_destructible_edg_impl<an_ifc_edg_basic_token_sort> :

Integral_constant<bool, true> {

}; /* Is_trivially_destructible_edg_impl */

template<>

struct Is_trivially_destructible_edg_impl<an_ifc_edg_complex_token_index> :

Integral_constant<bool, true> {

}; /* Is_trivially_destructible_edg_impl */

template<>

struct Is_trivially_destructible_edg_impl<an_ifc_type_index> :

Integral_constant<bool, true> {

}; /* Is_trivially_destructible_edg_impl */

} /* namespace detail */

template<typename an_ifc_Index_type>

extern an_ifc_Index_type from_lexical_index(a_lexical_ifc_index_reference idx);

template<typename an_ifc_Index_type>

extern a_lexical_ifc_index_reference to_lexical_index(an_ifc_Index_type idx);

extern Opt<a_string> get_name_of_ifc_module(a_const_char *file_name);

extern void process_ifc_declaration(a_module_entity_ptr mep);

extern a_boolean has_variable_initializer_from_ifc_module(a_variable_ptr vp);

extern a_boolean load_variable_initializer_from_ifc_module(a_variable_ptr vp);

extern a_boolean has_routine_definition_from_ifc_module(a_routine_ptr rp);

extern a_boolean load_routine_definition_from_ifc_module(a_routine_ptr rp);

extern a_boolean has_template_definition_from_ifc_module(a_template_ptr templ);

extern

a_boolean load_template_definition_from_ifc_module(a_template_ptr templ);

extern a_boolean has_template_specializations_from_ifc_module(

a_template_ptr templ);

extern

a_boolean load_template_specializations_from_ifc_module(a_template_ptr templ);

extern a_boolean has_type_definition_from_ifc_module(a_type_ptr ty);

extern a_boolean load_type_definition_from_ifc_module(a_type_ptr ty);

extern a_module_entity_ptr locate_ifc_module_entity(

a_module_entry_locator loc);

extern void load_namespace_elements_from_ifc_locator(

a_module_entity_ptr mep,

a_module_entry_locator loc);

extern void update_entity_from_new_ifc_locator(a_module_entity_ptr mep,

a_module_entry_locator new_loc);

extern Opt<a_source_position> source_position_from_ifc_of(

a_module_entity_ptr mep);

extern a_dynamic_init_ptr load_variable_init_from_ifc_module(

a_type_ptr tp,

an_ifc_expr_index init_expr);

extern a_boolean extract_tokens_for_ifc_module_expr(

a_lexical_ifc_index_reference *index,

a_token_sequence_number *expected_end_tsn);

extern void record_symbol_for_ifc_decl(a_symbol_ptr sym);

extern a_symbol_ptr load_tok_ifc_entity_ref();

extern a_symbol_ptr load_tok_ifc_decl_ref();

extern a_type_ptr load_tok_ifc_type_ref();

extern void scan_ifc_param_ref_expr(an_operand *result);

extern a_boolean import_ifc_module_file(a_module_import_decl_ptr midp);

extern void ifc_modules_report_suppressed_diagnostics();

extern void ifc_modules_pch_read_reset();

extern void ifc_modules_one_time_init();

extern void require_ifc_modules();

extern void ifc_modules_trans_unit_init();

extern void ifc_modules_trans_unit_wrapup();

#if MAKE_FRONT_END_CALLABLE

extern void ifc_modules_cleanup();

#endif /* MAKE_FRONT_END_CALLABLE */

extern void ifc_modules_write_out();

#if DEBUG

extern a_string s_db_ifc_locator(a_module_entry_locator loc);

extern a_string s_db_id_of_ifc_mep(a_module_entity_ptr mep);

extern a_string s_db_lexical_ifc_index(a_lexical_ifc_index_reference idx);

extern void db_mep_stack();

extern void db_node_at_tsn(a_token_cache_ptr cache,

a_token_sequence_number tsn);

extern void db_node_at_tsn(a_module_token_cache_ptr cache,

a_token_sequence_number tsn);

extern void db_locus(const an_ifc_source_location &locus);

#endif /* DEBUG */

/*lint -restore*/ /* FIXME: temporary. */

/* Conditionally close the "edg" namespace. */

END_EDG_NAMESPACE

#endif /* !STANDALONE_UTILITY_PROGRAM */

#endif /* ifndef IFC_MODULES_H */