@Override public IpSpace visitIpSpaceReference(IpSpaceReference ipSpaceReference) { String name = ipSpaceReference.getName(); return _specializedNamedIpSpaces.computeIfAbsent(name, k -> visit(_namedIpSpaces.get(name))); }
@Override protected String featureValueOf(IpSpaceReference actual) { return actual.getName(); } }
@Override public BDD visitIpSpaceReference(IpSpaceReference ipSpaceReference) { String name = ipSpaceReference.getName(); checkArgument(_namedIpSpaceBDDs.containsKey(name), "Undefined IpSpace reference: %s", name); try { return _namedIpSpaceBDDs.get(name).get(); } catch (NonRecursiveSupplierException e) { throw new BatfishException("Circular IpSpaceReference: " + name); } }
@Override public IpSpace visitIpSpaceReference(IpSpaceReference ipSpaceReference) { // todo cache simplified named IpSpaces? return _namedIpSpaces.get(ipSpaceReference.getName()).accept(this); } }
@Override public Boolean visitIpSpaceReference(IpSpaceReference ipSpaceReference) { return _namedIpSpaces.get(ipSpaceReference.getName()).accept(this); }
@Override public Boolean visitIpSpaceReference(IpSpaceReference ipSpaceReference) { return _namedIpSpaces.get(ipSpaceReference.getName()).accept(this); }
@Override public BooleanExpr visitIpSpaceReference(IpSpaceReference ipSpaceReference) { return _namedIpSpaces.get(ipSpaceReference.getName()).accept(this); }
@Override public Boolean visitIpSpaceReference(IpSpaceReference ipSpaceReference) { return _namedIpSpaces.get(ipSpaceReference.getName()).accept(this); }
@Override public IpSpace visitIpSpaceReference(IpSpaceReference ipSpaceReference) { return new IpSpaceReference( _renamer.apply(ipSpaceReference.getName()), ipSpaceReference.getDescription()); }
@Override public String visitIpSpaceReference(IpSpaceReference ipSpaceReference) { String metadataDescription = computeMetadataDescription(ipSpaceReference); if (metadataDescription != null) { return metadataDescription; } String name = ipSpaceReference.getName(); IpSpace referencedSpace = _aclTracer.getNamedIpSpaces().get(name); String defaultValue = String.format("An IpSpace named '%s'", name); if (referencedSpace == null) { return defaultValue; } String referencedMetadataDescription = computeMetadataDescription(referencedSpace); if (referencedMetadataDescription != null) { return referencedMetadataDescription; } return defaultValue; }
public IpSpace visitIpSpaceReference(IpSpaceReference ipSpaceReference) throws CircularReferenceException, UndefinedReferenceException { String name = ipSpaceReference.getName(); if (!_referencedIpSpaces.add(name)) {
@Override public Boolean visitIpSpaceReference(IpSpaceReference ipSpaceReference) { String name = ipSpaceReference.getName(); IpSpace ipSpace = _aclTracer.getNamedIpSpaces().get(name); if (ipSpace != null) { _aclTracer.newTrace(); Boolean accepted = ipSpace.accept(this); _aclTracer.endTrace(); return accepted; } else { return false; } }