text: /*
   * Code for class FINITE [NATURAL_16]
   */
  
  #include "eif_eiffel.h"
  #include "../E1/estructure.h"
  
  
  #ifdef __cplusplus
  extern "C" {
  #endif
  
  extern EIF_TYPED_VALUE F333_2537(EIF_REFERENCE);
  extern void F333_7146(EIF_REFERENCE, int);
  extern void EIF_Minit333(void);
  
  #ifdef __cplusplus
  }
  #endif
  
  
  #ifdef __cplusplus
  extern "C" {
  #endif
  
  
  #ifdef __cplusplus
  }
  #endif
  
  
  #ifdef __cplusplus
  extern "C" {
  #endif
  
  /* {FINITE}.is_empty */
  EIF_TYPED_VALUE F333_2537 (EIF_REFERENCE Current)
  {
  	GTCX
  	char *l_feature_name = "is_empty";
  	RTEX;
  	EIF_INTEGER_32 ti4_1;
  	EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
  	
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	RTLI(1);
  	RTLR(0,Current);
  	RTLIU(1);
  	RTLU (SK_BOOL, &Result);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 332, Current, 0, 0, 3361);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(332, Current, 3361);
  	RTIV(Current, RTAL);
  	RTHOOK(1);
  	RTDBGAL(0, 0x04000000, 1,0); /* Result */
  	ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2269, dtype))(Current)).it_i4);
  	Result = (EIF_BOOLEAN) (EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 0L));
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(2);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(2);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
  }
  
  /* {FINITE}._invariant */
  void F333_7146 (EIF_REFERENCE Current, int where)
  {
  	GTCX
  	char *l_feature_name = "_invariant";
  	RTEX;
  	EIF_INTEGER_32 ti4_1;
  	EIF_BOOLEAN tb1;
  	RTCDT;
  	RTLD;
  	RTDA;
  	
  	RTLI(1);
  	RTLR(0,Current);
  	RTLIU(1);
  	RTLU (SK_VOID, NULL);
  	RTLU (SK_REF, &Current);
  	RTEAINV(l_feature_name, 332, Current, 0, 7145);
  	RTSA(dtype);
  	RTME(dtype, 0);
  	RTIT("empty_definition", Current);
  	tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2210, dtype))(Current)).it_b);
  	ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2269, dtype))(Current)).it_i4);
  	if ((EIF_BOOLEAN)(tb1 == (EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 0L)))) {
  		RTCK;
  	} else {
  		RTCF;
  	}
  	RTLO(2);
  	RTMD(0);
  	RTLE;
  	RTEE;
  }
  
  void EIF_Minit333 (void)
  {
  	GTCX
  }
  
  
  #ifdef __cplusplus
  }
  #endif
  