Search in sources :

Example 1 with AddressBookEntry

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);
}
Also used : AddressAddressBookEntry(org.batfish.representation.juniper.AddressAddressBookEntry) FwFromSourceAddressBookEntry(org.batfish.representation.juniper.FwFromSourceAddressBookEntry) AddressBookEntry(org.batfish.representation.juniper.AddressBookEntry) AddressSetAddressBookEntry(org.batfish.representation.juniper.AddressSetAddressBookEntry) FwFromDestinationAddressBookEntry(org.batfish.representation.juniper.FwFromDestinationAddressBookEntry) Prefix(org.batfish.datamodel.Prefix) AddressAddressBookEntry(org.batfish.representation.juniper.AddressAddressBookEntry)

Example 2 with AddressBookEntry

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);
    }
}
Also used : BatfishException(org.batfish.common.BatfishException) AddressSetAddressBookEntry(org.batfish.representation.juniper.AddressSetAddressBookEntry) AddressAddressBookEntry(org.batfish.representation.juniper.AddressAddressBookEntry) FwFromSourceAddressBookEntry(org.batfish.representation.juniper.FwFromSourceAddressBookEntry) AddressBookEntry(org.batfish.representation.juniper.AddressBookEntry) AddressSetAddressBookEntry(org.batfish.representation.juniper.AddressSetAddressBookEntry) FwFromDestinationAddressBookEntry(org.batfish.representation.juniper.FwFromDestinationAddressBookEntry)

Aggregations

AddressAddressBookEntry (org.batfish.representation.juniper.AddressAddressBookEntry)2 AddressBookEntry (org.batfish.representation.juniper.AddressBookEntry)2 AddressSetAddressBookEntry (org.batfish.representation.juniper.AddressSetAddressBookEntry)2 FwFromDestinationAddressBookEntry (org.batfish.representation.juniper.FwFromDestinationAddressBookEntry)2 FwFromSourceAddressBookEntry (org.batfish.representation.juniper.FwFromSourceAddressBookEntry)2 BatfishException (org.batfish.common.BatfishException)1 Prefix (org.batfish.datamodel.Prefix)1