/* This C file is generated by NIT to compile module metamodel___partial_order. */
#include "metamodel___partial_order._sep.h"
+static const char LOCATE_metamodel___partial_order___PartialOrder___roots[] = "partial_order::PartialOrder::roots";
val_t metamodel___partial_order___PartialOrder___roots(val_t p0){
struct {struct stack_frame_t me;} fra;
val_t REGB0;
stack_frame_head = fra.me.prev;
return fra.me.REG[0];
}
+static const char LOCATE_metamodel___partial_order___PartialOrder___is_empty[] = "partial_order::PartialOrder::(abstract_collection::Collection::is_empty)";
val_t metamodel___partial_order___PartialOrder___is_empty(val_t p0){
struct {struct stack_frame_t me;} fra;
val_t REGB0;
stack_frame_head = fra.me.prev;
return REGB0;
}
+static const char LOCATE_metamodel___partial_order___PartialOrder___length[] = "partial_order::PartialOrder::(abstract_collection::Collection::length)";
val_t metamodel___partial_order___PartialOrder___length(val_t p0){
struct {struct stack_frame_t me;} fra;
val_t REGB0;
stack_frame_head = fra.me.prev;
return REGB0;
}
+static const char LOCATE_metamodel___partial_order___PartialOrder___first[] = "partial_order::PartialOrder::(abstract_collection::Collection::first)";
val_t metamodel___partial_order___PartialOrder___first(val_t p0){
struct {struct stack_frame_t me;} fra;
val_t REGB0;
stack_frame_head = fra.me.prev;
return fra.me.REG[0];
}
+static const char LOCATE_metamodel___partial_order___PartialOrder___has[] = "partial_order::PartialOrder::(abstract_collection::Collection::has)";
val_t metamodel___partial_order___PartialOrder___has(val_t p0, val_t p1){
struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
val_t REGB0;
stack_frame_head = fra.me.prev;
return REGB0;
}
+static const char LOCATE_metamodel___partial_order___PartialOrder___has_only[] = "partial_order::PartialOrder::(abstract_collection::Collection::has_only)";
val_t metamodel___partial_order___PartialOrder___has_only(val_t p0, val_t p1){
struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
val_t REGB0;
REGB2 = TAG_Bool(IS_EQUAL_OO(REGB0,REGB1));
if (UNTAG_Bool(REGB2)) {
} else {
- /* ../lib/standard/kernel.nit:227 */
+ /* ../lib/standard/kernel.nit:230 */
REGB1 = TAG_Bool((REGB0)==(REGB1));
/* metamodel/partial_order.nit:43 */
REGB2 = REGB1;
} else {
REGB1 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
- REGB1 = TAG_Bool(false);
+ REGB1 = TAG_Bool(0);
REGB2 = REGB1;
} else {
REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
}
}
} else {
- REGB1 = TAG_Bool(false);
+ REGB1 = TAG_Bool(0);
REGB2 = REGB1;
}
goto label1;
stack_frame_head = fra.me.prev;
return REGB2;
}
+static const char LOCATE_metamodel___partial_order___PartialOrder___count[] = "partial_order::PartialOrder::(abstract_collection::Collection::count)";
val_t metamodel___partial_order___PartialOrder___count(val_t p0, val_t p1){
struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
val_t REGB0;
stack_frame_head = fra.me.prev;
return REGB0;
}
+static const char LOCATE_metamodel___partial_order___PartialOrder___iterator[] = "partial_order::PartialOrder::(abstract_collection::Collection::iterator)";
val_t metamodel___partial_order___PartialOrder___iterator(val_t p0){
struct {struct stack_frame_t me;} fra;
val_t REGB0;
stack_frame_head = fra.me.prev;
return fra.me.REG[0];
}
+static const char LOCATE_metamodel___partial_order___PartialOrder_____bra[] = "partial_order::PartialOrder::[]";
val_t metamodel___partial_order___PartialOrder_____bra(val_t p0, val_t p1){
struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
val_t REGB0;
stack_frame_head = fra.me.prev;
return fra.me.REG[1];
}
+static const char LOCATE_metamodel___partial_order___PartialOrder___to_dot[] = "partial_order::PartialOrder::to_dot";
val_t metamodel___partial_order___PartialOrder___to_dot(val_t p0){
struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
val_t REGB0;
} else {
nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
}
- /* ../lib/standard/kernel.nit:232 */
+ /* ../lib/standard/kernel.nit:235 */
REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
/* ../lib/standard/collection/array.nit:272 */
if (UNTAG_Bool(REGB1)) {
CALL_standard___collection___abstract_collection___Sequence___append(closctx->REG[1])(closctx->REG[1], fra.me.REG[3]);
/* ../lib/standard/collection/array.nit:274 */
REGB1 = TAG_Int(1);
- /* ../lib/standard/kernel.nit:235 */
+ /* ../lib/standard/kernel.nit:238 */
REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
/* ../lib/standard/collection/array.nit:274 */
REGB0 = REGB1;
stack_frame_head = fra.me.prev;
return;
}
+static const char LOCATE_metamodel___partial_order___PartialOrder___to_dot_header[] = "partial_order::PartialOrder::to_dot_header";
val_t metamodel___partial_order___PartialOrder___to_dot_header(val_t p0){
struct {struct stack_frame_t me;} fra;
val_t REGB0;
stack_frame_head = fra.me.prev;
return fra.me.REG[0];
}
+static const char LOCATE_metamodel___partial_order___PartialOrder___to_dot_node[] = "partial_order::PartialOrder::to_dot_node";
val_t metamodel___partial_order___PartialOrder___to_dot_node(val_t p0, val_t p1){
struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
val_t REGB0;
stack_frame_head = fra.me.prev;
return fra.me.REG[0];
}
+static const char LOCATE_metamodel___partial_order___PartialOrder___to_dot_edge[] = "partial_order::PartialOrder::to_dot_edge";
val_t metamodel___partial_order___PartialOrder___to_dot_edge(val_t p0, val_t p1, val_t p2){
struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
val_t REGB0;
stack_frame_head = fra.me.prev;
return fra.me.REG[0];
}
+static const char LOCATE_metamodel___partial_order___PartialOrder___select_smallests[] = "partial_order::PartialOrder::select_smallests";
val_t metamodel___partial_order___PartialOrder___select_smallests(val_t p0, val_t p1){
struct {struct stack_frame_t me; val_t MORE_REG[4];} fra;
val_t REGB0;
} else {
REGB1 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
- REGB1 = TAG_Bool(false);
+ REGB1 = TAG_Bool(0);
REGB0 = REGB1;
} else {
REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], NIT_NULL);
stack_frame_head = fra.me.prev;
return;
}
+static const char LOCATE_metamodel___partial_order___PartialOrder___add[] = "partial_order::PartialOrder::add";
val_t metamodel___partial_order___PartialOrder___add(val_t p0, val_t p1, val_t p2){
struct {struct stack_frame_t me; val_t MORE_REG[4];} fra;
val_t REGB0;
} else {
REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
- REGB1 = TAG_Bool(false);
+ REGB1 = TAG_Bool(0);
REGB0 = REGB1;
} else {
REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
}
}
if (UNTAG_Bool(REGB0)) {
- REGB0 = TAG_Bool(true);
+ REGB0 = TAG_Bool(1);
} else {
REGB1 = CALL_metamodel___partial_order___PartialOrder___has_all(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]);
REGB0 = REGB1;
} else {
REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
- REGB1 = TAG_Bool(false);
+ REGB1 = TAG_Bool(0);
REGB0 = REGB1;
} else {
REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
}
}
if (UNTAG_Bool(REGB0)) {
- REGB0 = TAG_Bool(true);
+ REGB0 = TAG_Bool(1);
} else {
REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
stack_frame_head = fra.me.prev;
return fra.me.REG[3];
}
+static const char LOCATE_metamodel___partial_order___PartialOrder___has_all[] = "partial_order::PartialOrder::has_all";
val_t metamodel___partial_order___PartialOrder___has_all(val_t p0, val_t p1){
struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
val_t REGB0;
case 1: (&(fra.me))->has_broke = 0; goto label3;
}
/* metamodel/partial_order.nit:141 */
- REGB0 = TAG_Bool(true);
+ REGB0 = TAG_Bool(1);
fra.me.REG[1] = REGB0;
goto label3;
label3: while(0);
REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
if (UNTAG_Bool(REGB0)) {
/* metamodel/partial_order.nit:138 */
- REGB0 = TAG_Bool(false);
+ REGB0 = TAG_Bool(0);
closctx->REG[1] = REGB0;
closctx->has_broke = 1;
goto label2;
stack_frame_head = fra.me.prev;
return;
}
+static const char LOCATE_metamodel___partial_order___PartialOrder___new_poe[] = "partial_order::PartialOrder::new_poe";
val_t metamodel___partial_order___PartialOrder___new_poe(val_t p0, val_t p1, val_t p2){
struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
val_t tmp;
stack_frame_head = fra.me.prev;
return fra.me.REG[2];
}
+static const char LOCATE_metamodel___partial_order___PartialOrder___add_to_smallests[] = "partial_order::PartialOrder::add_to_smallests";
val_t metamodel___partial_order___PartialOrder___add_to_smallests(val_t p0, val_t p1, val_t p2, val_t p3){
struct {struct stack_frame_t me; val_t MORE_REG[5];} fra;
val_t REGB0;
} else {
nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
}
- /* ../lib/standard/kernel.nit:232 */
+ /* ../lib/standard/kernel.nit:235 */
REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
/* ../lib/standard/collection/array.nit:272 */
if (UNTAG_Bool(REGB1)) {
REGB1 = CALL_metamodel___partial_order___PartialOrderElement_____g(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[5]);
if (UNTAG_Bool(REGB1)) {
/* metamodel/partial_order.nit:161 */
- REGB1 = TAG_Bool(false);
+ REGB1 = TAG_Bool(0);
goto label1;
}
/* metamodel/partial_order.nit:163 */
}
/* ../lib/standard/collection/array.nit:274 */
REGB2 = TAG_Int(1);
- /* ../lib/standard/kernel.nit:235 */
+ /* ../lib/standard/kernel.nit:238 */
REGB2 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB2));
/* ../lib/standard/collection/array.nit:274 */
REGB0 = REGB2;
/* metamodel/partial_order.nit:167 */
CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[1]);
/* metamodel/partial_order.nit:168 */
- REGB0 = TAG_Bool(true);
+ REGB0 = TAG_Bool(1);
REGB1 = REGB0;
goto label1;
label1: while(0);
stack_frame_head = fra.me.prev;
return REGB1;
}
+static const char LOCATE_metamodel___partial_order___PartialOrder___compute_smallers_for[] = "partial_order::PartialOrder::compute_smallers_for";
void metamodel___partial_order___PartialOrder___compute_smallers_for(val_t p0, val_t p1, val_t p2){
struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
val_t REGB0;
stack_frame_head = fra.me.prev;
return;
}
+static const char LOCATE_metamodel___partial_order___PartialOrder___init[] = "partial_order::PartialOrder::init";
void metamodel___partial_order___PartialOrder___init(val_t p0, int* init_table){
int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_metamodel___partial_order___PartialOrder].i;
struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
init_table[itpos0] = 1;
return;
}
+static const char LOCATE_metamodel___partial_order___PartialOrderElement___order[] = "partial_order::PartialOrderElement::order";
val_t metamodel___partial_order___PartialOrderElement___order(val_t p0){
struct {struct stack_frame_t me;} fra;
val_t REGB0;
stack_frame_head = fra.me.prev;
return fra.me.REG[0];
}
+static const char LOCATE_metamodel___partial_order___PartialOrderElement___value[] = "partial_order::PartialOrderElement::value";
val_t metamodel___partial_order___PartialOrderElement___value(val_t p0){
struct {struct stack_frame_t me;} fra;
val_t REGB0;
stack_frame_head = fra.me.prev;
return fra.me.REG[0];
}
+static const char LOCATE_metamodel___partial_order___PartialOrderElement___rank[] = "partial_order::PartialOrderElement::rank";
val_t metamodel___partial_order___PartialOrderElement___rank(val_t p0){
struct {struct stack_frame_t me;} fra;
val_t REGB0;
stack_frame_head = fra.me.prev;
return REGB0;
}
+static const char LOCATE_metamodel___partial_order___PartialOrderElement___direct_greaters[] = "partial_order::PartialOrderElement::direct_greaters";
val_t metamodel___partial_order___PartialOrderElement___direct_greaters(val_t p0){
struct {struct stack_frame_t me;} fra;
val_t REGB0;
stack_frame_head = fra.me.prev;
return fra.me.REG[0];
}
+static const char LOCATE_metamodel___partial_order___PartialOrderElement___direct_smallers[] = "partial_order::PartialOrderElement::direct_smallers";
val_t metamodel___partial_order___PartialOrderElement___direct_smallers(val_t p0){
struct {struct stack_frame_t me;} fra;
val_t REGB0;
stack_frame_head = fra.me.prev;
return fra.me.REG[0];
}
+static const char LOCATE_metamodel___partial_order___PartialOrderElement___greaters[] = "partial_order::PartialOrderElement::greaters";
val_t metamodel___partial_order___PartialOrderElement___greaters(val_t p0){
struct {struct stack_frame_t me;} fra;
val_t REGB0;
stack_frame_head = fra.me.prev;
return fra.me.REG[0];
}
+static const char LOCATE_metamodel___partial_order___PartialOrderElement___greaters_and_self[] = "partial_order::PartialOrderElement::greaters_and_self";
val_t metamodel___partial_order___PartialOrderElement___greaters_and_self(val_t p0){
struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
val_t REGB0;
} else {
REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
- REGB1 = TAG_Bool(false);
+ REGB1 = TAG_Bool(0);
REGB0 = REGB1;
} else {
REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
stack_frame_head = fra.me.prev;
return fra.me.REG[1];
}
+static const char LOCATE_metamodel___partial_order___PartialOrderElement___smallers[] = "partial_order::PartialOrderElement::smallers";
val_t metamodel___partial_order___PartialOrderElement___smallers(val_t p0){
struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
val_t REGB0;
} else {
nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
}
- /* ../lib/standard/kernel.nit:232 */
+ /* ../lib/standard/kernel.nit:235 */
REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
/* metamodel/partial_order.nit:233 */
if (UNTAG_Bool(REGB1)) {
stack_frame_head = fra.me.prev;
return fra.me.REG[0];
}
+static const char LOCATE_metamodel___partial_order___PartialOrderElement___linear_extension[] = "partial_order::PartialOrderElement::linear_extension";
val_t metamodel___partial_order___PartialOrderElement___linear_extension(val_t p0){
struct {struct stack_frame_t me; val_t MORE_REG[9];} fra;
val_t REGB0;
} else {
REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
- REGB1 = TAG_Bool(false);
+ REGB1 = TAG_Bool(0);
REGB0 = REGB1;
} else {
REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
} else {
nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
}
- /* ../lib/standard/kernel.nit:232 */
+ /* ../lib/standard/kernel.nit:235 */
REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
/* ../lib/standard/collection/array.nit:272 */
if (UNTAG_Bool(REGB1)) {
} else {
nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
}
- /* ../lib/standard/kernel.nit:232 */
+ /* ../lib/standard/kernel.nit:235 */
REGB2 = TAG_Bool(UNTAG_Int(REGB1)<UNTAG_Int(REGB2));
/* ../lib/standard/collection/array.nit:272 */
if (UNTAG_Bool(REGB2)) {
}
/* ../lib/standard/collection/array.nit:274 */
REGB2 = TAG_Int(1);
- /* ../lib/standard/kernel.nit:235 */
+ /* ../lib/standard/kernel.nit:238 */
REGB2 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB2));
/* ../lib/standard/collection/array.nit:274 */
REGB1 = REGB2;
fra.me.REG[3] = fra.me.REG[6];
/* ../lib/standard/collection/array.nit:274 */
REGB1 = TAG_Int(1);
- /* ../lib/standard/kernel.nit:235 */
+ /* ../lib/standard/kernel.nit:238 */
REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
/* ../lib/standard/collection/array.nit:274 */
REGB0 = REGB1;
stack_frame_head = fra.me.prev;
return fra.me.REG[1];
}
+static const char LOCATE_metamodel___partial_order___PartialOrderElement___reverse_linear_extension[] = "partial_order::PartialOrderElement::reverse_linear_extension";
val_t metamodel___partial_order___PartialOrderElement___reverse_linear_extension(val_t p0){
struct {struct stack_frame_t me; val_t MORE_REG[6];} fra;
val_t REGB0;
} else {
REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
- REGB1 = TAG_Bool(false);
+ REGB1 = TAG_Bool(0);
REGB0 = REGB1;
} else {
REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
} else {
nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
}
- /* ../lib/standard/kernel.nit:232 */
+ /* ../lib/standard/kernel.nit:235 */
REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
/* ../lib/standard/collection/array.nit:272 */
if (UNTAG_Bool(REGB1)) {
CALL_standard___collection___abstract_collection___SimpleCollection___add_all(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[5]);
/* ../lib/standard/collection/array.nit:274 */
REGB1 = TAG_Int(1);
- /* ../lib/standard/kernel.nit:235 */
+ /* ../lib/standard/kernel.nit:238 */
REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
/* ../lib/standard/collection/array.nit:274 */
REGB0 = REGB1;
stack_frame_head = fra.me.prev;
return fra.me.REG[1];
}
+static const char LOCATE_metamodel___partial_order___PartialOrderElement_____l[] = "partial_order::PartialOrderElement::<";
val_t metamodel___partial_order___PartialOrderElement_____l(val_t p0, val_t p1){
struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
val_t REGB0;
stack_frame_head = fra.me.prev;
return REGB0;
}
+static const char LOCATE_metamodel___partial_order___PartialOrderElement_____leq[] = "partial_order::PartialOrderElement::<=";
val_t metamodel___partial_order___PartialOrderElement_____leq(val_t p0, val_t p1){
struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
val_t REGB0;
REGB0 = REGB1;
}
if (UNTAG_Bool(REGB0)) {
- REGB0 = TAG_Bool(true);
+ REGB0 = TAG_Bool(1);
} else {
REGB1 = TAG_Bool(ATTR_metamodel___partial_order___PartialOrderElement____greaters(fra.me.REG[0])!=NIT_NULL);
if (UNTAG_Bool(REGB1)) {
stack_frame_head = fra.me.prev;
return REGB0;
}
+static const char LOCATE_metamodel___partial_order___PartialOrderElement_____g[] = "partial_order::PartialOrderElement::>";
val_t metamodel___partial_order___PartialOrderElement_____g(val_t p0, val_t p1){
struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
val_t REGB0;
stack_frame_head = fra.me.prev;
return REGB0;
}
+static const char LOCATE_metamodel___partial_order___PartialOrderElement_____geq[] = "partial_order::PartialOrderElement::>=";
val_t metamodel___partial_order___PartialOrderElement_____geq(val_t p0, val_t p1){
struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
val_t REGB0;
REGB0 = REGB1;
}
if (UNTAG_Bool(REGB0)) {
- REGB0 = TAG_Bool(true);
+ REGB0 = TAG_Bool(1);
} else {
REGB1 = TAG_Bool(ATTR_metamodel___partial_order___PartialOrderElement____order(fra.me.REG[0])!=NIT_NULL);
if (UNTAG_Bool(REGB1)) {
stack_frame_head = fra.me.prev;
return REGB0;
}
+static const char LOCATE_metamodel___partial_order___PartialOrderElement___register_direct_smallers[] = "partial_order::PartialOrderElement::register_direct_smallers";
void metamodel___partial_order___PartialOrderElement___register_direct_smallers(val_t p0, val_t p1){
struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
val_t REGB0;
stack_frame_head = fra.me.prev;
return;
}
+static const char LOCATE_metamodel___partial_order___PartialOrderElement___init[] = "partial_order::PartialOrderElement::init";
void metamodel___partial_order___PartialOrderElement___init(val_t p0, val_t p1, val_t p2, val_t p3, int* init_table){
int itpos1 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_metamodel___partial_order___PartialOrderElement].i;
struct {struct stack_frame_t me; val_t MORE_REG[6];} fra;
} else {
nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
}
- /* ../lib/standard/kernel.nit:232 */
+ /* ../lib/standard/kernel.nit:235 */
REGB2 = TAG_Bool(UNTAG_Int(REGB1)<UNTAG_Int(REGB2));
/* ../lib/standard/collection/array.nit:272 */
if (UNTAG_Bool(REGB2)) {
} else {
nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
}
- /* ../lib/standard/kernel.nit:233 */
+ /* ../lib/standard/kernel.nit:236 */
REGB2 = TAG_Bool(UNTAG_Int(REGB2)>=UNTAG_Int(REGB0));
/* metamodel/partial_order.nit:331 */
if (UNTAG_Bool(REGB2)) {
/* metamodel/partial_order.nit:332 */
REGB2 = CALL_metamodel___partial_order___PartialOrderElement___rank(fra.me.REG[5])(fra.me.REG[5]);
REGB3 = TAG_Int(1);
- /* ../lib/standard/kernel.nit:235 */
+ /* ../lib/standard/kernel.nit:238 */
REGB3 = TAG_Int(UNTAG_Int(REGB2)+UNTAG_Int(REGB3));
/* metamodel/partial_order.nit:332 */
REGB0 = REGB3;
CALL_standard___collection___abstract_collection___Collection___iterate(fra.me.REG[5])(fra.me.REG[5], (&(fra.me)), ((fun_t)OC_metamodel___partial_order___PartialOrderElement___init_1));
/* ../lib/standard/collection/array.nit:274 */
REGB3 = TAG_Int(1);
- /* ../lib/standard/kernel.nit:235 */
+ /* ../lib/standard/kernel.nit:238 */
REGB3 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB3));
/* ../lib/standard/collection/array.nit:274 */
REGB1 = REGB3;