@Override public String toString() { return getClass().getSimpleName() + "<" + _protocol.protocolName() + ">"; } }
public String prettyPrint(String prefix) { String net = getNetwork().toString(); String prot = _srcProtocol.protocolName(); String routeStr = String.format( "%s%s dstNode:%s dstVrf:%s dstIp:%s srcNode:%s srcVrf:%s srcIp:%s net:%s nhip:%s " + "origin:%s lp:%s med:%s weight:%s asPath:%s communities:%s orIp:%s clst:%s " + "srcProt:%s\n", prefix, _type, _dstNode, _dstVrf, _dstIp, _srcNode, _srcVrf, _srcIp, net, _nextHopIp, _originType, _localPreference, _med, _weight, _asPath, _communities, _originatorIp, _clusterList, prot); return routeStr; }
break; default: throw new BatfishException("Unrecognized protocol: " + other.protocolName());
String admin = Integer.toString(getAdministrativeCost()); String cost = Long.toString(getMetric()); String prot = getProtocol().protocolName(); String diffStr = diffSymbol != null ? diffSymbol + " " : ""; String routeStr =
(network == null || network.equals(route.getNetwork())) && compiledProtocolRegex .matcher(route.getProtocol().protocolName()) .matches()) .forEach( new RouteRowSecondaryKey( route.getNextHopIp(), route.getProtocol().protocolName()), k -> new TreeSet<>()) .add( .setOriginProtocol( route.getSrcProtocol() != null ? route.getSrcProtocol().protocolName() : null) .setAdminDistance(route.getAdministrativeCost())
new RouteRowSecondaryKey( route.getNextHopIp(), route.getProtocol().protocolName()), k -> new TreeSet<>()) .add(
default: throw new BatfishException( "Unuspported protocol for summary administrative cost: " + protocolName());
String admin = Integer.toString(getAdministrativeCost()); String cost = Integer.toString(getMetric()); String prot = getProtocol().protocolName(); String diffStr = diff ? getDiffSymbol() + " " : ""; String routeStr =
"OSPF export routes for " + protocol.protocolName(), ospfExportConditions, ospfExportStatements.build(),
"EIGRP export routes for " + protocol.protocolName(), eigrpExportConditions, eigrpExportStatements.build(),
Protocol proto = Protocol.fromRoutingProtocol(mp.getProtocol()); if (proto == null) { pCur.debug("MatchProtocol(" + mp.getProtocol().protocolName() + "): false"); return fromExpr(_enc.mkFalse()); pCur.debug("MatchProtocol(" + mp.getProtocol().protocolName() + "): " + protoMatch); return fromExpr(protoMatch); pCur.debug("MatchProtocol(" + mp.getProtocol().protocolName() + "): " + protoMatch); return fromExpr(protoMatch);
Protocol proto = Protocol.fromRoutingProtocol(mp.getProtocol()); if (proto == null) { p.debug("MatchProtocol(" + mp.getProtocol().protocolName() + "): false"); TransferReturn ret = new TransferReturn(p.getData(), factory.zero()); return fromExpr(ret); p.debug("MatchProtocol(" + mp.getProtocol().protocolName() + "): " + protoMatch); TransferReturn ret = new TransferReturn(p.getData(), protoMatch); return fromExpr(ret);