From: Martin DeMello <martindemello@...>
Date: 2003-08-01T22:51:25+09:00
Subject: Re: OT: Nice

Paul Brannan <pbrannan@atdesk.com> wrote:
> 
> One question: what is the purpose of the '@' character in an argument
> list, e.g.:
> 
>  display(p@Person) 
>  { 
>    return p.name + " (age=" + p.age + ")"; 
>  } 

display(p) -> default implementation
display(p@Person) -> p is a Person or one of its subclasses
display(p#Person) -> p is a Person exactly

http://nice.sourceforge.net/manual.html#id2800987

martin