/*
-- ANSI C code generated by :
-- SmallEiffel The GNU Eiffel Compiler -- Release (- 0.82)      --
-- Copyright (C), 1994-98 - LORIA - UHP - CRIN - INRIA - FRANCE --
-- Dominique COLNET and Suzanne COLLIN -    colnet@loria.fr     --
--                 http://www.loria.fr/SmallEiffel              --
*/
#include "pretty.h"
/*No:ARRAY[DICTIONARY[RUN_FEATURE,STRING]].clear_all*/
/*No:ARRAY[DICTIONARY[RUN_FEATURE,STRING]].set_all_with*/
void r956make(T956* C,int a1,int a2){
int _needed=0;
C->_lower=a1;
C->_upper=a2;
_needed=((a2)-(a1))+(1);
/*IF*/if ((_needed)>(0)) {
/*IF*/if (((((T956*)C))->_capacity/*4*/)<(_needed)) {
/*IF*/if (((((T956*)C))->_capacity/*4*/)==(0)) {
C->_storage=calloc(_needed,sizeof(T0*));
}
else {
C->_storage=calloc(_needed,sizeof(T0*));
}
/*FI*/C->_capacity=_needed;
}
else {
/*[IRF3.6clear_all*/{T956* C1=C;
T0* __value=NULL;
/*[IRF3.6set_all_with*/{T956* C2=C1;
T0* c1=__value;
r354set_all_with((((T956*)C2))->_storage/*0*/,c1,((((T956*)C2))->_upper/*8*/)-((((T956*)C2))->_lower/*12*/));
}/*]*/
}/*]*/
}
/*FI*/}
/*FI*/}
T0* r956item(T956* C,int a1){
T0* R=NULL;
R=((((T956*)C))->_storage/*0*/)[(a1)-((((T956*)C))->_lower/*12*/)];
return R;
}
void r956resize(T956* C,int a1,int a2){
int _mem=0;
int _up=0;
int _i=0;
T0* _other=NULL;
{T956*n=malloc(sizeof(*n));
*n=M956;
r956make(n,a1,a2);
_other=(T0*)n;
}
_i=r2max((((T956*)C))->_lower/*12*/,(((T956*)((T956*)_other)))->_lower/*12*/);
_up=r2min((((T956*)C))->_upper/*8*/,(((T956*)((T956*)_other)))->_upper/*8*/);
while (!((_i)>(_up))) {
/*[IRF3.6put*/{T956* C1=((T956*)_other);
T0* b1=r956item(C,_i);
int b2=_i;
((((T956*)C1))->_storage/*0*/)[(b2)-((((T956*)C1))->_lower/*12*/)]=(b1);
}/*]*/
_i=(_i)+(1);
}
*((T956*)(C))=*((T956*)(_other));
}
/*No:ARRAY[DICTIONARY[RUN_FEATURE,STRING]].storage*/
/*No:ARRAY[DICTIONARY[RUN_FEATURE,STRING]].capacity*/
/*No:ARRAY[DICTIONARY[RUN_FEATURE,STRING]].lower*/
/*No:ARRAY[DICTIONARY[RUN_FEATURE,STRING]].put*/
/*No:ARRAY[DICTIONARY[RUN_FEATURE,STRING]].upper*/
int r956count(T956* C){
int R=0;
R=(((((T956*)C))->_upper/*8*/)-((((T956*)C))->_lower/*12*/))+(1);
return R;
}
/*No:ARRAY[INTEGER].clear_all*/
/*No:ARRAY[INTEGER].set_all_with*/
void r429make(T429* C,int a1,int a2){
int _needed=0;
C->_lower=a1;
C->_upper=a2;
_needed=((a2)-(a1))+(1);
/*IF*/if ((_needed)>(0)) {
/*IF*/if (((((T429*)C))->_capacity/*4*/)<(_needed)) {
/*IF*/if (((((T429*)C))->_capacity/*4*/)==(0)) {
C->_storage=calloc(_needed,sizeof(int));
}
else {
C->_storage=calloc(_needed,sizeof(int));
}
/*FI*/C->_capacity=_needed;
}
else {
/*[IRF3.6clear_all*/{T429* C1=C;
int __value=0;
/*[IRF3.6set_all_with*/{T429* C2=C1;
int c1=__value;
r686set_all_with((((T429*)C2))->_storage/*0*/,c1,((((T429*)C2))->_upper/*8*/)-((((T429*)C2))->_lower/*12*/));
}/*]*/
}/*]*/
}
/*FI*/}
/*FI*/}
int r429fast_has(T429* C,int a1){
int R=0;
/*IF*/if ((r429count(C))>(0)) {
R=(r429fast_index_of(C,a1))<=((((T429*)C))->_upper/*8*/);
}
/*FI*/return R;
}
int r429item(T429* C,int a1){
int R=0;
R=((((T429*)C))->_storage/*0*/)[(a1)-((((T429*)C))->_lower/*12*/)];
return R;
}
void r429resize(T429* C,int a1,int a2){
int _mem=0;
int _up=0;
int _i=0;
T0* _other=NULL;
{T429*n=malloc(sizeof(*n));
*n=M429;
r429make(n,a1,a2);
_other=(T0*)n;
}
_i=r2max((((T429*)C))->_lower/*12*/,(((T429*)((T429*)_other)))->_lower/*12*/);
_up=r2min((((T429*)C))->_upper/*8*/,(((T429*)((T429*)_other)))->_upper/*8*/);
while (!((_i)>(_up))) {
/*[IRF3.6put*/{T429* C1=((T429*)_other);
int b1=r429item(C,_i);
int b2=_i;
((((T429*)C1))->_storage/*0*/)[(b2)-((((T429*)C1))->_lower/*12*/)]=(b1);
}/*]*/
_i=(_i)+(1);
}
*((T429*)(C))=*((T429*)(_other));
}
/*No:ARRAY[INTEGER].storage*/
/*No:ARRAY[INTEGER].capacity*/
/*No:ARRAY[INTEGER].lower*/
int r429fast_index_of(T429* C,int a1){
int R=0;
R=((((T429*)C))->_lower/*12*/)+(r686fast_index_of((((T429*)C))->_storage/*0*/,a1,((((T429*)C))->_upper/*8*/)-((((T429*)C))->_lower/*12*/)));
return R;
}
/*No:ARRAY[INTEGER].put*/
/*No:ARRAY[INTEGER].upper*/
void r429add_last(T429* C,int a1){
int _new_capacity=0;
/*IF*/if (((((T429*)C))->_capacity/*4*/)<((r429count(C))+(1))) {
/*IF*/if (((((T429*)C))->_capacity/*4*/)==(0)) {
C->_capacity=16;
C->_storage=calloc((((T429*)C))->_capacity/*4*/,sizeof(int));
}
else {
_new_capacity=(2)*((((T429*)C))->_capacity/*4*/);
C->_storage=r686realloc((((T429*)C))->_storage/*0*/,(((T429*)C))->_capacity/*4*/,_new_capacity);
C->_capacity=_new_capacity;
}
/*FI*/}
/*FI*/C->_upper=((((T429*)C))->_upper/*8*/)+(1);
/*[IRF3.6put*/{T429* C1=C;
int b1=a1;
int b2=(((T429*)C))->_upper/*8*/;
((((T429*)C1))->_storage/*0*/)[(b2)-((((T429*)C1))->_lower/*12*/)]=(b1);
}/*]*/
}
int r429count(T429* C){
int R=0;
R=(((((T429*)C))->_upper/*8*/)-((((T429*)C))->_lower/*12*/))+(1);
return R;
}
T0* r764item(T764* C,int a1){
T0* R=NULL;
R=((((T764*)C))->_storage/*0*/)[(a1)-((((T764*)C))->_lower/*12*/)];
return R;
}
/*No:ARRAY[FEATURE_CLAUSE].storage*/
/*No:ARRAY[FEATURE_CLAUSE].capacity*/
/*No:ARRAY[FEATURE_CLAUSE].lower*/
/*No:ARRAY[FEATURE_CLAUSE].put*/
/*No:ARRAY[FEATURE_CLAUSE].upper*/
int r764count(T764* C){
int R=0;
R=(((((T764*)C))->_upper/*8*/)-((((T764*)C))->_lower/*12*/))+(1);
return R;
}
void r764add_last(T764* C,T0* a1){
int _new_capacity=0;
/*IF*/if (((((T764*)C))->_capacity/*4*/)<((r764count(C))+(1))) {
/*IF*/if (((((T764*)C))->_capacity/*4*/)==(0)) {
C->_capacity=16;
C->_storage=calloc((((T764*)C))->_capacity/*4*/,sizeof(T0*));
}
else {
_new_capacity=(2)*((((T764*)C))->_capacity/*4*/);
C->_storage=r42realloc((((T764*)C))->_storage/*0*/,(((T764*)C))->_capacity/*4*/,_new_capacity);
C->_capacity=_new_capacity;
}
/*FI*/}
/*FI*/C->_upper=((((T764*)C))->_upper/*8*/)+(1);
/*[IRF3.6put*/{T764* C1=C;
T0* b1=a1;
int b2=(((T764*)C))->_upper/*8*/;
((((T764*)C1))->_storage/*0*/)[(b2)-((((T764*)C1))->_lower/*12*/)]=(b1);
}/*]*/
}
/*No:ARRAY[LOCAL_NAME1].clear_all*/
/*No:ARRAY[LOCAL_NAME1].set_all_with*/
void r733make(T733* C,int a1,int a2){
int _needed=0;
C->_lower=a1;
C->_upper=a2;
_needed=((a2)-(a1))+(1);
/*IF*/if ((_needed)>(0)) {
/*IF*/if (((((T733*)C))->_capacity/*8*/)<(_needed)) {
/*IF*/if (((((T733*)C))->_capacity/*8*/)==(0)) {
C->_storage=calloc(_needed,sizeof(T0*));
}
else {
C->_storage=calloc(_needed,sizeof(T0*));
}
/*FI*/C->_capacity=_needed;
}
else {
/*[IRF3.6clear_all*/{T733* C1=C;
T0* __value=NULL;
/*[IRF3.6set_all_with*/{T733* C2=C1;
T0* c1=__value;
r731set_all_with((((T733*)C2))->_storage/*4*/,c1,((((T733*)C2))->_upper/*12*/)-((((T733*)C2))->_lower/*16*/));
}/*]*/
}/*]*/
}
/*FI*/}
/*FI*/}
T0* r733item(T733* C,int a1){
T0* R=NULL;
R=((((T733*)C))->_storage/*4*/)[(a1)-((((T733*)C))->_lower/*16*/)];
return R;
}
/*No:ARRAY[LOCAL_NAME1].storage*/
T0* r733twin(T733* C){
T0* R=NULL;
R=malloc(sizeof(*C));
*((T733*)R)=M733;
r733copy(((T733*)R),((T0*)C));
return R;
}
/*No:ARRAY[LOCAL_NAME1].capacity*/
void r733copy(T733* C,T0* a1){
int _needed_capacity=0;
C->_lower=(((T733*)((T733*)a1)))->_lower/*16*/;
C->_upper=(((T733*)((T733*)a1)))->_upper/*12*/;
_needed_capacity=(((((T733*)C))->_upper/*12*/)-((((T733*)C))->_lower/*16*/))+(1);
/*IF*/if (((((T733*)C))->_capacity/*8*/)<(_needed_capacity)) {
C->_capacity=_needed_capacity;
C->_storage=calloc((((T733*)C))->_capacity/*8*/,sizeof(T0*));
}
/*FI*//*IF*/if ((_needed_capacity)>(0)) {
r731copy_from((((T733*)C))->_storage/*4*/,(((T733*)((T733*)a1)))->_storage/*4*/,(_needed_capacity)-(1));
}
/*FI*/}
/*No:ARRAY[LOCAL_NAME1].lower*/
/*No:ARRAY[LOCAL_NAME1].put*/
/*No:ARRAY[LOCAL_NAME1].upper*/
int r733count(T733* C){
int R=0;
R=(((((T733*)C))->_upper/*12*/)-((((T733*)C))->_lower/*16*/))+(1);
return R;
}
void r733add_last(T733* C,T0* a1){
int _new_capacity=0;
/*IF*/if (((((T733*)C))->_capacity/*8*/)<((r733count(C))+(1))) {
/*IF*/if (((((T733*)C))->_capacity/*8*/)==(0)) {
C->_capacity=16;
C->_storage=calloc((((T733*)C))->_capacity/*8*/,sizeof(T0*));
}
else {
_new_capacity=(2)*((((T733*)C))->_capacity/*8*/);
C->_storage=r731realloc((((T733*)C))->_storage/*4*/,(((T733*)C))->_capacity/*8*/,_new_capacity);
C->_capacity=_new_capacity;
}
/*FI*/}
/*FI*/C->_upper=((((T733*)C))->_upper/*12*/)+(1);
/*[IRF3.6put*/{T733* C1=C;
T0* b1=a1;
int b2=(((T733*)C))->_upper/*12*/;
((((T733*)C1))->_storage/*4*/)[(b2)-((((T733*)C1))->_lower/*16*/)]=(b1);
}/*]*/
}
T0* r733first(T733* C){
T0* R=NULL;
R=r733item(C,(((T733*)C))->_lower/*16*/);
return R;
}
T0* r247item(T247* C,int a1){
T0* R=NULL;
R=((((T247*)C))->_storage/*4*/)[(a1)-((((T247*)C))->_lower/*16*/)];
return R;
}
/*No:ARRAY[WHEN_ITEM_1].storage*/
T0* r247twin(T247* C){
T0* R=NULL;
R=malloc(sizeof(*C));
*((T247*)R)=M247;
r247copy(((T247*)R),((T0*)C));
return R;
}
/*No:ARRAY[WHEN_ITEM_1].capacity*/
void r247copy(T247* C,T0* a1){
int _needed_capacity=0;
C->_lower=(((T247*)((T247*)a1)))->_lower/*16*/;
C->_upper=(((T247*)((T247*)a1)))->_upper/*12*/;
_needed_capacity=(((((T247*)C))->_upper/*12*/)-((((T247*)C))->_lower/*16*/))+(1);
/*IF*/if (((((T247*)C))->_capacity/*8*/)<(_needed_capacity)) {
C->_capacity=_needed_capacity;
C->_storage=calloc((((T247*)C))->_capacity/*8*/,sizeof(T0*));
}
/*FI*//*IF*/if ((_needed_capacity)>(0)) {
r497copy_from((((T247*)C))->_storage/*4*/,(((T247*)((T247*)a1)))->_storage/*4*/,(_needed_capacity)-(1));
}
/*FI*/}
/*No:ARRAY[WHEN_ITEM_1].lower*/
/*No:ARRAY[WHEN_ITEM_1].put*/
/*No:ARRAY[WHEN_ITEM_1].upper*/
int r247count(T247* C){
int R=0;
R=(((((T247*)C))->_upper/*12*/)-((((T247*)C))->_lower/*16*/))+(1);
return R;
}
void r247add_last(T247* C,T0* a1){
int _new_capacity=0;
/*IF*/if (((((T247*)C))->_capacity/*8*/)<((r247count(C))+(1))) {
/*IF*/if (((((T247*)C))->_capacity/*8*/)==(0)) {
C->_capacity=16;
C->_storage=calloc((((T247*)C))->_capacity/*8*/,sizeof(T0*));
}
else {
_new_capacity=(2)*((((T247*)C))->_capacity/*8*/);
C->_storage=r497realloc((((T247*)C))->_storage/*4*/,(((T247*)C))->_capacity/*8*/,_new_capacity);
C->_capacity=_new_capacity;
}
/*FI*/}
/*FI*/C->_upper=((((T247*)C))->_upper/*12*/)+(1);
/*[IRF3.6put*/{T247* C1=C;
T0* b1=a1;
int b2=(((T247*)C))->_upper/*12*/;
((((T247*)C1))->_storage/*4*/)[(b2)-((((T247*)C1))->_lower/*16*/)]=(b1);
}/*]*/
}
T0* r948item(T948* C,int a1){
T0* R=NULL;
R=((((T948*)C))->_storage/*0*/)[(a1)-((((T948*)C))->_lower/*12*/)];
return R;
}
/*No:ARRAY[IFTHEN].storage*/
T0* r948twin(T948* C){
T0* R=NULL;
R=malloc(sizeof(*C));
*((T948*)R)=M948;
r948copy(((T948*)R),((T0*)C));
return R;
}
/*No:ARRAY[IFTHEN].capacity*/
void r948copy(T948* C,T0* a1){
int _needed_capacity=0;
C->_lower=(((T948*)((T948*)a1)))->_lower/*12*/;
C->_upper=(((T948*)((T948*)a1)))->_upper/*8*/;
_needed_capacity=(((((T948*)C))->_upper/*8*/)-((((T948*)C))->_lower/*12*/))+(1);
/*IF*/if (((((T948*)C))->_capacity/*4*/)<(_needed_capacity)) {
C->_capacity=_needed_capacity;
C->_storage=calloc((((T948*)C))->_capacity/*4*/,sizeof(T0*));
}
/*FI*//*IF*/if ((_needed_capacity)>(0)) {
r191copy_from((((T948*)C))->_storage/*0*/,(((T948*)((T948*)a1)))->_storage/*0*/,(_needed_capacity)-(1));
}
/*FI*/}
/*No:ARRAY[IFTHEN].lower*/
/*No:ARRAY[IFTHEN].put*/
/*No:ARRAY[IFTHEN].upper*/
int r948count(T948* C){
int R=0;
R=(((((T948*)C))->_upper/*8*/)-((((T948*)C))->_lower/*12*/))+(1);
return R;
}
void r948add_last(T948* C,T0* a1){
int _new_capacity=0;
/*IF*/if (((((T948*)C))->_capacity/*4*/)<((r948count(C))+(1))) {
/*IF*/if (((((T948*)C))->_capacity/*4*/)==(0)) {
C->_capacity=16;
C->_storage=calloc((((T948*)C))->_capacity/*4*/,sizeof(T0*));
}
else {
_new_capacity=(2)*((((T948*)C))->_capacity/*4*/);
C->_storage=r191realloc((((T948*)C))->_storage/*0*/,(((T948*)C))->_capacity/*4*/,_new_capacity);
C->_capacity=_new_capacity;
}
/*FI*/}
/*FI*/C->_upper=((((T948*)C))->_upper/*8*/)+(1);
/*[IRF3.6put*/{T948* C1=C;
T0* b1=a1;
int b2=(((T948*)C))->_upper/*8*/;
((((T948*)C1))->_storage/*0*/)[(b2)-((((T948*)C1))->_lower/*12*/)]=(b1);
}/*]*/
}
/*No:ARRAY[ARGUMENT_NAME1].clear_all*/
/*No:ARRAY[ARGUMENT_NAME1].set_all_with*/
void r65make(T65* C,int a1,int a2){
int _needed=0;
C->_lower=a1;
C->_upper=a2;
_needed=((a2)-(a1))+(1);
/*IF*/if ((_needed)>(0)) {
/*IF*/if (((((T65*)C))->_capacity/*8*/)<(_needed)) {
/*IF*/if (((((T65*)C))->_capacity/*8*/)==(0)) {
C->_storage=calloc(_needed,sizeof(T0*));
}
else {
C->_storage=calloc(_needed,sizeof(T0*));
}
/*FI*/C->_capacity=_needed;
}
else {
/*[IRF3.6clear_all*/{T65* C1=C;
T0* __value=NULL;
/*[IRF3.6set_all_with*/{T65* C2=C1;
T0* c1=__value;
r24set_all_with((((T65*)C2))->_storage/*4*/,c1,((((T65*)C2))->_upper/*12*/)-((((T65*)C2))->_lower/*16*/));
}/*]*/
}/*]*/
}
/*FI*/}
/*FI*/}
T0* r65item(T65* C,int a1){
T0* R=NULL;
R=((((T65*)C))->_storage/*4*/)[(a1)-((((T65*)C))->_lower/*16*/)];
return R;
}
/*No:ARRAY[ARGUMENT_NAME1].storage*/
T0* r65twin(T65* C){
T0* R=NULL;
R=malloc(sizeof(*C));
*((T65*)R)=M65;
r65copy(((T65*)R),((T0*)C));
return R;
}
/*No:ARRAY[ARGUMENT_NAME1].capacity*/
void r65copy(T65* C,T0* a1){
int _needed_capacity=0;
C->_lower=(((T65*)((T65*)a1)))->_lower/*16*/;
C->_upper=(((T65*)((T65*)a1)))->_upper/*12*/;
_needed_capacity=(((((T65*)C))->_upper/*12*/)-((((T65*)C))->_lower/*16*/))+(1);
/*IF*/if (((((T65*)C))->_capacity/*8*/)<(_needed_capacity)) {
C->_capacity=_needed_capacity;
C->_storage=calloc((((T65*)C))->_capacity/*8*/,sizeof(T0*));
}
/*FI*//*IF*/if ((_needed_capacity)>(0)) {
r24copy_from((((T65*)C))->_storage/*4*/,(((T65*)((T65*)a1)))->_storage/*4*/,(_needed_capacity)-(1));
}
/*FI*/}
/*No:ARRAY[ARGUMENT_NAME1].lower*/
/*No:ARRAY[ARGUMENT_NAME1].put*/
/*No:ARRAY[ARGUMENT_NAME1].upper*/
int r65count(T65* C){
int R=0;
R=(((((T65*)C))->_upper/*12*/)-((((T65*)C))->_lower/*16*/))+(1);
return R;
}
void r65add_last(T65* C,T0* a1){
int _new_capacity=0;
/*IF*/if (((((T65*)C))->_capacity/*8*/)<((r65count(C))+(1))) {
/*IF*/if (((((T65*)C))->_capacity/*8*/)==(0)) {
C->_capacity=16;
C->_storage=calloc((((T65*)C))->_capacity/*8*/,sizeof(T0*));
}
else {
_new_capacity=(2)*((((T65*)C))->_capacity/*8*/);
C->_storage=r24realloc((((T65*)C))->_storage/*4*/,(((T65*)C))->_capacity/*8*/,_new_capacity);
C->_capacity=_new_capacity;
}
/*FI*/}
/*FI*/C->_upper=((((T65*)C))->_upper/*12*/)+(1);
/*[IRF3.6put*/{T65* C1=C;
T0* b1=a1;
int b2=(((T65*)C))->_upper/*12*/;
((((T65*)C1))->_storage/*4*/)[(b2)-((((T65*)C1))->_lower/*16*/)]=(b1);
}/*]*/
}
T0* r65first(T65* C){
T0* R=NULL;
R=r65item(C,(((T65*)C))->_lower/*16*/);
return R;
}
/*No:ARRAY[E_FEATURE].clear_all*/
/*No:ARRAY[E_FEATURE].set_all_with*/
void r495make(T495* C,int a1,int a2){
int _needed=0;
C->_lower=a1;
C->_upper=a2;
_needed=((a2)-(a1))+(1);
/*IF*/if ((_needed)>(0)) {
/*IF*/if (((((T495*)C))->_capacity/*4*/)<(_needed)) {
/*IF*/if (((((T495*)C))->_capacity/*4*/)==(0)) {
C->_storage=calloc(_needed,sizeof(T0*));
}
else {
C->_storage=calloc(_needed,sizeof(T0*));
}
/*FI*/C->_capacity=_needed;
}
else {
/*[IRF3.6clear_all*/{T495* C1=C;
T0* __value=NULL;
/*[IRF3.6set_all_with*/{T495* C2=C1;
T0* c1=__value;
r822set_all_with((((T495*)C2))->_storage/*0*/,c1,((((T495*)C2))->_upper/*8*/)-((((T495*)C2))->_lower/*12*/));
}/*]*/
}/*]*/
}
/*FI*/}
/*FI*/}
T0* r495item(T495* C,int a1){
T0* R=NULL;
R=((((T495*)C))->_storage/*0*/)[(a1)-((((T495*)C))->_lower/*12*/)];
return R;
}
void r495resize(T495* C,int a1,int a2){
int _mem=0;
int _up=0;
int _i=0;
T0* _other=NULL;
{T495*n=malloc(sizeof(*n));
*n=M495;
r495make(n,a1,a2);
_other=(T0*)n;
}
_i=r2max((((T495*)C))->_lower/*12*/,(((T495*)((T495*)_other)))->_lower/*12*/);
_up=r2min((((T495*)C))->_upper/*8*/,(((T495*)((T495*)_other)))->_upper/*8*/);
while (!((_i)>(_up))) {
/*[IRF3.6put*/{T495* C1=((T495*)_other);
T0* b1=r495item(C,_i);
int b2=_i;
((((T495*)C1))->_storage/*0*/)[(b2)-((((T495*)C1))->_lower/*12*/)]=(b1);
}/*]*/
_i=(_i)+(1);
}
*((T495*)(C))=*((T495*)(_other));
}
/*No:ARRAY[E_FEATURE].storage*/
/*No:ARRAY[E_FEATURE].capacity*/
/*No:ARRAY[E_FEATURE].lower*/
/*No:ARRAY[E_FEATURE].put*/
/*No:ARRAY[E_FEATURE].upper*/
void r495add_last(T495* C,T0* a1){
int _new_capacity=0;
/*IF*/if (((((T495*)C))->_capacity/*4*/)<((r495count(C))+(1))) {
/*IF*/if (((((T495*)C))->_capacity/*4*/)==(0)) {
C->_capacity=16;
C->_storage=calloc((((T495*)C))->_capacity/*4*/,sizeof(T0*));
}
else {
_new_capacity=(2)*((((T495*)C))->_capacity/*4*/);
C->_storage=r822realloc((((T495*)C))->_storage/*0*/,(((T495*)C))->_capacity/*4*/,_new_capacity);
C->_capacity=_new_capacity;
}
/*FI*/}
/*FI*/C->_upper=((((T495*)C))->_upper/*8*/)+(1);
/*[IRF3.6put*/{T495* C1=C;
T0* b1=a1;
int b2=(((T495*)C))->_upper/*8*/;
((((T495*)C1))->_storage/*0*/)[(b2)-((((T495*)C1))->_lower/*12*/)]=(b1);
}/*]*/
}
int r495count(T495* C){
int R=0;
R=(((((T495*)C))->_upper/*8*/)-((((T495*)C))->_lower/*12*/))+(1);
return R;
}
T0* r263item(T263* C,int a1){
T0* R=NULL;
R=((((T263*)C))->_storage/*4*/)[(a1)-((((T263*)C))->_lower/*16*/)];
return R;
}
/*No:ARRAY[WHEN_ITEM_2].storage*/
T0* r263twin(T263* C){
T0* R=NULL;
R=malloc(sizeof(*C));
*((T263*)R)=M263;
r263copy(((T263*)R),((T0*)C));
return R;
}
/*No:ARRAY[WHEN_ITEM_2].capacity*/
void r263copy(T263* C,T0* a1){
int _needed_capacity=0;
C->_lower=(((T263*)((T263*)a1)))->_lower/*16*/;
C->_upper=(((T263*)((T263*)a1)))->_upper/*12*/;
_needed_capacity=(((((T263*)C))->_upper/*12*/)-((((T263*)C))->_lower/*16*/))+(1);
/*IF*/if (((((T263*)C))->_capacity/*8*/)<(_needed_capacity)) {
C->_capacity=_needed_capacity;
C->_storage=calloc((((T263*)C))->_capacity/*8*/,sizeof(T0*));
}
/*FI*//*IF*/if ((_needed_capacity)>(0)) {
r533copy_from((((T263*)C))->_storage/*4*/,(((T263*)((T263*)a1)))->_storage/*4*/,(_needed_capacity)-(1));
}
/*FI*/}
/*No:ARRAY[WHEN_ITEM_2].lower*/
/*No:ARRAY[WHEN_ITEM_2].put*/
/*No:ARRAY[WHEN_ITEM_2].upper*/
int r263count(T263* C){
int R=0;
R=(((((T263*)C))->_upper/*12*/)-((((T263*)C))->_lower/*16*/))+(1);
return R;
}
void r263add_last(T263* C,T0* a1){
int _new_capacity=0;
/*IF*/if (((((T263*)C))->_capacity/*8*/)<((r263count(C))+(1))) {
/*IF*/if (((((T263*)C))->_capacity/*8*/)==(0)) {
C->_capacity=16;
C->_storage=calloc((((T263*)C))->_capacity/*8*/,sizeof(T0*));
}
else {
_new_capacity=(2)*((((T263*)C))->_capacity/*8*/);
C->_storage=r533realloc((((T263*)C))->_storage/*4*/,(((T263*)C))->_capacity/*8*/,_new_capacity);
C->_capacity=_new_capacity;
}
/*FI*/}
/*FI*/C->_upper=((((T263*)C))->_upper/*12*/)+(1);
/*[IRF3.6put*/{T263* C1=C;
T0* b1=a1;
int b2=(((T263*)C))->_upper/*12*/;
((((T263*)C1))->_storage/*4*/)[(b2)-((((T263*)C1))->_lower/*16*/)]=(b1);
}/*]*/
}
T0* r701item(T701* C,int a1){
T0* R=NULL;
R=((((T701*)C))->_storage/*0*/)[(a1)-((((T701*)C))->_lower/*12*/)];
return R;
}
/*No:ARRAY[TYPE].storage*/
T0* r701twin(T701* C){
T0* R=NULL;
R=malloc(sizeof(*C));
*((T701*)R)=M701;
r701copy(((T701*)R),((T0*)C));
return R;
}
/*No:ARRAY[TYPE].capacity*/
void r701copy(T701* C,T0* a1){
int _needed_capacity=0;
C->_lower=(((T701*)((T701*)a1)))->_lower/*12*/;
C->_upper=(((T701*)((T701*)a1)))->_upper/*8*/;
_needed_capacity=(((((T701*)C))->_upper/*8*/)-((((T701*)C))->_lower/*12*/))+(1);
/*IF*/if (((((T701*)C))->_capacity/*4*/)<(_needed_capacity)) {
C->_capacity=_needed_capacity;
C->_storage=calloc((((T701*)C))->_capacity/*4*/,sizeof(T0*));
}
/*FI*//*IF*/if ((_needed_capacity)>(0)) {
r770copy_from((((T701*)C))->_storage/*0*/,(((T701*)((T701*)a1)))->_storage/*0*/,(_needed_capacity)-(1));
}
/*FI*/}
/*No:ARRAY[TYPE].lower*/
/*No:ARRAY[TYPE].put*/
/*No:ARRAY[TYPE].upper*/
int r701count(T701* C){
int R=0;
R=(((((T701*)C))->_upper/*8*/)-((((T701*)C))->_lower/*12*/))+(1);
return R;
}
void r701add_last(T701* C,T0* a1){
int _new_capacity=0;
/*IF*/if (((((T701*)C))->_capacity/*4*/)<((r701count(C))+(1))) {
/*IF*/if (((((T701*)C))->_capacity/*4*/)==(0)) {
C->_capacity=16;
C->_storage=calloc((((T701*)C))->_capacity/*4*/,sizeof(T0*));
}
else {
_new_capacity=(2)*((((T701*)C))->_capacity/*4*/);
C->_storage=r770realloc((((T701*)C))->_storage/*0*/,(((T701*)C))->_capacity/*4*/,_new_capacity);
C->_capacity=_new_capacity;
}
/*FI*/}
/*FI*/C->_upper=((((T701*)C))->_upper/*8*/)+(1);
/*[IRF3.6put*/{T701* C1=C;
T0* b1=a1;
int b2=(((T701*)C))->_upper/*8*/;
((((T701*)C1))->_storage/*0*/)[(b2)-((((T701*)C1))->_lower/*12*/)]=(b1);
}/*]*/
}