@Override public void applyTo( HeaderSpace.Builder headerSpaceBuilder, JuniperConfiguration jc, Warnings w, Configuration c) { Set<SubRange> offsets = ImmutableSet.of(_offsetRange); if (_except) { headerSpaceBuilder.setNotFragmentOffsets(offsets); } else { headerSpaceBuilder.setFragmentOffsets(offsets); } } }
/** * Convert packet header constraints to a {@link HeaderSpace.Builder} * * <p><b>Does not resolve/set source and destination IPs</b> */ public static HeaderSpace.Builder toHeaderSpaceBuilder(PacketHeaderConstraints phc) { // Note: headerspace builder does not accept nulls, so we have to convert nulls to empty sets HeaderSpace.Builder builder = HeaderSpace.builder() .setIpProtocols(firstNonNull(phc.resolveIpProtocols(), ImmutableSortedSet.of())) .setSrcPorts(extractSubranges(phc.getSrcPorts())) .setDstPorts(extractSubranges(phc.resolveDstPorts())) .setIcmpCodes(extractSubranges(phc.getIcmpCodes())) .setIcmpTypes(extractSubranges(phc.getIcmpTypes())) .setDstProtocols(firstNonNull(phc.getApplications(), ImmutableSortedSet.of())) .setFragmentOffsets(extractSubranges(phc.getFragmentOffsets())) .setPacketLengths(extractSubranges(phc.getPacketLengths())) .setTcpFlags(firstNonNull(phc.getTcpFlags(), ImmutableSet.of())) .setStates(firstNonNull(phc.getFlowStates(), ImmutableSortedSet.of())); if (phc.getDscps() != null) { builder.setDscps(phc.getDscps().enumerate()); } if (phc.getEcns() != null) { builder.setEcns(ImmutableSortedSet.copyOf(phc.getEcns().enumerate())); } return builder; }
@Test public void test_fragmentOffsets() { HeaderSpace headerSpace = HeaderSpace.builder() .setFragmentOffsets(ImmutableSet.of(new SubRange(0, 5))) .setNotFragmentOffsets(ImmutableSet.of(new SubRange(2, 6))) .build(); BDD bdd = _toBDD.toBDD(headerSpace); BDDInteger fragmentOffset = _pkt.getFragmentOffset(); BDD fragmentOffsetBDD = fragmentOffset.value(0).or(fragmentOffset.value(1)); assertThat(bdd, equalTo(fragmentOffsetBDD)); }
.setDstProtocols(_dstProtocols) .setEcns(_ecns) .setFragmentOffsets(_fragmentOffsets) .setIcmpCodes(_icmpCodes) .setIcmpTypes(_icmpTypes)