-#include "nit__nith.sep.0.h"
+#include "nitc__nith.sep.0.h"
/* method nith#ToolContext#process_options for (self: ToolContext, Sequence[String]) */
-void nit__nith___ToolContext___process_options(val* self, val* p0) {
+void nitc__nith___ToolContext___process_options(val* self, val* p0) {
val* var_args /* var args: Sequence[String] */;
val* var /* : OptionBool */;
val* var2 /* : OptionBool */;
static val* varonce;
val* var28 /* : String */;
char* var29 /* : NativeString */;
-val* var30 /* : FlatString */;
+val* var30 /* : String */;
val* var31 /* : Sys */;
short int var33 /* : Bool */;
short int var35 /* : Bool */;
val* var44 /* : nullable Object */;
var_args = p0;
{
-((void(*)(val* self, val* p0))(self->class->vft[COLOR_nit__nith___ToolContext___process_options]))(self, p0); /* process_options on <self:ToolContext>*/
+((void(*)(val* self, val* p0))(self->class->vft[COLOR_nitc__nith___ToolContext___process_options]))(self, p0); /* process_options on <self:ToolContext>*/
}
{
{ /* Inline separate_compiler#ToolContext#opt_separate (self) on <self:ToolContext> */
-var2 = self->attrs[COLOR_nit__separate_compiler__ToolContext___opt_separate].val; /* _opt_separate on <self:ToolContext> */
+var2 = self->attrs[COLOR_nitc__separate_compiler__ToolContext___opt_separate].val; /* _opt_separate on <self:ToolContext> */
if (unlikely(var2 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _opt_separate");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__separate_compiler, 24);
+PRINT_ERROR(" (%s:%d)\n", FILE_nitc__separate_compiler, 24);
fatal_exit(1);
}
var = var2;
}
{
var7 = (short int)((long)(var3)>>2);
-var6 = standard___standard__Bool___to_i(var7);
+var6 = core___core__Bool___to_i(var7);
}
{
{ /* Inline separate_erasure_compiler#ToolContext#opt_erasure (self) on <self:ToolContext> */
-var10 = self->attrs[COLOR_nit__separate_erasure_compiler__ToolContext___opt_erasure].val; /* _opt_erasure on <self:ToolContext> */
+var10 = self->attrs[COLOR_nitc__separate_erasure_compiler__ToolContext___opt_erasure].val; /* _opt_erasure on <self:ToolContext> */
if (unlikely(var10 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _opt_erasure");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__separate_erasure_compiler, 22);
+PRINT_ERROR(" (%s:%d)\n", FILE_nitc__separate_erasure_compiler, 22);
fatal_exit(1);
}
var8 = var10;
}
{
var15 = (short int)((long)(var11)>>2);
-var14 = standard___standard__Bool___to_i(var15);
+var14 = core___core__Bool___to_i(var15);
}
{
{ /* Inline kernel#Int#+ (var6,var14) on <var6:Int> */
/* <var14:Int> isa OTHER */
var18 = 1; /* easy <var14:Int> isa OTHER*/
if (unlikely(!var18)) {
-var_class_name = type_standard__Int.name;
+var_class_name = type_core__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 537);
+PRINT_ERROR(" (%s:%d)\n", FILE_core__kernel, 731);
fatal_exit(1);
}
var19 = var6 + var14;
/* <1l:Int> isa OTHER */
var22 = 1; /* easy <1l:Int> isa OTHER*/
if (unlikely(!var22)) {
-var_class_name25 = type_standard__Int.name;
+var_class_name25 = type_core__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name25);
-PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 536);
+PRINT_ERROR(" (%s:%d)\n", FILE_core__kernel, 730);
fatal_exit(1);
}
var26 = var_sum > 1l;
var28 = varonce;
} else {
var29 = "Options --separate and --erasure are exclusive";
-var30 = standard___standard__NativeString___to_s_with_length(var29, 46l);
+var30 = core__flat___NativeString___to_s_full(var29, 46l, 46l);
var28 = var30;
varonce = var28;
}
{
-standard__file___Sys___print(var27, var28); /* Direct call file#Sys#print on <var27:Sys>*/
+core__file___Sys___print(var27, var28); /* Direct call file#Sys#print on <var27:Sys>*/
}
var31 = glob_sys;
{
if (var33){
{
{ /* Inline separate_compiler#ToolContext#opt_separate (self) on <self:ToolContext> */
-var38 = self->attrs[COLOR_nit__separate_compiler__ToolContext___opt_separate].val; /* _opt_separate on <self:ToolContext> */
+var38 = self->attrs[COLOR_nitc__separate_compiler__ToolContext___opt_separate].val; /* _opt_separate on <self:ToolContext> */
if (unlikely(var38 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _opt_separate");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__separate_compiler, 24);
+PRINT_ERROR(" (%s:%d)\n", FILE_nitc__separate_compiler, 24);
fatal_exit(1);
}
var36 = var38;
type_struct = var36->type->resolution_table->types[COLOR_opts__Option__VALUE];
cltype41 = type_struct->color;
idtype42 = type_struct->id;
-if(cltype41 >= (&type_standard__Bool)->table_size) {
+if(cltype41 >= (&type_core__Bool)->table_size) {
var40 = 0;
} else {
-var40 = (&type_standard__Bool)->type_table[cltype41] == idtype42;
+var40 = (&type_core__Bool)->type_table[cltype41] == idtype42;
}
if (unlikely(!var40)) {
-var_class_name43 = type_standard__Bool.name;
+var_class_name43 = type_core__Bool.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "VALUE", var_class_name43);
PRINT_ERROR(" (%s:%d)\n", FILE_opts, 40);
fatal_exit(1);