Re: check type of object

Thomas Delaet wrote:
> Hi all,
> 
> Is it possible to check if an object conforms to a type represented by
> a STRING?
> 
> For example:
> 
>  s1: STRING is "ANY"
>  s2: STRING IS "EMPLOYEE"
> 
>  a: EMPLOYEE
> 
>  I should be abble to assert is s1 and s2 represents types to which a
> conforms? (this is true in both cases).
> 
>  I found the generating_type and generator features of class ANY, but
> these do not provide this functionality.
> 
>

Do you know ?= operator?

employee: EMPLOYEE
a: ANY

employee ?= a
if employee /= Void then
	...

PS: you may have a look at operators introduced by SmartEiffel, ?:= and
::=

Best regards,

Philippe Ribet