use of org.batfish.representation.juniper.AddressBookEntry in project batfish by batfish.
the class ConfigurationBuilder method exitSezsa_address.
@Override
public void exitSezsa_address(Sezsa_addressContext ctx) {
String name = ctx.name.getText();
Prefix prefix = Prefix.parse(ctx.IP_PREFIX().getText());
AddressBookEntry addressEntry = new AddressAddressBookEntry(name, prefix);
_currentZone.getAddressBook().getEntries().put(name, addressEntry);
}
use of org.batfish.representation.juniper.AddressBookEntry in project batfish by batfish.
the class ConfigurationBuilder method enterSezsa_address_set.
@Override
public void enterSezsa_address_set(Sezsa_address_setContext ctx) {
String name = ctx.name.getText();
AddressBookEntry entry = _currentAddressBook.getEntries().computeIfAbsent(name, AddressSetAddressBookEntry::new);
try {
_currentAddressSetAddressBookEntry = (AddressSetAddressBookEntry) entry;
} catch (ClassCastException e) {
throw new BatfishException("Cannot create address-set address-book entry \"" + name + "\" because a different type of address-book entry with that name already exists", e);
}
}
Aggregations