ospfEdge -> { OspfArea localArea = _vrf.getInterfaces().get(ospfEdge.getNode1().getInterfaceName()).getOspfArea(); assert localArea != null; // otherwise the edge would not be built. if (localArea.getStubType() == StubType.STUB) { .getConfiguration() .getAllInterfaces() .get(ospfEdge.getNode2().getInterfaceName()) .getVrfName(); VirtualRouter remoteRouter = remoteNode.getVirtualRouters().get(remoteVrf);
assert localNode.getNode().equals(node); // queue invariant of how we built the queue. Interface localInterface = _vrf.getInterfaces().get(localNode.getInterfaceName()); assert localInterface != null; // invariant of how routes are pushed into the queue. assert localInterface.getOspfArea() != null; // ^^. neighbor.getConfiguration().getAllInterfaces().get(neighborNode.getInterfaceName()); OspfProcess neighborProc = neighborInterface.getVrf().getOspfProcess(); assert neighborProc != null; // invariant of edge existing.