Examples with IpsecProtocol org.batfish.datamodel.IpsecProtocol used on opensource projects

Example 1 with IpsecProtocol

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

the class ConfigurationBuilder method exitSeippr_protocol.

@Override
public void exitSeippr_protocol(Seippr_protocolContext ctx) {
    IpsecProtocol protocol = toIpsecProtocol(ctx.ipsec_protocol());
    _currentIpsecProposal.setProtocol(protocol);
}