@Test public void testPermittedByAcl_undefined() { IpAccessList acl = aclWithLines(accepting(new PermittedByAcl("foo"))); IpAccessListToBdd ipAccessListToBdd = new IpAccessListToBddImpl( PKT, BDDSourceManager.empty(PKT), ImmutableMap.of(), ImmutableMap.of()); exception.expect(IllegalArgumentException.class); exception.expectMessage("Undefined filter reference: foo"); ipAccessListToBdd.toBdd(acl); }
public static BDD toBDD( BDDPacket pkt, IpAccessList acl, Map<String, IpAccessList> aclEnv, Map<String, IpSpace> ipSpaceEnv, BDDSourceManager bddSrcManager) { return new IpAccessListToBddImpl(pkt, bddSrcManager, aclEnv, ipSpaceEnv).toBdd(acl); }
IpAccessListToBdd { public static BDD toBDD( BDDPacket pkt, IpAccessList acl, Map<String, IpAccessList> aclEnv, Map<String, IpSpace> ipSpaceEnv, BDDSourceManager bddSrcManager) { return new IpAccessListToBddImpl(pkt, bddSrcManager, aclEnv, ipSpaceEnv).toBdd(acl); } }
IpAccessListToBdd { public static BDD toBDD( BDDPacket pkt, IpAccessList acl, Map<String, IpAccessList> aclEnv, Map<String, IpSpace> ipSpaceEnv, BDDSourceManager bddSrcManager) { return new IpAccessListToBddImpl(pkt, bddSrcManager, aclEnv, ipSpaceEnv).toBdd(acl); } protected  IpAccessListToBdd(
      @Nonnull BDDPacket pkt,
      @Nonnull BDDSourceManager bddSrcManager,
      @Nonnull Map<String, IpAccessList> aclEnv,
      @Nonnull Map<String, IpSpace> ipSpaceEnv); protected  IpAccessListToBdd(
      @Nonnull BDDPacket pkt,
      @Nonnull BDDSourceManager bddSrcManager,
      @Nonnull HeaderSpaceToBDD headerSpaceToBDD,
      @Nonnull Map<String, IpAccessList> aclEnv); }
IpAccessListToBdd { public static BDD toBDD( BDDPacket pkt, IpAccessList acl, Map<String, IpAccessList> aclEnv, Map<String, IpSpace> ipSpaceEnv, BDDSourceManager bddSrcManager) { return new IpAccessListToBddImpl(pkt, bddSrcManager, aclEnv, ipSpaceEnv).toBdd(acl); } protected  IpAccessListToBdd(
      @Nonnull BDDPacket pkt,
      @Nonnull BDDSourceManager bddSrcManager,
      @Nonnull Map<String, IpAccessList> aclEnv,
      @Nonnull Map<String, IpSpace> ipSpaceEnv); protected  IpAccessListToBdd(
      @Nonnull BDDPacket pkt,
      @Nonnull BDDSourceManager bddSrcManager,
      @Nonnull HeaderSpaceToBDD headerSpaceToBDD,
      @Nonnull Map<String, IpAccessList> aclEnv); static Map<String, BDD> toBdds(
      BDDPacket pkt,
      Collection<IpAccessList> aclsToConvert,
      Map<String, IpAccessList> aclEnv,
      Map<String, IpSpace> ipSpaceEnv,
      BDDSourceManager bddSrcManager); static BDD toBDD(
      BDDPacket pkt,
      IpAccessList acl,
      Map<String, IpAccessList> aclEnv,
      Map<String, IpSpace> ipSpaceEnv,
      BDDSourceManager bddSrcManager); static BDD toBDD(BDDPacket pkt, IpAccessList acl); abstract BDD toBdd(AclLineMatchExpr expr); abstract PermitAndDenyBdds toPermitAndDenyBdds(AclLine line); final BDDPacket getBDDPacket(); @Nonnull final HeaderSpaceToBDD getHeaderSpaceToBDD(); @Nonnull final BDD toBdd(IpAccessList acl); List<PermitAndDenyBdds> reachAndMatchLines(IpAccessList acl); }
IpAccessListToBdd { public static BDD toBDD( BDDPacket pkt, IpAccessList acl, Map<String, IpAccessList> aclEnv, Map<String, IpSpace> ipSpaceEnv, BDDSourceManager bddSrcManager) { return new IpAccessListToBddImpl(pkt, bddSrcManager, aclEnv, ipSpaceEnv).toBdd(acl); } protected  IpAccessListToBdd(
      @Nonnull BDDPacket pkt,
      @Nonnull BDDSourceManager bddSrcManager,
      @Nonnull Map<String, IpAccessList> aclEnv,
      @Nonnull Map<String, IpSpace> ipSpaceEnv); protected  IpAccessListToBdd(
      @Nonnull BDDPacket pkt,
      @Nonnull BDDSourceManager bddSrcManager,
      @Nonnull HeaderSpaceToBDD headerSpaceToBDD,
      @Nonnull Map<String, IpAccessList> aclEnv); static Map<String, BDD> toBdds(
      BDDPacket pkt,
      Collection<IpAccessList> aclsToConvert,
      Map<String, IpAccessList> aclEnv,
      Map<String, IpSpace> ipSpaceEnv,
      BDDSourceManager bddSrcManager); static BDD toBDD(
      BDDPacket pkt,
      IpAccessList acl,
      Map<String, IpAccessList> aclEnv,
      Map<String, IpSpace> ipSpaceEnv,
      BDDSourceManager bddSrcManager); static BDD toBDD(BDDPacket pkt, IpAccessList acl); abstract BDD toBdd(AclLineMatchExpr expr); abstract PermitAndDenyBdds toPermitAndDenyBdds(AclLine line); final BDDPacket getBDDPacket(); @Nonnull final HeaderSpaceToBDD getHeaderSpaceToBDD(); @Nonnull final BDD toBdd(IpAccessList acl); List<PermitAndDenyBdds> reachAndMatchLines(IpAccessList acl);  }