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

Example 1 with FwFromFragmentOffset

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

the class ConfigurationBuilder method exitFftf_fragment_offset.

@Override
public void exitFftf_fragment_offset(Fftf_fragment_offsetContext ctx) {
    SubRange subRange = toSubRange(ctx.subrange());
    FwFrom from = new FwFromFragmentOffset(subRange, false);
    _currentFwTerm.getFroms().add(from);
}

Example 2 with FwFromFragmentOffset

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

the class ConfigurationBuilder method exitFftf_is_fragment.

@Override
public void exitFftf_is_fragment(Fftf_is_fragmentContext ctx) {
    SubRange subRange = new SubRange(0, 0);
    FwFrom from = new FwFromFragmentOffset(subRange, true);
    _currentFwTerm.getFroms().add(from);
}

Example 3 with FwFromFragmentOffset

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

the class ConfigurationBuilder method exitFftf_first_fragment.

@Override
public void exitFftf_first_fragment(Fftf_first_fragmentContext ctx) {
    SubRange subRange = new SubRange(0, 0);
    FwFrom from = new FwFromFragmentOffset(subRange, false);
    _currentFwTerm.getFroms().add(from);
}

Example 4 with FwFromFragmentOffset

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

the class ConfigurationBuilder method exitFftf_fragment_offset_except.

@Override
public void exitFftf_fragment_offset_except(Fftf_fragment_offset_exceptContext ctx) {
    SubRange subRange = toSubRange(ctx.subrange());
    FwFrom from = new FwFromFragmentOffset(subRange, true);
    _currentFwTerm.getFroms().add(from);
}