@Override public SpecifierContext specifierContext(NetworkSnapshot networkSnapshot) { return new SpecifierContextImpl(this, networkSnapshot); }
@Override public SpecifierContext specifierContext(NetworkSnapshot networkSnapshot) { return new SpecifierContextImpl(this, networkSnapshot); }
@Override public SpecifierContext specifierContext() { return new SpecifierContextImpl(this, getNetworkSnapshot()); }
@VisibleForTesting ReachabilityParametersResolver( Batfish batfish, ReachabilityParameters params, NetworkSnapshot snapshot) { _batfish = batfish; _params = params; _snapshot = snapshot; initConfigsAndDataPlane(); _context = new SpecifierContextImpl(batfish, _snapshot); _ipSpaceRepresentative = new IpSpaceRepresentative(); }
@Override public SpecifierContext specifierContext() { return new SpecifierContextImpl(this, networkSnapshot()); }
@Nonnull public IpSpaceAssignment getAllSourcesInferFromLocationIpSpaceAssignment() { SpecifierContextImpl specifierContext = new SpecifierContextImpl(this, getNetworkSnapshot()); Set<Location> locations = new UnionLocationSpecifier( AllInterfacesLocationSpecifier.INSTANCE, AllInterfaceLinksLocationSpecifier.INSTANCE) .resolve(specifierContext); return InferFromLocationIpSpaceSpecifier.INSTANCE.resolve(locations, specifierContext); }