Examples with IntComparator org.batfish.datamodel.routing_policy.expr.IntComparator used on opensource projects

Example 1 with IntComparator

use of org.batfish.datamodel.routing_policy.expr.IntComparator in project batfish by batfish.

the class CiscoControlPlaneExtractor method toRoutePolicyBoolean.

private RoutePolicyBoolean toRoutePolicyBoolean(Boolean_med_rp_stanzaContext ctx) {
    IntComparator cmp = toIntComparator(ctx.int_comp());
    IntExpr rhs = toCommonIntExpr(ctx.rhs);
    return new RoutePolicyBooleanMed(cmp, rhs);
}

Example 2 with IntComparator

use of org.batfish.datamodel.routing_policy.expr.IntComparator in project batfish by batfish.

the class CiscoControlPlaneExtractor method toRoutePolicyBoolean.

private RoutePolicyBoolean toRoutePolicyBoolean(Boolean_tag_is_rp_stanzaContext ctx) {
    IntComparator cmp = toIntComparator(ctx.int_comp());
    IntExpr rhs = toTagIntExpr(ctx.int_expr());
    return new RoutePolicyBooleanTagIs(cmp, rhs);
}

Example 3 with IntComparator

use of org.batfish.datamodel.routing_policy.expr.IntComparator in project batfish by batfish.

the class CiscoControlPlaneExtractor method toRoutePolicyBoolean.

private RoutePolicyBoolean toRoutePolicyBoolean(Boolean_local_preference_rp_stanzaContext ctx) {
    IntComparator cmp = toIntComparator(ctx.int_comp());
    IntExpr rhs = toCommonIntExpr(ctx.rhs);
    return new RoutePolicyBooleanLocalPreference(cmp, rhs);
}