text: /*
   * Code for class CHECK_VIOLATION
   */
  
  #include "eif_eiffel.h"
  #include "../E1/estructure.h"
  
  
  #ifdef __cplusplus
  extern "C" {
  #endif
  
  extern EIF_TYPED_VALUE F102_1531(EIF_REFERENCE);
  extern EIF_TYPED_VALUE F102_1532(EIF_REFERENCE);
  extern void EIF_Minit102(void);
  
  #ifdef __cplusplus
  }
  #endif
  
  
  #ifdef __cplusplus
  extern "C" {
  #endif
  
  
  #ifdef __cplusplus
  }
  #endif
  
  
  #ifdef __cplusplus
  extern "C" {
  #endif
  
  /* {CHECK_VIOLATION}.code */
  EIF_TYPED_VALUE F102_1531 (EIF_REFERENCE Current)
  {
  	GTCX
  	char *l_feature_name = "code";
  	RTEX;
  	EIF_INTEGER_32 ti4_1;
  	EIF_INTEGER_32 Result = ((EIF_INTEGER_32) 0);
  	
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	RTLI(1);
  	RTLR(0,Current);
  	RTLIU(1);
  	RTLU (SK_INT32, &Result);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 101, Current, 0, 0, 1467);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(101, Current, 1467);
  	RTIV(Current, RTAL);
  	RTHOOK(1);
  	RTDBGAL(0, 0x10000000, 1,0); /* Result */
  	ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(833, 30))(Current)).it_i4);
  	Result = (EIF_INTEGER_32) ti4_1;
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(2);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(2);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_INT32; r.it_i4 = Result; return r; }
  }
  
  /* {CHECK_VIOLATION}.tag */
  RTOID (F102_1532)
  EIF_TYPED_VALUE F102_1532 (EIF_REFERENCE Current)
  {
  	GTCX
  	char *l_feature_name = "tag";
  	RTEX;
  	EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
  #define ur1 ur1x.it_r
  	EIF_REFERENCE tr1 = NULL;
  	EIF_REFERENCE tr2 = NULL;
  	RTCDD;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  #define Result RTOTRR
  	RTOTDR(F102_1532);
  	dtype = Dtype(Current);
  
  	RTLI(4);
  	RTLR(0,tr1);
  	RTLR(1,tr2);
  	RTLR(2,ur1);
  	RTLR(3,Current);
  	RTLIU(4);
  	RTLU (SK_REF, &Result);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 101, Current, 0, 0, 1468);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(101, Current, 1468);
  	RTIV(Current, RTAL);
  	RTOTP;
  	RTHOOK(1);
  	RTDBGAL(0, 0xF80000F1, 0,0); /* Result */
  	tr1 = RTLN(eif_new_type(241, 0x01).id);
  	tr2 = RTMS_EX_H("Check assertion violated.",25,1758752046);
  	ur1 = tr2;
  	(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(4955, Dtype(tr1)))(tr1, ur1x);
  	RTNHOOK(1,1);
  	Result = (EIF_REFERENCE) tr1;
  	RTVI(Current, RTAL);
  	RTRS;
  	RTOTE;
  	RTHOOK(2);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(2);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_REF; r.it_r = Result; return r; }
  #undef ur1
  #undef Result
  }
  
  void EIF_Minit102 (void)
  {
  	GTCX
  	RTOTS (1532,F102_1532)
  }
  
  
  #ifdef __cplusplus
  }
  #endif
  