Batfish: annotation cleanups
@@ -1662,6 +1662,7 @@ public class Batfish extends PluginConsumer implements IBatfish {
return blacklistEdges;
}
+ @Override
public Environment getEnvironment() {
SortedSet<Edge> edgeBlackList = getEdgeBlacklist();
SortedSet<NodeInterfacePair> interfaceBlackList = getInterfaceBlacklist();
@@ -1801,6 +1802,7 @@ public class Batfish extends PluginConsumer implements IBatfish {
If inferred is true, it returns the inferred roles;
otherwise it prefers the user-specified roles if they exist.
*/
+ @Override
public NodeRoleSpecifier getNodeRoleSpecifier(boolean inferred) {
NodeRoleSpecifier result;
boolean inferredRoles = false;
@@ -1893,6 +1895,7 @@ public class Batfish extends PluginConsumer implements IBatfish {
return dir;
}
+ @Override
public String getTestrigName() {
return _testrigSettings.getName();
}
@@ -2105,6 +2108,7 @@ public class Batfish extends PluginConsumer implements IBatfish {
// }
}
+ @Override
public InitInfoAnswerElement initInfo(boolean summary, boolean verboseError) {
ParseVendorConfigurationAnswerElement parseAnswer = loadParseVendorConfigurationAnswerElement();
InitInfoAnswerElement answerElement = mergeParseAnswer(summary, verboseError, parseAnswer);
@@ -2113,6 +2117,7 @@ public class Batfish extends PluginConsumer implements IBatfish {
return answerElement;
}
+ @Override
public InitInfoAnswerElement initInfoBgpAdvertisements(boolean summary, boolean verboseError) {
ParseEnvironmentBgpTablesAnswerElement parseAnswer =
loadParseEnvironmentBgpTablesAnswerElement();
@@ -2121,6 +2126,7 @@ public class Batfish extends PluginConsumer implements IBatfish {
return answerElement;
}
+ @Override
public InitInfoAnswerElement initInfoRoutes(boolean summary, boolean verboseError) {
ParseEnvironmentRoutingTablesAnswerElement parseAnswer =
loadParseEnvironmentRoutingTablesAnswerElement();
