X-Git-Url: http://nitlanguage.org diff --git a/c_src/opts._sep.c b/c_src/opts._sep.c index 4f2121d..8c21842 100644 --- a/c_src/opts._sep.c +++ b/c_src/opts._sep.c @@ -1,1129 +1,1781 @@ /* This C file is generated by NIT to compile module opts. */ #include "opts._sep.h" -val_t opts___Option___to_s(val_t self) { - struct trace_t trace = {NULL, NULL, 54, LOCATE_opts___Option___to_s}; - val_t variable[3]; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - /* Register variable[0]: Local variable */ - variable[0] = self; - /* Register variable[1]: Method return value and escape marker */ - /* Register variable[2]: Result */ - variable[2] = CALL_opts___Option___pretty(variable[0])(variable[0], TAG_Int(2)) /*Option::pretty*/; - variable[1] = variable[2]; - goto return_label0; - return_label0: while(false); - tracehead = trace.prev; - return variable[1]; -} -val_t opts___Option___names(val_t self) { - struct trace_t trace = {NULL, NULL, 16, LOCATE_opts___Option___names}; - val_t *variable = NULL; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - tracehead = trace.prev; - return ATTR_opts___Option____names( self) /*Option::_names*/; +val_t opts___Option___names(val_t p0){ + struct {struct stack_frame_t me;} fra; + val_t REGB0; + val_t tmp; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 16; + fra.me.meth = LOCATE_opts___Option___names; + fra.me.has_broke = 0; + fra.me.REG_size = 1; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[0] = p0; + /* ./../lib/opts.nit:16 */ + REGB0 = TAG_Bool(ATTR_opts___Option____names(fra.me.REG[0])!=NIT_NULL); + if (UNTAG_Bool(REGB0)) { + } else { + nit_abort("Uninitialized attribute %s", "_names", LOCATE_opts, 16); + } + fra.me.REG[0] = ATTR_opts___Option____names(fra.me.REG[0]); + stack_frame_head = fra.me.prev; + return fra.me.REG[0]; } -val_t opts___Option___helptext(val_t self) { - struct trace_t trace = {NULL, NULL, 22, LOCATE_opts___Option___helptext}; - val_t *variable = NULL; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - tracehead = trace.prev; - return ATTR_opts___Option____helptext( self) /*Option::_helptext*/; +val_t opts___Option___helptext(val_t p0){ + struct {struct stack_frame_t me;} fra; + val_t REGB0; + val_t tmp; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 22; + fra.me.meth = LOCATE_opts___Option___helptext; + fra.me.has_broke = 0; + fra.me.REG_size = 1; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[0] = p0; + /* ./../lib/opts.nit:22 */ + REGB0 = TAG_Bool(ATTR_opts___Option____helptext(fra.me.REG[0])!=NIT_NULL); + if (UNTAG_Bool(REGB0)) { + } else { + nit_abort("Uninitialized attribute %s", "_helptext", LOCATE_opts, 22); + } + fra.me.REG[0] = ATTR_opts___Option____helptext(fra.me.REG[0]); + stack_frame_head = fra.me.prev; + return fra.me.REG[0]; } -val_t opts___Option___mandatory(val_t self) { - struct trace_t trace = {NULL, NULL, 25, LOCATE_opts___Option___mandatory}; - val_t *variable = NULL; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - tracehead = trace.prev; - return ATTR_opts___Option____mandatory( self) /*Option::_mandatory*/; +val_t opts___Option___mandatory(val_t p0){ + struct {struct stack_frame_t me;} fra; + val_t REGB0; + val_t tmp; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 25; + fra.me.meth = LOCATE_opts___Option___mandatory; + fra.me.has_broke = 0; + fra.me.REG_size = 1; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[0] = p0; + /* ./../lib/opts.nit:25 */ + REGB0 = TAG_Bool(ATTR_opts___Option____mandatory(fra.me.REG[0])!=NIT_NULL); + if (UNTAG_Bool(REGB0)) { + } else { + nit_abort("Uninitialized attribute %s", "_mandatory", LOCATE_opts, 25); + } + REGB0 = ATTR_opts___Option____mandatory(fra.me.REG[0]); + stack_frame_head = fra.me.prev; + return REGB0; } -void opts___Option___mandatory__eq(val_t self, val_t param0) { - struct trace_t trace = {NULL, NULL, 25, LOCATE_opts___Option___mandatory__eq}; - val_t *variable = NULL; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - ATTR_opts___Option____mandatory( self) /*Option::_mandatory*/ = param0; - tracehead = trace.prev; +void opts___Option___mandatory__eq(val_t p0, val_t p1){ + struct {struct stack_frame_t me;} fra; + val_t REGB0; + val_t tmp; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 25; + fra.me.meth = LOCATE_opts___Option___mandatory__eq; + fra.me.has_broke = 0; + fra.me.REG_size = 1; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[0] = p0; + REGB0 = p1; + /* ./../lib/opts.nit:25 */ + ATTR_opts___Option____mandatory(fra.me.REG[0]) = REGB0; + stack_frame_head = fra.me.prev; return; } -val_t opts___Option___context(val_t self) { - struct trace_t trace = {NULL, NULL, 28, LOCATE_opts___Option___context}; - val_t *variable = NULL; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - tracehead = trace.prev; - return ATTR_opts___Option____context( self) /*Option::_context*/; -} -void opts___Option___context__eq(val_t self, val_t param0) { - struct trace_t trace = {NULL, NULL, 28, LOCATE_opts___Option___context__eq}; - val_t *variable = NULL; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - ATTR_opts___Option____context( self) /*Option::_context*/ = param0; - tracehead = trace.prev; +void opts___Option___value__eq(val_t p0, val_t p1){ + struct {struct stack_frame_t me; val_t MORE_REG[1];} fra; + val_t tmp; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 28; + fra.me.meth = LOCATE_opts___Option___value__eq; + fra.me.has_broke = 0; + fra.me.REG_size = 2; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[1] = NIT_NULL; + fra.me.REG[0] = p0; + fra.me.REG[1] = p1; + /* ./../lib/opts.nit:28 */ + ATTR_opts___Option____value(fra.me.REG[0]) = fra.me.REG[1]; + stack_frame_head = fra.me.prev; return; } -val_t opts___Option___value(val_t self) { - struct trace_t trace = {NULL, NULL, 31, LOCATE_opts___Option___value}; - val_t *variable = NULL; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - tracehead = trace.prev; - return ATTR_opts___Option____value( self) /*Option::_value*/; -} -void opts___Option___value__eq(val_t self, val_t param0) { - struct trace_t trace = {NULL, NULL, 31, LOCATE_opts___Option___value__eq}; - val_t *variable = NULL; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - ATTR_opts___Option____value( self) /*Option::_value*/ = param0; - tracehead = trace.prev; - return; +val_t opts___Option___value(val_t p0){ + struct {struct stack_frame_t me;} fra; + val_t REGB0; + val_t tmp; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 31; + fra.me.meth = LOCATE_opts___Option___value; + fra.me.has_broke = 0; + fra.me.REG_size = 1; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[0] = p0; + /* ./../lib/opts.nit:32 */ + fra.me.REG[0] = ATTR_opts___Option____value(fra.me.REG[0]); + REGB0 = TAG_Bool((fra.me.REG[0]==NIT_NULL) || VAL_ISA(fra.me.REG[0], COLOR_Object, ID_Object)) /*cast VALUE*/; + if (UNTAG_Bool(REGB0)) { + } else { + nit_abort("Cast failed", NULL, LOCATE_opts, 32); + } + goto label1; + label1: while(0); + stack_frame_head = fra.me.prev; + return fra.me.REG[0]; } -val_t opts___Option___default_value(val_t self) { - struct trace_t trace = {NULL, NULL, 34, LOCATE_opts___Option___default_value}; - val_t *variable = NULL; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - tracehead = trace.prev; - return ATTR_opts___Option____default_value( self) /*Option::_default_value*/; +val_t opts___Option___default_value(val_t p0){ + struct {struct stack_frame_t me;} fra; + val_t tmp; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 34; + fra.me.meth = LOCATE_opts___Option___default_value; + fra.me.has_broke = 0; + fra.me.REG_size = 1; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[0] = p0; + /* ./../lib/opts.nit:34 */ + fra.me.REG[0] = ATTR_opts___Option____default_value(fra.me.REG[0]); + stack_frame_head = fra.me.prev; + return fra.me.REG[0]; } -void opts___Option___default_value__eq(val_t self, val_t param0) { - struct trace_t trace = {NULL, NULL, 34, LOCATE_opts___Option___default_value__eq}; - val_t *variable = NULL; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - ATTR_opts___Option____default_value( self) /*Option::_default_value*/ = param0; - tracehead = trace.prev; +void opts___Option___default_value__eq(val_t p0, val_t p1){ + struct {struct stack_frame_t me; val_t MORE_REG[1];} fra; + val_t tmp; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 34; + fra.me.meth = LOCATE_opts___Option___default_value__eq; + fra.me.has_broke = 0; + fra.me.REG_size = 2; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[1] = NIT_NULL; + fra.me.REG[0] = p0; + fra.me.REG[1] = p1; + /* ./../lib/opts.nit:34 */ + ATTR_opts___Option____default_value(fra.me.REG[0]) = fra.me.REG[1]; + stack_frame_head = fra.me.prev; return; } -void opts___Option___init_opt(val_t self, val_t param0, val_t param1, val_t param2, int* init_table) { - struct trace_t trace = {NULL, NULL, 37, LOCATE_opts___Option___init_opt}; - val_t variable[6]; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - /* Register variable[0]: Local variable */ - variable[0] = self; - /* Register variable[1]: Local variable */ - variable[1] = param0; - /* Register variable[2]: Local variable */ - variable[2] = param1; - /* Register variable[3]: Local variable */ - variable[3] = param2; - if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_Option].i]) return; - /* Register variable[4]: Method return value and escape marker */ - /* Register variable[5]: Result */ - variable[5] = TAG_Bool(( variable[3] /*names*/ == NIT_NULL /*null*/) || (( variable[3] /*names*/ != NIT_NULL) && UNTAG_Bool(CALL_kernel___Object_____eqeq( variable[3] /*names*/)( variable[3] /*names*/, NIT_NULL /*null*/) /*AbstractArrayRead::==*/))); - if (UNTAG_Bool(variable[5])) { /*if*/ - /* Register variable[5]: Result */ - variable[5] = NEW_Array_array___Array___init() /*new Array[String]*/; - ATTR_opts___Option____names(variable[0]) /*Option::_names*/ = variable[5]; - } else { /*if*/ - /* Register variable[5]: Result */ - variable[5] = CALL_array___Collection___to_a( variable[3] /*names*/)( variable[3] /*names*/) /*Collection::to_a*/; - ATTR_opts___Option____names(variable[0]) /*Option::_names*/ = variable[5]; +void opts___Option___init_opt(val_t p0, val_t p1, val_t p2, val_t p3, int* init_table){ + int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_Option].i; + struct {struct stack_frame_t me; val_t MORE_REG[4];} fra; + val_t REGB0; + val_t REGB1; + val_t tmp; + if (init_table[itpos0]) return; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 37; + fra.me.meth = LOCATE_opts___Option___init_opt; + fra.me.has_broke = 0; + fra.me.REG_size = 5; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[1] = NIT_NULL; + fra.me.REG[2] = NIT_NULL; + fra.me.REG[3] = NIT_NULL; + fra.me.REG[4] = NIT_NULL; + fra.me.REG[0] = p0; + fra.me.REG[1] = p1; + fra.me.REG[2] = p2; + fra.me.REG[3] = p3; + /* ./../lib/opts.nit:40 */ + REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL); + if (UNTAG_Bool(REGB0)) { + } else { + REGB1 = TAG_Bool(fra.me.REG[3]==NIT_NULL); + if (UNTAG_Bool(REGB1)) { + REGB1 = TAG_Bool(false); + REGB0 = REGB1; + } else { + REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[3])(fra.me.REG[3], NIT_NULL); + REGB0 = REGB1; + } + } + if (UNTAG_Bool(REGB0)) { + /* ./../lib/opts.nit:41 */ + fra.me.REG[4] = NEW_Array_array___Array___init(); + ATTR_opts___Option____names(fra.me.REG[0]) = fra.me.REG[4]; + } else { + /* ./../lib/opts.nit:43 */ + REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL); + if (UNTAG_Bool(REGB0)) { + nit_abort("Reciever is null", NULL, LOCATE_opts, 43); + } + fra.me.REG[3] = CALL_array___Collection___to_a(fra.me.REG[3])(fra.me.REG[3]); + ATTR_opts___Option____names(fra.me.REG[0]) = fra.me.REG[3]; } - ATTR_opts___Option____helptext(variable[0]) /*Option::_helptext*/ = variable[1] /*help*/; - ATTR_opts___Option____mandatory(variable[0]) /*Option::_mandatory*/ = TAG_Bool(false); - ATTR_opts___Option____default_value(variable[0]) /*Option::_default_value*/ = variable[2] /*default*/; - ATTR_opts___Option____value(variable[0]) /*Option::_value*/ = variable[2] /*default*/; - return_label1: while(false); - init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_Option].i] = 1; - tracehead = trace.prev; + /* ./../lib/opts.nit:45 */ + ATTR_opts___Option____helptext(fra.me.REG[0]) = fra.me.REG[1]; + /* ./../lib/opts.nit:46 */ + REGB0 = TAG_Bool(false); + ATTR_opts___Option____mandatory(fra.me.REG[0]) = REGB0; + /* ./../lib/opts.nit:47 */ + ATTR_opts___Option____default_value(fra.me.REG[0]) = fra.me.REG[2]; + /* ./../lib/opts.nit:48 */ + ATTR_opts___Option____value(fra.me.REG[0]) = fra.me.REG[2]; + stack_frame_head = fra.me.prev; + init_table[itpos0] = 1; return; } -void opts___Option___add_aliases(val_t self, val_t param0) { - struct trace_t trace = {NULL, NULL, 51, LOCATE_opts___Option___add_aliases}; - val_t variable[4]; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - /* Register variable[0]: Local variable */ - variable[0] = self; - /* Register variable[1]: Local variable */ - /* check if pUNTAG_Int( TAG_Int(0))); - if (UNTAG_Bool(variable[5])) { /*if*/ - /* Register variable[5]: Once String constant */ - if (once_value_7 != NIT_NULL) variable[5] = once_value_7; - else { - variable[5] = NEW_String_string___String___with_native(BOX_NativeString(" "), TAG_Int(1)) /*new String*/; - once_value_7 = variable[5]; - } - /* Register variable[5]: Result */ - /* Register variable[5]: Result */ - variable[5] = CALL_string___String_____star(variable[5])(variable[5], variable[4] /*rest*/) /*String::**/; - CALL_abstract_collection___IndexedCollection___append( variable[3] /*text*/)( variable[3] /*text*/, variable[5]) /*Buffer::append*/; + REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[1]); + /* ./../lib/standard//kernel.nit:217 */ + REGB1 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB1)); + /* ./../lib/opts.nit:64 */ + REGB0 = TAG_Int(0); + /* ./../lib/standard//kernel.nit:214 */ + REGB0 = TAG_Bool(UNTAG_Int(REGB1)>UNTAG_Int(REGB0)); + /* ./../lib/opts.nit:64 */ + if (UNTAG_Bool(REGB0)) { + if (!once_value_4) { + fra.me.REG[3] = BOX_NativeString(" "); + REGB0 = TAG_Int(1); + fra.me.REG[3] = NEW_String_string___String___with_native(fra.me.REG[3], REGB0); + once_value_4 = fra.me.REG[3]; + register_static_object(&once_value_4); + } else fra.me.REG[3] = once_value_4; + fra.me.REG[3] = fra.me.REG[3]; + fra.me.REG[3] = CALL_string___String_____star(fra.me.REG[3])(fra.me.REG[3], REGB1); + CALL_abstract_collection___Sequence___append(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[3]); } - /* Register variable[5]: Result */ - variable[5] = CALL_opts___Option___helptext(variable[0])(variable[0]) /*Option::helptext*/; - CALL_abstract_collection___IndexedCollection___append( variable[3] /*text*/)( variable[3] /*text*/, variable[5]) /*Buffer::append*/; - /* Register variable[5]: Result */ - variable[5] = CALL_string___Object___to_s( variable[3] /*text*/)( variable[3] /*text*/) /*Buffer::to_s*/; - variable[2] = variable[5]; - goto return_label3; - return_label3: while(false); - tracehead = trace.prev; - return variable[2]; + /* ./../lib/opts.nit:65 */ + fra.me.REG[0] = CALL_opts___Option___helptext(fra.me.REG[0])(fra.me.REG[0]); + CALL_abstract_collection___Sequence___append(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]); + /* ./../lib/opts.nit:67 */ + fra.me.REG[1] = CALL_string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]); + goto label5; + label5: while(0); + stack_frame_head = fra.me.prev; + return fra.me.REG[1]; } -val_t opts___Option___pretty_default(val_t self) { - struct trace_t trace = {NULL, NULL, 70, LOCATE_opts___Option___pretty_default}; - static val_t once_value_9 = NIT_NULL; /* Once value for string variable[3]*/ - static val_t once_value_10 = NIT_NULL; /* Once value for string variable[3]*/ - static val_t once_value_11 = NIT_NULL; /* Once value for string variable[2]*/ - val_t variable[4]; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - /* Register variable[0]: Local variable */ - variable[0] = self; - /* Register variable[1]: Method return value and escape marker */ - /* Register variable[2]: Result */ - variable[2] = CALL_opts___Option___default_value(variable[0])(variable[0]) /*Option::default_value*/; - /* Register variable[2]: Result */ - variable[2] = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable[2] == NIT_NULL /*null*/) || ((variable[2] != NIT_NULL) && ((CALL_kernel___Object_____eqeq(variable[2])==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[2], NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq(variable[2])(variable[2], NIT_NULL /*null*/) /*Object::==*/))))))); - if (UNTAG_Bool(variable[2])) { /*if*/ - variable[2] = NEW_Array_array___Array___with_capacity(TAG_Int(3)) /*new Array[String]*/ /* Ensure var: Array (for super-string)*/; - /* Register variable[3]: Once String constant */ - if (once_value_9 != NIT_NULL) variable[3] = once_value_9; - else { - variable[3] = NEW_String_string___String___with_native(BOX_NativeString(" ("), TAG_Int(2)) /*new String*/; - once_value_9 = variable[3]; - } - /* Register variable[3]: Result */ - /* Ensure var variable[3]: super-string element*/ - CALL_abstract_collection___SimpleCollection___add(variable[2])(variable[2], variable[3]) /*AbstractArray::add*/; - /* Register variable[3]: Result */ - variable[3] = CALL_opts___Option___default_value(variable[0])(variable[0]) /*Option::default_value*/; - /* Ensure var variable[3]: super-string element*/ - CALL_abstract_collection___SimpleCollection___add(variable[2])(variable[2], CALL_string___Object___to_s(variable[3])(variable[3]) /*Object::to_s*/) /*AbstractArray::add*/; - /* Register variable[3]: Once String constant */ - if (once_value_10 != NIT_NULL) variable[3] = once_value_10; - else { - variable[3] = NEW_String_string___String___with_native(BOX_NativeString(")"), TAG_Int(1)) /*new String*/; - once_value_10 = variable[3]; +val_t opts___Option___pretty_default(val_t p0){ + struct {struct stack_frame_t me; val_t MORE_REG[2];} fra; + val_t REGB0; + val_t REGB1; + val_t tmp; + static val_t once_value_1; /* Once value */ + static val_t once_value_2; /* Once value */ + static val_t once_value_4; /* Once value */ + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 70; + fra.me.meth = LOCATE_opts___Option___pretty_default; + fra.me.has_broke = 0; + fra.me.REG_size = 3; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[1] = NIT_NULL; + fra.me.REG[2] = NIT_NULL; + fra.me.REG[0] = p0; + /* ./../lib/opts.nit:72 */ + fra.me.REG[0] = CALL_opts___Option___default_value(fra.me.REG[0])(fra.me.REG[0]); + /* ./../lib/opts.nit:73 */ + REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL); + if (UNTAG_Bool(REGB0)) { + } else { + REGB1 = TAG_Bool(fra.me.REG[0]==NIT_NULL); + if (UNTAG_Bool(REGB1)) { + REGB1 = TAG_Bool(false); + REGB0 = REGB1; + } else { + REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[0])(fra.me.REG[0], NIT_NULL); + REGB0 = REGB1; } - /* Register variable[3]: Result */ - /* Ensure var variable[3]: super-string element*/ - CALL_abstract_collection___SimpleCollection___add(variable[2])(variable[2], variable[3]) /*AbstractArray::add*/; - /* Register variable[2]: Result */ - variable[2] = CALL_string___Object___to_s(variable[2])(variable[2]) /*Object::to_s*/; - variable[1] = variable[2]; - goto return_label8; } - /* Register variable[2]: Once String constant */ - if (once_value_11 != NIT_NULL) variable[2] = once_value_11; - else { - variable[2] = NEW_String_string___String___with_native(BOX_NativeString(""), TAG_Int(0)) /*new String*/; - once_value_11 = variable[2]; + REGB0 = TAG_Bool(!UNTAG_Bool(REGB0)); + if (UNTAG_Bool(REGB0)) { + REGB0 = TAG_Int(3); + fra.me.REG[1] = NEW_Array_array___Array___with_capacity(REGB0); + if (!once_value_1) { + fra.me.REG[2] = BOX_NativeString(" ("); + REGB0 = TAG_Int(2); + fra.me.REG[2] = NEW_String_string___String___with_native(fra.me.REG[2], REGB0); + once_value_1 = fra.me.REG[2]; + register_static_object(&once_value_1); + } else fra.me.REG[2] = once_value_1; + fra.me.REG[2] = fra.me.REG[2]; + CALL_abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]); + fra.me.REG[0] = CALL_string___Object___to_s(fra.me.REG[0])(fra.me.REG[0]); + CALL_abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]); + if (!once_value_2) { + fra.me.REG[0] = BOX_NativeString(")"); + REGB0 = TAG_Int(1); + fra.me.REG[0] = NEW_String_string___String___with_native(fra.me.REG[0], REGB0); + once_value_2 = fra.me.REG[0]; + register_static_object(&once_value_2); + } else fra.me.REG[0] = once_value_2; + fra.me.REG[0] = fra.me.REG[0]; + CALL_abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]); + fra.me.REG[1] = CALL_string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]); + goto label3; } - /* Register variable[2]: Result */ - variable[1] = variable[2]; - goto return_label8; - return_label8: while(false); - tracehead = trace.prev; - return variable[1]; + /* ./../lib/opts.nit:74 */ + if (!once_value_4) { + fra.me.REG[0] = BOX_NativeString(""); + REGB0 = TAG_Int(0); + fra.me.REG[0] = NEW_String_string___String___with_native(fra.me.REG[0], REGB0); + once_value_4 = fra.me.REG[0]; + register_static_object(&once_value_4); + } else fra.me.REG[0] = once_value_4; + fra.me.REG[0] = fra.me.REG[0]; + fra.me.REG[1] = fra.me.REG[0]; + goto label3; + label3: while(0); + stack_frame_head = fra.me.prev; + return fra.me.REG[1]; } -void opts___Option___read_param(val_t self, val_t param0) { - struct trace_t trace = {NULL, NULL, 78, LOCATE_opts___Option___read_param}; - val_t *variable = NULL; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - fprintf(stderr, "Deferred method called"); - fprintf(stderr, " (%s:%d)\n", LOCATE_opts, 78); - nit_exit(1); - tracehead = trace.prev; +void opts___Option___read_param(val_t p0, val_t p1){ + struct {struct stack_frame_t me;} fra; + val_t tmp; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 77; + fra.me.meth = LOCATE_opts___Option___read_param; + fra.me.has_broke = 0; + fra.me.REG_size = 0; + /* ./../lib/opts.nit:77 */ + nit_abort("Deferred method called", NULL, LOCATE_opts, 77); + stack_frame_head = fra.me.prev; return; } -val_t opts___OptionText___to_s(val_t self) { - struct trace_t trace = {NULL, NULL, 88, LOCATE_opts___OptionText___to_s}; - val_t variable[3]; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - /* Register variable[0]: Local variable */ - variable[0] = self; - /* Register variable[1]: Method return value and escape marker */ - /* Register variable[2]: Result */ - variable[2] = CALL_opts___Option___helptext(variable[0])(variable[0]) /*Option::helptext*/; - variable[1] = variable[2]; - goto return_label12; - return_label12: while(false); - tracehead = trace.prev; - return variable[1]; +void opts___OptionText___init(val_t p0, val_t p1, int* init_table){ + int itpos1 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_OptionText].i; + struct {struct stack_frame_t me; val_t MORE_REG[1];} fra; + val_t tmp; + if (init_table[itpos1]) return; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 83; + fra.me.meth = LOCATE_opts___OptionText___init; + fra.me.has_broke = 0; + fra.me.REG_size = 2; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[1] = NIT_NULL; + fra.me.REG[0] = p0; + fra.me.REG[1] = p1; + /* ./../lib/opts.nit:83 */ + CALL_opts___Option___init_opt(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], NIT_NULL, NIT_NULL, init_table); + stack_frame_head = fra.me.prev; + init_table[itpos1] = 1; + return; } -val_t opts___OptionText___pretty(val_t self, val_t param0) { - struct trace_t trace = {NULL, NULL, 86, LOCATE_opts___OptionText___pretty}; - val_t variable[4]; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - /* Register variable[0]: Local variable */ - variable[0] = self; - /* Register variable[1]: Local variable */ - variable[1] = param0; - /* Register variable[2]: Method return value and escape marker */ - /* Register variable[3]: Result */ - variable[3] = CALL_string___Object___to_s(variable[0])(variable[0]) /*OptionText::to_s*/; - variable[2] = variable[3]; - goto return_label13; - return_label13: while(false); - tracehead = trace.prev; - return variable[2]; +val_t opts___OptionText___pretty(val_t p0, val_t p1){ + struct {struct stack_frame_t me;} fra; + val_t REGB0; + val_t tmp; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 85; + fra.me.meth = LOCATE_opts___OptionText___pretty; + fra.me.has_broke = 0; + fra.me.REG_size = 1; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[0] = p0; + REGB0 = p1; + /* ./../lib/opts.nit:85 */ + fra.me.REG[0] = CALL_string___Object___to_s(fra.me.REG[0])(fra.me.REG[0]); + goto label1; + label1: while(0); + stack_frame_head = fra.me.prev; + return fra.me.REG[0]; } -void opts___OptionText___init(val_t self, val_t param0, int* init_table) { - struct trace_t trace = {NULL, NULL, 84, LOCATE_opts___OptionText___init}; - val_t variable[3]; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - /* Register variable[0]: Local variable */ - variable[0] = self; - /* Register variable[1]: Local variable */ - variable[1] = param0; - if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionText].i]) return; - /* Register variable[2]: Method return value and escape marker */ - CALL_opts___Option___init_opt(variable[0])(variable[0], variable[1] /*text*/, NIT_NULL /*null*/, NIT_NULL /*null*/, init_table /*YYY*/) /*Option::init_opt*/; - return_label14: while(false); - init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionText].i] = 1; - tracehead = trace.prev; - return; +val_t opts___OptionText___to_s(val_t p0){ + struct {struct stack_frame_t me;} fra; + val_t tmp; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 87; + fra.me.meth = LOCATE_opts___OptionText___to_s; + fra.me.has_broke = 0; + fra.me.REG_size = 1; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[0] = p0; + /* ./../lib/opts.nit:87 */ + fra.me.REG[0] = CALL_opts___Option___helptext(fra.me.REG[0])(fra.me.REG[0]); + goto label1; + label1: while(0); + stack_frame_head = fra.me.prev; + return fra.me.REG[0]; } -void opts___OptionBool___read_param(val_t self, val_t param0) { - struct trace_t trace = {NULL, NULL, 97, LOCATE_opts___OptionBool___read_param}; - val_t variable[3]; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - /* Register variable[0]: Local variable */ - variable[0] = self; - /* Register variable[1]: Local variable */ - variable[1] = param0; - /* Register variable[2]: Method return value and escape marker */ - CALL_opts___Option___value__eq(variable[0])(variable[0], TAG_Bool(true)) /*Option::value=*/; - return_label15: while(false); - tracehead = trace.prev; +void opts___OptionBool___init(val_t p0, val_t p1, val_t p2, int* init_table){ + int itpos2 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_OptionBool].i; + struct {struct stack_frame_t me; val_t MORE_REG[2];} fra; + val_t REGB0; + val_t tmp; + if (init_table[itpos2]) return; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 94; + fra.me.meth = LOCATE_opts___OptionBool___init; + fra.me.has_broke = 0; + fra.me.REG_size = 3; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[1] = NIT_NULL; + fra.me.REG[2] = NIT_NULL; + fra.me.REG[0] = p0; + fra.me.REG[1] = p1; + fra.me.REG[2] = p2; + /* ./../lib/opts.nit:94 */ + REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[2], COLOR_Array, ID_Array)) /*cast Array[String]*/; + if (UNTAG_Bool(REGB0)) { + } else { + nit_abort("Cast failed", NULL, LOCATE_opts, 94); + } + REGB0 = TAG_Bool(false); + CALL_opts___Option___init_opt(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], REGB0, fra.me.REG[2], init_table); + stack_frame_head = fra.me.prev; + init_table[itpos2] = 1; return; } -void opts___OptionBool___init(val_t self, val_t param0, val_t param1, int* init_table) { - struct trace_t trace = {NULL, NULL, 95, LOCATE_opts___OptionBool___init}; - val_t variable[4]; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - /* Register variable[0]: Local variable */ - variable[0] = self; - /* Register variable[1]: Local variable */ - variable[1] = param0; - /* Register variable[2]: Local variable */ - /* check if pvft[INIT_TABLE_POS_OptionBool].i]) return; - /* Register variable[3]: Method return value and escape marker */ - CALL_opts___Option___init_opt(variable[0])(variable[0], variable[1] /*help*/, TAG_Bool(false), variable[2] /*names*/, init_table /*YYY*/) /*Option::init_opt*/; - return_label16: while(false); - init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionBool].i] = 1; - tracehead = trace.prev; +void opts___OptionBool___read_param(val_t p0, val_t p1){ + struct {struct stack_frame_t me; val_t MORE_REG[1];} fra; + val_t REGB0; + val_t tmp; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 96; + fra.me.meth = LOCATE_opts___OptionBool___read_param; + fra.me.has_broke = 0; + fra.me.REG_size = 2; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[1] = NIT_NULL; + fra.me.REG[0] = p0; + fra.me.REG[1] = p1; + /* ./../lib/opts.nit:96 */ + REGB0 = TAG_Bool(true); + CALL_opts___Option___value__eq(fra.me.REG[0])(fra.me.REG[0], REGB0); + stack_frame_head = fra.me.prev; return; } -void opts___OptionCount___read_param(val_t self, val_t param0) { - struct trace_t trace = {NULL, NULL, 106, LOCATE_opts___OptionCount___read_param}; - val_t variable[3]; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - /* Register variable[0]: Local variable */ - variable[0] = self; - /* Register variable[1]: Local variable */ - variable[1] = param0; - /* Register variable[2]: Method return value and escape marker */ - CALL_opts___Option___value__eq(variable[0])(variable[0], TAG_Int(UNTAG_Int(CALL_opts___Option___value(variable[0])(variable[0]) /*Option::value*/)+UNTAG_Int( TAG_Int(1)))) /*Option::value=*/; - return_label17: while(false); - tracehead = trace.prev; +void opts___OptionCount___init(val_t p0, val_t p1, val_t p2, int* init_table){ + int itpos3 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_OptionCount].i; + struct {struct stack_frame_t me; val_t MORE_REG[2];} fra; + val_t REGB0; + val_t tmp; + if (init_table[itpos3]) return; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 103; + fra.me.meth = LOCATE_opts___OptionCount___init; + fra.me.has_broke = 0; + fra.me.REG_size = 3; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[1] = NIT_NULL; + fra.me.REG[2] = NIT_NULL; + fra.me.REG[0] = p0; + fra.me.REG[1] = p1; + fra.me.REG[2] = p2; + /* ./../lib/opts.nit:103 */ + REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[2], COLOR_Array, ID_Array)) /*cast Array[String]*/; + if (UNTAG_Bool(REGB0)) { + } else { + nit_abort("Cast failed", NULL, LOCATE_opts, 103); + } + REGB0 = TAG_Int(0); + CALL_opts___Option___init_opt(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], REGB0, fra.me.REG[2], init_table); + stack_frame_head = fra.me.prev; + init_table[itpos3] = 1; return; } -void opts___OptionCount___init(val_t self, val_t param0, val_t param1, int* init_table) { - struct trace_t trace = {NULL, NULL, 104, LOCATE_opts___OptionCount___init}; - val_t variable[4]; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - /* Register variable[0]: Local variable */ - variable[0] = self; - /* Register variable[1]: Local variable */ - variable[1] = param0; - /* Register variable[2]: Local variable */ - /* check if pvft[INIT_TABLE_POS_OptionCount].i]) return; - /* Register variable[3]: Method return value and escape marker */ - CALL_opts___Option___init_opt(variable[0])(variable[0], variable[1] /*help*/, TAG_Int(0), variable[2] /*names*/, init_table /*YYY*/) /*Option::init_opt*/; - return_label18: while(false); - init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionCount].i] = 1; - tracehead = trace.prev; +void opts___OptionCount___read_param(val_t p0, val_t p1){ + struct {struct stack_frame_t me; val_t MORE_REG[1];} fra; + val_t REGB0; + val_t tmp; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 105; + fra.me.meth = LOCATE_opts___OptionCount___read_param; + fra.me.has_broke = 0; + fra.me.REG_size = 2; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[1] = NIT_NULL; + fra.me.REG[0] = p0; + fra.me.REG[1] = p1; + /* ./../lib/opts.nit:105 */ + fra.me.REG[1] = CALL_opts___Option___value(fra.me.REG[0])(fra.me.REG[0]); + REGB0 = TAG_Int(1); + /* ./../lib/standard//kernel.nit:215 */ + REGB0 = TAG_Int(UNTAG_Int(fra.me.REG[1])+UNTAG_Int(REGB0)); + /* ./../lib/opts.nit:105 */ + CALL_opts___Option___value__eq(fra.me.REG[0])(fra.me.REG[0], REGB0); + stack_frame_head = fra.me.prev; return; } -void opts___OptionParameter___read_param(val_t self, val_t param0) { - struct trace_t trace = {NULL, NULL, 114, LOCATE_opts___OptionParameter___read_param}; - val_t variable[4]; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - /* Register variable[0]: Local variable */ - variable[0] = self; - /* Register variable[1]: Local variable */ - variable[1] = param0; - /* Register variable[2]: Method return value and escape marker */ - /* Register variable[3]: Result */ - variable[3] = CALL_opts___Option___context(variable[0])(variable[0]) /*Option::context*/; - /* Register variable[3]: Result */ - variable[3] = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable[3] == NIT_NULL /*null*/) || ((variable[3] != NIT_NULL) && ((CALL_kernel___Object_____eqeq(variable[3])==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[3], NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq(variable[3])(variable[3], NIT_NULL /*null*/) /*Object::==*/))))))); - if (!UNTAG_Bool(variable[3])) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___OptionParameter___read_param, LOCATE_opts, 116); nit_exit(1);} - /* Register variable[3]: Result */ - variable[3] = CALL_abstract_collection___Iterator___is_ok( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::is_ok*/; - if (UNTAG_Bool(variable[3])) { /*if*/ - /* Register variable[3]: Result */ - variable[3] = CALL_abstract_collection___Iterator___item( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::item*/; - /* Register variable[3]: Result */ - variable[3] = CALL_opts___OptionParameter___convert(variable[0])(variable[0], variable[3]) /*OptionParameter::convert*/; - CALL_opts___Option___value__eq(variable[0])(variable[0], variable[3]) /*Option::value=*/; - CALL_abstract_collection___Iterator___next( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::next*/; - } else { /*if*/ +val_t opts___OptionParameter___convert(val_t p0, val_t p1){ + struct {struct stack_frame_t me;} fra; + val_t tmp; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 111; + fra.me.meth = LOCATE_opts___OptionParameter___convert; + fra.me.has_broke = 0; + fra.me.REG_size = 0; + /* ./../lib/opts.nit:111 */ + nit_abort("Deferred method called", NULL, LOCATE_opts, 111); + stack_frame_head = fra.me.prev; + return NIT_NULL; +} +void opts___OptionParameter___read_param(val_t p0, val_t p1){ + struct {struct stack_frame_t me; val_t MORE_REG[2];} fra; + val_t REGB0; + val_t tmp; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 113; + fra.me.meth = LOCATE_opts___OptionParameter___read_param; + fra.me.has_broke = 0; + fra.me.REG_size = 3; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[1] = NIT_NULL; + fra.me.REG[2] = NIT_NULL; + fra.me.REG[0] = p0; + fra.me.REG[1] = p1; + /* ./../lib/opts.nit:115 */ + REGB0 = CALL_abstract_collection___Iterator___is_ok(fra.me.REG[1])(fra.me.REG[1]); + if (UNTAG_Bool(REGB0)) { + /* ./../lib/opts.nit:116 */ + fra.me.REG[2] = CALL_abstract_collection___Iterator___item(fra.me.REG[1])(fra.me.REG[1]); + fra.me.REG[2] = CALL_opts___OptionParameter___convert(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]); + CALL_opts___Option___value__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]); + /* ./../lib/opts.nit:117 */ + CALL_abstract_collection___Iterator___next(fra.me.REG[1])(fra.me.REG[1]); } - return_label19: while(false); - tracehead = trace.prev; + stack_frame_head = fra.me.prev; return; } -val_t opts___OptionParameter___convert(val_t self, val_t param0) { - struct trace_t trace = {NULL, NULL, 112, LOCATE_opts___OptionParameter___convert}; - val_t *variable = NULL; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - fprintf(stderr, "Deferred method called"); - fprintf(stderr, " (%s:%d)\n", LOCATE_opts, 112); - nit_exit(1); - tracehead = trace.prev; - return NIT_NULL; +void opts___OptionParameter___init_opt(val_t p0, val_t p1, val_t p2, val_t p3, int* init_table){ + int itpos4 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_OptionParameter].i; + struct {struct stack_frame_t me; val_t MORE_REG[3];} fra; + val_t tmp; + if (init_table[itpos4]) return; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 123; + fra.me.meth = LOCATE_opts___OptionParameter___init_opt; + fra.me.has_broke = 0; + fra.me.REG_size = 4; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[1] = NIT_NULL; + fra.me.REG[2] = NIT_NULL; + fra.me.REG[3] = NIT_NULL; + fra.me.REG[0] = p0; + fra.me.REG[1] = p1; + fra.me.REG[2] = p2; + fra.me.REG[3] = p3; + /* ./../lib/opts.nit:123 */ + CALL_opts___Option___init_opt(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], fra.me.REG[2], fra.me.REG[3], init_table); + stack_frame_head = fra.me.prev; + init_table[itpos4] = 1; + return; } -void opts___OptionParameter___init_opt(val_t self, val_t param0, val_t param1, val_t param2, int* init_table) { - struct trace_t trace = {NULL, NULL, 125, LOCATE_opts___OptionParameter___init_opt}; - val_t variable[5]; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - /* Register variable[0]: Local variable */ - variable[0] = self; - /* Register variable[1]: Local variable */ - variable[1] = param0; - /* Register variable[2]: Local variable */ - variable[2] = param1; - /* Register variable[3]: Local variable */ - variable[3] = param2; - if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionParameter].i]) return; - /* Register variable[4]: Method return value and escape marker */ - CALL_opts___Option___init_opt(variable[0])(variable[0], variable[1], variable[2], variable[3], init_table /*YYY*/) /*Option::init_opt*/; - return_label20: while(false); - init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionParameter].i] = 1; - tracehead = trace.prev; +void opts___OptionString___init(val_t p0, val_t p1, val_t p2, int* init_table){ + int itpos5 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_OptionString].i; + struct {struct stack_frame_t me; val_t MORE_REG[2];} fra; + val_t REGB0; + val_t tmp; + if (init_table[itpos5]) return; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 130; + fra.me.meth = LOCATE_opts___OptionString___init; + fra.me.has_broke = 0; + fra.me.REG_size = 3; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[1] = NIT_NULL; + fra.me.REG[2] = NIT_NULL; + fra.me.REG[0] = p0; + fra.me.REG[1] = p1; + fra.me.REG[2] = p2; + /* ./../lib/opts.nit:130 */ + REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[2], COLOR_Array, ID_Array)) /*cast Array[String]*/; + if (UNTAG_Bool(REGB0)) { + } else { + nit_abort("Cast failed", NULL, LOCATE_opts, 130); + } + CALL_opts___OptionParameter___init_opt(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], NIT_NULL, fra.me.REG[2], init_table); + stack_frame_head = fra.me.prev; + init_table[itpos5] = 1; return; } -val_t opts___OptionString___convert(val_t self, val_t param0) { - struct trace_t trace = {NULL, NULL, 134, LOCATE_opts___OptionString___convert}; - val_t variable[3]; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - /* Register variable[0]: Local variable */ - variable[0] = self; - /* Register variable[1]: Local variable */ - variable[1] = param0; - /* Register variable[2]: Method return value and escape marker */ - variable[2] = variable[1] /*str*/; - goto return_label21; - return_label21: while(false); - tracehead = trace.prev; - return variable[2]; +val_t opts___OptionString___convert(val_t p0, val_t p1){ + struct {struct stack_frame_t me; val_t MORE_REG[1];} fra; + val_t tmp; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 132; + fra.me.meth = LOCATE_opts___OptionString___convert; + fra.me.has_broke = 0; + fra.me.REG_size = 2; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[1] = NIT_NULL; + fra.me.REG[0] = p0; + fra.me.REG[1] = p1; + /* ./../lib/opts.nit:132 */ + goto label1; + label1: while(0); + stack_frame_head = fra.me.prev; + return fra.me.REG[1]; } -void opts___OptionString___init(val_t self, val_t param0, val_t param1, int* init_table) { - struct trace_t trace = {NULL, NULL, 132, LOCATE_opts___OptionString___init}; - val_t variable[4]; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - /* Register variable[0]: Local variable */ - variable[0] = self; - /* Register variable[1]: Local variable */ - variable[1] = param0; - /* Register variable[2]: Local variable */ - /* check if pvft[INIT_TABLE_POS_OptionString].i]) return; - /* Register variable[3]: Method return value and escape marker */ - CALL_opts___OptionParameter___init_opt(variable[0])(variable[0], variable[1] /*help*/, NIT_NULL /*null*/, variable[2] /*names*/, init_table /*YYY*/) /*OptionParameter::init_opt*/; - return_label22: while(false); - init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionString].i] = 1; - tracehead = trace.prev; +void opts___OptionEnum___init(val_t p0, val_t p1, val_t p2, val_t p3, val_t p4, int* init_table){ + int itpos6 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_OptionEnum].i; + struct {struct stack_frame_t me; val_t MORE_REG[5];} fra; + val_t REGB0; + val_t REGB1; + val_t REGB2; + val_t tmp; + static val_t once_value_1; /* Once value */ + static val_t once_value_2; /* Once value */ + static val_t once_value_3; /* Once value */ + static val_t once_value_4; /* Once value */ + if (init_table[itpos6]) return; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 140; + fra.me.meth = LOCATE_opts___OptionEnum___init; + fra.me.has_broke = 0; + fra.me.REG_size = 6; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[1] = NIT_NULL; + fra.me.REG[2] = NIT_NULL; + fra.me.REG[3] = NIT_NULL; + fra.me.REG[4] = NIT_NULL; + fra.me.REG[5] = NIT_NULL; + fra.me.REG[0] = p0; + fra.me.REG[1] = p1; + fra.me.REG[2] = p2; + REGB0 = p3; + fra.me.REG[3] = p4; + /* ./../lib/opts.nit:140 */ + REGB1 = TAG_Bool(VAL_ISA(fra.me.REG[3], COLOR_Array, ID_Array)) /*cast Array[String]*/; + if (UNTAG_Bool(REGB1)) { + } else { + nit_abort("Cast failed", NULL, LOCATE_opts, 140); + } + /* ./../lib/standard//collection//array.nit:23 */ + REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL); + if (UNTAG_Bool(REGB1)) { + } else { + nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23); + } + REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[1]); + /* ./../lib/opts.nit:142 */ + REGB2 = TAG_Int(0); + /* ./../lib/standard//kernel.nit:214 */ + REGB2 = TAG_Bool(UNTAG_Int(REGB1)>UNTAG_Int(REGB2)); + /* ./../lib/opts.nit:142 */ + if (UNTAG_Bool(REGB2)) { + } else { + nit_abort("Assert failed", NULL, LOCATE_opts, 142); + } + /* ./../lib/opts.nit:143 */ + fra.me.REG[4] = CALL_array___Collection___to_a(fra.me.REG[1])(fra.me.REG[1]); + ATTR_opts___OptionEnum____values(fra.me.REG[0]) = fra.me.REG[4]; + /* ./../lib/opts.nit:144 */ + REGB2 = TAG_Int(5); + fra.me.REG[4] = NEW_Array_array___Array___with_capacity(REGB2); + if (!once_value_1) { + fra.me.REG[5] = BOX_NativeString(""); + REGB2 = TAG_Int(0); + fra.me.REG[5] = NEW_String_string___String___with_native(fra.me.REG[5], REGB2); + once_value_1 = fra.me.REG[5]; + register_static_object(&once_value_1); + } else fra.me.REG[5] = once_value_1; + fra.me.REG[5] = fra.me.REG[5]; + CALL_abstract_collection___SimpleCollection___add(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[5]); + CALL_abstract_collection___SimpleCollection___add(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[2]); + if (!once_value_2) { + fra.me.REG[2] = BOX_NativeString(" <"); + REGB2 = TAG_Int(2); + fra.me.REG[2] = NEW_String_string___String___with_native(fra.me.REG[2], REGB2); + once_value_2 = fra.me.REG[2]; + register_static_object(&once_value_2); + } else fra.me.REG[2] = once_value_2; + fra.me.REG[2] = fra.me.REG[2]; + CALL_abstract_collection___SimpleCollection___add(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[2]); + if (!once_value_3) { + fra.me.REG[2] = BOX_NativeString(", "); + REGB2 = TAG_Int(2); + fra.me.REG[2] = NEW_String_string___String___with_native(fra.me.REG[2], REGB2); + once_value_3 = fra.me.REG[2]; + register_static_object(&once_value_3); + } else fra.me.REG[2] = once_value_3; + fra.me.REG[2] = fra.me.REG[2]; + fra.me.REG[2] = CALL_string___Collection___join(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]); + CALL_abstract_collection___SimpleCollection___add(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[2]); + if (!once_value_4) { + fra.me.REG[2] = BOX_NativeString(">"); + REGB2 = TAG_Int(1); + fra.me.REG[2] = NEW_String_string___String___with_native(fra.me.REG[2], REGB2); + once_value_4 = fra.me.REG[2]; + register_static_object(&once_value_4); + } else fra.me.REG[2] = once_value_4; + fra.me.REG[2] = fra.me.REG[2]; + CALL_abstract_collection___SimpleCollection___add(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[2]); + fra.me.REG[4] = CALL_string___Object___to_s(fra.me.REG[4])(fra.me.REG[4]); + CALL_opts___OptionParameter___init_opt(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[4], REGB0, fra.me.REG[3], init_table); + stack_frame_head = fra.me.prev; + init_table[itpos6] = 1; return; } -val_t opts___OptionEnum___pretty_default(val_t self) { - struct trace_t trace = {NULL, NULL, 155, LOCATE_opts___OptionEnum___pretty_default}; - static val_t once_value_24 = NIT_NULL; /* Once value for string variable[3]*/ - static val_t once_value_26 = NIT_NULL; /* Once value for string variable[3]*/ - static val_t once_value_27 = NIT_NULL; /* Once value for string variable[2]*/ - val_t variable[9]; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - /* Register variable[0]: Local variable */ - variable[0] = self; - /* Register variable[1]: Method return value and escape marker */ - /* Register variable[2]: Result */ - variable[2] = CALL_opts___Option___default_value(variable[0])(variable[0]) /*Option::default_value*/; - /* Register variable[2]: Result */ - variable[2] = TAG_Bool((variable[2])!=( NIT_NULL /*null*/)); - if (UNTAG_Bool(variable[2])) { /*if*/ - variable[2] = NEW_Array_array___Array___with_capacity(TAG_Int(3)) /*new Array[String]*/ /* Ensure var: Array (for super-string)*/; - /* Register variable[3]: Once String constant */ - if (once_value_24 != NIT_NULL) variable[3] = once_value_24; - else { - variable[3] = NEW_String_string___String___with_native(BOX_NativeString(" ("), TAG_Int(2)) /*new String*/; - once_value_24 = variable[3]; - } - /* Register variable[3]: Result */ - /* Ensure var variable[3]: super-string element*/ - CALL_abstract_collection___SimpleCollection___add(variable[2])(variable[2], variable[3]) /*AbstractArray::add*/; - /* Register variable[3]: Result */ - variable[3] = ATTR_opts___OptionEnum____enum(variable[0]) /*OptionEnum::_enum*/; - /* Register variable[4]: Result */ - variable[4] = CALL_opts___Option___default_value(variable[0])(variable[0]) /*Option::default_value*/; - /* Register variable[5]: Local variable */ - variable[5] = variable[3]; - /* Register variable[6]: Local variable */ - variable[6] = variable[4]; - /* Register variable[7]: Method return value and escape marker */ - /* Register variable[8]: Result */ - variable[8] = TAG_Bool(UNTAG_Int( variable[6] /*index*/)>=UNTAG_Int( TAG_Int(0))); - /* Ensure var variable[8]: Left 'and' operand*/ - if (UNTAG_Bool(variable[8])) { /* and */ - /* Register variable[8]: Result */ - variable[8] = ATTR_array___AbstractArrayRead____length(variable[5]) /*AbstractArrayRead::_length*/; - /* Register variable[8]: Result */ - variable[8] = TAG_Bool(UNTAG_Int( variable[6] /*index*/)vft[INIT_TABLE_POS_OptionEnum].i]) return; - /* Register variable[5]: Method return value and escape marker */ - /* Register variable[6]: Result */ - variable[6] = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable[1] /*enum*/ == NIT_NULL /*null*/) || (( variable[1] /*enum*/ != NIT_NULL) && ((CALL_kernel___Object_____eqeq( variable[1] /*enum*/)==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[1] /*enum*/, NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq( variable[1] /*enum*/)( variable[1] /*enum*/, NIT_NULL /*null*/) /*Object::==*/))))))); - /* Ensure var variable[6]: Left 'and' operand*/ - if (UNTAG_Bool(variable[6])) { /* and */ - /* Register variable[6]: Result */ - variable[6] = CALL_abstract_collection___Collection___length( variable[1] /*enum*/)( variable[1] /*enum*/) /*AbstractArrayRead::length*/; - /* Register variable[6]: Result */ - variable[6] = TAG_Bool(UNTAG_Int(variable[6])>UNTAG_Int( TAG_Int(0))); - } - /* Register variable[6]: Result */ - if (!UNTAG_Bool(variable[6])) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___OptionEnum___init, LOCATE_opts, 144); nit_exit(1);} - /* Register variable[6]: Result */ - variable[6] = CALL_array___Collection___to_a( variable[1] /*enum*/)( variable[1] /*enum*/) /*Collection::to_a*/; - ATTR_opts___OptionEnum____enum(variable[0]) /*OptionEnum::_enum*/ = variable[6]; - variable[6] = NEW_Array_array___Array___with_capacity(TAG_Int(5)) /*new Array[String]*/ /* Ensure var: Array (for super-string)*/; - /* Register variable[7]: Once String constant */ - if (once_value_30 != NIT_NULL) variable[7] = once_value_30; - else { - variable[7] = NEW_String_string___String___with_native(BOX_NativeString(""), TAG_Int(0)) /*new String*/; - once_value_30 = variable[7]; +val_t opts___OptionEnum___value_name(val_t p0){ + struct {struct stack_frame_t me; val_t MORE_REG[1];} fra; + val_t REGB0; + val_t REGB1; + val_t REGB2; + val_t tmp; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 153; + fra.me.meth = LOCATE_opts___OptionEnum___value_name; + fra.me.has_broke = 0; + fra.me.REG_size = 2; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[1] = NIT_NULL; + fra.me.REG[0] = p0; + /* ./../lib/opts.nit:153 */ + REGB0 = TAG_Bool(ATTR_opts___OptionEnum____values(fra.me.REG[0])!=NIT_NULL); + if (UNTAG_Bool(REGB0)) { + } else { + nit_abort("Uninitialized attribute %s", "_values", LOCATE_opts, 153); } - /* Register variable[7]: Result */ - /* Ensure var variable[7]: super-string element*/ - CALL_abstract_collection___SimpleCollection___add(variable[6])(variable[6], variable[7]) /*AbstractArray::add*/; - variable[7] = variable[2] /*help*/ /* Ensure var: super-string element*/; - CALL_abstract_collection___SimpleCollection___add(variable[6])(variable[6], variable[7]) /*AbstractArray::add*/; - /* Register variable[7]: Once String constant */ - if (once_value_31 != NIT_NULL) variable[7] = once_value_31; - else { - variable[7] = NEW_String_string___String___with_native(BOX_NativeString(" <"), TAG_Int(2)) /*new String*/; - once_value_31 = variable[7]; + fra.me.REG[1] = ATTR_opts___OptionEnum____values(fra.me.REG[0]); + fra.me.REG[0] = CALL_opts___Option___value(fra.me.REG[0])(fra.me.REG[0]); + /* ./../lib/standard//collection//array.nit:243 */ + REGB0 = fra.me.REG[0]; + /* ./../lib/standard//collection//array.nit:245 */ + REGB1 = TAG_Int(0); + /* ./../lib/standard//kernel.nit:213 */ + REGB1 = TAG_Bool(UNTAG_Int(REGB0)>=UNTAG_Int(REGB1)); + /* ./../lib/standard//collection//array.nit:245 */ + if (UNTAG_Bool(REGB1)) { + REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL); + if (UNTAG_Bool(REGB1)) { + } else { + nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 245); + } + REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[1]); + /* ./../lib/standard//kernel.nit:212 */ + REGB1 = TAG_Bool(UNTAG_Int(REGB0)"), TAG_Int(1)) /*new String*/; - once_value_33 = variable[7]; + /* ./../lib/standard//collection//array.nit:246 */ + fra.me.REG[1] = ATTR_array___Array____items(fra.me.REG[1]); + REGB1 = TAG_Bool(fra.me.REG[1]==NIT_NULL); + if (UNTAG_Bool(REGB1)) { + nit_abort("Reciever is null", NULL, LOCATE_array, 246); } - /* Register variable[7]: Result */ - /* Ensure var variable[7]: super-string element*/ - CALL_abstract_collection___SimpleCollection___add(variable[6])(variable[6], variable[7]) /*AbstractArray::add*/; - /* Register variable[6]: Result */ - variable[6] = CALL_string___Object___to_s(variable[6])(variable[6]) /*Object::to_s*/; - CALL_opts___OptionParameter___init_opt(variable[0])(variable[0], variable[6], variable[3] /*default*/, variable[4] /*names*/, init_table /*YYY*/) /*OptionParameter::init_opt*/; - return_label29: while(false); - init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionEnum].i] = 1; - tracehead = trace.prev; - return; + /* ./../lib/standard//collection//array.nit:654 */ + fra.me.REG[1] = ((Nit_NativeArray)fra.me.REG[1])->val[UNTAG_Int(REGB0)]; + /* ./../lib/standard//collection//array.nit:246 */ + goto label1; + label1: while(0); + /* ./../lib/opts.nit:153 */ + goto label2; + label2: while(0); + stack_frame_head = fra.me.prev; + return fra.me.REG[1]; } -val_t opts___OptionInt___convert(val_t self, val_t param0) { - struct trace_t trace = {NULL, NULL, 171, LOCATE_opts___OptionInt___convert}; - val_t variable[4]; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - /* Register variable[0]: Local variable */ - variable[0] = self; - /* Register variable[1]: Local variable */ - variable[1] = param0; - /* Register variable[2]: Method return value and escape marker */ - /* Register variable[3]: Result */ - variable[3] = CALL_string___AbstractString___to_i( variable[1] /*str*/)( variable[1] /*str*/) /*AbstractString::to_i*/; - variable[2] = variable[3]; - goto return_label34; - return_label34: while(false); - tracehead = trace.prev; - return variable[2]; +val_t opts___OptionEnum___pretty_default(val_t p0){ + struct {struct stack_frame_t me; val_t MORE_REG[2];} fra; + val_t REGB0; + val_t REGB1; + val_t REGB2; + val_t tmp; + static val_t once_value_1; /* Once value */ + static val_t once_value_3; /* Once value */ + static val_t once_value_5; /* Once value */ + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 155; + fra.me.meth = LOCATE_opts___OptionEnum___pretty_default; + fra.me.has_broke = 0; + fra.me.REG_size = 3; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[1] = NIT_NULL; + fra.me.REG[2] = NIT_NULL; + fra.me.REG[0] = p0; + /* ./../lib/opts.nit:157 */ + fra.me.REG[1] = CALL_opts___Option___default_value(fra.me.REG[0])(fra.me.REG[0]); + REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL); + if (UNTAG_Bool(REGB0)) { + } else { + REGB1 = TAG_Bool(fra.me.REG[1]==NIT_NULL); + if (UNTAG_Bool(REGB1)) { + REGB1 = TAG_Bool(false); + REGB0 = REGB1; + } else { + /* ./../lib/standard//kernel.nit:207 */ + REGB1 = TAG_Bool((fra.me.REG[1])==(NIT_NULL)); + /* ./../lib/opts.nit:157 */ + REGB0 = REGB1; + } + } + REGB0 = TAG_Bool(!UNTAG_Bool(REGB0)); + if (UNTAG_Bool(REGB0)) { + /* ./../lib/opts.nit:158 */ + REGB0 = TAG_Int(3); + fra.me.REG[1] = NEW_Array_array___Array___with_capacity(REGB0); + if (!once_value_1) { + fra.me.REG[2] = BOX_NativeString(" ("); + REGB0 = TAG_Int(2); + fra.me.REG[2] = NEW_String_string___String___with_native(fra.me.REG[2], REGB0); + once_value_1 = fra.me.REG[2]; + register_static_object(&once_value_1); + } else fra.me.REG[2] = once_value_1; + fra.me.REG[2] = fra.me.REG[2]; + CALL_abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]); + REGB0 = TAG_Bool(ATTR_opts___OptionEnum____values(fra.me.REG[0])!=NIT_NULL); + if (UNTAG_Bool(REGB0)) { + } else { + nit_abort("Uninitialized attribute %s", "_values", LOCATE_opts, 158); + } + fra.me.REG[2] = ATTR_opts___OptionEnum____values(fra.me.REG[0]); + fra.me.REG[0] = CALL_opts___Option___default_value(fra.me.REG[0])(fra.me.REG[0]); + REGB0 = TAG_Bool((fra.me.REG[0]!=NIT_NULL) && VAL_ISA(fra.me.REG[0], COLOR_Int, ID_Int)) /*cast VALUE*/; + if (UNTAG_Bool(REGB0)) { + } else { + nit_abort("Cast failed", NULL, LOCATE_opts, 158); + } + /* ./../lib/standard//collection//array.nit:243 */ + REGB0 = fra.me.REG[0]; + /* ./../lib/standard//collection//array.nit:245 */ + REGB1 = TAG_Int(0); + /* ./../lib/standard//kernel.nit:213 */ + REGB1 = TAG_Bool(UNTAG_Int(REGB0)>=UNTAG_Int(REGB1)); + /* ./../lib/standard//collection//array.nit:245 */ + if (UNTAG_Bool(REGB1)) { + REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[2])!=NIT_NULL); + if (UNTAG_Bool(REGB1)) { + } else { + nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 245); + } + REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[2]); + /* ./../lib/standard//kernel.nit:212 */ + REGB1 = TAG_Bool(UNTAG_Int(REGB0)val[UNTAG_Int(REGB0)]; + /* ./../lib/standard//collection//array.nit:246 */ + goto label2; + label2: while(0); + /* ./../lib/opts.nit:158 */ + CALL_abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]); + if (!once_value_3) { + fra.me.REG[2] = BOX_NativeString(")"); + REGB0 = TAG_Int(1); + fra.me.REG[2] = NEW_String_string___String___with_native(fra.me.REG[2], REGB0); + once_value_3 = fra.me.REG[2]; + register_static_object(&once_value_3); + } else fra.me.REG[2] = once_value_3; + fra.me.REG[2] = fra.me.REG[2]; + CALL_abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]); + fra.me.REG[1] = CALL_string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]); + goto label4; + } else { + /* ./../lib/opts.nit:160 */ + if (!once_value_5) { + fra.me.REG[2] = BOX_NativeString(""); + REGB0 = TAG_Int(0); + fra.me.REG[2] = NEW_String_string___String___with_native(fra.me.REG[2], REGB0); + once_value_5 = fra.me.REG[2]; + register_static_object(&once_value_5); + } else fra.me.REG[2] = once_value_5; + fra.me.REG[2] = fra.me.REG[2]; + fra.me.REG[1] = fra.me.REG[2]; + goto label4; + } + label4: while(0); + stack_frame_head = fra.me.prev; + return fra.me.REG[1]; } -void opts___OptionInt___init(val_t self, val_t param0, val_t param1, val_t param2, int* init_table) { - struct trace_t trace = {NULL, NULL, 169, LOCATE_opts___OptionInt___init}; - val_t variable[5]; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - /* Register variable[0]: Local variable */ - variable[0] = self; - /* Register variable[1]: Local variable */ - variable[1] = param0; - /* Register variable[2]: Local variable */ - variable[2] = param1; - /* Register variable[3]: Local variable */ - /* check if pvft[INIT_TABLE_POS_OptionInt].i]) return; - /* Register variable[4]: Method return value and escape marker */ - CALL_opts___OptionParameter___init_opt(variable[0])(variable[0], variable[1] /*help*/, variable[2] /*default*/, variable[3] /*names*/, init_table /*YYY*/) /*OptionParameter::init_opt*/; - return_label35: while(false); - init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionInt].i] = 1; - tracehead = trace.prev; +void opts___OptionInt___init(val_t p0, val_t p1, val_t p2, val_t p3, int* init_table){ + int itpos7 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_OptionInt].i; + struct {struct stack_frame_t me; val_t MORE_REG[2];} fra; + val_t REGB0; + val_t REGB1; + val_t tmp; + if (init_table[itpos7]) return; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 169; + fra.me.meth = LOCATE_opts___OptionInt___init; + fra.me.has_broke = 0; + fra.me.REG_size = 3; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[1] = NIT_NULL; + fra.me.REG[2] = NIT_NULL; + fra.me.REG[0] = p0; + fra.me.REG[1] = p1; + REGB0 = p2; + fra.me.REG[2] = p3; + /* ./../lib/opts.nit:169 */ + REGB1 = TAG_Bool(VAL_ISA(fra.me.REG[2], COLOR_Array, ID_Array)) /*cast Array[String]*/; + if (UNTAG_Bool(REGB1)) { + } else { + nit_abort("Cast failed", NULL, LOCATE_opts, 169); + } + CALL_opts___OptionParameter___init_opt(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], REGB0, fra.me.REG[2], init_table); + stack_frame_head = fra.me.prev; + init_table[itpos7] = 1; return; } -val_t opts___OptionArray___convert(val_t self, val_t param0) { - struct trace_t trace = {NULL, NULL, 185, LOCATE_opts___OptionArray___convert}; - val_t variable[4]; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - /* Register variable[0]: Local variable */ - variable[0] = self; - /* Register variable[1]: Local variable */ - variable[1] = param0; - /* Register variable[2]: Method return value and escape marker */ - /* Register variable[3]: Result */ - variable[3] = ATTR_opts___OptionArray____values(variable[0]) /*OptionArray::_values*/; - CALL_abstract_collection___SimpleCollection___add(variable[3])(variable[3], variable[1] /*str*/) /*AbstractArray::add*/; - /* Register variable[3]: Result */ - variable[3] = ATTR_opts___OptionArray____values(variable[0]) /*OptionArray::_values*/; - variable[2] = variable[3]; - goto return_label36; - return_label36: while(false); - tracehead = trace.prev; - return variable[2]; +val_t opts___OptionInt___convert(val_t p0, val_t p1){ + struct {struct stack_frame_t me; val_t MORE_REG[1];} fra; + val_t REGB0; + val_t tmp; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 171; + fra.me.meth = LOCATE_opts___OptionInt___convert; + fra.me.has_broke = 0; + fra.me.REG_size = 2; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[1] = NIT_NULL; + fra.me.REG[0] = p0; + fra.me.REG[1] = p1; + /* ./../lib/opts.nit:171 */ + REGB0 = CALL_string___AbstractString___to_i(fra.me.REG[1])(fra.me.REG[1]); + goto label1; + label1: while(0); + stack_frame_head = fra.me.prev; + return REGB0; } -void opts___OptionArray___init(val_t self, val_t param0, val_t param1, int* init_table) { - struct trace_t trace = {NULL, NULL, 178, LOCATE_opts___OptionArray___init}; - val_t variable[5]; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - /* Register variable[0]: Local variable */ - variable[0] = self; - /* Register variable[1]: Local variable */ - variable[1] = param0; - /* Register variable[2]: Local variable */ - /* check if pvft[INIT_TABLE_POS_OptionArray].i]) return; - /* Register variable[3]: Method return value and escape marker */ - /* Register variable[4]: Result */ - variable[4] = NEW_Array_array___Array___init() /*new Array[String]*/; - ATTR_opts___OptionArray____values(variable[0]) /*OptionArray::_values*/ = variable[4]; - /* Register variable[4]: Result */ - variable[4] = ATTR_opts___OptionArray____values(variable[0]) /*OptionArray::_values*/; - CALL_opts___OptionParameter___init_opt(variable[0])(variable[0], variable[1] /*help*/, variable[4], variable[2] /*names*/, init_table /*YYY*/) /*OptionParameter::init_opt*/; - return_label37: while(false); - init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionArray].i] = 1; - tracehead = trace.prev; +void opts___OptionArray___init(val_t p0, val_t p1, val_t p2, int* init_table){ + int itpos8 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_OptionArray].i; + struct {struct stack_frame_t me; val_t MORE_REG[3];} fra; + val_t REGB0; + val_t tmp; + if (init_table[itpos8]) return; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 178; + fra.me.meth = LOCATE_opts___OptionArray___init; + fra.me.has_broke = 0; + fra.me.REG_size = 4; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[1] = NIT_NULL; + fra.me.REG[2] = NIT_NULL; + fra.me.REG[3] = NIT_NULL; + fra.me.REG[0] = p0; + fra.me.REG[1] = p1; + fra.me.REG[2] = p2; + /* ./../lib/opts.nit:178 */ + REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[2], COLOR_Array, ID_Array)) /*cast Array[String]*/; + if (UNTAG_Bool(REGB0)) { + } else { + nit_abort("Cast failed", NULL, LOCATE_opts, 178); + } + /* ./../lib/opts.nit:180 */ + fra.me.REG[3] = NEW_Array_array___Array___init(); + ATTR_opts___OptionArray____values(fra.me.REG[0]) = fra.me.REG[3]; + /* ./../lib/opts.nit:181 */ + REGB0 = TAG_Bool(ATTR_opts___OptionArray____values(fra.me.REG[0])!=NIT_NULL); + if (UNTAG_Bool(REGB0)) { + } else { + nit_abort("Uninitialized attribute %s", "_values", LOCATE_opts, 181); + } + fra.me.REG[3] = ATTR_opts___OptionArray____values(fra.me.REG[0]); + CALL_opts___OptionParameter___init_opt(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], fra.me.REG[3], fra.me.REG[2], init_table); + stack_frame_head = fra.me.prev; + init_table[itpos8] = 1; return; } -val_t opts___OptionContext___options(val_t self) { - struct trace_t trace = {NULL, NULL, 193, LOCATE_opts___OptionContext___options}; - val_t *variable = NULL; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - tracehead = trace.prev; - return ATTR_opts___OptionContext____options( self) /*OptionContext::_options*/; +val_t opts___OptionArray___convert(val_t p0, val_t p1){ + struct {struct stack_frame_t me; val_t MORE_REG[2];} fra; + val_t REGB0; + val_t tmp; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 185; + fra.me.meth = LOCATE_opts___OptionArray___convert; + fra.me.has_broke = 0; + fra.me.REG_size = 3; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[1] = NIT_NULL; + fra.me.REG[2] = NIT_NULL; + fra.me.REG[0] = p0; + fra.me.REG[1] = p1; + /* ./../lib/opts.nit:187 */ + REGB0 = TAG_Bool(ATTR_opts___OptionArray____values(fra.me.REG[0])!=NIT_NULL); + if (UNTAG_Bool(REGB0)) { + } else { + nit_abort("Uninitialized attribute %s", "_values", LOCATE_opts, 187); + } + fra.me.REG[2] = ATTR_opts___OptionArray____values(fra.me.REG[0]); + CALL_abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]); + /* ./../lib/opts.nit:188 */ + REGB0 = TAG_Bool(ATTR_opts___OptionArray____values(fra.me.REG[0])!=NIT_NULL); + if (UNTAG_Bool(REGB0)) { + } else { + nit_abort("Uninitialized attribute %s", "_values", LOCATE_opts, 188); + } + fra.me.REG[0] = ATTR_opts___OptionArray____values(fra.me.REG[0]); + goto label1; + label1: while(0); + stack_frame_head = fra.me.prev; + return fra.me.REG[0]; +} +val_t opts___OptionContext___options(val_t p0){ + struct {struct stack_frame_t me;} fra; + val_t REGB0; + val_t tmp; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 193; + fra.me.meth = LOCATE_opts___OptionContext___options; + fra.me.has_broke = 0; + fra.me.REG_size = 1; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[0] = p0; + /* ./../lib/opts.nit:193 */ + REGB0 = TAG_Bool(ATTR_opts___OptionContext____options(fra.me.REG[0])!=NIT_NULL); + if (UNTAG_Bool(REGB0)) { + } else { + nit_abort("Uninitialized attribute %s", "_options", LOCATE_opts, 193); + } + fra.me.REG[0] = ATTR_opts___OptionContext____options(fra.me.REG[0]); + stack_frame_head = fra.me.prev; + return fra.me.REG[0]; } -val_t opts___OptionContext___rest(val_t self) { - struct trace_t trace = {NULL, NULL, 194, LOCATE_opts___OptionContext___rest}; - val_t *variable = NULL; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - tracehead = trace.prev; - return ATTR_opts___OptionContext____rest( self) /*OptionContext::_rest*/; +val_t opts___OptionContext___rest(val_t p0){ + struct {struct stack_frame_t me;} fra; + val_t REGB0; + val_t tmp; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 194; + fra.me.meth = LOCATE_opts___OptionContext___rest; + fra.me.has_broke = 0; + fra.me.REG_size = 1; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[0] = p0; + /* ./../lib/opts.nit:194 */ + REGB0 = TAG_Bool(ATTR_opts___OptionContext____rest(fra.me.REG[0])!=NIT_NULL); + if (UNTAG_Bool(REGB0)) { + } else { + nit_abort("Uninitialized attribute %s", "_rest", LOCATE_opts, 194); + } + fra.me.REG[0] = ATTR_opts___OptionContext____rest(fra.me.REG[0]); + stack_frame_head = fra.me.prev; + return fra.me.REG[0]; } -void opts___OptionContext___usage(val_t self) { - struct trace_t trace = {NULL, NULL, 198, LOCATE_opts___OptionContext___usage}; - val_t variable[11]; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - /* Register variable[0]: Local variable */ - variable[0] = self; - /* Register variable[1]: Method return value and escape marker */ - /* Register variable[2]: Local variable */ - variable[2] = TAG_Int(1); - /* Register variable[3]: Result */ - variable[3] = ATTR_opts___OptionContext____options(variable[0]) /*OptionContext::_options*/; - /* Register variable[3]: For iterator */ - variable[3] = CALL_abstract_collection___Collection___iterator(variable[3])(variable[3]) /*AbstractArrayRead::iterator*/; - while (true) { /*for*/ - /* Register variable[4]: For 'is_ok' result */ - variable[4] = CALL_abstract_collection___Iterator___is_ok(variable[3])(variable[3]) /*ArrayIterator::is_ok*/; - if (!UNTAG_Bool(variable[4])) break; /*for*/ - variable[4] = CALL_abstract_collection___Iterator___item(variable[3])(variable[3]) /*ArrayIterator::item*/ /* Ensure var: For item*/; - /* Register variable[5]: Local variable */ - variable[5] = variable[4]; - /* Register variable[6]: Local variable */ - variable[6] = TAG_Int(3); - /* Register variable[7]: Result */ - variable[7] = CALL_opts___Option___names( variable[5] /*i*/)( variable[5] /*i*/) /*Option::names*/; - /* Register variable[7]: For iterator */ - variable[7] = CALL_abstract_collection___Collection___iterator(variable[7])(variable[7]) /*AbstractArrayRead::iterator*/; - while (true) { /*for*/ - /* Register variable[8]: For 'is_ok' result */ - variable[8] = CALL_abstract_collection___Iterator___is_ok(variable[7])(variable[7]) /*ArrayIterator::is_ok*/; - if (!UNTAG_Bool(variable[8])) break; /*for*/ - variable[8] = CALL_abstract_collection___Iterator___item(variable[7])(variable[7]) /*ArrayIterator::item*/ /* Ensure var: For item*/; - /* Register variable[9]: Local variable */ - variable[9] = variable[8]; - /* Register variable[10]: Result */ - variable[10] = CALL_abstract_collection___Collection___length( variable[9] /*n*/)( variable[9] /*n*/) /*AbstractArrayRead::length*/; - /* Register variable[10]: Result */ - variable[10] = TAG_Int(UNTAG_Int(variable[10])+UNTAG_Int( TAG_Int(2))); - variable[6] = TAG_Int(UNTAG_Int(variable[6])+UNTAG_Int(variable[10])) /*l*/; - continue_40: while(0); - CALL_abstract_collection___Iterator___next(variable[7])(variable[7]) /*ArrayIterator::next*/; +void opts___OptionContext___usage(val_t p0){ + struct {struct stack_frame_t me; val_t MORE_REG[5];} fra; + val_t REGB0; + val_t REGB1; + val_t REGB2; + val_t REGB3; + val_t REGB4; + val_t REGB5; + val_t tmp; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 198; + fra.me.meth = LOCATE_opts___OptionContext___usage; + fra.me.has_broke = 0; + fra.me.REG_size = 6; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[1] = NIT_NULL; + fra.me.REG[2] = NIT_NULL; + fra.me.REG[3] = NIT_NULL; + fra.me.REG[4] = NIT_NULL; + fra.me.REG[5] = NIT_NULL; + fra.me.REG[0] = p0; + /* ./../lib/opts.nit:200 */ + REGB0 = TAG_Int(1); + /* ./../lib/opts.nit:201 */ + REGB1 = TAG_Bool(ATTR_opts___OptionContext____options(fra.me.REG[0])!=NIT_NULL); + if (UNTAG_Bool(REGB1)) { + } else { + nit_abort("Uninitialized attribute %s", "_options", LOCATE_opts, 201); + } + fra.me.REG[1] = ATTR_opts___OptionContext____options(fra.me.REG[0]); + /* ./../lib/standard//collection//array.nit:234 */ + REGB1 = TAG_Int(0); + /* ./../lib/standard//collection//array.nit:235 */ + REGB2 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL); + if (UNTAG_Bool(REGB2)) { + } else { + nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 235); + } + REGB2 = ATTR_array___AbstractArrayRead____length(fra.me.REG[1]); + /* ./../lib/standard//collection//array.nit:236 */ + fra.me.REG[2] = ATTR_array___Array____items(fra.me.REG[1]); + /* ./../lib/standard//collection//array.nit:237 */ + while(1) { + /* ./../lib/standard//collection//array.nit:23 */ + REGB2 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL); + if (UNTAG_Bool(REGB2)) { + } else { + nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23); } - break_40: while(0); - /* Register variable[7]: Result */ - variable[7] = TAG_Bool(UNTAG_Int( variable[2] /*lmax*/)val[UNTAG_Int(REGB1)]; + /* ./../lib/opts.nit:202 */ + REGB2 = TAG_Int(3); + /* ./../lib/opts.nit:203 */ + fra.me.REG[3] = CALL_opts___Option___names(fra.me.REG[3])(fra.me.REG[3]); + /* ./../lib/standard//collection//array.nit:234 */ + REGB3 = TAG_Int(0); + /* ./../lib/standard//collection//array.nit:235 */ + REGB4 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[3])!=NIT_NULL); + if (UNTAG_Bool(REGB4)) { + } else { + nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 235); + } + REGB4 = ATTR_array___AbstractArrayRead____length(fra.me.REG[3]); + /* ./../lib/standard//collection//array.nit:236 */ + fra.me.REG[4] = ATTR_array___Array____items(fra.me.REG[3]); + /* ./../lib/standard//collection//array.nit:237 */ + while(1) { + /* ./../lib/standard//collection//array.nit:23 */ + REGB4 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[3])!=NIT_NULL); + if (UNTAG_Bool(REGB4)) { + } else { + nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23); + } + REGB4 = ATTR_array___AbstractArrayRead____length(fra.me.REG[3]); + /* ./../lib/standard//kernel.nit:212 */ + REGB4 = TAG_Bool(UNTAG_Int(REGB3)val[UNTAG_Int(REGB3)]; + /* ./../lib/standard//collection//array.nit:23 */ + REGB4 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[5])!=NIT_NULL); + if (UNTAG_Bool(REGB4)) { + } else { + nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23); + } + REGB4 = ATTR_array___AbstractArrayRead____length(fra.me.REG[5]); + /* ./../lib/opts.nit:204 */ + REGB5 = TAG_Int(2); + /* ./../lib/standard//kernel.nit:215 */ + REGB5 = TAG_Int(UNTAG_Int(REGB4)+UNTAG_Int(REGB5)); + REGB5 = TAG_Int(UNTAG_Int(REGB2)+UNTAG_Int(REGB5)); + /* ./../lib/opts.nit:204 */ + REGB2 = REGB5; + /* ./../lib/standard//collection//array.nit:239 */ + REGB5 = TAG_Int(1); + /* ./../lib/standard//kernel.nit:215 */ + REGB5 = TAG_Int(UNTAG_Int(REGB3)+UNTAG_Int(REGB5)); + /* ./../lib/standard//collection//array.nit:239 */ + REGB3 = REGB5; + } else { + /* ./../lib/standard//collection//array.nit:237 */ + goto label1; + } + } + label1: while(0); + /* ./../lib/standard//kernel.nit:212 */ + REGB3 = TAG_Bool(UNTAG_Int(REGB0)val[UNTAG_Int(REGB1)]; + /* ./../lib/opts.nit:210 */ + fra.me.REG[4] = CALL_opts___Option___pretty(fra.me.REG[4])(fra.me.REG[4], REGB0); + CALL_file___Object___print(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[4]); + /* ./../lib/standard//collection//array.nit:239 */ + REGB2 = TAG_Int(1); + /* ./../lib/standard//kernel.nit:215 */ + REGB2 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB2)); + /* ./../lib/standard//collection//array.nit:239 */ + REGB1 = REGB2; + } else { + /* ./../lib/standard//collection//array.nit:237 */ + goto label3; + } + } + label3: while(0); + stack_frame_head = fra.me.prev; return; } -void opts___OptionContext___parse(val_t self, val_t param0) { - struct trace_t trace = {NULL, NULL, 214, LOCATE_opts___OptionContext___parse}; - val_t variable[5]; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - /* Register variable[0]: Local variable */ - variable[0] = self; - /* Register variable[1]: Local variable */ - variable[1] = param0; - /* Register variable[2]: Method return value and escape marker */ - /* Register variable[3]: Local variable */ - /* Register variable[4]: Result */ - variable[4] = CALL_abstract_collection___Collection___iterator( variable[1] /*argv*/)( variable[1] /*argv*/) /*Collection::iterator*/; - variable[3] = variable[4]; - CALL_opts___OptionContext___parse_intern(variable[0])(variable[0], variable[3] /*it*/) /*OptionContext::parse_intern*/; - return_label42: while(false); - tracehead = trace.prev; +void opts___OptionContext___parse(val_t p0, val_t p1){ + struct {struct stack_frame_t me; val_t MORE_REG[1];} fra; + val_t tmp; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 214; + fra.me.meth = LOCATE_opts___OptionContext___parse; + fra.me.has_broke = 0; + fra.me.REG_size = 2; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[1] = NIT_NULL; + fra.me.REG[0] = p0; + fra.me.REG[1] = p1; + /* ./../lib/opts.nit:217 */ + fra.me.REG[1] = CALL_abstract_collection___Collection___iterator(fra.me.REG[1])(fra.me.REG[1]); + /* ./../lib/opts.nit:218 */ + CALL_opts___OptionContext___parse_intern(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]); + stack_frame_head = fra.me.prev; return; } -void opts___OptionContext___parse_intern(val_t self, val_t param0) { - struct trace_t trace = {NULL, NULL, 221, LOCATE_opts___OptionContext___parse_intern}; - static val_t once_value_45 = NIT_NULL; /* Once value for string variable[6]*/ - val_t variable[8]; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - /* Register variable[0]: Local variable */ - variable[0] = self; - /* Register variable[1]: Local variable */ - variable[1] = param0; - /* Register variable[2]: Method return value and escape marker */ - /* Register variable[3]: Local variable */ - variable[3] = TAG_Bool(true); - CALL_opts___OptionContext___build(variable[0])(variable[0]) /*OptionContext::build*/; - /* Register variable[4]: Local variable */ - /* Register variable[5]: Result */ - variable[5] = ATTR_opts___OptionContext____rest(variable[0]) /*OptionContext::_rest*/; - variable[4] = variable[5]; - while (true) { /*while*/ - variable[5] = variable[3] /*parseargs*/ /* Ensure var: Left 'and' operand*/; - if (UNTAG_Bool(variable[5])) { /* and */ - /* Register variable[5]: Result */ - variable[5] = CALL_abstract_collection___Iterator___is_ok( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::is_ok*/; - } - /* Register variable[5]: Result */ - if (!UNTAG_Bool(variable[5])) break; /* while*/ - /* Register variable[5]: Local variable */ - /* Register variable[6]: Result */ - variable[6] = CALL_abstract_collection___Iterator___item( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::item*/; - variable[5] = variable[6]; - /* Register variable[6]: Once String constant */ - if (once_value_45 != NIT_NULL) variable[6] = once_value_45; - else { - variable[6] = NEW_String_string___String___with_native(BOX_NativeString("--"), TAG_Int(2)) /*new String*/; - once_value_45 = variable[6]; +void opts___OptionContext___parse_intern(val_t p0, val_t p1){ + struct {struct stack_frame_t me; val_t MORE_REG[4];} fra; + val_t REGB0; + val_t REGB1; + val_t REGB2; + val_t tmp; + static val_t once_value_1; /* Once value */ + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 221; + fra.me.meth = LOCATE_opts___OptionContext___parse_intern; + fra.me.has_broke = 0; + fra.me.REG_size = 5; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[1] = NIT_NULL; + fra.me.REG[2] = NIT_NULL; + fra.me.REG[3] = NIT_NULL; + fra.me.REG[4] = NIT_NULL; + fra.me.REG[0] = p0; + fra.me.REG[1] = p1; + /* ./../lib/opts.nit:223 */ + REGB0 = TAG_Bool(true); + /* ./../lib/opts.nit:224 */ + CALL_opts___OptionContext___build(fra.me.REG[0])(fra.me.REG[0]); + /* ./../lib/opts.nit:225 */ + REGB1 = TAG_Bool(ATTR_opts___OptionContext____rest(fra.me.REG[0])!=NIT_NULL); + if (UNTAG_Bool(REGB1)) { + } else { + nit_abort("Uninitialized attribute %s", "_rest", LOCATE_opts, 225); + } + fra.me.REG[2] = ATTR_opts___OptionContext____rest(fra.me.REG[0]); + /* ./../lib/opts.nit:227 */ + while(1) { + if (UNTAG_Bool(REGB0)) { + REGB1 = CALL_abstract_collection___Iterator___is_ok(fra.me.REG[1])(fra.me.REG[1]); + } else { + REGB2 = TAG_Bool(false); + REGB1 = REGB2; } - /* Register variable[6]: Result */ - /* Register variable[6]: Result */ - variable[6] = TAG_Bool(( variable[5] /*str*/ == variable[6]) || (( variable[5] /*str*/ != NIT_NULL) && UNTAG_Bool(CALL_kernel___Object_____eqeq( variable[5] /*str*/)( variable[5] /*str*/, variable[6]) /*String::==*/))); - if (UNTAG_Bool(variable[6])) { /*if*/ - CALL_abstract_collection___Iterator___next( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::next*/; - /* Register variable[6]: Result */ - variable[6] = CALL_array___Iterator___to_a( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::to_a*/; - CALL_abstract_collection___SimpleCollection___add_all( variable[4] /*rest*/)( variable[4] /*rest*/, variable[6]) /*SimpleCollection::add_all*/; - variable[3] = TAG_Bool(false) /*parseargs=*/; - } else { /*if*/ - /* Register variable[6]: Result */ - variable[6] = ATTR_opts___OptionContext____optmap(variable[0]) /*OptionContext::_optmap*/; - /* Register variable[6]: Result */ - variable[6] = CALL_abstract_collection___MapRead___has_key(variable[6])(variable[6], variable[5] /*str*/) /*MapRead::has_key*/; - if (UNTAG_Bool(variable[6])) { /*if*/ - /* Register variable[6]: Local variable */ - /* Register variable[7]: Result */ - variable[7] = ATTR_opts___OptionContext____optmap(variable[0]) /*OptionContext::_optmap*/; - /* Register variable[7]: Result */ - variable[7] = CALL_abstract_collection___MapRead_____bra(variable[7])(variable[7], variable[5] /*str*/) /*MapRead::[]*/; - variable[6] = variable[7]; - CALL_abstract_collection___Iterator___next( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::next*/; - CALL_opts___Option___read_param( variable[6] /*opt*/)( variable[6] /*opt*/, variable[1] /*it*/) /*Option::read_param*/; - } else { /*if*/ - /* Register variable[6]: Result */ - variable[6] = CALL_abstract_collection___Iterator___item( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::item*/; - CALL_abstract_collection___SimpleCollection___add( variable[4] /*rest*/)( variable[4] /*rest*/, variable[6]) /*AbstractArray::add*/; - CALL_abstract_collection___Iterator___next( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::next*/; + if (UNTAG_Bool(REGB1)) { + /* ./../lib/opts.nit:228 */ + fra.me.REG[3] = CALL_abstract_collection___Iterator___item(fra.me.REG[1])(fra.me.REG[1]); + /* ./../lib/opts.nit:229 */ + if (!once_value_1) { + fra.me.REG[4] = BOX_NativeString("--"); + REGB1 = TAG_Int(2); + fra.me.REG[4] = NEW_String_string___String___with_native(fra.me.REG[4], REGB1); + once_value_1 = fra.me.REG[4]; + register_static_object(&once_value_1); + } else fra.me.REG[4] = once_value_1; + fra.me.REG[4] = fra.me.REG[4]; + REGB1 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[3],fra.me.REG[4])); + if (UNTAG_Bool(REGB1)) { + } else { + REGB2 = CALL_kernel___Object_____eqeq(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[4]); + REGB1 = REGB2; + } + if (UNTAG_Bool(REGB1)) { + /* ./../lib/opts.nit:230 */ + CALL_abstract_collection___Iterator___next(fra.me.REG[1])(fra.me.REG[1]); + /* ./../lib/opts.nit:231 */ + fra.me.REG[4] = CALL_array___Iterator___to_a(fra.me.REG[1])(fra.me.REG[1]); + CALL_abstract_collection___SimpleCollection___add_all(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[4]); + /* ./../lib/opts.nit:232 */ + REGB1 = TAG_Bool(false); + REGB0 = REGB1; + } else { + /* ./../lib/opts.nit:234 */ + REGB1 = TAG_Bool(ATTR_opts___OptionContext____optmap(fra.me.REG[0])!=NIT_NULL); + if (UNTAG_Bool(REGB1)) { + } else { + nit_abort("Uninitialized attribute %s", "_optmap", LOCATE_opts, 234); + } + fra.me.REG[4] = ATTR_opts___OptionContext____optmap(fra.me.REG[0]); + REGB1 = CALL_abstract_collection___MapRead___has_key(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[3]); + if (UNTAG_Bool(REGB1)) { + /* ./../lib/opts.nit:235 */ + REGB1 = TAG_Bool(ATTR_opts___OptionContext____optmap(fra.me.REG[0])!=NIT_NULL); + if (UNTAG_Bool(REGB1)) { + } else { + nit_abort("Uninitialized attribute %s", "_optmap", LOCATE_opts, 235); + } + fra.me.REG[4] = ATTR_opts___OptionContext____optmap(fra.me.REG[0]); + fra.me.REG[3] = CALL_abstract_collection___MapRead_____bra(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[3]); + /* ./../lib/opts.nit:236 */ + CALL_abstract_collection___Iterator___next(fra.me.REG[1])(fra.me.REG[1]); + /* ./../lib/opts.nit:237 */ + CALL_opts___Option___read_param(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[1]); + } else { + /* ./../lib/opts.nit:239 */ + fra.me.REG[3] = CALL_abstract_collection___Iterator___item(fra.me.REG[1])(fra.me.REG[1]); + CALL_abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]); + /* ./../lib/opts.nit:240 */ + CALL_abstract_collection___Iterator___next(fra.me.REG[1])(fra.me.REG[1]); + } } + } else { + /* ./../lib/opts.nit:227 */ + goto label2; } - continue_44: while(0); } - break_44: while(0); - return_label43: while(false); - tracehead = trace.prev; + label2: while(0); + stack_frame_head = fra.me.prev; return; } -void opts___OptionContext___add_option(val_t self, val_t param0) { - struct trace_t trace = {NULL, NULL, 246, LOCATE_opts___OptionContext___add_option}; - val_t variable[7]; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - /* Register variable[0]: Local variable */ - variable[0] = self; - /* Register variable[1]: Local variable */ - /* check if pval[UNTAG_Int(REGB0)]; + /* ./../lib/opts.nit:249 */ + REGB1 = TAG_Bool(ATTR_opts___OptionContext____options(fra.me.REG[0])!=NIT_NULL); + if (UNTAG_Bool(REGB1)) { + } else { + nit_abort("Uninitialized attribute %s", "_options", LOCATE_opts, 249); + } + fra.me.REG[4] = ATTR_opts___OptionContext____options(fra.me.REG[0]); + CALL_abstract_collection___SimpleCollection___add(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[3]); + /* ./../lib/standard//collection//array.nit:239 */ + REGB1 = TAG_Int(1); + /* ./../lib/standard//kernel.nit:215 */ + REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1)); + /* ./../lib/standard//collection//array.nit:239 */ + REGB0 = REGB1; + } else { + /* ./../lib/standard//collection//array.nit:237 */ + goto label1; + } } - break_47: while(0); - return_label46: while(false); - tracehead = trace.prev; + label1: while(0); + stack_frame_head = fra.me.prev; return; } -void opts___OptionContext___init(val_t self, int* init_table) { - struct trace_t trace = {NULL, NULL, 254, LOCATE_opts___OptionContext___init}; - val_t variable[3]; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - /* Register variable[0]: Local variable */ - variable[0] = self; - if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionContext].i]) return; - /* Register variable[1]: Method return value and escape marker */ - /* Register variable[2]: Result */ - variable[2] = NEW_Array_array___Array___init() /*new Array[Option]*/; - ATTR_opts___OptionContext____options(variable[0]) /*OptionContext::_options*/ = variable[2]; - /* Register variable[2]: Result */ - variable[2] = NEW_HashMap_hash___HashMap___init() /*new HashMap[String, Option]*/; - ATTR_opts___OptionContext____optmap(variable[0]) /*OptionContext::_optmap*/ = variable[2]; - /* Register variable[2]: Result */ - variable[2] = NEW_Array_array___Array___init() /*new Array[String]*/; - ATTR_opts___OptionContext____rest(variable[0]) /*OptionContext::_rest*/ = variable[2]; - return_label48: while(false); - init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionContext].i] = 1; - tracehead = trace.prev; +void opts___OptionContext___init(val_t p0, int* init_table){ + int itpos9 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_OptionContext].i; + struct {struct stack_frame_t me; val_t MORE_REG[1];} fra; + val_t tmp; + if (init_table[itpos9]) return; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 253; + fra.me.meth = LOCATE_opts___OptionContext___init; + fra.me.has_broke = 0; + fra.me.REG_size = 2; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[1] = NIT_NULL; + fra.me.REG[0] = p0; + /* ./../lib/opts.nit:255 */ + fra.me.REG[1] = NEW_Array_array___Array___init(); + ATTR_opts___OptionContext____options(fra.me.REG[0]) = fra.me.REG[1]; + /* ./../lib/opts.nit:256 */ + fra.me.REG[1] = NEW_HashMap_hash_collection___HashMap___init(); + ATTR_opts___OptionContext____optmap(fra.me.REG[0]) = fra.me.REG[1]; + /* ./../lib/opts.nit:257 */ + fra.me.REG[1] = NEW_Array_array___Array___init(); + ATTR_opts___OptionContext____rest(fra.me.REG[0]) = fra.me.REG[1]; + stack_frame_head = fra.me.prev; + init_table[itpos9] = 1; return; } -void opts___OptionContext___build(val_t self) { - struct trace_t trace = {NULL, NULL, 261, LOCATE_opts___OptionContext___build}; - val_t variable[9]; - struct WBT_ **closurevariable = NULL; - trace.prev = tracehead; tracehead = &trace; - trace.file = LOCATE_opts; - /* Register variable[0]: Local variable */ - variable[0] = self; - /* Register variable[1]: Method return value and escape marker */ - /* Register variable[2]: Result */ - variable[2] = ATTR_opts___OptionContext____options(variable[0]) /*OptionContext::_options*/; - /* Register variable[2]: For iterator */ - variable[2] = CALL_abstract_collection___Collection___iterator(variable[2])(variable[2]) /*AbstractArrayRead::iterator*/; - while (true) { /*for*/ - /* Register variable[3]: For 'is_ok' result */ - variable[3] = CALL_abstract_collection___Iterator___is_ok(variable[2])(variable[2]) /*ArrayIterator::is_ok*/; - if (!UNTAG_Bool(variable[3])) break; /*for*/ - variable[3] = CALL_abstract_collection___Iterator___item(variable[2])(variable[2]) /*ArrayIterator::item*/ /* Ensure var: For item*/; - /* Register variable[4]: Local variable */ - variable[4] = variable[3]; - /* Register variable[5]: Result */ - variable[5] = CALL_opts___Option___names( variable[4] /*o*/)( variable[4] /*o*/) /*Option::names*/; - /* Register variable[5]: For iterator */ - variable[5] = CALL_abstract_collection___Collection___iterator(variable[5])(variable[5]) /*AbstractArrayRead::iterator*/; - while (true) { /*for*/ - /* Register variable[6]: For 'is_ok' result */ - variable[6] = CALL_abstract_collection___Iterator___is_ok(variable[5])(variable[5]) /*ArrayIterator::is_ok*/; - if (!UNTAG_Bool(variable[6])) break; /*for*/ - variable[6] = CALL_abstract_collection___Iterator___item(variable[5])(variable[5]) /*ArrayIterator::item*/ /* Ensure var: For item*/; - /* Register variable[7]: Local variable */ - variable[7] = variable[6]; - /* Register variable[8]: Result */ - variable[8] = ATTR_opts___OptionContext____optmap(variable[0]) /*OptionContext::_optmap*/; - CALL_abstract_collection___Map_____braeq(variable[8])(variable[8], variable[7] /*n*/, variable[4] /*o*/) /*Map::[]=*/; - continue_51: while(0); - CALL_abstract_collection___Iterator___next(variable[5])(variable[5]) /*ArrayIterator::next*/; +void opts___OptionContext___build(val_t p0){ + struct {struct stack_frame_t me; val_t MORE_REG[7];} fra; + val_t REGB0; + val_t REGB1; + val_t REGB2; + val_t tmp; + fra.me.prev = stack_frame_head; stack_frame_head = &fra.me; + fra.me.file = LOCATE_opts; + fra.me.line = 260; + fra.me.meth = LOCATE_opts___OptionContext___build; + fra.me.has_broke = 0; + fra.me.REG_size = 8; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[1] = NIT_NULL; + fra.me.REG[2] = NIT_NULL; + fra.me.REG[3] = NIT_NULL; + fra.me.REG[4] = NIT_NULL; + fra.me.REG[5] = NIT_NULL; + fra.me.REG[6] = NIT_NULL; + fra.me.REG[7] = NIT_NULL; + fra.me.REG[0] = p0; + /* ./../lib/opts.nit:262 */ + REGB0 = TAG_Bool(ATTR_opts___OptionContext____options(fra.me.REG[0])!=NIT_NULL); + if (UNTAG_Bool(REGB0)) { + } else { + nit_abort("Uninitialized attribute %s", "_options", LOCATE_opts, 262); + } + fra.me.REG[1] = ATTR_opts___OptionContext____options(fra.me.REG[0]); + /* ./../lib/standard//collection//array.nit:234 */ + REGB0 = TAG_Int(0); + /* ./../lib/standard//collection//array.nit:235 */ + REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL); + if (UNTAG_Bool(REGB1)) { + } else { + nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 235); + } + REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[1]); + /* ./../lib/standard//collection//array.nit:236 */ + fra.me.REG[2] = ATTR_array___Array____items(fra.me.REG[1]); + /* ./../lib/standard//collection//array.nit:237 */ + while(1) { + /* ./../lib/standard//collection//array.nit:23 */ + REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL); + if (UNTAG_Bool(REGB1)) { + } else { + nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23); + } + REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[1]); + /* ./../lib/standard//kernel.nit:212 */ + REGB1 = TAG_Bool(UNTAG_Int(REGB0)val[UNTAG_Int(REGB0)]; + /* ./../lib/opts.nit:263 */ + fra.me.REG[4] = CALL_opts___Option___names(fra.me.REG[3])(fra.me.REG[3]); + /* ./../lib/standard//collection//array.nit:234 */ + REGB1 = TAG_Int(0); + /* ./../lib/standard//collection//array.nit:235 */ + REGB2 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[4])!=NIT_NULL); + if (UNTAG_Bool(REGB2)) { + } else { + nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 235); + } + REGB2 = ATTR_array___AbstractArrayRead____length(fra.me.REG[4]); + /* ./../lib/standard//collection//array.nit:236 */ + fra.me.REG[5] = ATTR_array___Array____items(fra.me.REG[4]); + /* ./../lib/standard//collection//array.nit:237 */ + while(1) { + /* ./../lib/standard//collection//array.nit:23 */ + REGB2 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[4])!=NIT_NULL); + if (UNTAG_Bool(REGB2)) { + } else { + nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23); + } + REGB2 = ATTR_array___AbstractArrayRead____length(fra.me.REG[4]); + /* ./../lib/standard//kernel.nit:212 */ + REGB2 = TAG_Bool(UNTAG_Int(REGB1)val[UNTAG_Int(REGB1)]; + /* ./../lib/opts.nit:264 */ + REGB2 = TAG_Bool(ATTR_opts___OptionContext____optmap(fra.me.REG[0])!=NIT_NULL); + if (UNTAG_Bool(REGB2)) { + } else { + nit_abort("Uninitialized attribute %s", "_optmap", LOCATE_opts, 264); + } + fra.me.REG[7] = ATTR_opts___OptionContext____optmap(fra.me.REG[0]); + CALL_abstract_collection___Map_____braeq(fra.me.REG[7])(fra.me.REG[7], fra.me.REG[6], fra.me.REG[3]); + /* ./../lib/standard//collection//array.nit:239 */ + REGB2 = TAG_Int(1); + /* ./../lib/standard//kernel.nit:215 */ + REGB2 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB2)); + /* ./../lib/standard//collection//array.nit:239 */ + REGB1 = REGB2; + } else { + /* ./../lib/standard//collection//array.nit:237 */ + goto label1; + } + } + label1: while(0); + /* ./../lib/standard//collection//array.nit:239 */ + REGB1 = TAG_Int(1); + /* ./../lib/standard//kernel.nit:215 */ + REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1)); + /* ./../lib/standard//collection//array.nit:239 */ + REGB0 = REGB1; + } else { + /* ./../lib/standard//collection//array.nit:237 */ + goto label2; } - break_51: while(0); - continue_50: while(0); - CALL_abstract_collection___Iterator___next(variable[2])(variable[2]) /*ArrayIterator::next*/; } - break_50: while(0); - return_label49: while(false); - tracehead = trace.prev; + label2: while(0); + stack_frame_head = fra.me.prev; return; }