@Test public void testReturnPassQueryConstraints() { BDD dst1 = PKT.getDstIp().value(1L); BDD dst2 = PKT.getDstIp().value(2L); BDD src1 = PKT.getSrcIp().value(1L); BDD src2 = PKT.getSrcIp().value(2L); assertThat( computeReturnPassQueryConstraints( PKT, ImmutableMap.of( new OriginateVrf("NODE", "VRF"), dst1.and(src2), new OriginateInterfaceLink("NODE", "IFACE"), dst2.and(src1))), equalTo( ImmutableMap.of( new VrfAccept("NODE", "VRF"), dst2.and(src1), new NodeInterfaceDeliveredToSubnet("NODE", "IFACE"), dst1.and(src2), new NodeInterfaceExitsNetwork("NODE", "IFACE"), dst1.and(src2), new NodeInterfaceInsufficientInfo("NODE", "IFACE"), dst1.and(src2), new NodeInterfaceNeighborUnreachable("NODE", "IFACE"), dst1.and(src2)))); }
private Map<StateExpr, BDD> computeReturnPassQueryConstraints() { return computeReturnPassQueryConstraints(_bddPacket, _forwardPassOriginationConstraints); }
BidirectionalReachabilityAnalysis { private Map<StateExpr, BDD> computeReturnPassQueryConstraints() { return computeReturnPassQueryConstraints(_bddPacket, _forwardPassOriginationConstraints); } }
BidirectionalReachabilityAnalysis { private Map<StateExpr, BDD> computeReturnPassQueryConstraints() { return computeReturnPassQueryConstraints(_bddPacket, _forwardPassOriginationConstraints); } BidirectionalReachabilityAnalysis(
      BDDPacket bddPacket,
      Map<String, Configuration> configs,
      ForwardingAnalysis forwardingAnalysis,
      IpsRoutedOutInterfacesFactory ipsRoutedOutInterfacesFactory,
      IpSpaceAssignment srcIpSpaceAssignment,
      AclLineMatchExpr initialForwardHeaderSpace,
      Set<String> forbiddenTransitNodes,
      Set<String> requiredTransitNodes,
      Set<String> forwardPassFinalNodes,
      Set<FlowDisposition> forwardPassActions); }
BidirectionalReachabilityAnalysis { private Map<StateExpr, BDD> computeReturnPassQueryConstraints() { return computeReturnPassQueryConstraints(_bddPacket, _forwardPassOriginationConstraints); } BidirectionalReachabilityAnalysis(
      BDDPacket bddPacket,
      Map<String, Configuration> configs,
      ForwardingAnalysis forwardingAnalysis,
      IpsRoutedOutInterfacesFactory ipsRoutedOutInterfacesFactory,
      IpSpaceAssignment srcIpSpaceAssignment,
      AclLineMatchExpr initialForwardHeaderSpace,
      Set<String> forbiddenTransitNodes,
      Set<String> requiredTransitNodes,
      Set<String> forwardPassFinalNodes,
      Set<FlowDisposition> forwardPassActions); BidirectionalReachabilityResult getResult(); }
BidirectionalReachabilityAnalysis { private Map<StateExpr, BDD> computeReturnPassQueryConstraints() { return computeReturnPassQueryConstraints(_bddPacket, _forwardPassOriginationConstraints); } BidirectionalReachabilityAnalysis(
      BDDPacket bddPacket,
      Map<String, Configuration> configs,
      ForwardingAnalysis forwardingAnalysis,
      IpsRoutedOutInterfacesFactory ipsRoutedOutInterfacesFactory,
      IpSpaceAssignment srcIpSpaceAssignment,
      AclLineMatchExpr initialForwardHeaderSpace,
      Set<String> forbiddenTransitNodes,
      Set<String> requiredTransitNodes,
      Set<String> forwardPassFinalNodes,
      Set<FlowDisposition> forwardPassActions); BidirectionalReachabilityResult getResult();  }