Struct FilterImpl

Help

pub struct FilterImpl<'a, CC>(pub &'a mut CC);

Expand description

The “production” implementation of packet filtering.

Provides an implementation of FilterHandler for any CC that implements FilterIpContext.

Tuple Fields§

§0: &'a mut CC

Trait Implementations§

Source §

impl<CC: DeviceIdContext<AnyDevice>> DeviceIdContext<AnyDevice> for FilterImpl<'_, CC>

Source §

type DeviceId = <CC as DeviceIdContext<AnyDevice>>::DeviceId

The type of device IDs.

Source §

type WeakDeviceId = <CC as DeviceIdContext<AnyDevice>>::WeakDeviceId

The type of weakly referenced device IDs.

Source §

impl<I, BC, CC> FilterHandler<I, BC> for FilterImpl<'_, CC>
where I: IpExt, BC: FilterBindingsContext, CC: FilterIpContext<I, BC>,

Source §

fn ingress_hook<P, M>( &mut self, bindings_ctx: &mut BC, packet: &mut P, interface: &Self::DeviceId, metadata: &mut M, ) -> IngressVerdict
where P: IpPacket, M: FilterIpMetadata<I, Self::WeakAddressId, BC>,

The ingress hook intercepts incoming traffic before a routing decision has been made.

Source §

fn local_ingress_hook<P, M>( &mut self, bindings_ctx: &mut BC, packet: &mut P, interface: &Self::DeviceId, metadata: &mut M, ) -> Verdict
where P: IpPacket, M: FilterIpMetadata<I, Self::WeakAddressId, BC>,

The local ingress hook intercepts incoming traffic that is destined for the local host.

Source §

fn forwarding_hook<P, M>( &mut self, packet: &mut P, in_interface: &Self::DeviceId, out_interface: &Self::DeviceId, metadata: &mut M, ) -> Verdict
where P: IpPacket, M: FilterIpMetadata<I, Self::WeakAddressId, BC>,

The forwarding hook intercepts incoming traffic that is destined for another host.

Source §

fn local_egress_hook<P, M>( &mut self, bindings_ctx: &mut BC, packet: &mut P, interface: &Self::DeviceId, metadata: &mut M, ) -> Verdict
where P: IpPacket, M: FilterIpMetadata<I, Self::WeakAddressId, BC>,

The local egress hook intercepts locally-generated traffic before a routing decision has been made.

Source §

fn egress_hook<P, M>( &mut self, bindings_ctx: &mut BC, packet: &mut P, interface: &Self::DeviceId, metadata: &mut M, ) -> (Verdict, ProofOfEgressCheck)
where P: IpPacket, M: FilterIpMetadata<I, Self::WeakAddressId, BC>,

The egress hook intercepts all outgoing traffic after a routing decision has been made.

Source §

impl<I, CC> IpDeviceAddressIdContext for FilterImpl<'_, CC>
where I: IpExt, CC: IpDeviceAddressIdContext,

Source §

type AddressId = <CC as IpDeviceAddressIdContext>::AddressId

The strong address identifier.

Source §

type WeakAddressId = <CC as IpDeviceAddressIdContext>::WeakAddressId

The weak address identifier.

Auto Trait Implementations§

§

impl<'a, CC> !UnwindSafe for FilterImpl<'a, CC>

Blanket Implementations§

Source §

impl<T> Any for T
where T: 'static + ?Sized,

Source §

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

Source §

impl<T> Borrow<T> for T
where T: ?Sized,

Source §

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

Source §

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source §

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

§

impl<T, D> Encode<Ambiguous1, D> for T
where D: ResourceDialect,

§

unsafe fn encode( self, _encoder: &mut Encoder<'_, D>, _offset: usize, _depth: Depth, ) -> Result<(), Error>

Encodes the object into the encoder’s buffers. Any handles stored in the object are swapped for Handle::INVALID. Read more

§

impl<T, D> Encode<Ambiguous2, D> for T
where D: ResourceDialect,

§

unsafe fn encode( self, _encoder: &mut Encoder<'_, D>, _offset: usize, _depth: Depth, ) -> Result<(), Error>

Encodes the object into the encoder’s buffers. Any handles stored in the object are swapped for Handle::INVALID. Read more

Source §

impl<T> From<T> for T

Source §

fn from(t: T) -> T

Returns the argument unchanged.

Source §

impl<T, U> Into for T
where U: From<T>,

Source §

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source §

impl<T> IntoEither for T

Source §

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

Source §

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

§

impl<T> Pointable for T

§

const ALIGN: usize

The alignment of pointer.

§

type Init = T

The type for initializers.

§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more

§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more

§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more

§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more

Source §

impl<CC, BC, Meta> RecvFrameContext<Meta, BC> for CC
where Meta: ReceivableFrameMeta<CC, BC>,

Source §

fn receive_frame(&mut self, bindings_ctx: &mut BC, metadata: Meta, frame: B)
where B: BufferMut + Debug,

Receive a frame. Read more

Source §

impl<CC, BC, Meta> SendFrameContext<BC, Meta> for CC
where Meta: SendableFrameMeta<CC, BC>,

Source §

fn send_frame<S>( &mut self, bindings_ctx: &mut BC, metadata: Meta, frame: S, ) -> Result<(), ErrorAndSerializer<SendFrameErrorReason, S>>
where S: Serializer, <S as Serializer>::Buffer: BufferMut,

Send a frame. Read more

Source §

impl<Id, CC, BC> TimerHandler<BC, Id> for CC
where BC: TimerBindingsTypes, Id: HandleableTimer<CC, BC>,

Source §

fn handle_timer( &mut self, bindings_ctx: &mut BC, dispatch: Id, timer: <BC as TimerBindingsTypes>::UniqueTimerId, )

Handle a timer firing. Read more

Source §

impl<T, U> TryFrom for T
where U: Into<T>,

Source §

type Error = Infallible

The type returned in the event of a conversion error.

Source §

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

Source §

impl<T, U> TryInto for T
where U: TryFrom<T>,

Source §

type Error = >::Error

The type returned in the event of a conversion error.

Source §

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

§

impl<L, T> UnlockedAccess<L> for T
where L: UnlockedAccessMarkerFor<T>,

§

type Data = <L as UnlockedAccessMarkerFor<T>>::Data

The type of state being accessed.

§

type Guard<'l> = &'l <L as UnlockedAccessMarkerFor<T>>::Data where T: 'l

A guard providing read access to the data.

§

fn access(&self) -> <T as UnlockedAccess<L>>::Guard<'_>

How to access the state.

§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

§

fn vzip(self) -> V

Source §

impl<CC, D> DeviceIdAnyCompatContext<D> for CC
where D: Device, CC: DeviceIdContext<D> + DeviceIdContext<AnyDevice>, <CC as DeviceIdContext<AnyDevice>>::DeviceId: From<<CC as DeviceIdContext<D>>::DeviceId>, <CC as DeviceIdContext<AnyDevice>>::WeakDeviceId: From<<CC as DeviceIdContext<D>>::WeakDeviceId>,

§

Struct FilterImplCopy item path

Tuple Fields§

Trait Implementations§

impl<CC: DeviceIdContext<AnyDevice>> DeviceIdContext<AnyDevice> for FilterImpl<'_, CC>

type DeviceId = <CC as DeviceIdContext<AnyDevice>>::DeviceId

type WeakDeviceId = <CC as DeviceIdContext<AnyDevice>>::WeakDeviceId

impl<I, BC, CC> FilterHandler<I, BC> for FilterImpl<'_, CC>where I: IpExt, BC: FilterBindingsContext, CC: FilterIpContext<I, BC>,

fn ingress_hook<P, M>( &mut self, bindings_ctx: &mut BC, packet: &mut P, interface: &Self::DeviceId, metadata: &mut M, ) -> IngressVerdict<I>where P: IpPacket<I>, M: FilterIpMetadata<I, Self::WeakAddressId, BC>,

fn local_ingress_hook<P, M>( &mut self, bindings_ctx: &mut BC, packet: &mut P, interface: &Self::DeviceId, metadata: &mut M, ) -> Verdictwhere P: IpPacket<I>, M: FilterIpMetadata<I, Self::WeakAddressId, BC>,

fn forwarding_hook<P, M>( &mut self, packet: &mut P, in_interface: &Self::DeviceId, out_interface: &Self::DeviceId, metadata: &mut M, ) -> Verdictwhere P: IpPacket<I>, M: FilterIpMetadata<I, Self::WeakAddressId, BC>,

fn local_egress_hook<P, M>( &mut self, bindings_ctx: &mut BC, packet: &mut P, interface: &Self::DeviceId, metadata: &mut M, ) -> Verdictwhere P: IpPacket<I>, M: FilterIpMetadata<I, Self::WeakAddressId, BC>,

fn egress_hook<P, M>( &mut self, bindings_ctx: &mut BC, packet: &mut P, interface: &Self::DeviceId, metadata: &mut M, ) -> (Verdict, ProofOfEgressCheck)where P: IpPacket<I>, M: FilterIpMetadata<I, Self::WeakAddressId, BC>,

impl<I, CC> IpDeviceAddressIdContext<I> for FilterImpl<'_, CC>where I: IpExt, CC: IpDeviceAddressIdContext<I>,

type AddressId = <CC as IpDeviceAddressIdContext<I>>::AddressId

type WeakAddressId = <CC as IpDeviceAddressIdContext<I>>::WeakAddressId

Auto Trait Implementations§

impl<'a, CC> Freeze for FilterImpl<'a, CC>

impl<'a, CC> RefUnwindSafe for FilterImpl<'a, CC>where CC: RefUnwindSafe,

impl<'a, CC> Send for FilterImpl<'a, CC>where CC: Send,

impl<'a, CC> Sync for FilterImpl<'a, CC>where CC: Sync,

impl<'a, CC> Unpin for FilterImpl<'a, CC>

impl<'a, CC> !UnwindSafe for FilterImpl<'a, CC>

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T, D> Encode<Ambiguous1, D> for Twhere D: ResourceDialect,

unsafe fn encode( self, _encoder: &mut Encoder<'_, D>, _offset: usize, _depth: Depth, ) -> Result<(), Error>

impl<T, D> Encode<Ambiguous2, D> for Twhere D: ResourceDialect,

unsafe fn encode( self, _encoder: &mut Encoder<'_, D>, _offset: usize, _depth: Depth, ) -> Result<(), Error>

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

impl<T> Pointable for T

const ALIGN: usize

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<CC, BC, Meta> RecvFrameContext<Meta, BC> for CCwhere Meta: ReceivableFrameMeta<CC, BC>,

fn receive_frame<B>(&mut self, bindings_ctx: &mut BC, metadata: Meta, frame: B)where B: BufferMut + Debug,

impl<CC, BC, Meta> SendFrameContext<BC, Meta> for CCwhere Meta: SendableFrameMeta<CC, BC>,

fn send_frame<S>( &mut self, bindings_ctx: &mut BC, metadata: Meta, frame: S, ) -> Result<(), ErrorAndSerializer<SendFrameErrorReason, S>>where S: Serializer, <S as Serializer>::Buffer: BufferMut,

impl<Id, CC, BC> TimerHandler<BC, Id> for CCwhere BC: TimerBindingsTypes, Id: HandleableTimer<CC, BC>,

fn handle_timer( &mut self, bindings_ctx: &mut BC, dispatch: Id, timer: <BC as TimerBindingsTypes>::UniqueTimerId, )

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<L, T> UnlockedAccess<L> for Twhere L: UnlockedAccessMarkerFor<T>,

type Data = <L as UnlockedAccessMarkerFor<T>>::Data

type Guard<'l> = &'l <L as UnlockedAccessMarkerFor<T>>::Data where T: 'l

fn access(&self) -> <T as UnlockedAccess<L>>::Guard<'_>

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

fn vzip(self) -> V

impl<B, A> LockBefore<B> for Awhere B: LockAfter<A>,

Struct FilterImpl

impl<I, BC, CC> FilterHandler<I, BC> for FilterImpl<'_, CC>
where I: IpExt, BC: FilterBindingsContext, CC: FilterIpContext<I, BC>,

fn ingress_hook<P, M>( &mut self, bindings_ctx: &mut BC, packet: &mut P, interface: &Self::DeviceId, metadata: &mut M, ) -> IngressVerdict<I>
where P: IpPacket<I>, M: FilterIpMetadata<I, Self::WeakAddressId, BC>,

fn local_ingress_hook<P, M>( &mut self, bindings_ctx: &mut BC, packet: &mut P, interface: &Self::DeviceId, metadata: &mut M, ) -> Verdict
where P: IpPacket<I>, M: FilterIpMetadata<I, Self::WeakAddressId, BC>,

fn forwarding_hook<P, M>( &mut self, packet: &mut P, in_interface: &Self::DeviceId, out_interface: &Self::DeviceId, metadata: &mut M, ) -> Verdict
where P: IpPacket<I>, M: FilterIpMetadata<I, Self::WeakAddressId, BC>,

fn local_egress_hook<P, M>( &mut self, bindings_ctx: &mut BC, packet: &mut P, interface: &Self::DeviceId, metadata: &mut M, ) -> Verdict
where P: IpPacket<I>, M: FilterIpMetadata<I, Self::WeakAddressId, BC>,

fn egress_hook<P, M>( &mut self, bindings_ctx: &mut BC, packet: &mut P, interface: &Self::DeviceId, metadata: &mut M, ) -> (Verdict, ProofOfEgressCheck)
where P: IpPacket<I>, M: FilterIpMetadata<I, Self::WeakAddressId, BC>,

impl<I, CC> IpDeviceAddressIdContext<I> for FilterImpl<'_, CC>
where I: IpExt, CC: IpDeviceAddressIdContext<I>,

impl<'a, CC> RefUnwindSafe for FilterImpl<'a, CC>
where CC: RefUnwindSafe,

impl<'a, CC> Send for FilterImpl<'a, CC>
where CC: Send,

impl<'a, CC> Sync for FilterImpl<'a, CC>
where CC: Sync,

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T, D> Encode<Ambiguous1, D> for T
where D: ResourceDialect,

impl<T, D> Encode<Ambiguous2, D> for T
where D: ResourceDialect,

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

impl<CC, BC, Meta> RecvFrameContext<Meta, BC> for CC
where Meta: ReceivableFrameMeta<CC, BC>,

fn receive_frame<B>(&mut self, bindings_ctx: &mut BC, metadata: Meta, frame: B)
where B: BufferMut + Debug,

impl<CC, BC, Meta> SendFrameContext<BC, Meta> for CC
where Meta: SendableFrameMeta<CC, BC>,

fn send_frame<S>( &mut self, bindings_ctx: &mut BC, metadata: Meta, frame: S, ) -> Result<(), ErrorAndSerializer<SendFrameErrorReason, S>>
where S: Serializer, <S as Serializer>::Buffer: BufferMut,

impl<Id, CC, BC> TimerHandler<BC, Id> for CC
where BC: TimerBindingsTypes, Id: HandleableTimer<CC, BC>,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

impl<L, T> UnlockedAccess<L> for T
where L: UnlockedAccessMarkerFor<T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

impl<B, A> LockBefore<B> for A
where B: LockAfter<A>,