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

Clustered by their cast types (unicast vs. multicast), a collection of rule entries.

Counts

Entry

Representation of an RPSL rule entry, consisting of one or more <mp-peering> [<actions>] and a <mp-filter>.

FilterSet

Ir

Parsed RPSL intermediate representation.

Peering

PeeringAction

Representation of <mp-peering> [<actions>] in an RPSL rule.

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

Clustered by their IP versions, a collection of rule entries.

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