Examples with PsThenCommunitySet org.batfish.representation.juniper.PsThenCommunitySet used on opensource projects

Example 1 with PsThenCommunitySet

use of org.batfish.representation.juniper.PsThenCommunitySet in project batfish by batfish.

the class ConfigurationBuilder method exitPopst_community_set.

@Override
public void exitPopst_community_set(Popst_community_setContext ctx) {
    String name = ctx.name.getText();
    PsThenCommunitySet then = new PsThenCommunitySet(name, _configuration);
    _currentPsThens.add(then);
}