怎么判断公司是否上市了呢