XText项目中的验证

Question

我正在尝试验证对象是否可以访问实例所在的相同位置， 我上课的房间和门，房间的门和门连接到房间。 我正在使用的代码是：

@Check
def void sameRoom(Room room) {
    try {

        var acu=0;
        while (room.have!==null) {
            var doors=room.have;
            var nameRoom= room.name.toString() ;
            for (element : doors) {
                if (nameRoom.equals(element.access.name.toString())) {
                    acu++;
                }
            }
            if (acu>0) {
                error('Door can't address to the same place', 
                ProyectPackage.Literals.ROOM_HAVE,
                "Same place")
            }
        }

    } catch (Exception exception) {
        System.out.println(exception.message);
    }

}

执行此代码时，我的交叉引用不出现，并且日食开始变慢