259260261262263264265266267268269
Location loc = port.getLocation(); if (anchor != null) { loc = loc.translate(-anchor.getX(), -anchor.getY()); } if (facing != defaultFacing) { loc = loc.rotate(defaultFacing, facing, 0, 0); } ret.put(loc, port.getPin()); } return ret; }
279280281282283284285286287288289