rbs 3.10.4 → 4.0.0

data/src/lexer.re

@@ -44,8 +44,10 @@ rbs_token_t rbs_lexer_next_token(rbs_lexer_t *lexer) {
       ":"   { return rbs_next_token(lexer, pCOLON); }
       "::"  { return rbs_next_token(lexer, pCOLON2); }
       "<"   { return rbs_next_token(lexer, pLT); }
+      ">"   { return rbs_next_token(lexer, pGT); }
       "[]"  { return rbs_next_token(lexer, pAREF_OPR); }
       operator  { return rbs_next_token(lexer, tOPERATOR); }
+      "--" [^\x00]* { return rbs_next_token(lexer, tINLINECOMMENT); }
 
       number = [0-9] [0-9_]*;
       ("-"|"+")? number    { return rbs_next_token(lexer, tINTEGER); }
@@ -70,6 +72,7 @@ rbs_token_t rbs_lexer_next_token(rbs_lexer_t *lexer) {
       "bool"          { return rbs_next_token(lexer, kBOOL); }
       "bot"           { return rbs_next_token(lexer, kBOT); }
       "class"         { return rbs_next_token(lexer, kCLASS); }
+      "class-alias"   { return rbs_next_token(lexer, kCLASSALIAS); }
       "def"           { return rbs_next_token(lexer, kDEF); }
       "end"           { return rbs_next_token(lexer, kEND); }
       "extend"        { return rbs_next_token(lexer, kEXTEND); }
@@ -79,6 +82,7 @@ rbs_token_t rbs_lexer_next_token(rbs_lexer_t *lexer) {
       "instance"      { return rbs_next_token(lexer, kINSTANCE); }
       "interface"     { return rbs_next_token(lexer, kINTERFACE); }
       "module"        { return rbs_next_token(lexer, kMODULE); }
+      "module-alias"  { return rbs_next_token(lexer, kMODULEALIAS); }
       "nil"           { return rbs_next_token(lexer, kNIL); }
       "out"           { return rbs_next_token(lexer, kOUT); }
       "prepend"       { return rbs_next_token(lexer, kPREPEND); }
@@ -95,6 +99,9 @@ rbs_token_t rbs_lexer_next_token(rbs_lexer_t *lexer) {
       "use"           { return rbs_next_token(lexer, kUSE); }
       "as"            { return rbs_next_token(lexer, kAS); }
       "__todo__"      { return rbs_next_token(lexer, k__TODO__); }
+      "@rbs"          { return rbs_next_token(lexer, kATRBS); }
+      "skip"          { return rbs_next_token(lexer, kSKIP); }
+      "return"        { return rbs_next_token(lexer, kRETURN); }
 
       unicode_char = "\\u" [0-9a-fA-F]{4};
       oct_char = "\\x" [0-9a-f]{1,2};

data/src/lexstate.c

@@ -28,6 +28,7 @@ static const char *RBS_TOKENTYPE_NAMES[] = {
     "pBANG",     /* ! */
     "pQUESTION", /* ? */
     "pLT",       /* < */
+    "pGT",       /* > */
     "pEQ",       /* = */
 
     "kALIAS",        /* alias */
@@ -37,6 +38,7 @@ static const char *RBS_TOKENTYPE_NAMES[] = {
     "kBOOL",         /* bool */
     "kBOT",          /* bot */
     "kCLASS",        /* class */
+    "kCLASSALIAS",   /* class-alias */
     "kDEF",          /* def */
     "kEND",          /* end */
     "kEXTEND",       /* extend */
@@ -46,6 +48,7 @@ static const char *RBS_TOKENTYPE_NAMES[] = {
     "kINSTANCE",     /* instance */
     "kINTERFACE",    /* interface */
     "kMODULE",       /* module */
+    "kMODULEALIAS",  /* module-alias */
     "kNIL",          /* nil */
     "kOUT",          /* out */
     "kPREPEND",      /* prepend */
@@ -62,6 +65,9 @@ static const char *RBS_TOKENTYPE_NAMES[] = {
     "kUSE",          /* use */
     "kAS",           /* as */
     "k__TODO__",     /* __todo__ */
+    "kATRBS",        /* @rbs */
+    "kSKIP",         /* skip */
+    "kRETURN",       /* return */
 
     "tLIDENT",  /* Identifiers starting with lower case */
     "tUIDENT",  /* Identifiers starting with upper case */
@@ -78,6 +84,7 @@ static const char *RBS_TOKENTYPE_NAMES[] = {
 
     "tCOMMENT",
     "tLINECOMMENT",
+    "tINLINECOMMENT",
 
     "tTRIVIA",
 
@@ -111,7 +118,7 @@ unsigned int rbs_peek(rbs_lexer_t *lexer) {
 }
 
 bool rbs_next_char(rbs_lexer_t *lexer, unsigned int *codepoint, size_t *byte_len) {
-    if (RBS_UNLIKELY(lexer->current.char_pos == lexer->end_pos)) {
+    if (RBS_UNLIKELY(lexer->current.byte_pos == lexer->end_pos)) {
         return false;
     }
 

data/src/location.c

@@ -1,48 +1,8 @@
 #include "rbs/location.h"
-#include "rbs/util/rbs_assert.h"
 
-#include <stdio.h>
-
-#define RBS_LOC_CHILDREN_SIZE(cap) (sizeof(rbs_loc_children) + sizeof(rbs_loc_entry) * ((cap) - 1))
-
-void rbs_loc_alloc_children(rbs_allocator_t *allocator, rbs_location_t *loc, size_t capacity) {
-    RBS_ASSERT(capacity <= sizeof(rbs_loc_entry_bitmap) * 8, "Capacity %zu is too large. Max is %zu", capacity, sizeof(rbs_loc_entry_bitmap) * 8);
-
-    loc->children = (rbs_loc_children *) rbs_allocator_malloc_impl(allocator, RBS_LOC_CHILDREN_SIZE(capacity), rbs_alignof(rbs_loc_children));
-
-    loc->children->len = 0;
-    loc->children->required_p = 0;
-    loc->children->cap = capacity;
-}
-
-void rbs_loc_add_optional_child(rbs_location_t *loc, rbs_constant_id_t name, rbs_range_t r) {
-    RBS_ASSERT(loc->children != NULL, "All children should have been pre-allocated with rbs_loc_alloc_children()");
-    RBS_ASSERT((loc->children->len + 1 <= loc->children->cap), "Not enough space was pre-allocated for the children. Children: %hu, Capacity: %hu", loc->children->len, loc->children->cap);
-
-    unsigned short i = loc->children->len++;
-    loc->children->entries[i].name = name;
-    loc->children->entries[i].rg = (rbs_loc_range) { r.start.char_pos, r.end.char_pos };
-}
-
-void rbs_loc_add_required_child(rbs_location_t *loc, rbs_constant_id_t name, rbs_range_t r) {
-    rbs_loc_add_optional_child(loc, name, r);
-    unsigned short last_index = loc->children->len - 1;
-    loc->children->required_p |= 1 << last_index;
-}
-
-rbs_location_t *rbs_location_new(rbs_allocator_t *allocator, rbs_range_t rg) {
-    rbs_location_t *location = rbs_allocator_alloc(allocator, rbs_location_t);
-    *location = (rbs_location_t) {
-        .rg = rg,
-        .children = NULL,
-    };
-
-    return location;
-}
-
-rbs_location_list_t *rbs_location_list_new(rbs_allocator_t *allocator) {
-    rbs_location_list_t *list = rbs_allocator_alloc(allocator, rbs_location_list_t);
-    *list = (rbs_location_list_t) {
+rbs_location_range_list_t *rbs_location_range_list_new(rbs_allocator_t *allocator) {
+    rbs_location_range_list_t *list = rbs_allocator_alloc(allocator, rbs_location_range_list_t);
+    *list = (rbs_location_range_list_t) {
         .allocator = allocator,
         .head = NULL,
         .tail = NULL,
@@ -52,10 +12,10 @@ rbs_location_list_t *rbs_location_list_new(rbs_allocator_t *allocator) {
     return list;
 }
 
-void rbs_location_list_append(rbs_location_list_t *list, rbs_location_t *loc) {
-    rbs_location_list_node_t *node = rbs_allocator_alloc(list->allocator, rbs_location_list_node_t);
-    *node = (rbs_location_list_node_t) {
-        .loc = loc,
+void rbs_location_range_list_append(rbs_location_range_list_t *list, rbs_location_range range) {
+    rbs_location_range_list_node_t *node = rbs_allocator_alloc(list->allocator, rbs_location_range_list_node_t);
+    *node = (rbs_location_range_list_node_t) {
+        .range = range,
         .next = NULL,
     };
 
@@ -68,4 +28,4 @@ void rbs_location_list_append(rbs_location_list_t *list, rbs_location_t *loc) {
     }
 
     list->length++;
-}
+}