/*
* feature -- Comparison
*/
public static bool is_equal(object Current, object other)
// Is `other' attached to an object considered
// equal to current object?
{
bool Result = false;
EIFFEL_TYPE_INFO l_current = Current as EIFFEL_TYPE_INFO;
#if ASSERTIONS
ASSERTIONS.REQUIRE("other_not_void", other != null);
#endif
if (Current == null)
{
generate_call_on_void_target_exception();
}
else if (l_current != null)
{
Result = l_current.____is_equal(other);
}
else
{
Result = Current.Equals(other);
}
return(Result);
}
