$window(@name) would be non-null

Code:
if ($window(@name)) {