Search in sources :

Example 6 with IpsecProposal

use of org.batfish.datamodel.IpsecProposal in project batfish by batfish.

the class JuniperConfiguration method warnUnreferencedIpsecProposals.

private void warnUnreferencedIpsecProposals() {
    for (Entry<String, IpsecProposal> e : _ipsecProposals.entrySet()) {
        String name = e.getKey();
        IpsecProposal ipsecProposal = e.getValue();
        if (ipsecProposal.isUnused()) {
            unused(JuniperStructureType.IPSEC_PROPOSAL, name, ipsecProposal.getDefinitionLine());
        }
    }
}
Also used : IpsecProposal(org.batfish.datamodel.IpsecProposal)

Aggregations

IpsecProposal (org.batfish.datamodel.IpsecProposal)6 BatfishException (org.batfish.common.BatfishException)3 IkeGateway (org.batfish.datamodel.IkeGateway)3 IkePolicy (org.batfish.datamodel.IkePolicy)3 IpsecPolicy (org.batfish.datamodel.IpsecPolicy)3 IpsecVpn (org.batfish.datamodel.IpsecVpn)3 Configuration (org.batfish.datamodel.Configuration)2 IkeProposal (org.batfish.datamodel.IkeProposal)2 Ip (org.batfish.datamodel.Ip)2 TreeMap (java.util.TreeMap)1 RedFlagBatfishException (org.batfish.common.RedFlagBatfishException)1 BgpNeighbor (org.batfish.datamodel.BgpNeighbor)1 BgpProcess (org.batfish.datamodel.BgpProcess)1 Interface (org.batfish.datamodel.Interface)1 InterfaceAddress (org.batfish.datamodel.InterfaceAddress)1 Prefix (org.batfish.datamodel.Prefix)1 RouteFilterLine (org.batfish.datamodel.RouteFilterLine)1 RouteFilterList (org.batfish.datamodel.RouteFilterList)1 StaticRoute (org.batfish.datamodel.StaticRoute)1 SubRange (org.batfish.datamodel.SubRange)1