int file_String_is_a_Object( String value )
{
val_t temp;
temp = value->ref.val;
if ( ! ( ISOBJ( temp ) ? OBJISA( temp, standard___kernel___Object ): VALISA( temp, standard___kernel___Object ) ) ) return 0;
return 1;
}
int file_HashSet_is_a_Set( HashSet value )
{
val_t temp;
temp = value->ref.val;
if ( ! ( ISOBJ( temp ) ? OBJISA( temp, standard___collection___abstract_collection___Set ): VALISA( temp, standard___collection___abstract_collection___Set ) ) ) return 0;
return 1;
}
int stream_nullable_Object_is_a_Int( nullable_Object value )
{
val_t temp;
temp = value->ref.val;
if ( ISNULL(temp) ) return 0;
if ( ! ( ISOBJ( temp ) ? OBJISA( temp, standard___kernel___Int ): VALISA( temp, standard___kernel___Int ) ) ) return 0;
return 1;
}
bigint stream_nullable_Object_as_Int( nullable_Object value )
{
val_t temp;
bigint out;
temp = value->ref.val;
if ( ISNULL(temp) ){ fprintf( stderr, "Casting from nullable Object to Int failed because value is null." );
abort();
}if ( ! ( ISOBJ( temp ) ? OBJISA( temp, standard___kernel___Int ): VALISA( temp, standard___kernel___Int ) ) ){
fprintf( stderr, "Casting to Int failed because value is not a Int." );
abort();
}
out = UNTAG_Int(temp);
return out;
}
Object file_String_as_Object( String value )
{
val_t temp;
Object out;
out = malloc( sizeof( struct s_Object ) );
out->ref.val = NIT_NULL;
out->ref.count = 0;
nitni_local_ref_add( (struct nitni_ref *)out );
temp = value->ref.val;
if ( ISNULL(temp) ){ fprintf( stderr, "Casting from String to Object failed because value is null." );
abort();
}if ( ! ( ISOBJ( temp ) ? OBJISA( temp, standard___kernel___Object ): VALISA( temp, standard___kernel___Object ) ) ){
fprintf( stderr, "Casting to Object failed because value is not a Object." );
abort();
}
out->ref.val = temp;
return out;
}
Set file_HashSet_as_Set( HashSet value )
{
val_t temp;
Set out;
out = malloc( sizeof( struct s_Set ) );
out->ref.val = NIT_NULL;
out->ref.count = 0;
nitni_local_ref_add( (struct nitni_ref *)out );
temp = value->ref.val;
if ( ISNULL(temp) ){ fprintf( stderr, "Casting from HashSet[String] to Set[String] failed because value is null." );
abort();
}if ( ! ( ISOBJ( temp ) ? OBJISA( temp, standard___collection___abstract_collection___Set ): VALISA( temp, standard___collection___abstract_collection___Set ) ) ){
fprintf( stderr, "Casting to Set[String] failed because value is not a Set[String]." );
abort();
}
out->ref.val = temp;
return out;
}