Examples with Route6FilterLine org.batfish.representation.juniper.Route6FilterLine used on opensource projects

Example 6 with Route6FilterLine

use of org.batfish.representation.juniper.Route6FilterLine in project batfish by batfish.

the class ConfigurationBuilder method enterPopsfrf_upto.

@Override
public void enterPopsfrf_upto(Popsfrf_uptoContext ctx) {
    int maxPrefixLength = toInt(ctx.high);
    if (_currentRouteFilterPrefix != null) {
        // ipv4
        Route4FilterLine line = new Route4FilterLineUpTo(_currentRouteFilterPrefix, maxPrefixLength);
        _currentRouteFilterLine = _currentRouteFilter.insertLine(line, Route4FilterLine.class);
    } else if (_currentRoute6FilterPrefix != null) {
        // ipv6
        Route6FilterLine line = new Route6FilterLineUpTo(_currentRoute6FilterPrefix, maxPrefixLength);
        _currentRoute6FilterLine = _currentRouteFilter.insertLine(line, Route6FilterLine.class);
    }
}

Example 7 with Route6FilterLine

use of org.batfish.representation.juniper.Route6FilterLine in project batfish by batfish.

the class ConfigurationBuilder method enterPopsfrf_then.

@Override
public void enterPopsfrf_then(Popsfrf_thenContext ctx) {
    if (_currentRouteFilterPrefix != null) {
        // ipv4
        Route4FilterLine line = _currentRouteFilterLine;
        _currentPsThens = line.getThens();
    } else if (_currentRoute6FilterPrefix != null) {
        // ipv6
        Route6FilterLine line = _currentRoute6FilterLine;
        _currentPsThens = line.getThens();
    }
}