1 #include "nitc__model_base.sep.0.h"
2 /* method model_base$Model$model for (self: Model): Model */
3 val
* nitc___nitc__Model___MEntity__model(val
* self
) {
4 val
* var
/* : Model */;
10 /* method model_base$Model$no_location for (self: Model): Location */
11 val
* nitc___nitc__Model___no_location(val
* self
) {
12 val
* var
/* : Location */;
13 val
* var1
/* : Location */;
14 var1
= self
->attrs
[COLOR_nitc__model_base__Model___no_location
].val
; /* _no_location on <self:Model> */
15 if (unlikely(var1
== NULL
)) {
16 if(catchStack
.cursor
>= 0){
17 longjmp(catchStack
.envs
[catchStack
.cursor
], 1);
19 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _no_location");
20 PRINT_ERROR(" (%s:%d)\n", FILE_nitc__model_base
, 28);
27 /* method model_base$MEntity$name for (self: MEntity): String */
28 val
* nitc___nitc__MEntity___name(val
* self
) {
29 val
* var
/* : String */;
30 const char* var_class_name
;
31 var_class_name
= self
== NULL ?
"null" : self
->type
->name
;
32 PRINT_ERROR("Runtime error: Abstract method `%s` called on `%s`", "name", var_class_name
);
33 PRINT_ERROR(" (%s:%d)\n", FILE_nitc__model_base
, 37);
38 /* method model_base$MEntity$full_name for (self: MEntity): String */
39 val
* nitc___nitc__MEntity___full_name(val
* self
) {
40 val
* var
/* : String */;
41 const char* var_class_name
;
42 var_class_name
= self
== NULL ?
"null" : self
->type
->name
;
43 PRINT_ERROR("Runtime error: Abstract method `%s` called on `%s`", "full_name", var_class_name
);
44 PRINT_ERROR(" (%s:%d)\n", FILE_nitc__model_base
, 46);
49 /* method model_base$MEntity$c_name for (self: MEntity): String */
50 val
* nitc___nitc__MEntity___c_name(val
* self
) {
51 val
* var
/* : String */;
52 const char* var_class_name
;
53 var_class_name
= self
== NULL ?
"null" : self
->type
->name
;
54 PRINT_ERROR("Runtime error: Abstract method `%s` called on `%s`", "c_name", var_class_name
);
55 PRINT_ERROR(" (%s:%d)\n", FILE_nitc__model_base
, 59);
60 /* method model_base$MEntity$location for (self: MEntity): Location */
61 val
* nitc___nitc__MEntity___location(val
* self
) {
62 val
* var
/* : Location */;
63 val
* var1
/* : Model */;
64 val
* var2
/* : Location */;
65 val
* var4
/* : Location */;
67 var1
= ((val
*(*)(val
* self
))(self
->class->vft
[COLOR_nitc__model_base__MEntity__model
]))(self
); /* model on <self:MEntity>*/
70 { /* Inline model_base$Model$no_location (var1) on <var1:Model> */
71 var4
= var1
->attrs
[COLOR_nitc__model_base__Model___no_location
].val
; /* _no_location on <var1:Model> */
72 if (unlikely(var4
== NULL
)) {
73 if(catchStack
.cursor
>= 0){
74 longjmp(catchStack
.envs
[catchStack
.cursor
], 1);
76 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _no_location");
77 PRINT_ERROR(" (%s:%d)\n", FILE_nitc__model_base
, 28);
89 /* method model_base$MEntity$model for (self: MEntity): Model */
90 val
* nitc___nitc__MEntity___model(val
* self
) {
91 val
* var
/* : Model */;
92 const char* var_class_name
;
93 var_class_name
= self
== NULL ?
"null" : self
->type
->name
;
94 PRINT_ERROR("Runtime error: Abstract method `%s` called on `%s`", "model", var_class_name
);
95 PRINT_ERROR(" (%s:%d)\n", FILE_nitc__model_base
, 84);
100 /* method model_base$MEntity$is_broken for (self: MEntity): Bool */
101 short int nitc___nitc__MEntity___is_broken(val
* self
) {
102 short int var
/* : Bool */;
103 short int var1
/* : Bool */;
104 var1
= self
->attrs
[COLOR_nitc__model_base__MEntity___is_broken
].s
; /* _is_broken on <self:MEntity> */
109 /* method model_base$MEntity$is_broken= for (self: MEntity, Bool) */
110 void nitc___nitc__MEntity___is_broken_61d(val
* self
, short int p0
) {
111 self
->attrs
[COLOR_nitc__model_base__MEntity___is_broken
].s
= p0
; /* _is_broken on <self:MEntity> */
114 /* method model_base$MEntity$is_fictive for (self: MEntity): Bool */
115 short int nitc___nitc__MEntity___is_fictive(val
* self
) {
116 short int var
/* : Bool */;
117 short int var1
/* : Bool */;
118 var1
= self
->attrs
[COLOR_nitc__model_base__MEntity___is_fictive
].s
; /* _is_fictive on <self:MEntity> */
123 /* method model_base$MEntity$is_fictive= for (self: MEntity, Bool) */
124 void nitc___nitc__MEntity___is_fictive_61d(val
* self
, short int p0
) {
125 self
->attrs
[COLOR_nitc__model_base__MEntity___is_fictive
].s
= p0
; /* _is_fictive on <self:MEntity> */
128 /* method model_base$MVisibility$to_s for (self: MVisibility): String */
129 val
* nitc___nitc__MVisibility___core__abstract_text__Object__to_s(val
* self
) {
130 val
* var
/* : String */;
131 val
* var1
/* : String */;
132 var1
= self
->attrs
[COLOR_nitc__model_base__MVisibility___to_s
].val
; /* _to_s on <self:MVisibility> */
133 if (unlikely(var1
== NULL
)) {
134 if(catchStack
.cursor
>= 0){
135 longjmp(catchStack
.envs
[catchStack
.cursor
], 1);
137 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _to_s");
138 PRINT_ERROR(" (%s:%d)\n", FILE_nitc__model_base
, 130);
145 /* method model_base$MVisibility$to_s= for (self: MVisibility, String) */
146 void nitc___nitc__MVisibility___to_s_61d(val
* self
, val
* p0
) {
147 self
->attrs
[COLOR_nitc__model_base__MVisibility___to_s
].val
= p0
; /* _to_s on <self:MVisibility> */
150 /* method model_base$MVisibility$level for (self: MVisibility): Int */
151 long nitc___nitc__MVisibility___level(val
* self
) {
152 long var
/* : Int */;
153 long var1
/* : Int */;
154 var1
= self
->attrs
[COLOR_nitc__model_base__MVisibility___level
].l
; /* _level on <self:MVisibility> */
159 /* method model_base$MVisibility$level= for (self: MVisibility, Int) */
160 void nitc___nitc__MVisibility___level_61d(val
* self
, long p0
) {
161 self
->attrs
[COLOR_nitc__model_base__MVisibility___level
].l
= p0
; /* _level on <self:MVisibility> */
164 /* method model_base$MVisibility$< for (self: MVisibility, MVisibility): Bool */
165 short int nitc___nitc__MVisibility___core__kernel__Comparable___60d(val
* self
, val
* p0
) {
166 short int var
/* : Bool */;
167 short int var1
/* : Bool */;
170 const struct type
* type_struct
;
171 const char* var_class_name
;
172 val
* var_other
/* var other: MVisibility */;
173 long var2
/* : Int */;
174 long var4
/* : Int */;
175 long var5
/* : Int */;
176 long var7
/* : Int */;
177 short int var8
/* : Bool */;
178 short int var10
/* : Bool */;
181 const char* var_class_name13
;
182 short int var14
/* : Bool */;
183 /* Covariant cast for argument 0 (other) <p0:MVisibility> isa OTHER */
184 /* <p0:MVisibility> isa OTHER */
185 type_struct
= self
->type
->resolution_table
->types
[COLOR_core__kernel__Comparable__OTHER
];
186 cltype
= type_struct
->color
;
187 idtype
= type_struct
->id
;
188 if(cltype
>= p0
->type
->table_size
) {
191 var1
= p0
->type
->type_table
[cltype
] == idtype
;
193 if (unlikely(!var1
)) {
194 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
195 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
196 PRINT_ERROR(" (%s:%d)\n", FILE_nitc__model_base
, 136);
201 { /* Inline model_base$MVisibility$level (self) on <self:MVisibility> */
202 var4
= self
->attrs
[COLOR_nitc__model_base__MVisibility___level
].l
; /* _level on <self:MVisibility> */
208 { /* Inline model_base$MVisibility$level (var_other) on <var_other:MVisibility> */
209 var7
= var_other
->attrs
[COLOR_nitc__model_base__MVisibility___level
].l
; /* _level on <var_other:MVisibility> */
215 { /* Inline kernel$Int$< (var2,var5) on <var2:Int> */
216 /* Covariant cast for argument 0 (i) <var5:Int> isa OTHER */
217 /* <var5:Int> isa OTHER */
218 var10
= 1; /* easy <var5:Int> isa OTHER*/
219 if (unlikely(!var10
)) {
220 var_class_name13
= type_core__Int
.name
;
221 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name13
);
222 PRINT_ERROR(" (%s:%d)\n", FILE_core__kernel
, 725);
236 /* method model_base$MVisibility$init for (self: MVisibility) */
237 void nitc___nitc__MVisibility___core__kernel__Object__init(val
* self
) {
239 ((void(*)(val
* self
))(self
->class->vft
[COLOR_nitc___nitc__MVisibility___core__kernel__Object__init
]))(self
); /* init on <self:MVisibility>*/
243 /* method model_base$Sys$intrude_visibility for (self: Sys): MVisibility */
244 val
* nitc__model_base___core__Sys___intrude_visibility(val
* self
) {
245 val
* var
/* : MVisibility */;
247 static int varonce_guard
;
248 val
* var1
/* : MVisibility */;
249 val
* var2
/* : MVisibility */;
250 static val
* varonce3
;
251 val
* var4
/* : String */;
252 char* var5
/* : CString */;
253 val
* var6
/* : String */;
254 val
* var7
/* : nullable Int */;
255 val
* var8
/* : nullable Int */;
256 val
* var9
/* : nullable Bool */;
257 val
* var10
/* : nullable Bool */;
258 if (likely(varonce_guard
)) {
261 var2
= NEW_nitc__MVisibility(&type_nitc__MVisibility
);
262 if (likely(varonce3
!=NULL
)) {
266 var7
= (val
*)(7l<<2|1);
267 var8
= (val
*)(7l<<2|1);
268 var9
= (val
*)((long)(0)<<2|3);
269 var10
= (val
*)((long)(0)<<2|3);
270 var6
= core__flat___CString___to_s_unsafe(var5
, var7
, var8
, var9
, var10
);
275 ((void(*)(val
* self
, val
* p0
))(var2
->class->vft
[COLOR_nitc__model_base__MVisibility__to_s_61d
]))(var2
, var4
); /* to_s= on <var2:MVisibility>*/
278 ((void(*)(val
* self
, long p0
))(var2
->class->vft
[COLOR_nitc__model_base__MVisibility__level_61d
]))(var2
, 5l); /* level= on <var2:MVisibility>*/
281 ((void(*)(val
* self
))(var2
->class->vft
[COLOR_core__kernel__Object__init
]))(var2
); /* init on <var2:MVisibility>*/
292 /* method model_base$Sys$public_visibility for (self: Sys): MVisibility */
293 val
* nitc__model_base___core__Sys___public_visibility(val
* self
) {
294 val
* var
/* : MVisibility */;
296 static int varonce_guard
;
297 val
* var1
/* : MVisibility */;
298 val
* var2
/* : MVisibility */;
299 static val
* varonce3
;
300 val
* var4
/* : String */;
301 char* var5
/* : CString */;
302 val
* var6
/* : String */;
303 val
* var7
/* : nullable Int */;
304 val
* var8
/* : nullable Int */;
305 val
* var9
/* : nullable Bool */;
306 val
* var10
/* : nullable Bool */;
307 if (likely(varonce_guard
)) {
310 var2
= NEW_nitc__MVisibility(&type_nitc__MVisibility
);
311 if (likely(varonce3
!=NULL
)) {
315 var7
= (val
*)(6l<<2|1);
316 var8
= (val
*)(6l<<2|1);
317 var9
= (val
*)((long)(0)<<2|3);
318 var10
= (val
*)((long)(0)<<2|3);
319 var6
= core__flat___CString___to_s_unsafe(var5
, var7
, var8
, var9
, var10
);
324 ((void(*)(val
* self
, val
* p0
))(var2
->class->vft
[COLOR_nitc__model_base__MVisibility__to_s_61d
]))(var2
, var4
); /* to_s= on <var2:MVisibility>*/
327 ((void(*)(val
* self
, long p0
))(var2
->class->vft
[COLOR_nitc__model_base__MVisibility__level_61d
]))(var2
, 4l); /* level= on <var2:MVisibility>*/
330 ((void(*)(val
* self
))(var2
->class->vft
[COLOR_core__kernel__Object__init
]))(var2
); /* init on <var2:MVisibility>*/
341 /* method model_base$Sys$protected_visibility for (self: Sys): MVisibility */
342 val
* nitc__model_base___core__Sys___protected_visibility(val
* self
) {
343 val
* var
/* : MVisibility */;
345 static int varonce_guard
;
346 val
* var1
/* : MVisibility */;
347 val
* var2
/* : MVisibility */;
348 static val
* varonce3
;
349 val
* var4
/* : String */;
350 char* var5
/* : CString */;
351 val
* var6
/* : String */;
352 val
* var7
/* : nullable Int */;
353 val
* var8
/* : nullable Int */;
354 val
* var9
/* : nullable Bool */;
355 val
* var10
/* : nullable Bool */;
356 if (likely(varonce_guard
)) {
359 var2
= NEW_nitc__MVisibility(&type_nitc__MVisibility
);
360 if (likely(varonce3
!=NULL
)) {
364 var7
= (val
*)(9l<<2|1);
365 var8
= (val
*)(9l<<2|1);
366 var9
= (val
*)((long)(0)<<2|3);
367 var10
= (val
*)((long)(0)<<2|3);
368 var6
= core__flat___CString___to_s_unsafe(var5
, var7
, var8
, var9
, var10
);
373 ((void(*)(val
* self
, val
* p0
))(var2
->class->vft
[COLOR_nitc__model_base__MVisibility__to_s_61d
]))(var2
, var4
); /* to_s= on <var2:MVisibility>*/
376 ((void(*)(val
* self
, long p0
))(var2
->class->vft
[COLOR_nitc__model_base__MVisibility__level_61d
]))(var2
, 3l); /* level= on <var2:MVisibility>*/
379 ((void(*)(val
* self
))(var2
->class->vft
[COLOR_core__kernel__Object__init
]))(var2
); /* init on <var2:MVisibility>*/
390 /* method model_base$Sys$private_visibility for (self: Sys): MVisibility */
391 val
* nitc__model_base___core__Sys___private_visibility(val
* self
) {
392 val
* var
/* : MVisibility */;
394 static int varonce_guard
;
395 val
* var1
/* : MVisibility */;
396 val
* var2
/* : MVisibility */;
397 static val
* varonce3
;
398 val
* var4
/* : String */;
399 char* var5
/* : CString */;
400 val
* var6
/* : String */;
401 val
* var7
/* : nullable Int */;
402 val
* var8
/* : nullable Int */;
403 val
* var9
/* : nullable Bool */;
404 val
* var10
/* : nullable Bool */;
405 if (likely(varonce_guard
)) {
408 var2
= NEW_nitc__MVisibility(&type_nitc__MVisibility
);
409 if (likely(varonce3
!=NULL
)) {
413 var7
= (val
*)(7l<<2|1);
414 var8
= (val
*)(7l<<2|1);
415 var9
= (val
*)((long)(0)<<2|3);
416 var10
= (val
*)((long)(0)<<2|3);
417 var6
= core__flat___CString___to_s_unsafe(var5
, var7
, var8
, var9
, var10
);
422 ((void(*)(val
* self
, val
* p0
))(var2
->class->vft
[COLOR_nitc__model_base__MVisibility__to_s_61d
]))(var2
, var4
); /* to_s= on <var2:MVisibility>*/
425 ((void(*)(val
* self
, long p0
))(var2
->class->vft
[COLOR_nitc__model_base__MVisibility__level_61d
]))(var2
, 2l); /* level= on <var2:MVisibility>*/
428 ((void(*)(val
* self
))(var2
->class->vft
[COLOR_core__kernel__Object__init
]))(var2
); /* init on <var2:MVisibility>*/
439 /* method model_base$Sys$none_visibility for (self: Sys): MVisibility */
440 val
* nitc__model_base___core__Sys___none_visibility(val
* self
) {
441 val
* var
/* : MVisibility */;
443 static int varonce_guard
;
444 val
* var1
/* : MVisibility */;
445 val
* var2
/* : MVisibility */;
446 static val
* varonce3
;
447 val
* var4
/* : String */;
448 char* var5
/* : CString */;
449 val
* var6
/* : String */;
450 val
* var7
/* : nullable Int */;
451 val
* var8
/* : nullable Int */;
452 val
* var9
/* : nullable Bool */;
453 val
* var10
/* : nullable Bool */;
454 if (likely(varonce_guard
)) {
457 var2
= NEW_nitc__MVisibility(&type_nitc__MVisibility
);
458 if (likely(varonce3
!=NULL
)) {
462 var7
= (val
*)(4l<<2|1);
463 var8
= (val
*)(4l<<2|1);
464 var9
= (val
*)((long)(0)<<2|3);
465 var10
= (val
*)((long)(0)<<2|3);
466 var6
= core__flat___CString___to_s_unsafe(var5
, var7
, var8
, var9
, var10
);
471 ((void(*)(val
* self
, val
* p0
))(var2
->class->vft
[COLOR_nitc__model_base__MVisibility__to_s_61d
]))(var2
, var4
); /* to_s= on <var2:MVisibility>*/
474 ((void(*)(val
* self
, long p0
))(var2
->class->vft
[COLOR_nitc__model_base__MVisibility__level_61d
]))(var2
, 1l); /* level= on <var2:MVisibility>*/
477 ((void(*)(val
* self
))(var2
->class->vft
[COLOR_core__kernel__Object__init
]))(var2
); /* init on <var2:MVisibility>*/