Codota Logo
org.batfish.specifier
Code IndexAdd Codota to your IDE (free)

How to use org.batfish.specifier

Best Java code snippets using org.batfish.specifier (Showing top 20 results out of 315)

  • Add the Codota plugin to your IDE and get smart completions
private void myMethod () {
StringBuilder s =
  • Codota Iconnew StringBuilder()
  • Codota Iconnew StringBuilder(32)
  • Codota IconString str;new StringBuilder(str)
  • Smart code suggestions by Codota
}
origin: batfish/batfish

 @Override
 public Location visitInterfaceLocation(InterfaceLocation interfaceLocation) {
  return new InterfaceLinkLocation(
    interfaceLocation.getNodeName(), interfaceLocation.getInterfaceName());
 }
});
origin: batfish/batfish

 @Override
 public IpSpace visitInterfaceLocation(InterfaceLocation interfaceLocation) {
  return _specifierContext.getInterfaceOwnedIps(
    interfaceLocation.getNodeName(), interfaceLocation.getInterfaceName());
 }
}
origin: batfish/batfish

@Override
public IpSpaceAssignment resolve(Set<Location> locations, SpecifierContext ctxt) {
 return IpSpaceAssignment.builder().assign(locations, _ipSpace).build();
}
origin: batfish/batfish

@VisibleForTesting
static IpSpaceAssignment initSourceIpAssignment(
  String sourceLocation, String sourceIps, SpecifierContext specifierContext) {
 /* construct specifiers */
 LocationSpecifier sourceLocationSpecifier =
   LocationSpecifierFactory.load(SRC_LOCATION_SPECIFIER_FACTORY)
     .buildLocationSpecifier(sourceLocation);
 IpSpaceSpecifier sourceIpSpaceSpecifier =
   IpSpaceSpecifierFactory.load(IP_SPECIFIER_FACTORY).buildIpSpaceSpecifier(sourceIps);
 /* resolve specifiers */
 Set<Location> sourceLocations = sourceLocationSpecifier.resolve(specifierContext);
 return sourceIpSpaceSpecifier.resolve(sourceLocations, specifierContext);
}
origin: batfish/batfish

@Test
public void parseCombination() {
 LocationSpecifier leaf =
   new NodeSpecifierInterfaceLocationSpecifier(
     new FlexibleNodeSpecifierFactory().buildNodeSpecifier("foo"));
 LocationSpecifier difference = new DifferenceLocationSpecifier(leaf, leaf);
 LocationSpecifier union = new UnionLocationSpecifier(leaf, leaf);
 LocationSpecifier unionDiff = new DifferenceLocationSpecifier(union, leaf);
 assertThat(parse("foo - foo"), equalTo(difference));
 assertThat(parse("foo + foo"), equalTo(union));
 assertThat(parse("foo + foo - foo"), equalTo(unionDiff));
}
origin: batfish/batfish

 @Test
 public void testNoLocations() {
  MockSpecifierContext ctxt = MockSpecifierContext.builder().build();
  IpSpaceSpecifier specifier =
    new LocationIpSpaceSpecifier(new MockLocationSpecifier(ImmutableSet.of()));
  _expectedException.expect(IllegalArgumentException.class);
  _expectedException.expectMessage("No such locations");
  specifier.resolve(ImmutableSet.of(), ctxt);
 }
}
origin: batfish/batfish

@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);
}
origin: batfish/batfish

 @Override
 public IpSpaceAssignment resolve(Set<Location> locations, SpecifierContext ctxt) {
  IpSpaceLocationVisitor ipSpaceLocationVisitor = new IpSpaceLocationVisitor(ctxt);
  IpSpaceAssignment.Builder builder = IpSpaceAssignment.builder();
  locations.forEach(
    location -> builder.assign(location, location.accept(ipSpaceLocationVisitor)));
  return builder.build();
 }
}
origin: batfish/batfish

 @Override
 public IpSpaceSpecifier buildIpSpaceSpecifier(@Nullable Object input) {
  return new LocationIpSpaceSpecifier(
    new FlexibleLocationSpecifierFactory().buildLocationSpecifier(input));
 }
}
origin: batfish/batfish

 @Override
 public IpSpaceSpecifier buildIpSpaceSpecifier(Object input) {
  return new ConstantIpSpaceSpecifier(UniverseIpSpace.INSTANCE);
 }
}
origin: batfish/batfish

 @Override
 public SpecifierContext specifierContext() {
  return MockSpecifierContext.builder().setConfigs(loadConfigurations()).build();
 }
}
origin: batfish/batfish

@Override
public String visitInterfaceLinkLocation(InterfaceLinkLocation interfaceLinkLocation) {
 return interfaceLinkLocation.getInterfaceName();
}
origin: batfish/batfish

 @Override
 LocationSpecifier buildLocationSpecifier(Pattern pattern) {
  return new VrfNameRegexInterfaceLinkLocationSpecifier(pattern);
 }
}
origin: batfish/batfish

 @Override
 public LocationSpecifier buildLocationSpecifier(Pattern pattern) {
  return new NameRegexInterfaceLocationSpecifier(pattern);
 }
}
origin: batfish/batfish

 @Override
 public LocationSpecifier buildLocationSpecifier(Pattern pattern) {
  return new VrfNameRegexInterfaceLocationSpecifier(pattern);
 }
}
origin: batfish/batfish

 @Override
 public LocationSpecifier buildLocationSpecifier(Pattern input) {
  return new DescriptionRegexInterfaceLocationSpecifier(input);
 }
}
origin: batfish/batfish

 @Override
 public LocationSpecifier buildLocationSpecifier(Pattern pattern) {
  return new NodeNameRegexInterfaceLinkLocationSpecifier(pattern);
 }
}
origin: batfish/batfish

 @Override
 LocationSpecifier buildLocationSpecifier(Pattern pattern) {
  return new NameRegexInterfaceLinkLocationSpecifier(pattern);
 }
}
origin: batfish/batfish

@Override
public LocationSpecifier buildLocationSpecifier(Pattern input) {
 return new DescriptionRegexInterfaceLinkLocationSpecifier(input);
}
origin: batfish/batfish

@Override
protected IpSpaceSpecifier defaultIpSpaceSpecifier() {
 return new ConstantIpSpaceSpecifier(UniverseIpSpace.INSTANCE);
}
org.batfish.specifier

Most used classes

  • DispositionSpecifier
    A way to specify dispositions using a shorthand, such as "success" or "failure".
  • RoutingProtocolSpecifier
    A way to specify groups of RoutingProtocols
  • ConstantIpSpaceSpecifier
    An IpSpaceSpecifier that is constant (independent of the input Location). All input Locations are as
  • InterfaceLocation
    Identifies the Location of an interface in the network.
  • InterfaceSpecifierFactory
  • IpSpaceSpecifier,
  • NodeSpecifierFactory,
  • InterfaceLinkLocation,
  • IntersectionLocationSpecifier,
  • IpSpaceAssignment$Entry,
  • NodeSpecifier,
  • DifferenceLocationSpecifier,
  • FilterSpecifierFactory,
  • FlexibleLocationSpecifierFactory,
  • FlexibleNodeSpecifierFactory,
  • IpProtocolSpecifier,
  • IpSpaceSpecifierFactory,
  • Location,
  • LocationSpecifier
Codota Logo
  • Products

    Search for Java codeSearch for JavaScript codeEnterprise
  • IDE Plugins

    IntelliJ IDEAWebStormAndroid StudioEclipseVisual Studio CodePyCharmSublime TextPhpStormVimAtomGoLandRubyMineEmacsJupyter
  • Company

    About UsContact UsCareers
  • Resources

    FAQBlogCodota Academy Plugin user guide Terms of usePrivacy policyJava Code IndexJavascript Code Index
Get Codota for your IDE now