/* 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:237 */
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;
if (!once_value_3) {
fra.me.REG[0] = BOX_NativeString("}\n");
REGB0 = TAG_Int(2);
- fra.me.REG[0] = NEW_String_standard___string___String___with_native(fra.me.REG[0], REGB0);
+ fra.me.REG[0] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[0])(fra.me.REG[0], REGB0);
once_value_3 = fra.me.REG[0];
register_static_object(&once_value_3);
} else fra.me.REG[0] = once_value_3;
CALL_standard___collection___abstract_collection___Sequence___append(closctx->REG[1])(closctx->REG[1], fra.me.REG[1]);
/* metamodel/partial_order.nit:71 */
fra.me.REG[1] = CALL_metamodel___partial_order___PartialOrderElement___direct_greaters(fra.me.REG[0])(fra.me.REG[0]);
- /* ../lib/standard/collection/array.nit:269 */
- REGB0 = TAG_Int(0);
/* ../lib/standard/collection/array.nit:270 */
+ REGB0 = TAG_Int(0);
+ /* ../lib/standard/collection/array.nit:271 */
REGB1 = TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
if (UNTAG_Bool(REGB1)) {
} else {
- nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array, 270);
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array, 271);
}
REGB1 = ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[1]);
- /* ../lib/standard/collection/array.nit:271 */
- fra.me.REG[2] = ATTR_standard___collection___array___Array____items(fra.me.REG[1]);
/* ../lib/standard/collection/array.nit:272 */
+ fra.me.REG[2] = ATTR_standard___collection___array___Array____items(fra.me.REG[1]);
+ /* ../lib/standard/collection/array.nit:273 */
while(1) {
/* ../lib/standard/collection/array.nit:24 */
REGB1 = TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
} else {
nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
}
- /* ../lib/standard/kernel.nit:232 */
+ /* ../lib/standard/kernel.nit:242 */
REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
- /* ../lib/standard/collection/array.nit:272 */
+ /* ../lib/standard/collection/array.nit:273 */
if (UNTAG_Bool(REGB1)) {
- /* ../lib/standard/collection/array.nit:273 */
+ /* ../lib/standard/collection/array.nit:274 */
REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
- nit_abort("Reciever is null", NULL, LOCATE_standard___collection___array, 273);
+ nit_abort("Reciever is null", NULL, LOCATE_standard___collection___array, 274);
}
- /* ../lib/standard/collection/array.nit:718 */
+ /* ../lib/standard/collection/array.nit:725 */
fra.me.REG[3] = ((Nit_NativeArray)fra.me.REG[2])->val[UNTAG_Int(REGB0)];
/* metamodel/partial_order.nit:72 */
fra.me.REG[4] = CALL_metamodel___partial_order___PartialOrderElement___value(fra.me.REG[0])(fra.me.REG[0]);
fra.me.REG[3] = CALL_metamodel___partial_order___PartialOrder___to_dot_edge(closctx->REG[0])(closctx->REG[0], fra.me.REG[4], fra.me.REG[3]);
CALL_standard___collection___abstract_collection___Sequence___append(closctx->REG[1])(closctx->REG[1], fra.me.REG[3]);
- /* ../lib/standard/collection/array.nit:274 */
+ /* ../lib/standard/collection/array.nit:275 */
REGB1 = TAG_Int(1);
- /* ../lib/standard/kernel.nit:235 */
+ /* ../lib/standard/kernel.nit:245 */
REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
- /* ../lib/standard/collection/array.nit:274 */
+ /* ../lib/standard/collection/array.nit:275 */
REGB0 = REGB1;
} else {
- /* ../lib/standard/collection/array.nit:272 */
+ /* ../lib/standard/collection/array.nit:273 */
goto label2;
}
}
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;
if (!once_value_1) {
fra.me.REG[0] = BOX_NativeString("digraph G {\ngraph [rankdir=BT];\n");
REGB0 = TAG_Int(32);
- fra.me.REG[0] = NEW_String_standard___string___String___with_native(fra.me.REG[0], REGB0);
+ fra.me.REG[0] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[0])(fra.me.REG[0], REGB0);
once_value_1 = fra.me.REG[0];
register_static_object(&once_value_1);
} else fra.me.REG[0] = once_value_1;
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;
if (!once_value_1) {
fra.me.REG[2] = BOX_NativeString("\"");
REGB0 = TAG_Int(1);
- fra.me.REG[2] = NEW_String_standard___string___String___with_native(fra.me.REG[2], REGB0);
+ fra.me.REG[2] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[2])(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;
if (!once_value_2) {
fra.me.REG[1] = BOX_NativeString("\";\n");
REGB0 = TAG_Int(3);
- fra.me.REG[1] = NEW_String_standard___string___String___with_native(fra.me.REG[1], REGB0);
+ fra.me.REG[1] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[1])(fra.me.REG[1], REGB0);
once_value_2 = fra.me.REG[1];
register_static_object(&once_value_2);
} else fra.me.REG[1] = once_value_2;
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;
if (!once_value_1) {
fra.me.REG[3] = BOX_NativeString("\"");
REGB0 = TAG_Int(1);
- fra.me.REG[3] = NEW_String_standard___string___String___with_native(fra.me.REG[3], REGB0);
+ fra.me.REG[3] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[3])(fra.me.REG[3], REGB0);
once_value_1 = fra.me.REG[3];
register_static_object(&once_value_1);
} else fra.me.REG[3] = once_value_1;
if (!once_value_2) {
fra.me.REG[1] = BOX_NativeString("\" -> \"");
REGB0 = TAG_Int(6);
- fra.me.REG[1] = NEW_String_standard___string___String___with_native(fra.me.REG[1], REGB0);
+ fra.me.REG[1] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[1])(fra.me.REG[1], REGB0);
once_value_2 = fra.me.REG[1];
register_static_object(&once_value_2);
} else fra.me.REG[1] = once_value_2;
if (!once_value_3) {
fra.me.REG[2] = BOX_NativeString("\";\n");
REGB0 = TAG_Int(3);
- fra.me.REG[2] = NEW_String_standard___string___String___with_native(fra.me.REG[2], REGB0);
+ fra.me.REG[2] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[2])(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;
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;
CALL_standard___collection___abstract_collection___RemovableCollection___clear(fra.me.REG[3])(fra.me.REG[3]);
/* metamodel/partial_order.nit:158 */
fra.me.REG[0] = CALL_metamodel___partial_order___PartialOrder_____bra(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
- /* ../lib/standard/collection/array.nit:269 */
- REGB0 = TAG_Int(0);
/* ../lib/standard/collection/array.nit:270 */
+ REGB0 = TAG_Int(0);
+ /* ../lib/standard/collection/array.nit:271 */
REGB1 = TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[2])!=NIT_NULL);
if (UNTAG_Bool(REGB1)) {
} else {
- nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array, 270);
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array, 271);
}
REGB1 = ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[2]);
- /* ../lib/standard/collection/array.nit:271 */
- fra.me.REG[4] = ATTR_standard___collection___array___Array____items(fra.me.REG[2]);
/* ../lib/standard/collection/array.nit:272 */
+ fra.me.REG[4] = ATTR_standard___collection___array___Array____items(fra.me.REG[2]);
+ /* ../lib/standard/collection/array.nit:273 */
while(1) {
/* ../lib/standard/collection/array.nit:24 */
REGB1 = TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(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:242 */
REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
- /* ../lib/standard/collection/array.nit:272 */
+ /* ../lib/standard/collection/array.nit:273 */
if (UNTAG_Bool(REGB1)) {
- /* ../lib/standard/collection/array.nit:273 */
+ /* ../lib/standard/collection/array.nit:274 */
REGB1 = TAG_Bool(fra.me.REG[4]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
- nit_abort("Reciever is null", NULL, LOCATE_standard___collection___array, 273);
+ nit_abort("Reciever is null", NULL, LOCATE_standard___collection___array, 274);
}
- /* ../lib/standard/collection/array.nit:718 */
+ /* ../lib/standard/collection/array.nit:725 */
fra.me.REG[5] = ((Nit_NativeArray)fra.me.REG[4])->val[UNTAG_Int(REGB0)];
/* metamodel/partial_order.nit:160 */
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 */
/* metamodel/partial_order.nit:164 */
CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[5]);
}
- /* ../lib/standard/collection/array.nit:274 */
+ /* ../lib/standard/collection/array.nit:275 */
REGB2 = TAG_Int(1);
- /* ../lib/standard/kernel.nit:235 */
+ /* ../lib/standard/kernel.nit:245 */
REGB2 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB2));
- /* ../lib/standard/collection/array.nit:274 */
+ /* ../lib/standard/collection/array.nit:275 */
REGB0 = REGB2;
} else {
- /* ../lib/standard/collection/array.nit:272 */
+ /* ../lib/standard/collection/array.nit:273 */
goto label2;
}
}
/* 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:242 */
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);
CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[4]);
/* metamodel/partial_order.nit:251 */
fra.me.REG[4] = CALL_metamodel___partial_order___PartialOrderElement___direct_greaters(fra.me.REG[1])(fra.me.REG[1]);
- /* ../lib/standard/collection/array.nit:269 */
- REGB0 = TAG_Int(0);
/* ../lib/standard/collection/array.nit:270 */
+ REGB0 = TAG_Int(0);
+ /* ../lib/standard/collection/array.nit:271 */
REGB1 = TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[4])!=NIT_NULL);
if (UNTAG_Bool(REGB1)) {
} else {
- nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array, 270);
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array, 271);
}
REGB1 = ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[4]);
- /* ../lib/standard/collection/array.nit:271 */
- fra.me.REG[5] = ATTR_standard___collection___array___Array____items(fra.me.REG[4]);
/* ../lib/standard/collection/array.nit:272 */
+ fra.me.REG[5] = ATTR_standard___collection___array___Array____items(fra.me.REG[4]);
+ /* ../lib/standard/collection/array.nit:273 */
while(1) {
/* ../lib/standard/collection/array.nit:24 */
REGB1 = TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[4])!=NIT_NULL);
} else {
nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
}
- /* ../lib/standard/kernel.nit:232 */
+ /* ../lib/standard/kernel.nit:242 */
REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
- /* ../lib/standard/collection/array.nit:272 */
+ /* ../lib/standard/collection/array.nit:273 */
if (UNTAG_Bool(REGB1)) {
- /* ../lib/standard/collection/array.nit:273 */
+ /* ../lib/standard/collection/array.nit:274 */
REGB1 = TAG_Bool(fra.me.REG[5]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
- nit_abort("Reciever is null", NULL, LOCATE_standard___collection___array, 273);
+ nit_abort("Reciever is null", NULL, LOCATE_standard___collection___array, 274);
}
- /* ../lib/standard/collection/array.nit:718 */
+ /* ../lib/standard/collection/array.nit:725 */
fra.me.REG[6] = ((Nit_NativeArray)fra.me.REG[5])->val[UNTAG_Int(REGB0)];
/* metamodel/partial_order.nit:252 */
fra.me.REG[7] = CALL_metamodel___partial_order___PartialOrderElement___order(fra.me.REG[1])(fra.me.REG[1]);
fra.me.REG[6] = CALL_metamodel___partial_order___PartialOrderElement___linear_extension(fra.me.REG[6])(fra.me.REG[6]);
/* metamodel/partial_order.nit:253 */
CALL_standard___collection___abstract_collection___RemovableCollection___clear(fra.me.REG[3])(fra.me.REG[3]);
- /* ../lib/standard/collection/array.nit:266 */
+ /* ../lib/standard/collection/array.nit:267 */
fra.me.REG[7] = fra.me.REG[2];
- /* ../lib/standard/collection/array.nit:269 */
- REGB1 = TAG_Int(0);
/* ../lib/standard/collection/array.nit:270 */
+ REGB1 = TAG_Int(0);
+ /* ../lib/standard/collection/array.nit:271 */
REGB2 = TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[7])!=NIT_NULL);
if (UNTAG_Bool(REGB2)) {
} else {
- nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array, 270);
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array, 271);
}
REGB2 = ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[7]);
- /* ../lib/standard/collection/array.nit:271 */
- fra.me.REG[8] = ATTR_standard___collection___array___Array____items(fra.me.REG[7]);
/* ../lib/standard/collection/array.nit:272 */
+ fra.me.REG[8] = ATTR_standard___collection___array___Array____items(fra.me.REG[7]);
+ /* ../lib/standard/collection/array.nit:273 */
while(1) {
/* ../lib/standard/collection/array.nit:24 */
REGB2 = TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[7])!=NIT_NULL);
} else {
nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
}
- /* ../lib/standard/kernel.nit:232 */
+ /* ../lib/standard/kernel.nit:242 */
REGB2 = TAG_Bool(UNTAG_Int(REGB1)<UNTAG_Int(REGB2));
- /* ../lib/standard/collection/array.nit:272 */
+ /* ../lib/standard/collection/array.nit:273 */
if (UNTAG_Bool(REGB2)) {
- /* ../lib/standard/collection/array.nit:273 */
+ /* ../lib/standard/collection/array.nit:274 */
REGB2 = TAG_Bool(fra.me.REG[8]==NIT_NULL);
if (UNTAG_Bool(REGB2)) {
- nit_abort("Reciever is null", NULL, LOCATE_standard___collection___array, 273);
+ nit_abort("Reciever is null", NULL, LOCATE_standard___collection___array, 274);
}
- /* ../lib/standard/collection/array.nit:718 */
+ /* ../lib/standard/collection/array.nit:725 */
fra.me.REG[9] = ((Nit_NativeArray)fra.me.REG[8])->val[UNTAG_Int(REGB1)];
/* metamodel/partial_order.nit:255 */
REGB2 = CALL_standard___collection___abstract_collection___Collection___has(fra.me.REG[6])(fra.me.REG[6], fra.me.REG[9]);
if (UNTAG_Bool(REGB2)) {
CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[9]);
}
- /* ../lib/standard/collection/array.nit:274 */
+ /* ../lib/standard/collection/array.nit:275 */
REGB2 = TAG_Int(1);
- /* ../lib/standard/kernel.nit:235 */
+ /* ../lib/standard/kernel.nit:245 */
REGB2 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB2));
- /* ../lib/standard/collection/array.nit:274 */
+ /* ../lib/standard/collection/array.nit:275 */
REGB1 = REGB2;
} else {
- /* ../lib/standard/collection/array.nit:272 */
+ /* ../lib/standard/collection/array.nit:273 */
goto label1;
}
}
fra.me.REG[2] = fra.me.REG[3];
/* metamodel/partial_order.nit:261 */
fra.me.REG[3] = fra.me.REG[6];
- /* ../lib/standard/collection/array.nit:274 */
+ /* ../lib/standard/collection/array.nit:275 */
REGB1 = TAG_Int(1);
- /* ../lib/standard/kernel.nit:235 */
+ /* ../lib/standard/kernel.nit:245 */
REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
- /* ../lib/standard/collection/array.nit:274 */
+ /* ../lib/standard/collection/array.nit:275 */
REGB0 = REGB1;
} else {
- /* ../lib/standard/collection/array.nit:272 */
+ /* ../lib/standard/collection/array.nit:273 */
goto label2;
}
}
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);
fra.me.REG[2] = NEW_HashSet_standard___collection___hash_collection___HashSet___init();
/* metamodel/partial_order.nit:277 */
fra.me.REG[3] = CALL_metamodel___partial_order___PartialOrderElement___direct_greaters(fra.me.REG[1])(fra.me.REG[1]);
- /* ../lib/standard/collection/array.nit:269 */
- REGB0 = TAG_Int(0);
/* ../lib/standard/collection/array.nit:270 */
+ REGB0 = TAG_Int(0);
+ /* ../lib/standard/collection/array.nit:271 */
REGB1 = TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[3])!=NIT_NULL);
if (UNTAG_Bool(REGB1)) {
} else {
- nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array, 270);
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array, 271);
}
REGB1 = ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[3]);
- /* ../lib/standard/collection/array.nit:271 */
- fra.me.REG[4] = ATTR_standard___collection___array___Array____items(fra.me.REG[3]);
/* ../lib/standard/collection/array.nit:272 */
+ fra.me.REG[4] = ATTR_standard___collection___array___Array____items(fra.me.REG[3]);
+ /* ../lib/standard/collection/array.nit:273 */
while(1) {
/* ../lib/standard/collection/array.nit:24 */
REGB1 = TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[3])!=NIT_NULL);
} else {
nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
}
- /* ../lib/standard/kernel.nit:232 */
+ /* ../lib/standard/kernel.nit:242 */
REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
- /* ../lib/standard/collection/array.nit:272 */
+ /* ../lib/standard/collection/array.nit:273 */
if (UNTAG_Bool(REGB1)) {
- /* ../lib/standard/collection/array.nit:273 */
+ /* ../lib/standard/collection/array.nit:274 */
REGB1 = TAG_Bool(fra.me.REG[4]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
- nit_abort("Reciever is null", NULL, LOCATE_standard___collection___array, 273);
+ nit_abort("Reciever is null", NULL, LOCATE_standard___collection___array, 274);
}
- /* ../lib/standard/collection/array.nit:718 */
+ /* ../lib/standard/collection/array.nit:725 */
fra.me.REG[5] = ((Nit_NativeArray)fra.me.REG[4])->val[UNTAG_Int(REGB0)];
/* metamodel/partial_order.nit:278 */
fra.me.REG[6] = CALL_metamodel___partial_order___PartialOrderElement___order(fra.me.REG[1])(fra.me.REG[1]);
fra.me.REG[5] = CALL_metamodel___partial_order___PartialOrderElement___linear_extension(fra.me.REG[5])(fra.me.REG[5]);
/* metamodel/partial_order.nit:279 */
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 */
+ /* ../lib/standard/collection/array.nit:275 */
REGB1 = TAG_Int(1);
- /* ../lib/standard/kernel.nit:235 */
+ /* ../lib/standard/kernel.nit:245 */
REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
- /* ../lib/standard/collection/array.nit:274 */
+ /* ../lib/standard/collection/array.nit:275 */
REGB0 = REGB1;
} else {
- /* ../lib/standard/collection/array.nit:272 */
+ /* ../lib/standard/collection/array.nit:273 */
goto label1;
}
}
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;
fra.me.REG[1] = ATTR_metamodel___partial_order___PartialOrderElement____greaters(fra.me.REG[0]);
/* metamodel/partial_order.nit:327 */
REGB0 = TAG_Int(0);
- /* ../lib/standard/collection/array.nit:269 */
- REGB1 = TAG_Int(0);
/* ../lib/standard/collection/array.nit:270 */
+ REGB1 = TAG_Int(0);
+ /* ../lib/standard/collection/array.nit:271 */
REGB2 = TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[3])!=NIT_NULL);
if (UNTAG_Bool(REGB2)) {
} else {
- nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array, 270);
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array, 271);
}
REGB2 = ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[3]);
- /* ../lib/standard/collection/array.nit:271 */
- fra.me.REG[4] = ATTR_standard___collection___array___Array____items(fra.me.REG[3]);
/* ../lib/standard/collection/array.nit:272 */
+ fra.me.REG[4] = ATTR_standard___collection___array___Array____items(fra.me.REG[3]);
+ /* ../lib/standard/collection/array.nit:273 */
while(1) {
/* ../lib/standard/collection/array.nit:24 */
REGB2 = TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[3])!=NIT_NULL);
} else {
nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
}
- /* ../lib/standard/kernel.nit:232 */
+ /* ../lib/standard/kernel.nit:242 */
REGB2 = TAG_Bool(UNTAG_Int(REGB1)<UNTAG_Int(REGB2));
- /* ../lib/standard/collection/array.nit:272 */
+ /* ../lib/standard/collection/array.nit:273 */
if (UNTAG_Bool(REGB2)) {
- /* ../lib/standard/collection/array.nit:273 */
+ /* ../lib/standard/collection/array.nit:274 */
REGB2 = TAG_Bool(fra.me.REG[4]==NIT_NULL);
if (UNTAG_Bool(REGB2)) {
- nit_abort("Reciever is null", NULL, LOCATE_standard___collection___array, 273);
+ nit_abort("Reciever is null", NULL, LOCATE_standard___collection___array, 274);
}
- /* ../lib/standard/collection/array.nit:718 */
+ /* ../lib/standard/collection/array.nit:725 */
fra.me.REG[5] = ((Nit_NativeArray)fra.me.REG[4])->val[UNTAG_Int(REGB1)];
/* metamodel/partial_order.nit:329 */
CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[5]);
} else {
nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
}
- /* ../lib/standard/kernel.nit:233 */
+ /* ../lib/standard/kernel.nit:243 */
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:245 */
REGB3 = TAG_Int(UNTAG_Int(REGB2)+UNTAG_Int(REGB3));
/* metamodel/partial_order.nit:332 */
REGB0 = REGB3;
/* metamodel/partial_order.nit:335 */
fra.me.REG[5] = CALL_metamodel___partial_order___PartialOrderElement___greaters(fra.me.REG[5])(fra.me.REG[5]);
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 */
+ /* ../lib/standard/collection/array.nit:275 */
REGB3 = TAG_Int(1);
- /* ../lib/standard/kernel.nit:235 */
+ /* ../lib/standard/kernel.nit:245 */
REGB3 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB3));
- /* ../lib/standard/collection/array.nit:274 */
+ /* ../lib/standard/collection/array.nit:275 */
REGB1 = REGB3;
} else {
- /* ../lib/standard/collection/array.nit:272 */
+ /* ../lib/standard/collection/array.nit:273 */
goto label2;
}
}