Search in sources :

Example 1 with Ip_hostnameContext

use of org.batfish.grammar.cisco.CiscoParser.Ip_hostnameContext in project batfish by batfish.

the class CiscoControlPlaneExtractor method exitS_ip_name_server.

@Override
public void exitS_ip_name_server(S_ip_name_serverContext ctx) {
    Set<String> dnsServers = _configuration.getDnsServers();
    for (Ip_hostnameContext ipCtx : ctx.hostnames) {
        String domainName = ipCtx.getText();
        dnsServers.add(domainName);
    }
}
Also used : Ip_hostnameContext(org.batfish.grammar.cisco.CiscoParser.Ip_hostnameContext)

Aggregations

Ip_hostnameContext (org.batfish.grammar.cisco.CiscoParser.Ip_hostnameContext)1