use of org.batfish.datamodel.routing_policy.statement.If in project batfish by batfish.
the class CiscoConfiguration method toBgpProcess.
private org.batfish.datamodel.BgpProcess toBgpProcess(final Configuration c, BgpProcess proc, String vrfName) {
org.batfish.datamodel.BgpProcess newBgpProcess = new org.batfish.datamodel.BgpProcess();
org.batfish.datamodel.Vrf v = c.getVrfs().get(vrfName);
BgpTieBreaker tieBreaker = proc.getTieBreaker();
if (tieBreaker != null) {
newBgpProcess.setTieBreaker(tieBreaker);
}
MultipathEquivalentAsPathMatchMode multipathEquivalentAsPathMatchMode = proc.getAsPathMultipathRelax() ? MultipathEquivalentAsPathMatchMode.PATH_LENGTH : MultipathEquivalentAsPathMatchMode.EXACT_PATH;
newBgpProcess.setMultipathEquivalentAsPathMatchMode(multipathEquivalentAsPathMatchMode);
Integer maximumPaths = proc.getMaximumPaths();
Integer maximumPathsEbgp = proc.getMaximumPathsEbgp();
Integer maximumPathsIbgp = proc.getMaximumPathsIbgp();
boolean multipathEbgp = false;
boolean multipathIbgp = false;
if (maximumPaths != null && maximumPaths > 1) {
multipathEbgp = true;
multipathIbgp = true;
}
if (maximumPathsEbgp != null && maximumPathsEbgp > 1) {
multipathEbgp = true;
}
if (maximumPathsIbgp != null && maximumPathsIbgp > 1) {
multipathIbgp = true;
}
newBgpProcess.setMultipathEbgp(multipathEbgp);
newBgpProcess.setMultipathIbgp(multipathIbgp);
Map<Prefix, BgpNeighbor> newBgpNeighbors = newBgpProcess.getNeighbors();
int defaultMetric = proc.getDefaultMetric();
Ip bgpRouterId = getBgpRouterId(c, vrfName, proc);
MatchPrefixSet matchDefaultRoute = new MatchPrefixSet(new DestinationNetwork(), new ExplicitPrefixSet(new PrefixSpace(Collections.singleton(new PrefixRange(Prefix.ZERO, new SubRange(0, 0))))));
matchDefaultRoute.setComment("match default route");
MatchPrefix6Set matchDefaultRoute6 = new MatchPrefix6Set(new DestinationNetwork6(), new ExplicitPrefix6Set(new Prefix6Space(Collections.singleton(new Prefix6Range(Prefix6.ZERO, new SubRange(0, 0))))));
matchDefaultRoute.setComment("match default route");
newBgpProcess.setRouterId(bgpRouterId);
Set<BgpAggregateIpv4Network> summaryOnlyNetworks = new HashSet<>();
Set<BgpAggregateIpv6Network> summaryOnlyIpv6Networks = new HashSet<>();
List<BooleanExpr> attributeMapPrefilters = new ArrayList<>();
// add generated routes for aggregate ipv4 addresses
for (Entry<Prefix, BgpAggregateIpv4Network> e : proc.getAggregateNetworks().entrySet()) {
Prefix prefix = e.getKey();
BgpAggregateIpv4Network aggNet = e.getValue();
boolean summaryOnly = aggNet.getSummaryOnly();
int prefixLength = prefix.getPrefixLength();
SubRange prefixRange = new SubRange(prefixLength + 1, Prefix.MAX_PREFIX_LENGTH);
if (summaryOnly) {
summaryOnlyNetworks.add(aggNet);
}
// create generation policy for aggregate network
String generationPolicyName = "~AGGREGATE_ROUTE_GEN:" + vrfName + ":" + prefix + "~";
RoutingPolicy currentGeneratedRoutePolicy = new RoutingPolicy(generationPolicyName, c);
If currentGeneratedRouteConditional = new If();
currentGeneratedRoutePolicy.getStatements().add(currentGeneratedRouteConditional);
currentGeneratedRouteConditional.setGuard(new MatchPrefixSet(new DestinationNetwork(), new ExplicitPrefixSet(new PrefixSpace(Collections.singleton(new PrefixRange(prefix, prefixRange))))));
currentGeneratedRouteConditional.getTrueStatements().add(Statements.ReturnTrue.toStaticStatement());
c.getRoutingPolicies().put(generationPolicyName, currentGeneratedRoutePolicy);
GeneratedRoute.Builder gr = new GeneratedRoute.Builder();
gr.setNetwork(prefix);
gr.setAdmin(CISCO_AGGREGATE_ROUTE_ADMIN_COST);
gr.setGenerationPolicy(generationPolicyName);
gr.setDiscard(true);
// set attribute map for aggregate network
String attributeMapName = aggNet.getAttributeMap();
Conjunction applyCurrentAggregateAttributesConditions = new Conjunction();
applyCurrentAggregateAttributesConditions.getConjuncts().add(new MatchPrefixSet(new DestinationNetwork(), new ExplicitPrefixSet(new PrefixSpace(Collections.singleton(PrefixRange.fromPrefix(prefix))))));
applyCurrentAggregateAttributesConditions.getConjuncts().add(new MatchProtocol(RoutingProtocol.AGGREGATE));
BooleanExpr weInterior = BooleanExprs.True.toStaticBooleanExpr();
if (attributeMapName != null) {
int attributeMapLine = aggNet.getAttributeMapLine();
RouteMap attributeMap = _routeMaps.get(attributeMapName);
if (attributeMap != null) {
// need to apply attribute changes if this specific route is
// matched
weInterior = new CallExpr(attributeMapName);
attributeMap.getReferers().put(aggNet, "attribute-map of aggregate route: " + prefix);
gr.setAttributePolicy(attributeMapName);
} else {
undefined(CiscoStructureType.ROUTE_MAP, attributeMapName, CiscoStructureUsage.BGP_AGGREGATE_ATTRIBUTE_MAP, attributeMapLine);
}
}
v.getGeneratedRoutes().add(gr.build());
BooleanExpr we = bgpRedistributeWithEnvironmentExpr(weInterior, OriginType.IGP);
applyCurrentAggregateAttributesConditions.getConjuncts().add(we);
attributeMapPrefilters.add(applyCurrentAggregateAttributesConditions);
}
// TODO: merge with above to make cleaner
for (Entry<Prefix6, BgpAggregateIpv6Network> e : proc.getAggregateIpv6Networks().entrySet()) {
Prefix6 prefix6 = e.getKey();
BgpAggregateIpv6Network aggNet = e.getValue();
boolean summaryOnly = aggNet.getSummaryOnly();
int prefixLength = prefix6.getPrefixLength();
SubRange prefixRange = new SubRange(prefixLength + 1, Prefix.MAX_PREFIX_LENGTH);
if (summaryOnly) {
summaryOnlyIpv6Networks.add(aggNet);
}
// create generation policy for aggregate network
String generationPolicyName = "~AGGREGATE_ROUTE6_GEN:" + vrfName + ":" + prefix6 + "~";
RoutingPolicy currentGeneratedRoutePolicy = new RoutingPolicy(generationPolicyName, c);
If currentGeneratedRouteConditional = new If();
currentGeneratedRoutePolicy.getStatements().add(currentGeneratedRouteConditional);
currentGeneratedRouteConditional.setGuard(new MatchPrefix6Set(new DestinationNetwork6(), new ExplicitPrefix6Set(new Prefix6Space(Collections.singleton(new Prefix6Range(prefix6, prefixRange))))));
currentGeneratedRouteConditional.getTrueStatements().add(Statements.ReturnTrue.toStaticStatement());
c.getRoutingPolicies().put(generationPolicyName, currentGeneratedRoutePolicy);
GeneratedRoute6 gr = new GeneratedRoute6(prefix6, CISCO_AGGREGATE_ROUTE_ADMIN_COST);
gr.setGenerationPolicy(generationPolicyName);
gr.setDiscard(true);
v.getGeneratedIpv6Routes().add(gr);
// set attribute map for aggregate network
String attributeMapName = aggNet.getAttributeMap();
if (attributeMapName != null) {
int attributeMapLine = aggNet.getAttributeMapLine();
RouteMap attributeMap = _routeMaps.get(attributeMapName);
if (attributeMap != null) {
attributeMap.getReferers().put(aggNet, "attribute-map of aggregate ipv6 route: " + prefix6);
gr.setAttributePolicy(attributeMapName);
} else {
undefined(CiscoStructureType.ROUTE_MAP, attributeMapName, CiscoStructureUsage.BGP_AGGREGATE_ATTRIBUTE_MAP, attributeMapLine);
}
}
}
/*
* Create common bgp export policy. This policy encompasses network
* statements, aggregate-address with/without summary-only, redistribution
* from other protocols, and default-origination
*/
String bgpCommonExportPolicyName = "~BGP_COMMON_EXPORT_POLICY:" + vrfName + "~";
RoutingPolicy bgpCommonExportPolicy = new RoutingPolicy(bgpCommonExportPolicyName, c);
c.getRoutingPolicies().put(bgpCommonExportPolicyName, bgpCommonExportPolicy);
List<Statement> bgpCommonExportStatements = bgpCommonExportPolicy.getStatements();
// create policy for denying suppressed summary-only networks
if (summaryOnlyNetworks.size() > 0) {
If suppressSummaryOnly = new If();
bgpCommonExportStatements.add(suppressSummaryOnly);
suppressSummaryOnly.setComment("Suppress summarized of summary-only aggregate-address networks");
String matchSuppressedSummaryOnlyRoutesName = "~MATCH_SUPPRESSED_SUMMARY_ONLY:" + vrfName + "~";
RouteFilterList matchSuppressedSummaryOnlyRoutes = new RouteFilterList(matchSuppressedSummaryOnlyRoutesName);
c.getRouteFilterLists().put(matchSuppressedSummaryOnlyRoutesName, matchSuppressedSummaryOnlyRoutes);
for (BgpAggregateIpv4Network summaryOnlyNetwork : summaryOnlyNetworks) {
Prefix prefix = summaryOnlyNetwork.getPrefix();
int prefixLength = prefix.getPrefixLength();
RouteFilterLine line = new RouteFilterLine(LineAction.ACCEPT, prefix, new SubRange(prefixLength + 1, Prefix.MAX_PREFIX_LENGTH));
matchSuppressedSummaryOnlyRoutes.addLine(line);
}
suppressSummaryOnly.setGuard(new MatchPrefixSet(new DestinationNetwork(), new NamedPrefixSet(matchSuppressedSummaryOnlyRoutesName)));
suppressSummaryOnly.getTrueStatements().add(Statements.ReturnFalse.toStaticStatement());
}
If preFilter = new If();
bgpCommonExportStatements.add(preFilter);
bgpCommonExportStatements.add(Statements.ReturnFalse.toStaticStatement());
Disjunction preFilterConditions = new Disjunction();
preFilter.setGuard(preFilterConditions);
preFilter.getTrueStatements().add(Statements.ReturnTrue.toStaticStatement());
preFilterConditions.getDisjuncts().addAll(attributeMapPrefilters);
// create redistribution origination policies
// redistribute rip
BgpRedistributionPolicy redistributeRipPolicy = proc.getRedistributionPolicies().get(RoutingProtocol.RIP);
if (redistributeRipPolicy != null) {
BooleanExpr weInterior = BooleanExprs.True.toStaticBooleanExpr();
Conjunction exportRipConditions = new Conjunction();
exportRipConditions.setComment("Redistribute RIP routes into BGP");
exportRipConditions.getConjuncts().add(new MatchProtocol(RoutingProtocol.RIP));
String mapName = redistributeRipPolicy.getRouteMap();
if (mapName != null) {
int mapLine = redistributeRipPolicy.getRouteMapLine();
RouteMap redistributeRipRouteMap = _routeMaps.get(mapName);
if (redistributeRipRouteMap != null) {
redistributeRipRouteMap.getReferers().put(proc, "RIP redistribution route-map");
weInterior = new CallExpr(mapName);
} else {
undefined(CiscoStructureType.ROUTE_MAP, mapName, CiscoStructureUsage.BGP_REDISTRIBUTE_RIP_MAP, mapLine);
}
}
BooleanExpr we = bgpRedistributeWithEnvironmentExpr(weInterior, OriginType.INCOMPLETE);
exportRipConditions.getConjuncts().add(we);
preFilterConditions.getDisjuncts().add(exportRipConditions);
}
// redistribute static
BgpRedistributionPolicy redistributeStaticPolicy = proc.getRedistributionPolicies().get(RoutingProtocol.STATIC);
if (redistributeStaticPolicy != null) {
BooleanExpr weInterior = BooleanExprs.True.toStaticBooleanExpr();
Conjunction exportStaticConditions = new Conjunction();
exportStaticConditions.setComment("Redistribute static routes into BGP");
exportStaticConditions.getConjuncts().add(new MatchProtocol(RoutingProtocol.STATIC));
String mapName = redistributeStaticPolicy.getRouteMap();
if (mapName != null) {
int mapLine = redistributeStaticPolicy.getRouteMapLine();
RouteMap redistributeStaticRouteMap = _routeMaps.get(mapName);
if (redistributeStaticRouteMap != null) {
redistributeStaticRouteMap.getReferers().put(proc, "static redistribution route-map");
weInterior = new CallExpr(mapName);
} else {
undefined(CiscoStructureType.ROUTE_MAP, mapName, CiscoStructureUsage.BGP_REDISTRIBUTE_STATIC_MAP, mapLine);
}
}
BooleanExpr we = bgpRedistributeWithEnvironmentExpr(weInterior, OriginType.INCOMPLETE);
exportStaticConditions.getConjuncts().add(we);
preFilterConditions.getDisjuncts().add(exportStaticConditions);
}
// redistribute connected
BgpRedistributionPolicy redistributeConnectedPolicy = proc.getRedistributionPolicies().get(RoutingProtocol.CONNECTED);
if (redistributeConnectedPolicy != null) {
BooleanExpr weInterior = BooleanExprs.True.toStaticBooleanExpr();
Conjunction exportConnectedConditions = new Conjunction();
exportConnectedConditions.setComment("Redistribute connected routes into BGP");
exportConnectedConditions.getConjuncts().add(new MatchProtocol(RoutingProtocol.CONNECTED));
String mapName = redistributeConnectedPolicy.getRouteMap();
if (mapName != null) {
int mapLine = redistributeConnectedPolicy.getRouteMapLine();
RouteMap redistributeConnectedRouteMap = _routeMaps.get(mapName);
if (redistributeConnectedRouteMap != null) {
redistributeConnectedRouteMap.getReferers().put(proc, "connected redistribution route-map");
weInterior = new CallExpr(mapName);
} else {
undefined(CiscoStructureType.ROUTE_MAP, mapName, CiscoStructureUsage.BGP_REDISTRIBUTE_CONNECTED_MAP, mapLine);
}
}
BooleanExpr we = bgpRedistributeWithEnvironmentExpr(weInterior, OriginType.INCOMPLETE);
exportConnectedConditions.getConjuncts().add(we);
preFilterConditions.getDisjuncts().add(exportConnectedConditions);
}
// redistribute ospf
BgpRedistributionPolicy redistributeOspfPolicy = proc.getRedistributionPolicies().get(RoutingProtocol.OSPF);
if (redistributeOspfPolicy != null) {
BooleanExpr weInterior = BooleanExprs.True.toStaticBooleanExpr();
Conjunction exportOspfConditions = new Conjunction();
exportOspfConditions.setComment("Redistribute OSPF routes into BGP");
exportOspfConditions.getConjuncts().add(new MatchProtocol(RoutingProtocol.OSPF));
String mapName = redistributeOspfPolicy.getRouteMap();
if (mapName != null) {
int mapLine = redistributeOspfPolicy.getRouteMapLine();
RouteMap redistributeOspfRouteMap = _routeMaps.get(mapName);
if (redistributeOspfRouteMap != null) {
redistributeOspfRouteMap.getReferers().put(proc, "ospf redistribution route-map");
weInterior = new CallExpr(mapName);
} else {
undefined(CiscoStructureType.ROUTE_MAP, mapName, CiscoStructureUsage.BGP_REDISTRIBUTE_OSPF_MAP, mapLine);
}
}
BooleanExpr we = bgpRedistributeWithEnvironmentExpr(weInterior, OriginType.INCOMPLETE);
exportOspfConditions.getConjuncts().add(we);
preFilterConditions.getDisjuncts().add(exportOspfConditions);
}
// cause ip peer groups to inherit unset fields from owning named peer
// group if it exists, and then always from process master peer group
Set<LeafBgpPeerGroup> leafGroups = new LinkedHashSet<>();
leafGroups.addAll(proc.getIpPeerGroups().values());
leafGroups.addAll(proc.getIpv6PeerGroups().values());
leafGroups.addAll(proc.getDynamicIpPeerGroups().values());
leafGroups.addAll(proc.getDynamicIpv6PeerGroups().values());
for (LeafBgpPeerGroup lpg : leafGroups) {
lpg.inheritUnsetFields(proc, this);
}
_unusedPeerGroups = new TreeMap<>();
int fakePeerCounter = -1;
// peer groups / peer templates
for (Entry<String, NamedBgpPeerGroup> e : proc.getNamedPeerGroups().entrySet()) {
String name = e.getKey();
NamedBgpPeerGroup namedPeerGroup = e.getValue();
if (!namedPeerGroup.getInherited()) {
_unusedPeerGroups.put(name, namedPeerGroup.getDefinitionLine());
Ip fakeIp = new Ip(fakePeerCounter);
IpBgpPeerGroup fakePg = new IpBgpPeerGroup(fakeIp);
fakePg.setGroupName(name);
fakePg.setActive(false);
fakePg.setShutdown(true);
leafGroups.add(fakePg);
fakePg.inheritUnsetFields(proc, this);
fakePeerCounter--;
}
namedPeerGroup.inheritUnsetFields(proc, this);
}
// separate because peer sessions can inherit from other peer sessions
_unusedPeerSessions = new TreeMap<>();
int fakeGroupCounter = 1;
for (NamedBgpPeerGroup namedPeerGroup : proc.getPeerSessions().values()) {
namedPeerGroup.getParentSession(proc, this).inheritUnsetFields(proc, this);
}
for (Entry<String, NamedBgpPeerGroup> e : proc.getPeerSessions().entrySet()) {
String name = e.getKey();
NamedBgpPeerGroup namedPeerGroup = e.getValue();
if (!namedPeerGroup.getInherited()) {
_unusedPeerSessions.put(name, namedPeerGroup.getDefinitionLine());
String fakeNamedPgName = "~FAKE_PG_" + fakeGroupCounter + "~";
NamedBgpPeerGroup fakeNamedPg = new NamedBgpPeerGroup(fakeNamedPgName, -1);
fakeNamedPg.setPeerSession(name);
proc.getNamedPeerGroups().put(fakeNamedPgName, fakeNamedPg);
Ip fakeIp = new Ip(fakePeerCounter);
IpBgpPeerGroup fakePg = new IpBgpPeerGroup(fakeIp);
fakePg.setGroupName(fakeNamedPgName);
fakePg.setActive(false);
fakePg.setShutdown(true);
leafGroups.add(fakePg);
fakePg.inheritUnsetFields(proc, this);
fakeGroupCounter++;
fakePeerCounter--;
}
}
// create origination prefilter from listed advertised networks
proc.getIpNetworks().forEach((prefix, bgpNetwork) -> {
String mapName = bgpNetwork.getRouteMapName();
BooleanExpr weExpr = BooleanExprs.True.toStaticBooleanExpr();
if (mapName != null) {
int mapLine = bgpNetwork.getRouteMapLine();
RouteMap routeMap = _routeMaps.get(mapName);
if (routeMap != null) {
weExpr = new CallExpr(mapName);
routeMap.getReferers().put(proc, "bgp ipv4 advertised network route-map");
} else {
undefined(CiscoStructureType.ROUTE_MAP, mapName, CiscoStructureUsage.BGP_NETWORK_ORIGINATION_ROUTE_MAP, mapLine);
}
}
BooleanExpr we = bgpRedistributeWithEnvironmentExpr(weExpr, OriginType.IGP);
Conjunction exportNetworkConditions = new Conjunction();
PrefixSpace space = new PrefixSpace();
space.addPrefix(prefix);
exportNetworkConditions.getConjuncts().add(new MatchPrefixSet(new DestinationNetwork(), new ExplicitPrefixSet(space)));
exportNetworkConditions.getConjuncts().add(new Not(new MatchProtocol(RoutingProtocol.BGP)));
exportNetworkConditions.getConjuncts().add(new Not(new MatchProtocol(RoutingProtocol.IBGP)));
// TODO: ban aggregates?
exportNetworkConditions.getConjuncts().add(new Not(new MatchProtocol(RoutingProtocol.AGGREGATE)));
exportNetworkConditions.getConjuncts().add(we);
preFilterConditions.getDisjuncts().add(exportNetworkConditions);
});
String localFilter6Name = "~BGP_NETWORK6_NETWORKS_FILTER:" + vrfName + "~";
Route6FilterList localFilter6 = new Route6FilterList(localFilter6Name);
proc.getIpv6Networks().forEach((prefix6, bgpNetwork6) -> {
int prefixLen = prefix6.getPrefixLength();
Route6FilterLine line = new Route6FilterLine(LineAction.ACCEPT, prefix6, new SubRange(prefixLen, prefixLen));
localFilter6.addLine(line);
String mapName = bgpNetwork6.getRouteMapName();
if (mapName != null) {
int mapLine = bgpNetwork6.getRouteMapLine();
RouteMap routeMap = _routeMaps.get(mapName);
if (routeMap != null) {
routeMap.getReferers().put(proc, "bgp ipv6 advertised network route-map");
BooleanExpr we = bgpRedistributeWithEnvironmentExpr(new CallExpr(mapName), OriginType.IGP);
Conjunction exportNetwork6Conditions = new Conjunction();
Prefix6Space space6 = new Prefix6Space();
space6.addPrefix6(prefix6);
exportNetwork6Conditions.getConjuncts().add(new MatchPrefix6Set(new DestinationNetwork6(), new ExplicitPrefix6Set(space6)));
exportNetwork6Conditions.getConjuncts().add(new Not(new MatchProtocol(RoutingProtocol.BGP)));
exportNetwork6Conditions.getConjuncts().add(new Not(new MatchProtocol(RoutingProtocol.IBGP)));
// TODO: ban aggregates?
exportNetwork6Conditions.getConjuncts().add(new Not(new MatchProtocol(RoutingProtocol.AGGREGATE)));
exportNetwork6Conditions.getConjuncts().add(we);
preFilterConditions.getDisjuncts().add(exportNetwork6Conditions);
} else {
undefined(CiscoStructureType.ROUTE_MAP, mapName, CiscoStructureUsage.BGP_NETWORK6_ORIGINATION_ROUTE_MAP, mapLine);
}
}
});
c.getRoute6FilterLists().put(localFilter6Name, localFilter6);
MatchProtocol isEbgp = new MatchProtocol(RoutingProtocol.BGP);
MatchProtocol isIbgp = new MatchProtocol(RoutingProtocol.IBGP);
preFilterConditions.getDisjuncts().add(isEbgp);
preFilterConditions.getDisjuncts().add(isIbgp);
for (LeafBgpPeerGroup lpg : leafGroups) {
// update source
String updateSourceInterface = lpg.getUpdateSource();
boolean ipv4 = lpg.getNeighborPrefix() != null;
Ip updateSource = getUpdateSource(c, vrfName, lpg, updateSourceInterface, ipv4);
RoutingPolicy importPolicy = null;
String inboundRouteMapName = lpg.getInboundRouteMap();
if (inboundRouteMapName != null) {
int inboundRouteMapLine = lpg.getInboundRouteMapLine();
importPolicy = c.getRoutingPolicies().get(inboundRouteMapName);
if (importPolicy == null) {
undefined(CiscoStructureType.ROUTE_MAP, inboundRouteMapName, CiscoStructureUsage.BGP_INBOUND_ROUTE_MAP, inboundRouteMapLine);
} else {
RouteMap inboundRouteMap = _routeMaps.get(inboundRouteMapName);
inboundRouteMap.getReferers().put(lpg, "inbound route-map for leaf peer-group: " + lpg.getName());
}
}
String inboundRoute6MapName = lpg.getInboundRoute6Map();
RoutingPolicy importPolicy6 = null;
if (inboundRoute6MapName != null) {
int inboundRoute6MapLine = lpg.getInboundRoute6MapLine();
importPolicy6 = c.getRoutingPolicies().get(inboundRoute6MapName);
if (importPolicy6 == null) {
undefined(CiscoStructureType.ROUTE_MAP, inboundRoute6MapName, CiscoStructureUsage.BGP_INBOUND_ROUTE6_MAP, inboundRoute6MapLine);
} else {
RouteMap inboundRouteMap = _routeMaps.get(inboundRoute6MapName);
inboundRouteMap.getReferers().put(lpg, "inbound route-map for leaf peer-group: " + lpg.getName());
}
}
String peerExportPolicyName = "~BGP_PEER_EXPORT_POLICY:" + vrfName + ":" + lpg.getName() + "~";
RoutingPolicy peerExportPolicy = new RoutingPolicy(peerExportPolicyName, c);
if (lpg.getActive() && !lpg.getShutdown()) {
c.getRoutingPolicies().put(peerExportPolicyName, peerExportPolicy);
}
if (lpg.getNextHopSelf() != null && lpg.getNextHopSelf()) {
peerExportPolicy.getStatements().add(new SetNextHop(new SelfNextHop(), false));
}
if (lpg.getRemovePrivateAs() != null && lpg.getRemovePrivateAs()) {
peerExportPolicy.getStatements().add(Statements.RemovePrivateAs.toStaticStatement());
}
If peerExportConditional = new If();
peerExportConditional.setComment("peer-export policy main conditional: exitAccept if true / exitReject if false");
peerExportPolicy.getStatements().add(peerExportConditional);
Conjunction peerExportConditions = new Conjunction();
peerExportConditional.setGuard(peerExportConditions);
peerExportConditional.getTrueStatements().add(Statements.ExitAccept.toStaticStatement());
peerExportConditional.getFalseStatements().add(Statements.ExitReject.toStaticStatement());
Disjunction localOrCommonOrigination = new Disjunction();
peerExportConditions.getConjuncts().add(localOrCommonOrigination);
localOrCommonOrigination.getDisjuncts().add(new CallExpr(bgpCommonExportPolicyName));
String outboundRouteMapName = lpg.getOutboundRouteMap();
if (outboundRouteMapName != null) {
int outboundRouteMapLine = lpg.getOutboundRouteMapLine();
RouteMap outboundRouteMap = _routeMaps.get(outboundRouteMapName);
if (outboundRouteMap == null) {
undefined(CiscoStructureType.ROUTE_MAP, outboundRouteMapName, CiscoStructureUsage.BGP_OUTBOUND_ROUTE_MAP, outboundRouteMapLine);
} else {
outboundRouteMap.getReferers().put(lpg, "outbound route-map for leaf peer-group: " + lpg.getName());
peerExportConditions.getConjuncts().add(new CallExpr(outboundRouteMapName));
}
}
String outboundRoute6MapName = lpg.getOutboundRoute6Map();
if (outboundRoute6MapName != null) {
int outboundRoute6MapLine = lpg.getOutboundRoute6MapLine();
RouteMap outboundRoute6Map = _routeMaps.get(outboundRoute6MapName);
if (outboundRoute6Map == null) {
undefined(CiscoStructureType.ROUTE_MAP, outboundRoute6MapName, CiscoStructureUsage.BGP_OUTBOUND_ROUTE6_MAP, outboundRoute6MapLine);
} else {
outboundRoute6Map.getReferers().put(lpg, "outbound ipv6 route-map for leaf peer-group: " + lpg.getName());
}
}
// set up default export policy for this peer group
GeneratedRoute.Builder defaultRoute = null;
GeneratedRoute6.Builder defaultRoute6 = null;
if (lpg.getDefaultOriginate()) {
if (ipv4) {
localOrCommonOrigination.getDisjuncts().add(matchDefaultRoute);
} else {
localOrCommonOrigination.getDisjuncts().add(matchDefaultRoute6);
}
defaultRoute = new GeneratedRoute.Builder();
defaultRoute.setNetwork(Prefix.ZERO);
defaultRoute.setAdmin(MAX_ADMINISTRATIVE_COST);
defaultRoute6 = new GeneratedRoute6.Builder();
defaultRoute6.setNetwork(Prefix6.ZERO);
defaultRoute6.setAdmin(MAX_ADMINISTRATIVE_COST);
String defaultOriginateMapName = lpg.getDefaultOriginateMap();
if (defaultOriginateMapName != null) {
// originate contingent on
// generation policy
int defaultOriginateMapLine = lpg.getDefaultOriginateMapLine();
RoutingPolicy defaultRouteGenerationPolicy = c.getRoutingPolicies().get(defaultOriginateMapName);
if (defaultRouteGenerationPolicy == null) {
undefined(CiscoStructureType.ROUTE_MAP, defaultOriginateMapName, CiscoStructureUsage.BGP_DEFAULT_ORIGINATE_ROUTE_MAP, defaultOriginateMapLine);
} else {
RouteMap defaultRouteGenerationRouteMap = _routeMaps.get(defaultOriginateMapName);
defaultRouteGenerationRouteMap.getReferers().put(lpg, "default route generation policy for leaf peer-group: " + lpg.getName());
defaultRoute.setGenerationPolicy(defaultOriginateMapName);
}
} else {
String defaultRouteGenerationPolicyName = "~BGP_DEFAULT_ROUTE_GENERATION_POLICY:" + vrfName + ":" + lpg.getName() + "~";
RoutingPolicy defaultRouteGenerationPolicy = new RoutingPolicy(defaultRouteGenerationPolicyName, c);
If defaultRouteGenerationConditional = new If();
defaultRouteGenerationPolicy.getStatements().add(defaultRouteGenerationConditional);
if (ipv4) {
defaultRouteGenerationConditional.setGuard(matchDefaultRoute);
} else {
defaultRouteGenerationConditional.setGuard(matchDefaultRoute6);
}
defaultRouteGenerationConditional.getTrueStatements().add(Statements.ReturnTrue.toStaticStatement());
if (lpg.getActive() && !lpg.getShutdown()) {
c.getRoutingPolicies().put(defaultRouteGenerationPolicyName, defaultRouteGenerationPolicy);
}
if (ipv4) {
defaultRoute.setGenerationPolicy(defaultRouteGenerationPolicyName);
} else {
defaultRoute6.setGenerationPolicy(defaultRouteGenerationPolicyName);
}
}
}
Ip clusterId = lpg.getClusterId();
if (clusterId == null) {
clusterId = bgpRouterId;
}
boolean routeReflectorClient = lpg.getRouteReflectorClient();
boolean sendCommunity = lpg.getSendCommunity();
boolean additionalPathsReceive = lpg.getAdditionalPathsReceive();
boolean additionalPathsSelectAll = lpg.getAdditionalPathsSelectAll();
boolean additionalPathsSend = lpg.getAdditionalPathsSend();
boolean advertiseInactive = lpg.getAdvertiseInactive();
boolean ebgpMultihop = lpg.getEbgpMultihop();
boolean allowasIn = lpg.getAllowAsIn();
boolean disablePeerAsCheck = lpg.getDisablePeerAsCheck();
String inboundPrefixListName = lpg.getInboundPrefixList();
if (inboundPrefixListName != null) {
int inboundPrefixListLine = lpg.getInboundPrefixListLine();
ReferenceCountedStructure inboundPrefixList;
if (ipv4) {
inboundPrefixList = _prefixLists.get(inboundPrefixListName);
} else {
inboundPrefixList = _prefix6Lists.get(inboundPrefixListName);
}
if (inboundPrefixList != null) {
inboundPrefixList.getReferers().put(lpg, "inbound prefix-list for neighbor: '" + lpg.getName() + "'");
} else {
if (ipv4) {
undefined(CiscoStructureType.PREFIX_LIST, inboundPrefixListName, CiscoStructureUsage.BGP_INBOUND_PREFIX_LIST, inboundPrefixListLine);
} else {
undefined(CiscoStructureType.PREFIX6_LIST, inboundPrefixListName, CiscoStructureUsage.BGP_INBOUND_PREFIX6_LIST, inboundPrefixListLine);
}
}
}
String outboundPrefixListName = lpg.getOutboundPrefixList();
if (outboundPrefixListName != null) {
int outboundPrefixListLine = lpg.getOutboundPrefixListLine();
ReferenceCountedStructure outboundPrefixList;
if (ipv4) {
outboundPrefixList = _prefixLists.get(outboundPrefixListName);
} else {
outboundPrefixList = _prefix6Lists.get(outboundPrefixListName);
}
if (outboundPrefixList != null) {
outboundPrefixList.getReferers().put(lpg, "outbound prefix-list for neighbor: '" + lpg.getName() + "'");
} else {
if (ipv4) {
undefined(CiscoStructureType.PREFIX_LIST, outboundPrefixListName, CiscoStructureUsage.BGP_OUTBOUND_PREFIX_LIST, outboundPrefixListLine);
} else {
undefined(CiscoStructureType.PREFIX6_LIST, outboundPrefixListName, CiscoStructureUsage.BGP_OUTBOUND_PREFIX6_LIST, outboundPrefixListLine);
}
}
}
String description = lpg.getDescription();
if (lpg.getActive() && !lpg.getShutdown()) {
if (lpg.getRemoteAs() == null) {
_w.redFlag("No remote-as set for peer: " + lpg.getName());
continue;
}
Integer pgLocalAs = lpg.getLocalAs();
int localAs = pgLocalAs != null ? pgLocalAs : proc.getName();
BgpNeighbor newNeighbor;
if (lpg instanceof IpBgpPeerGroup) {
IpBgpPeerGroup ipg = (IpBgpPeerGroup) lpg;
Ip neighborAddress = ipg.getIp();
newNeighbor = new BgpNeighbor(neighborAddress, c);
} else if (lpg instanceof DynamicIpBgpPeerGroup) {
DynamicIpBgpPeerGroup dpg = (DynamicIpBgpPeerGroup) lpg;
Prefix neighborAddressRange = dpg.getPrefix();
newNeighbor = new BgpNeighbor(neighborAddressRange, c);
} else if (lpg instanceof Ipv6BgpPeerGroup || lpg instanceof DynamicIpv6BgpPeerGroup) {
// TODO: implement ipv6 bgp neighbors
continue;
} else {
throw new VendorConversionException("Invalid BGP leaf neighbor type");
}
newBgpNeighbors.put(newNeighbor.getPrefix(), newNeighbor);
newNeighbor.setAdditionalPathsReceive(additionalPathsReceive);
newNeighbor.setAdditionalPathsSelectAll(additionalPathsSelectAll);
newNeighbor.setAdditionalPathsSend(additionalPathsSend);
newNeighbor.setAdvertiseInactive(advertiseInactive);
newNeighbor.setAllowLocalAsIn(allowasIn);
newNeighbor.setAllowRemoteAsOut(disablePeerAsCheck);
newNeighbor.setRouteReflectorClient(routeReflectorClient);
newNeighbor.setClusterId(clusterId.asLong());
newNeighbor.setDefaultMetric(defaultMetric);
newNeighbor.setDescription(description);
newNeighbor.setEbgpMultihop(ebgpMultihop);
if (defaultRoute != null) {
newNeighbor.getGeneratedRoutes().add(defaultRoute.build());
}
newNeighbor.setGroup(lpg.getGroupName());
if (importPolicy != null) {
newNeighbor.setImportPolicy(inboundRouteMapName);
}
newNeighbor.setLocalAs(localAs);
newNeighbor.setLocalIp(updateSource);
newNeighbor.setExportPolicy(peerExportPolicyName);
newNeighbor.setRemoteAs(lpg.getRemoteAs());
newNeighbor.setSendCommunity(sendCommunity);
newNeighbor.setVrf(vrfName);
}
}
return newBgpProcess;
}
use of org.batfish.datamodel.routing_policy.statement.If in project batfish by batfish.
the class Optimizations method isDefaultBgpExport.
/*
* Determine if a BGP neighbor uses the default export policy
*/
private boolean isDefaultBgpExport(Configuration conf, BgpNeighbor n) {
// Check if valid neighbor
if (n == null || n.getExportPolicy() == null) {
return true;
}
// Ensure a single if statement
RoutingPolicy pol = conf.getRoutingPolicies().get(n.getExportPolicy());
List<Statement> stmts = pol.getStatements();
if (stmts.size() != 1) {
return false;
}
Statement s = stmts.get(0);
if (!(s instanceof If)) {
return false;
}
// Ensure that the true branch accepts and the false branch rejects
If i = (If) s;
BooleanExpr be = i.getGuard();
List<Statement> trueStmts = i.getTrueStatements();
List<Statement> falseStmts = i.getFalseStatements();
if (trueStmts.size() != 1 || falseStmts.size() != 1) {
return false;
}
Statement s1 = trueStmts.get(0);
Statement s2 = falseStmts.get(0);
if (!(s1 instanceof Statements.StaticStatement) || !(s2 instanceof Statements.StaticStatement)) {
return false;
}
Statements.StaticStatement x = (Statements.StaticStatement) s1;
Statements.StaticStatement y = (Statements.StaticStatement) s2;
if (x.getType() != Statements.ExitAccept || y.getType() != Statements.ExitReject) {
return false;
}
// Ensure condition just hands off to the common export policy
if (!(be instanceof CallExpr)) {
return false;
}
CallExpr ce = (CallExpr) be;
return ce.getCalledPolicyName().contains(Graph.BGP_COMMON_FILTER_LIST_NAME);
}
use of org.batfish.datamodel.routing_policy.statement.If in project batfish by batfish.
the class Optimizations method computeKeepLocalPref.
/*
* Check if the BGP local preference is needed. If it is never set,
* then the variable can be removed from the encoding.
*/
private boolean computeKeepLocalPref() {
if (!Optimizations.ENABLE_SLICING_OPTIMIZATION) {
return true;
}
Boolean[] val = new Boolean[1];
val[0] = false;
_encoderSlice.getGraph().getConfigurations().forEach((router, conf) -> conf.getRoutingPolicies().forEach((name, pol) -> {
AstVisitor v = new AstVisitor();
v.visit(conf, pol.getStatements(), stmt -> {
if (stmt instanceof SetLocalPreference) {
val[0] = true;
}
}, expr -> {
});
}));
return val[0];
}
use of org.batfish.datamodel.routing_policy.statement.If in project batfish by batfish.
the class TransferSSA method compute.
/*
* Convert a list of statements into a Z3 boolean expression for the transfer function.
*/
private TransferResult<BoolExpr, BoolExpr> compute(List<Statement> statements, TransferParam<SymbolicRoute> p, TransferResult<BoolExpr, BoolExpr> result) {
boolean doesReturn = false;
for (Statement stmt : statements) {
if (stmt instanceof StaticStatement) {
StaticStatement ss = (StaticStatement) stmt;
switch(ss.getType()) {
case ExitAccept:
doesReturn = true;
p.debug("ExitAccept");
result = returnValue(p, result, true);
break;
case ReturnTrue:
doesReturn = true;
p.debug("ReturnTrue");
result = returnValue(p, result, true);
break;
case ExitReject:
doesReturn = true;
p.debug("ExitReject");
result = returnValue(p, result, false);
break;
case ReturnFalse:
doesReturn = true;
p.debug("ReturnFalse");
result = returnValue(p, result, false);
break;
case SetDefaultActionAccept:
p.debug("SetDefaulActionAccept");
p = p.setDefaultAccept(true);
break;
case SetDefaultActionReject:
p.debug("SetDefaultActionReject");
p = p.setDefaultAccept(false);
break;
case SetLocalDefaultActionAccept:
p.debug("SetLocalDefaultActionAccept");
p = p.setDefaultAcceptLocal(true);
break;
case SetLocalDefaultActionReject:
p.debug("SetLocalDefaultActionReject");
p = p.setDefaultAcceptLocal(false);
break;
case ReturnLocalDefaultAction:
p.debug("ReturnLocalDefaultAction");
// TODO: need to set local default action in an environment
if (p.getDefaultAcceptLocal()) {
result = returnValue(p, result, true);
} else {
result = returnValue(p, result, false);
}
break;
case FallThrough:
p.debug("Fallthrough");
result = fallthrough(p, result);
break;
case Return:
// TODO: assumming this happens at the end of the function, so it is ignored for now.
p.debug("Return");
break;
case RemovePrivateAs:
p.debug("RemovePrivateAs");
System.out.println("Warning: use of unimplemented feature RemovePrivateAs");
break;
default:
throw new BatfishException("TODO: computeTransferFunction: " + ss.getType());
}
} else if (stmt instanceof If) {
p.debug("If");
If i = (If) stmt;
TransferResult<BoolExpr, BoolExpr> r = compute(i.getGuard(), p);
result = result.addChangedVariables(r);
BoolExpr guard = (BoolExpr) r.getReturnValue().simplify();
String str = guard.toString();
// If there are updates in the guard, add them to the parameter p before entering branches
for (Pair<String, Expr> changed : r.getChangedVariables()) {
p.debug("CHANGED: " + changed.getFirst());
updateSingleValue(p, changed.getFirst(), changed.getSecond());
}
p.debug("guard: " + str);
// If we know the branch ahead of time, then specialize
switch(str) {
case "true":
p.debug("True Branch");
result = compute(i.getTrueStatements(), p.indent(), result);
break;
case "false":
p.debug("False Branch");
compute(i.getFalseStatements(), p.indent(), result);
break;
default:
p.debug("True Branch");
// clear changed variables before proceeding
TransferParam<SymbolicRoute> p1 = p.indent().setData(p.getData().copy());
TransferParam<SymbolicRoute> p2 = p.indent().setData(p.getData().copy());
TransferResult<BoolExpr, BoolExpr> trueBranch = compute(i.getTrueStatements(), p1, initialResult());
p.debug("False Branch");
TransferResult<BoolExpr, BoolExpr> falseBranch = compute(i.getFalseStatements(), p2, initialResult());
p.debug("JOIN");
PList<Pair<String, Pair<Expr, Expr>>> pairs = trueBranch.mergeChangedVariables(falseBranch);
// Extract and deal with the return value first so that other
// variables have this reflected in their value
int idx = pairs.find(pair -> pair.getFirst().equals("RETURN"));
if (idx >= 0) {
Pair<String, Pair<Expr, Expr>> ret = pairs.get(idx);
pairs = pairs.minus(idx);
pairs = pairs.plus(pairs.size(), ret);
}
for (Pair<String, Pair<Expr, Expr>> pair : pairs) {
String s = pair.getFirst();
p.debug("CHANGED: " + s);
Pair<Expr, Expr> x = joinPoint(p, result, guard, pair);
result = result.addChangedVariable(s, x.getFirst());
if (s.equals("RETURN")) {
result = result.setReturnValue((BoolExpr) x.getFirst()).setReturnAssignedValue((BoolExpr) x.getSecond());
}
if (s.equals("FALLTHROUGH")) {
result = result.setFallthroughValue((BoolExpr) x.getFirst()).setReturnAssignedValue((BoolExpr) x.getSecond());
}
}
break;
}
} else if (stmt instanceof SetDefaultPolicy) {
p.debug("SetDefaultPolicy");
p = p.setDefaultPolicy((SetDefaultPolicy) stmt);
} else if (stmt instanceof SetMetric) {
p.debug("SetMetric");
// TODO: what is the semantics for BGP? Is this MED?
if (!_current.getProto().isBgp()) {
SetMetric sm = (SetMetric) stmt;
LongExpr ie = sm.getMetric();
ArithExpr newValue = applyLongExprModification(p.getData().getMetric(), ie);
newValue = _enc.mkIf(result.getReturnAssignedValue(), p.getData().getMetric(), newValue);
ArithExpr x = createArithVariableWith(p, "METRIC", newValue);
p.getData().setMetric(x);
result = result.addChangedVariable("METRIC", x);
}
} else if (stmt instanceof SetOspfMetricType) {
p.debug("SetOspfMetricType");
SetOspfMetricType somt = (SetOspfMetricType) stmt;
OspfMetricType mt = somt.getMetricType();
SymbolicOspfType t;
if (mt == OspfMetricType.E1) {
t = new SymbolicOspfType(_enc, OspfType.E1);
} else {
t = new SymbolicOspfType(_enc, OspfType.E2);
}
BitVecExpr newValue = t.getBitVec();
newValue = _enc.mkIf(result.getReturnAssignedValue(), p.getData().getOspfType().getBitVec(), newValue);
BitVecExpr x = createBitVecVariableWith(p, "OSPF-TYPE", 2, newValue);
p.getData().getOspfType().setBitVec(x);
result = result.addChangedVariable("OSPF-TYPE", x);
} else if (stmt instanceof SetLocalPreference) {
p.debug("SetLocalPreference");
SetLocalPreference slp = (SetLocalPreference) stmt;
IntExpr ie = slp.getLocalPreference();
ArithExpr newValue = applyIntExprModification(p.getData().getLocalPref(), ie);
newValue = _enc.mkIf(result.getReturnAssignedValue(), p.getData().getLocalPref(), newValue);
ArithExpr x = createArithVariableWith(p, "LOCAL-PREF", newValue);
p.getData().setLocalPref(x);
result = result.addChangedVariable("LOCAL-PREF", x);
} else if (stmt instanceof AddCommunity) {
p.debug("AddCommunity");
AddCommunity ac = (AddCommunity) stmt;
Set<CommunityVar> comms = _enc.getGraph().findAllCommunities(_conf, ac.getExpr());
for (CommunityVar cvar : comms) {
BoolExpr newValue = _enc.mkIf(result.getReturnAssignedValue(), p.getData().getCommunities().get(cvar), _enc.mkTrue());
BoolExpr x = createBoolVariableWith(p, cvar.getValue(), newValue);
p.getData().getCommunities().put(cvar, x);
result = result.addChangedVariable(cvar.getValue(), x);
}
} else if (stmt instanceof SetCommunity) {
p.debug("SetCommunity");
SetCommunity sc = (SetCommunity) stmt;
Set<CommunityVar> comms = _enc.getGraph().findAllCommunities(_conf, sc.getExpr());
for (CommunityVar cvar : comms) {
BoolExpr newValue = _enc.mkIf(result.getReturnAssignedValue(), p.getData().getCommunities().get(cvar), _enc.mkTrue());
BoolExpr x = createBoolVariableWith(p, cvar.getValue(), newValue);
p.getData().getCommunities().put(cvar, x);
result = result.addChangedVariable(cvar.getValue(), x);
}
} else if (stmt instanceof DeleteCommunity) {
p.debug("DeleteCommunity");
DeleteCommunity ac = (DeleteCommunity) stmt;
Set<CommunityVar> comms = _enc.getGraph().findAllCommunities(_conf, ac.getExpr());
Set<CommunityVar> toDelete = new HashSet<>();
// Find comms to delete
for (CommunityVar cvar : comms) {
if (cvar.getType() == Type.REGEX) {
toDelete.addAll(_enc.getCommunityDependencies().get(cvar));
} else {
toDelete.add(cvar);
}
}
// Delete each community
for (CommunityVar cvar : toDelete) {
BoolExpr newValue = _enc.mkIf(result.getReturnAssignedValue(), p.getData().getCommunities().get(cvar), _enc.mkFalse());
BoolExpr x = createBoolVariableWith(p, cvar.getValue(), newValue);
p.getData().getCommunities().put(cvar, x);
result = result.addChangedVariable(cvar.getValue(), x);
}
} else if (stmt instanceof RetainCommunity) {
p.debug("RetainCommunity");
// no op
} else if (stmt instanceof PrependAsPath) {
p.debug("PrependAsPath");
PrependAsPath pap = (PrependAsPath) stmt;
Integer prependCost = prependLength(pap.getExpr());
ArithExpr newValue = _enc.mkSum(p.getData().getMetric(), _enc.mkInt(prependCost));
newValue = _enc.mkIf(result.getReturnAssignedValue(), p.getData().getMetric(), newValue);
ArithExpr x = createArithVariableWith(p, "METRIC", newValue);
p.getData().setMetric(x);
result = result.addChangedVariable("METRIC", x);
} else if (stmt instanceof SetOrigin) {
p.debug("SetOrigin");
System.out.println("Warning: use of unimplemented feature SetOrigin");
} else if (stmt instanceof SetNextHop) {
p.debug("SetNextHop");
System.out.println("Warning: use of unimplemented feature SetNextHop");
} else {
String s = (_isExport ? "export" : "import");
String msg = String.format("Unimplemented feature %s for %s transfer function on interface %s", stmt.toString(), s, _graphEdge.toString());
throw new BatfishException(msg);
}
}
// If this is the outermost call, then we relate the variables
if (p.getInitialCall()) {
p.debug("InitialCall finalizing");
// Apply the default action
if (!doesReturn) {
p.debug("Applying default action: " + p.getDefaultAccept());
if (p.getDefaultAccept()) {
result = returnValue(p, result, true);
} else {
result = returnValue(p, result, false);
}
}
BoolExpr related = relateVariables(p, result);
BoolExpr retValue = _enc.mkIf(result.getReturnValue(), related, _enc.mkNot(_current.getPermitted()));
result = result.setReturnValue(retValue);
}
return result;
}
use of org.batfish.datamodel.routing_policy.statement.If in project batfish by batfish.
the class VyosConfiguration method toRoutingPolicy.
private RoutingPolicy toRoutingPolicy(RouteMap routeMap) {
String name = routeMap.getName();
RoutingPolicy routingPolicy = new RoutingPolicy(name, _c);
List<Statement> statements = routingPolicy.getStatements();
for (Entry<Integer, RouteMapRule> e : routeMap.getRules().entrySet()) {
String ruleName = Integer.toString(e.getKey());
RouteMapRule rule = e.getValue();
If ifStatement = new If();
List<Statement> trueStatements = ifStatement.getTrueStatements();
ifStatement.setComment(ruleName);
Conjunction conj = new Conjunction();
for (RouteMapMatch match : rule.getMatches()) {
conj.getConjuncts().add(match.toBooleanExpr(this, _c, _w));
}
ifStatement.setGuard(conj.simplify());
switch(rule.getAction()) {
case ACCEPT:
trueStatements.add(Statements.ExitAccept.toStaticStatement());
break;
case REJECT:
trueStatements.add(Statements.ExitReject.toStaticStatement());
break;
default:
throw new BatfishException("Invalid action");
}
statements.add(ifStatement);
}
statements.add(Statements.ExitReject.toStaticStatement());
return routingPolicy;
}
Aggregations