Extract rbs_constant_pool_t interface

Author: amomchilov

ext/rbs_extension/extconf.rb

@@ -4,10 +4,11 @@
 $INCFLAGS << " -I$(srcdir)/../../include"
 
 $VPATH << "$(srcdir)/../../src"
+$VPATH << "$(srcdir)/../../src/util"
 $VPATH << "$(srcdir)/ext/rbs_extension"
 
 root_dir = File.expand_path('../../../', __FILE__)
-$srcs = Dir.glob("#{root_dir}/src/*.c") +
+$srcs = Dir.glob("#{root_dir}/src/**/*.c") +
         Dir.glob("#{root_dir}/ext/rbs_extension/*.c")
 
 append_cflags ['-std=gnu99']

ext/rbs_extension/location.c

@@ -1,4 +1,5 @@
 #include "rbs_extension.h"
+#include "rbs/util/rbs_constant_pool.h"
 
 #define RBS_LOC_REQUIRED_P(loc, i) ((loc)->children->required_p & (1 << (i)))
 #define RBS_LOC_OPTIONAL_P(loc, i) (!RBS_LOC_REQUIRED_P((loc), (i)))
@@ -168,14 +169,31 @@ static VALUE location_end_pos(VALUE self) {
   return INT2FIX(loc->rg.end);
 }
 
+static rbs_constant_id_t rbs_constant_id_from_ruby_symbol(VALUE symbol) {
+  const char *name = rb_id2name(SYM2ID(symbol));
+
+  if (name == NULL) {
+    // This happens if `symbol` was a Dynamic symbol (as opposed to a "static symbol" which has
+    // been interned to get a an ID).
+    return RBS_CONSTANT_ID_UNSET;
+  }
+
+  return rbs_constant_pool_find(RBS_GLOBAL_CONSTANT_POOL, (const uint8_t *) name, strlen(name));
+}
+
+static VALUE rbs_constant_to_ruby_symbol(rbs_constant_t *constant) {
+  // Casts back the symbol that was looked up by `pm_constant_pool_id_to_constant()`.
+  return (VALUE) constant;
+}
+
 static VALUE location_add_required_child(VALUE self, VALUE name, VALUE start, VALUE end) {
   rbs_loc *loc = rbs_check_location(self);
 
   range rg;
   rg.start = rbs_loc_position(FIX2INT(start));
   rg.end = rbs_loc_position(FIX2INT(end));
 
-  rbs_loc_add_required_child(loc, SYM2ID(name), rg);
+  rbs_loc_add_required_child(loc, rbs_constant_id_from_ruby_symbol(name), rg);
 
   return Qnil;
 }
@@ -187,15 +205,15 @@ static VALUE location_add_optional_child(VALUE self, VALUE name, VALUE start, VA
   rg.start = rbs_loc_position(FIX2INT(start));
   rg.end = rbs_loc_position(FIX2INT(end));
 
-  rbs_loc_add_optional_child(loc, SYM2ID(name), rg);
+  rbs_loc_add_optional_child(loc, rbs_constant_id_from_ruby_symbol(name), rg);
 
   return Qnil;
 }
 
 static VALUE location_add_optional_no_child(VALUE self, VALUE name) {
   rbs_loc *loc = rbs_check_location(self);
 
-  rbs_loc_add_optional_child(loc, SYM2ID(name), NULL_RANGE);
+  rbs_loc_add_optional_child(loc, rbs_constant_id_from_ruby_symbol(name), NULL_RANGE);
 
   return Qnil;
 }
@@ -221,9 +239,9 @@ static VALUE rbs_new_location_from_loc_range(VALUE buffer, rbs_loc_range rg) {
 static VALUE location_aref(VALUE self, VALUE name) {
   rbs_loc *loc = rbs_check_location(self);
 
-  ID id = SYM2ID(name);
+  rbs_constant_id_t id = rbs_constant_id_from_ruby_symbol(name);
 
-  if (loc->children != NULL) {
+  if (loc->children != NULL && id != RBS_CONSTANT_ID_UNSET) {
     for (unsigned short i = 0; i < loc->children->len; i++) {
       if (loc->children->entries[i].name == id) {
         rbs_loc_range result = loc->children->entries[i].rg;
@@ -252,8 +270,8 @@ static VALUE location_optional_keys(VALUE self) {
 
   for (unsigned short i = 0; i < children->len; i++) {
     if (RBS_LOC_OPTIONAL_P(loc, i)) {
-      rb_ary_push(keys, ID2SYM(children->entries[i].name));
-
+      rbs_constant_t *key = rbs_constant_pool_id_to_constant(RBS_GLOBAL_CONSTANT_POOL, children->entries[i].name);
+      rb_ary_push(keys, rbs_constant_to_ruby_symbol(key));
     }
   }
 
@@ -271,7 +289,8 @@ static VALUE location_required_keys(VALUE self) {
 
   for (unsigned short i = 0; i < children->len; i++) {
     if (RBS_LOC_REQUIRED_P(loc, i)) {
-      rb_ary_push(keys, ID2SYM(children->entries[i].name));
+      rbs_constant_t *key = rbs_constant_pool_id_to_constant(RBS_GLOBAL_CONSTANT_POOL, children->entries[i].name);
+      rb_ary_push(keys, rbs_constant_to_ruby_symbol(key));
     }
   }
 

ext/rbs_extension/main.c

@@ -1,12 +1,14 @@
 #include "rbs_extension.h"
+#include "rbs/util/rbs_constant_pool.h"
 
 void
 Init_rbs_extension(void)
 {
 #ifdef HAVE_RB_EXT_RACTOR_SAFE
   rb_ext_ractor_safe(true);
-#endif  
+#endif
   rbs__init_constants();
   rbs__init_location();
   rbs__init_parser();
+  rbs_constant_pool_init(RBS_GLOBAL_CONSTANT_POOL, 0);
 }