home *** CD-ROM | disk | FTP | other *** search
- /*
- -- 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 "compile_to_jvm.h"
- /*No:ARRAY[E_REQUIRE].clear_all*/
- /*No:ARRAY[E_REQUIRE].set_all_with*/
- int r522empty(T522* C){
- int R=0;
- R=(r522count(C))==(0);
- return R;
- }
- void r522make(T522* C,int a1,int a2){
- int _needed=0;
- C->_lower=a1;
- C->_upper=a2;
- _needed=((a2)-(a1))+(1);
- /*IF*/if ((_needed)>(0)) {
- /*IF*/if (((((T522*)C))->_capacity/*4*/)<(_needed)) {
- /*IF*/if (((((T522*)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*/{T522* C1=C;
- T0* __value=NULL;
- /*[IRF3.6set_all_with*/{T522* C2=C1;
- T0* c1=__value;
- r884set_all_with((((T522*)C2))->_storage/*0*/,c1,((((T522*)C2))->_upper/*8*/)-((((T522*)C2))->_lower/*12*/));
- }/*]*/
- }/*]*/
- }
- /*FI*/}
- /*FI*/}
- int r522fast_has(T522* C,T0* a1){
- int R=0;
- /*IF*/if ((r522count(C))>(0)) {
- R=(r522fast_index_of(C,a1))<=((((T522*)C))->_upper/*8*/);
- }
- /*FI*/return R;
- }
- T0* r522item(T522* C,int a1){
- T0* R=NULL;
- R=((((T522*)C))->_storage/*0*/)[(a1)-((((T522*)C))->_lower/*12*/)];
- return R;
- }
- void r522clear(T522* C){
- C->_upper=((((T522*)C))->_lower/*12*/)-(1);
- }
- /*No:ARRAY[E_REQUIRE].storage*/
- /*No:ARRAY[E_REQUIRE].capacity*/
- /*No:ARRAY[E_REQUIRE].lower*/
- int r522fast_index_of(T522* C,T0* a1){
- int R=0;
- R=((((T522*)C))->_lower/*12*/)+(r884fast_index_of((((T522*)C))->_storage/*0*/,a1,((((T522*)C))->_upper/*8*/)-((((T522*)C))->_lower/*12*/)));
- return R;
- }
- /*No:ARRAY[E_REQUIRE].put*/
- /*No:ARRAY[E_REQUIRE].upper*/
- void r522add_last(T522* C,T0* a1){
- int _new_capacity=0;
- /*IF*/if (((((T522*)C))->_capacity/*4*/)<((r522count(C))+(1))) {
- /*IF*/if (((((T522*)C))->_capacity/*4*/)==(0)) {
- C->_capacity=16;
- C->_storage=calloc((((T522*)C))->_capacity/*4*/,sizeof(T0*));
- }
- else {
- _new_capacity=(2)*((((T522*)C))->_capacity/*4*/);
- C->_storage=r884realloc((((T522*)C))->_storage/*0*/,(((T522*)C))->_capacity/*4*/,_new_capacity);
- C->_capacity=_new_capacity;
- }
- /*FI*/}
- /*FI*/C->_upper=((((T522*)C))->_upper/*8*/)+(1);
- /*[IRF3.6put*/{T522* C1=C;
- T0* b1=a1;
- int b2=(((T522*)C))->_upper/*8*/;
- ((((T522*)C1))->_storage/*0*/)[(b2)-((((T522*)C1))->_lower/*12*/)]=(b1);
- }/*]*/
- }
- int r522count(T522* C){
- int R=0;
- R=(((((T522*)C))->_upper/*8*/)-((((T522*)C))->_lower/*12*/))+(1);
- return R;
- }
- T0* r522first(T522* C){
- T0* R=NULL;
- R=r522item(C,(((T522*)C))->_lower/*12*/);
- return R;
- }
- T0* r552item(T552* C,int a1){
- T0* R=NULL;
- R=((((T552*)C))->_storage/*0*/)[(a1)-((((T552*)C))->_lower/*12*/)];
- return R;
- }
- /*No:ARRAY[RENAME_PAIR].storage*/
- /*No:ARRAY[RENAME_PAIR].capacity*/
- /*No:ARRAY[RENAME_PAIR].lower*/
- /*No:ARRAY[RENAME_PAIR].put*/
- /*No:ARRAY[RENAME_PAIR].upper*/
- int r552count(T552* C){
- int R=0;
- R=(((((T552*)C))->_upper/*8*/)-((((T552*)C))->_lower/*12*/))+(1);
- return R;
- }
- void r552add_last(T552* C,T0* a1){
- int _new_capacity=0;
- /*IF*/if (((((T552*)C))->_capacity/*4*/)<((r552count(C))+(1))) {
- /*IF*/if (((((T552*)C))->_capacity/*4*/)==(0)) {
- C->_capacity=16;
- C->_storage=calloc((((T552*)C))->_capacity/*4*/,sizeof(T0*));
- }
- else {
- _new_capacity=(2)*((((T552*)C))->_capacity/*4*/);
- C->_storage=r949realloc((((T552*)C))->_storage/*0*/,(((T552*)C))->_capacity/*4*/,_new_capacity);
- C->_capacity=_new_capacity;
- }
- /*FI*/}
- /*FI*/C->_upper=((((T552*)C))->_upper/*8*/)+(1);
- /*[IRF3.6put*/{T552* C1=C;
- T0* b1=a1;
- int b2=(((T552*)C))->_upper/*8*/;
- ((((T552*)C1))->_storage/*0*/)[(b2)-((((T552*)C1))->_lower/*12*/)]=(b1);
- }/*]*/
- }
- /*No:FIXED_ARRAY[E_FEATURE].item*/
- /*No:FIXED_ARRAY[E_FEATURE].clear*/
- /*No:FIXED_ARRAY[E_FEATURE].storage*/
- T0* r352twin(T352* C){
- T0* R=NULL;
- R=malloc(sizeof(*C));
- *((T352*)R)=M352;
- r352copy(((T352*)R),((T0*)C));
- return R;
- }
- /*No:FIXED_ARRAY[E_FEATURE].capacity*/
- void r352copy(T352* C,T0* a1){
- int _new_capacity=0;
- int _other_upper=0;
- _other_upper=(((T352*)((T352*)a1)))->_upper/*8*/;
- /*IF*/if ((_other_upper)>=(0)) {
- _new_capacity=(_other_upper)+(1);
- /*IF*/if (((((T352*)C))->_capacity/*4*/)<(_new_capacity)) {
- C->_capacity=_new_capacity;
- C->_storage=calloc(_new_capacity,sizeof(T0*));
- }
- else if (((((T352*)C))->_capacity/*4*/)>(0)) {
- r822clear_all((((T352*)C))->_storage/*0*/,((((T352*)C))->_capacity/*4*/)-(1));
- }
- /*FI*/r822copy_from((((T352*)C))->_storage/*0*/,(((T352*)((T352*)a1)))->_storage/*0*/,_other_upper);
- }
- else if (((((T352*)C))->_capacity/*4*/)>(0)) {
- r822clear_all((((T352*)C))->_storage/*0*/,((((T352*)C))->_capacity/*4*/)-(1));
- }
- /*FI*/C->_upper=_other_upper;
- }
- void r352with_capacity(T352* C,int a1){
- /*IF*/if (((((T352*)C))->_capacity/*4*/)<(a1)) {
- C->_storage=calloc(a1,sizeof(T0*));
- C->_capacity=a1;
- }
- /*FI*/C->_upper=-(1);
- }
- /*No:FIXED_ARRAY[E_FEATURE].put*/
- /*No:FIXED_ARRAY[E_FEATURE].upper*/
- void r352add_last(T352* C,T0* a1){
- int _new_capacity=0;
- /*IF*/if ((((((T352*)C))->_upper/*8*/)+(1))<=(((((T352*)C))->_capacity/*4*/)-(1))) {
- C->_upper=((((T352*)C))->_upper/*8*/)+(1);
- }
- else if (((((T352*)C))->_capacity/*4*/)==(0)) {
- C->_storage=calloc(2,sizeof(T0*));
- C->_capacity=2;
- C->_upper=0;
- }
- else {
- _new_capacity=(2)*((((T352*)C))->_capacity/*4*/);
- C->_storage=r822realloc((((T352*)C))->_storage/*0*/,(((T352*)C))->_capacity/*4*/,_new_capacity);
- C->_capacity=_new_capacity;
- C->_upper=((((T352*)C))->_upper/*8*/)+(1);
- }
- /*FI*//*[IRF3.5put*/((((T352*)C))->_storage/*0*/)[(((T352*)C))->_upper/*8*/]=(a1);
- /*]*/
- }
- /*No:ARRAY[INDEX_CLAUSE].storage*/
- /*No:ARRAY[INDEX_CLAUSE].capacity*/
- /*No:ARRAY[INDEX_CLAUSE].lower*/
- /*No:ARRAY[INDEX_CLAUSE].put*/
- /*No:ARRAY[INDEX_CLAUSE].upper*/
- int r848count(T848* C){
- int R=0;
- R=(((((T848*)C))->_upper/*8*/)-((((T848*)C))->_lower/*12*/))+(1);
- return R;
- }
- void r848add_last(T848* C,T0* a1){
- int _new_capacity=0;
- /*IF*/if (((((T848*)C))->_capacity/*4*/)<((r848count(C))+(1))) {
- /*IF*/if (((((T848*)C))->_capacity/*4*/)==(0)) {
- C->_capacity=16;
- C->_storage=calloc((((T848*)C))->_capacity/*4*/,sizeof(T0*));
- }
- else {
- _new_capacity=(2)*((((T848*)C))->_capacity/*4*/);
- C->_storage=r100realloc((((T848*)C))->_storage/*0*/,(((T848*)C))->_capacity/*4*/,_new_capacity);
- C->_capacity=_new_capacity;
- }
- /*FI*/}
- /*FI*/C->_upper=((((T848*)C))->_upper/*8*/)+(1);
- /*[IRF3.6put*/{T848* C1=C;
- T0* b1=a1;
- int b2=(((T848*)C))->_upper/*8*/;
- ((((T848*)C1))->_storage/*0*/)[(b2)-((((T848*)C1))->_lower/*12*/)]=(b1);
- }/*]*/
- }
- int r38empty(T38* C){
- int R=0;
- R=(r38count(C))==(0);
- return R;
- }
- T0* r38item(T38* C,int a1){
- T0* R=NULL;
- R=((((T38*)C))->_storage/*0*/)[(a1)-((((T38*)C))->_lower/*12*/)];
- return R;
- }
- void r38clear(T38* C){
- C->_upper=((((T38*)C))->_lower/*12*/)-(1);
- }
- /*No:ARRAY[POSITION].storage*/
- /*No:ARRAY[POSITION].capacity*/
- int r38has(T38* C,T0* a1){
- int R=0;
- /*IF*/if ((r38count(C))>(0)) {
- R=(r38index_of(C,a1))<=((((T38*)C))->_upper/*8*/);
- }
- /*FI*/return R;
- }
- /*No:ARRAY[POSITION].lower*/
- void r38with_capacity(T38* C,int a1,int a2){
- /*IF*/if (((((T38*)C))->_capacity/*4*/)<(a1)) {
- C->_storage=calloc(a1,sizeof(T0*));
- C->_capacity=a1;
- }
- /*FI*/C->_lower=a2;
- C->_upper=(a2)-(1);
- }
- /*No:ARRAY[POSITION].put*/
- /*No:ARRAY[POSITION].upper*/
- void r38add_last(T38* C,T0* a1){
- int _new_capacity=0;
- /*IF*/if (((((T38*)C))->_capacity/*4*/)<((r38count(C))+(1))) {
- /*IF*/if (((((T38*)C))->_capacity/*4*/)==(0)) {
- C->_capacity=16;
- C->_storage=calloc((((T38*)C))->_capacity/*4*/,sizeof(T0*));
- }
- else {
- _new_capacity=(2)*((((T38*)C))->_capacity/*4*/);
- C->_storage=r379realloc((((T38*)C))->_storage/*0*/,(((T38*)C))->_capacity/*4*/,_new_capacity);
- C->_capacity=_new_capacity;
- }
- /*FI*/}
- /*FI*/C->_upper=((((T38*)C))->_upper/*8*/)+(1);
- /*[IRF3.6put*/{T38* C1=C;
- T0* b1=a1;
- int b2=(((T38*)C))->_upper/*8*/;
- ((((T38*)C1))->_storage/*0*/)[(b2)-((((T38*)C1))->_lower/*12*/)]=(b1);
- }/*]*/
- }
- int r38count(T38* C){
- int R=0;
- R=(((((T38*)C))->_upper/*8*/)-((((T38*)C))->_lower/*12*/))+(1);
- return R;
- }
- int r38index_of(T38* C,T0* a1){
- int R=0;
- R=((((T38*)C))->_lower/*12*/)+(r379index_of((((T38*)C))->_storage/*0*/,a1,((((T38*)C))->_upper/*8*/)-((((T38*)C))->_lower/*12*/)));
- return R;
- }
- int r854empty(T854* C){
- int R=0;
- R=(/*(IRF4.6count*/((((T854*)C))->_upper/*8*/)+(1)/*)*/)==(0);
- return R;
- }
- /*No:FIXED_ARRAY[PARENT].item*/
- /*No:FIXED_ARRAY[PARENT].clear*/
- /*No:FIXED_ARRAY[PARENT].storage*/
- /*No:FIXED_ARRAY[PARENT].capacity*/
- T0* r854last(T854* C){
- T0* R=NULL;
- R=/*(IRF4.6item*/((((T854*)C))->_storage/*0*/)[(((T854*)C))->_upper/*8*/]/*)*/;
- return R;
- }
- void r854with_capacity(T854* C,int a1){
- /*IF*/if (((((T854*)C))->_capacity/*4*/)<(a1)) {
- C->_storage=calloc(a1,sizeof(T0*));
- C->_capacity=a1;
- }
- /*FI*/C->_upper=-(1);
- }
- /*No:FIXED_ARRAY[PARENT].put*/
- /*No:FIXED_ARRAY[PARENT].upper*/
- void r854add_last(T854* C,T0* a1){
- int _new_capacity=0;
- /*IF*/if ((((((T854*)C))->_upper/*8*/)+(1))<=(((((T854*)C))->_capacity/*4*/)-(1))) {
- C->_upper=((((T854*)C))->_upper/*8*/)+(1);
- }
- else if (((((T854*)C))->_capacity/*4*/)==(0)) {
- C->_storage=calloc(2,sizeof(T0*));
- C->_capacity=2;
- C->_upper=0;
- }
- else {
- _new_capacity=(2)*((((T854*)C))->_capacity/*4*/);
- C->_storage=r304realloc((((T854*)C))->_storage/*0*/,(((T854*)C))->_capacity/*4*/,_new_capacity);
- C->_capacity=_new_capacity;
- C->_upper=((((T854*)C))->_upper/*8*/)+(1);
- }
- /*FI*//*[IRF3.5put*/((((T854*)C))->_storage/*0*/)[(((T854*)C))->_upper/*8*/]=(a1);
- /*]*/
- }
- /*No:FIXED_ARRAY[PARENT].count*/
- void r854remove_last(T854* C){
- C->_upper=((((T854*)C))->_upper/*8*/)-(1);
- }
- T0* r26item(T26* C,int a1){
- T0* R=NULL;
- R=((((T26*)C))->_storage/*0*/)[(a1)-((((T26*)C))->_lower/*12*/)];
- return R;
- }
- /*No:ARRAY[PARENT].storage*/
- /*No:ARRAY[PARENT].capacity*/
- /*No:ARRAY[PARENT].lower*/
- /*No:ARRAY[PARENT].put*/
- /*No:ARRAY[PARENT].upper*/
- int r26count(T26* C){
- int R=0;
- R=(((((T26*)C))->_upper/*8*/)-((((T26*)C))->_lower/*12*/))+(1);
- return R;
- }
- void r26add_last(T26* C,T0* a1){
- int _new_capacity=0;
- /*IF*/if (((((T26*)C))->_capacity/*4*/)<((r26count(C))+(1))) {
- /*IF*/if (((((T26*)C))->_capacity/*4*/)==(0)) {
- C->_capacity=16;
- C->_storage=calloc((((T26*)C))->_capacity/*4*/,sizeof(T0*));
- }
- else {
- _new_capacity=(2)*((((T26*)C))->_capacity/*4*/);
- C->_storage=r304realloc((((T26*)C))->_storage/*0*/,(((T26*)C))->_capacity/*4*/,_new_capacity);
- C->_capacity=_new_capacity;
- }
- /*FI*/}
- /*FI*/C->_upper=((((T26*)C))->_upper/*8*/)+(1);
- /*[IRF3.6put*/{T26* C1=C;
- T0* b1=a1;
- int b2=(((T26*)C))->_upper/*8*/;
- ((((T26*)C1))->_storage/*0*/)[(b2)-((((T26*)C1))->_lower/*12*/)]=(b1);
- }/*]*/
- }
- T0* r26first(T26* C){
- T0* R=NULL;
- R=r26item(C,(((T26*)C))->_lower/*12*/);
- return R;
- }
- T0* r587item(T587* C,int a1){
- T0* R=NULL;
- R=((((T587*)C))->_storage/*0*/)[(a1)-((((T587*)C))->_lower/*12*/)];
- return R;
- }
- /*No:ARRAY[EXPORT_ITEM].storage*/
- /*No:ARRAY[EXPORT_ITEM].capacity*/
- /*No:ARRAY[EXPORT_ITEM].lower*/
- /*No:ARRAY[EXPORT_ITEM].put*/
- /*No:ARRAY[EXPORT_ITEM].upper*/
- int r587count(T587* C){
- int R=0;
- R=(((((T587*)C))->_upper/*8*/)-((((T587*)C))->_lower/*12*/))+(1);
- return R;
- }
- void r587add_last(T587* C,T0* a1){
- int _new_capacity=0;
- /*IF*/if (((((T587*)C))->_capacity/*4*/)<((r587count(C))+(1))) {
- /*IF*/if (((((T587*)C))->_capacity/*4*/)==(0)) {
- C->_capacity=16;
- C->_storage=calloc((((T587*)C))->_capacity/*4*/,sizeof(T0*));
- }
- else {
- _new_capacity=(2)*((((T587*)C))->_capacity/*4*/);
- C->_storage=r44realloc((((T587*)C))->_storage/*0*/,(((T587*)C))->_capacity/*4*/,_new_capacity);
- C->_capacity=_new_capacity;
- }
- /*FI*/}
- /*FI*/C->_upper=((((T587*)C))->_upper/*8*/)+(1);
- /*[IRF3.6put*/{T587* C1=C;
- T0* b1=a1;
- int b2=(((T587*)C))->_upper/*8*/;
- ((((T587*)C1))->_storage/*0*/)[(b2)-((((T587*)C1))->_lower/*12*/)]=(b1);
- }/*]*/
- }
- /*No:ARRAY[MANIFEST_STRING].clear_all*/
- /*No:ARRAY[MANIFEST_STRING].set_all_with*/
- void r381make(T381* C,int a1,int a2){
- int _needed=0;
- C->_lower=a1;
- C->_upper=a2;
- _needed=((a2)-(a1))+(1);
- /*IF*/if ((_needed)>(0)) {
- /*IF*/if (((((T381*)C))->_capacity/*8*/)<(_needed)) {
- /*IF*/if (((((T381*)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*/{T381* C1=C;
- T0* __value=NULL;
- /*[IRF3.6set_all_with*/{T381* C2=C1;
- T0* c1=__value;
- r729set_all_with((((T381*)C2))->_storage/*4*/,c1,((((T381*)C2))->_upper/*12*/)-((((T381*)C2))->_lower/*16*/));
- }/*]*/
- }/*]*/
- }
- /*FI*/}
- /*FI*/}
- T0* r381item(T381* C,int a1){
- T0* R=NULL;
- R=((((T381*)C))->_storage/*4*/)[(a1)-((((T381*)C))->_lower/*16*/)];
- return R;
- }
- /*No:ARRAY[MANIFEST_STRING].storage*/
- T0* r381twin(T381* C){
- T0* R=NULL;
- R=malloc(sizeof(*C));
- *((T381*)R)=M381;
- r381copy(((T381*)R),((T0*)C));
- return R;
- }
- /*No:ARRAY[MANIFEST_STRING].capacity*/
- void r381copy(T381* C,T0* a1){
- int _needed_capacity=0;
- C->_lower=(((T381*)((T381*)a1)))->_lower/*16*/;
- C->_upper=(((T381*)((T381*)a1)))->_upper/*12*/;
- _needed_capacity=(((((T381*)C))->_upper/*12*/)-((((T381*)C))->_lower/*16*/))+(1);
- /*IF*/if (((((T381*)C))->_capacity/*8*/)<(_needed_capacity)) {
- C->_capacity=_needed_capacity;
- C->_storage=calloc((((T381*)C))->_capacity/*8*/,sizeof(T0*));
- }
- /*FI*//*IF*/if ((_needed_capacity)>(0)) {
- r729copy_from((((T381*)C))->_storage/*4*/,(((T381*)((T381*)a1)))->_storage/*4*/,(_needed_capacity)-(1));
- }
- /*FI*/}
- /*No:ARRAY[MANIFEST_STRING].lower*/
- /*No:ARRAY[MANIFEST_STRING].put*/
- /*No:ARRAY[MANIFEST_STRING].upper*/
- int r381count(T381* C){
- int R=0;
- R=(((((T381*)C))->_upper/*12*/)-((((T381*)C))->_lower/*16*/))+(1);
- return R;
- }
- void r381add_last(T381* C,T0* a1){
- int _new_capacity=0;
- /*IF*/if (((((T381*)C))->_capacity/*8*/)<((r381count(C))+(1))) {
- /*IF*/if (((((T381*)C))->_capacity/*8*/)==(0)) {
- C->_capacity=16;
- C->_storage=calloc((((T381*)C))->_capacity/*8*/,sizeof(T0*));
- }
- else {
- _new_capacity=(2)*((((T381*)C))->_capacity/*8*/);
- C->_storage=r729realloc((((T381*)C))->_storage/*4*/,(((T381*)C))->_capacity/*8*/,_new_capacity);
- C->_capacity=_new_capacity;
- }
- /*FI*/}
- /*FI*/C->_upper=((((T381*)C))->_upper/*12*/)+(1);
- /*[IRF3.6put*/{T381* C1=C;
- T0* b1=a1;
- int b2=(((T381*)C))->_upper/*12*/;
- ((((T381*)C1))->_storage/*4*/)[(b2)-((((T381*)C1))->_lower/*16*/)]=(b1);
- }/*]*/
- }
- T0* r381first(T381* C){
- T0* R=NULL;
- R=r381item(C,(((T381*)C))->_lower/*16*/);
- return R;
- }
- /*No:ARRAY[FEATURE_NAME].clear_all*/
- /*No:ARRAY[FEATURE_NAME].set_all_with*/
- void r855make(T855* C,int a1,int a2){
- int _needed=0;
- C->_lower=a1;
- C->_upper=a2;
- _needed=((a2)-(a1))+(1);
- /*IF*/if ((_needed)>(0)) {
- /*IF*/if (((((T855*)C))->_capacity/*4*/)<(_needed)) {
- /*IF*/if (((((T855*)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*/{T855* C1=C;
- T0* __value=NULL;
- /*[IRF3.6set_all_with*/{T855* C2=C1;
- T0* c1=__value;
- r175set_all_with((((T855*)C2))->_storage/*0*/,c1,((((T855*)C2))->_upper/*8*/)-((((T855*)C2))->_lower/*12*/));
- }/*]*/
- }/*]*/
- }
- /*FI*/}
- /*FI*/}
- T0* r855item(T855* C,int a1){
- T0* R=NULL;
- R=((((T855*)C))->_storage/*0*/)[(a1)-((((T855*)C))->_lower/*12*/)];
- return R;
- }
- void r855clear(T855* C){
- C->_upper=((((T855*)C))->_lower/*12*/)-(1);
- }
- /*No:ARRAY[FEATURE_NAME].storage*/
- T0* r855twin(T855* C){
- T0* R=NULL;
- R=malloc(sizeof(*C));
- *((T855*)R)=M855;
- r855copy(((T855*)R),((T0*)C));
- return R;
- }
- /*No:ARRAY[FEATURE_NAME].capacity*/
- void r855copy(T855* C,T0* a1){
- int _needed_capacity=0;
- C->_lower=(((T855*)((T855*)a1)))->_lower/*12*/;
- C->_upper=(((T855*)((T855*)a1)))->_upper/*8*/;
- _needed_capacity=(((((T855*)C))->_upper/*8*/)-((((T855*)C))->_lower/*12*/))+(1);
- /*IF*/if (((((T855*)C))->_capacity/*4*/)<(_needed_capacity)) {
- C->_capacity=_needed_capacity;
- C->_storage=calloc((((T855*)C))->_capacity/*4*/,sizeof(T0*));
- }
- /*FI*//*IF*/if ((_needed_capacity)>(0)) {
- r175copy_from((((T855*)C))->_storage/*0*/,(((T855*)((T855*)a1)))->_storage/*0*/,(_needed_capacity)-(1));
- }
- /*FI*/}
- /*No:ARRAY[FEATURE_NAME].lower*/
- /*No:ARRAY[FEATURE_NAME].put*/
- /*No:ARRAY[FEATURE_NAME].upper*/
- int r855count(T855* C){
- int R=0;
- R=(((((T855*)C))->_upper/*8*/)-((((T855*)C))->_lower/*12*/))+(1);
- return R;
- }
- void r855add_last(T855* C,T0* a1){
- int _new_capacity=0;
- /*IF*/if (((((T855*)C))->_capacity/*4*/)<((r855count(C))+(1))) {
- /*IF*/if (((((T855*)C))->_capacity/*4*/)==(0)) {
- C->_capacity=16;
- C->_storage=calloc((((T855*)C))->_capacity/*4*/,sizeof(T0*));
- }
- else {
- _new_capacity=(2)*((((T855*)C))->_capacity/*4*/);
- C->_storage=r175realloc((((T855*)C))->_storage/*0*/,(((T855*)C))->_capacity/*4*/,_new_capacity);
- C->_capacity=_new_capacity;
- }
- /*FI*/}
- /*FI*/C->_upper=((((T855*)C))->_upper/*8*/)+(1);
- /*[IRF3.6put*/{T855* C1=C;
- T0* b1=a1;
- int b2=(((T855*)C))->_upper/*8*/;
- ((((T855*)C1))->_storage/*0*/)[(b2)-((((T855*)C1))->_lower/*12*/)]=(b1);
- }/*]*/
- }
- T0* r855first(T855* C){
- T0* R=NULL;
- R=r855item(C,(((T855*)C))->_lower/*12*/);
- return R;
- }
-
-