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

How to use org.batfish.datamodel

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

  • Add the Codota plugin to your IDE and get smart completions
private void myMethod () {
Gson g =
  • Codota Iconnew Gson()
  • Codota IconGsonBuilder gsonBuilder;gsonBuilder.create()
  • Codota Iconnew GsonBuilder().create()
  • Smart code suggestions by Codota
}
origin: batfish/batfish

@Override
public void applyTo(Route6FilterList rfl) {
 int prefixLength = _prefix6.getPrefixLength();
 org.batfish.datamodel.Route6FilterLine line =
   new org.batfish.datamodel.Route6FilterLine(
     LineAction.PERMIT,
     new Ip6Wildcard(
       new Prefix6(_prefix6.getAddress(), prefixLength).getAddress(), _addressMask),
     new SubRange(prefixLength, prefixLength));
 rfl.addLine(line);
}
origin: batfish/batfish

public boolean includesPrefixRange(PrefixRange argPrefixRange) {
 Prefix prefix = getPrefix();
 SubRange lengthRange = getLengthRange();
 int prefixLength = prefix.getPrefixLength();
 long maskedPrefixAsLong = prefix.getStartIp().getNetworkAddress(prefixLength).asLong();
 Prefix argPrefix = argPrefixRange.getPrefix();
 SubRange argLengthRange = argPrefixRange.getLengthRange();
 long argMaskedPrefixAsLong = argPrefix.getStartIp().getNetworkAddress(prefixLength).asLong();
 return maskedPrefixAsLong == argMaskedPrefixAsLong
   && lengthRange.getStart() <= argLengthRange.getStart()
   && lengthRange.getEnd() >= argLengthRange.getEnd();
}
origin: batfish/batfish

@Override
public void applyTo(RouteFilterList rfl) {
 int prefixLength = _prefix.getPrefixLength();
 org.batfish.datamodel.RouteFilterLine line =
   new org.batfish.datamodel.RouteFilterLine(
     LineAction.PERMIT, _prefix, new SubRange(prefixLength, Prefix.MAX_PREFIX_LENGTH));
 rfl.addLine(line);
}
origin: batfish/batfish

@Override
public void applyTo(RouteFilterList rfl) {
 int prefixLength = _prefix.getPrefixLength();
 org.batfish.datamodel.RouteFilterLine line =
   new org.batfish.datamodel.RouteFilterLine(
     LineAction.PERMIT,
     new IpWildcard(
       Prefix.create(_prefix.getStartIp(), prefixLength).getStartIp(), _addressMask),
     new SubRange(prefixLength, prefixLength));
 rfl.addLine(line);
}
origin: batfish/batfish

public static Interface newInterface(
  String name, Configuration c, InterfaceAddress primaryAddress) {
 return FACTORY
   .interfaceBuilder()
   .setName(name)
   .setOwner(c)
   .setVrf(c.getDefaultVrf())
   .setAddress(primaryAddress)
   .build();
}
origin: batfish/batfish

private Interface createIbgpInterface(BgpActivePeerConfig n, String peer) {
 Interface iface = new Interface("iBGP-" + peer);
 iface.setActive(true);
 // TODO is this valid.
 iface.setAddress(new InterfaceAddress(n.getPeerAddress(), Prefix.MAX_PREFIX_LENGTH));
 iface.setBandwidth(0.);
 return iface;
}
origin: batfish/batfish

@Override
public void applyTo(Route6FilterList rfl) {
 int prefixLength = _prefix6.getPrefixLength();
 org.batfish.datamodel.Route6FilterLine line =
   new org.batfish.datamodel.Route6FilterLine(
     LineAction.PERMIT, _prefix6, new SubRange(prefixLength, prefixLength));
 rfl.addLine(line);
}
origin: batfish/batfish

public void addPrefix(Prefix prefix) {
 int prefixLength = prefix.getPrefixLength();
 long bits = prefix.getStartIp().asLong();
 _root.addPrefix(prefix, bits, prefixLength, 0);
}
origin: batfish/batfish

/** Returns a {@link PrefixRange} that represents all more specific prefixes. */
public static PrefixRange moreSpecificThan(Prefix prefix) {
 return new PrefixRange(
   prefix, new SubRange(prefix.getPrefixLength() + 1, Prefix.MAX_PREFIX_LENGTH));
}
origin: batfish/batfish

@Override
public void applyTo(
  HeaderSpace.Builder headerSpaceBuilder,
  JuniperConfiguration jc,
  Warnings w,
  Configuration c) {
 headerSpaceBuilder.setDstIps(
   AclIpSpace.union(headerSpaceBuilder.getDstIps(), _ipWildcard.toIpSpace()));
}
origin: batfish/batfish

public boolean containsPrefixRange(PrefixRange prefixRange) {
 Prefix prefix = prefixRange.getPrefix();
 int prefixLength = prefix.getPrefixLength();
 BitSet bits = getAddressBits(prefix.getStartIp());
 return _root.containsPrefixRange(prefixRange, bits, prefixLength, 0);
}
origin: batfish/batfish

@Override
public void applyTo(
  HeaderSpace.Builder headerSpaceBuilder,
  JuniperConfiguration jc,
  Warnings w,
  Configuration c) {
 headerSpaceBuilder.setNotSrcIps(
   AclIpSpace.union(headerSpaceBuilder.getNotSrcIps(), _ipWildcard.toIpSpace()));
}
origin: batfish/batfish

@Override
public void applyTo(
  HeaderSpace.Builder headerSpaceBuilder,
  JuniperConfiguration jc,
  Warnings w,
  Configuration c) {
 headerSpaceBuilder.setNotDstIps(
   AclIpSpace.union(headerSpaceBuilder.getNotDstIps(), _ipWildcard.toIpSpace()));
}
origin: batfish/batfish

@Override
public void applyTo(RouteFilterList rfl) {
 org.batfish.datamodel.RouteFilterLine line =
   new org.batfish.datamodel.RouteFilterLine(
     LineAction.PERMIT, _prefix, new SubRange(_minPrefixLength, _maxPrefixLength));
 rfl.addLine(line);
}
origin: batfish/batfish

public void addPrefix6Range(Prefix6Range prefix6Range) {
 Prefix6 prefix6 = prefix6Range.getPrefix6();
 int prefixLength = prefix6.getPrefixLength();
 BitSet bits = getAddressBits(prefix6.getAddress());
 _root.addPrefix6Range(prefix6Range, bits, prefixLength, 0);
}
origin: batfish/batfish

public void addPrefix(Prefix6 prefix6) {
 int prefixLength = prefix6.getPrefixLength();
 BitSet bits = prefix6.getAddress().getAddressBits();
 _root.addPrefix6(prefix6, bits, prefixLength, 0);
}
origin: batfish/batfish

@Override
public void applyTo(RouteFilterList rfl) {
 int prefixLength = _prefix.getPrefixLength();
 org.batfish.datamodel.RouteFilterLine line =
   new org.batfish.datamodel.RouteFilterLine(
     LineAction.PERMIT, _prefix, new SubRange(prefixLength, _maxPrefixLength));
 rfl.addLine(line);
}
origin: batfish/batfish

@Override
public void applyTo(Route6FilterList rfl) {
 int prefixLength = _prefix6.getPrefixLength();
 org.batfish.datamodel.Route6FilterLine line =
   new org.batfish.datamodel.Route6FilterLine(
     LineAction.PERMIT, _prefix6, new SubRange(prefixLength, _maxPrefixLength));
 rfl.addLine(line);
}
origin: batfish/batfish

@Override
public void applyTo(RouteFilterList rfl) {
 int prefixLength = _prefix.getPrefixLength();
 org.batfish.datamodel.RouteFilterLine line =
   new org.batfish.datamodel.RouteFilterLine(
     LineAction.PERMIT, _prefix, new SubRange(prefixLength, prefixLength));
 rfl.addLine(line);
}
origin: batfish/batfish

@Override
public void applyTo(Route6FilterList rfl) {
 int prefixLength = _prefix6.getPrefixLength();
 org.batfish.datamodel.Route6FilterLine line =
   new org.batfish.datamodel.Route6FilterLine(
     LineAction.PERMIT, _prefix6, new SubRange(prefixLength, Prefix6.MAX_PREFIX_LENGTH));
 rfl.addLine(line);
}
org.batfish.datamodel

Most used classes

  • Prefix
    An IPv4 Prefix
  • AnswerSummary
    A general way to summarize what the answer contains, using three basic integers
  • Flow$Builder
  • Flow
  • Ip
  • Topology,
  • Answer,
  • Schema,
  • NodeInterfacePair,
  • Node,
  • InstanceData,
  • NodesSpecifier,
  • Question,
  • Row,
  • TableAnswerElement,
  • Configuration,
  • Edge,
  • FlowState,
  • HeaderSpace$Builder
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