Crate route_verification_ir

The intermediate representation (Ir) for the Routing Policy Specification Language (RPSL).

Modules

• address_prefix
• aut_num
• aut_sys
• filter
• intermediate_repr
• mp_import
• peering
• router_expr
• set

Structs

• AddrPfxRange
  An address prefix IpNet followed by an optional range operator RangeOperator.
• AsSet
  https://www.rfc-editor.org/rfc/rfc2622#section-5.1
• AutNum
• Call
• Casts
• Counts
• Entry
• FilterSet
• Ir
  Parsed RPSL intermediate representation.
• Peering

  The syntax of a peering specification is: [] [at ] | where is an expression over AS numbers and AS sets using operators AND, OR, and EXCEPT, and and are expressions over router IP addresses, inet-rtr names, and rtr-set names using operators AND, OR, and EXCEPT. The binary “EXCEPT” operator is the set subtraction operator and has the same precedence as the operator AND (it is semantically equivalent to “AND NOT” combination). That is “(AS1 OR AS2) EXCEPT AS2” equals “AS1”.This form identifies all the peerings between any local router in to any of their peer routers in in the ASes in . If is not specified, it defaults to all routers of the local AS that peer with ASes in . If is not specified, it defaults to all routers of the peer ASes in that peer with the local AS.

• PeeringAction
• PeeringSet
• RouteSet

  The attributes of the route-set class are shown in Figure 12. The route-set attribute defines the name of the set. It is an RPSL name that starts with “rs-”. The members attribute lists the members of the set. The members attribute is a list of address prefixes or other route-set names. Note that, the route-set class is a set of route prefixes, not of RPSL route objects.

• Versions

Enums

• Action
• AsExpr
• AsName
• Filter

  The filter attribute defines the set’s policy filter. A policy filter is a logical expression which when applied to a set of routes returns a subset of these routes. We say that the policy filter matches the subset returned. The policy filter can match routes using any BGP path attribute, such as the destination address prefix (or NLRI), AS-path, or community attributes.

• RangeOperator
• RouteSetMember
• RouterExpr
  Expressions over router IP addresses, inet-rtr names, and rtr-set names using operators AND, OR, and EXCEPT. https://www.rfc-editor.org/rfc/rfc2622#page-25

Functions

• is_any
• is_as_set
• is_filter_set
• is_peering_set
• is_pseudo_set
• is_route_set_name
• match_ips
  ips must be sorted. Starting from the index of the closest element in ips, search right and left for address prefix that, combined with range_operator, contains ip. Stop searching either end when the index do not point to ip’s siblings.
• merge_irs
  Merge irs into a single Ir in parallel, with no ordering guarantee.
• parse_as_name
  A simple AS field is either a AS number or a AS set. Otherwise, return AsExpr::Invalid.
• parse_aut_num_name
• parse_simple_router_expr
• parse_single_as_expr

Type Aliases

• Actions