// SPDX-License-Identifier: GPL-2.012//! Bitflag type generator.34/// Common helper for declaring bitflag and bitmask types.5///6/// This macro takes as input:7/// - A struct declaration representing a bitmask type8/// (e.g., `pub struct Permissions(u32)`).9/// - An enumeration declaration representing individual bit flags10/// (e.g., `pub enum Permission { ... }`).11///12/// And generates:13/// - The struct and enum types with appropriate `#[repr]` attributes.14/// - Implementations of common bitflag operators15/// ([`::core::ops::BitOr`], [`::core::ops::BitAnd`], etc.).16/// - Utility methods such as `.contains()` to check flags.17///18/// # Examples19///20/// ```21/// use kernel::impl_flags;22///23/// impl_flags!(24/// /// Represents multiple permissions.25/// #[derive(Debug, Clone, Default, Copy, PartialEq, Eq)]26/// pub struct Permissions(u32);27///28/// /// Represents a single permission.29/// #[derive(Debug, Clone, Copy, PartialEq, Eq)]30/// pub enum Permission {31/// /// Read permission.32/// Read = 1 << 0,33///34/// /// Write permission.35/// Write = 1 << 1,36///37/// /// Execute permission.38/// Execute = 1 << 2,39/// }40/// );41///42/// // Combine multiple permissions using the bitwise OR (`|`) operator.43/// let mut read_write: Permissions = Permission::Read | Permission::Write;44/// assert!(read_write.contains(Permission::Read));45/// assert!(read_write.contains(Permission::Write));46/// assert!(!read_write.contains(Permission::Execute));47/// assert!(read_write.contains_any(Permission::Read | Permission::Execute));48/// assert!(read_write.contains_all(Permission::Read | Permission::Write));49///50/// // Using the bitwise OR assignment (`|=`) operator.51/// read_write |= Permission::Execute;52/// assert!(read_write.contains(Permission::Execute));53///54/// // Masking a permission with the bitwise AND (`&`) operator.55/// let read_only: Permissions = read_write & Permission::Read;56/// assert!(read_only.contains(Permission::Read));57/// assert!(!read_only.contains(Permission::Write));58///59/// // Toggling permissions with the bitwise XOR (`^`) operator.60/// let toggled: Permissions = read_only ^ Permission::Read;61/// assert!(!toggled.contains(Permission::Read));62///63/// // Inverting permissions with the bitwise NOT (`!`) operator.64/// let negated = !read_only;65/// assert!(negated.contains(Permission::Write));66/// assert!(!negated.contains(Permission::Read));67/// ```68#[macro_export]69macro_rules! impl_flags {70(71$(#[$outer_flags:meta])*72$vis_flags:vis struct $flags:ident($ty:ty);7374$(#[$outer_flag:meta])*75$vis_flag:vis enum $flag:ident {76$(77$(#[$inner_flag:meta])*78$name:ident = $value:expr79),+ $( , )?80}81) => {82$(#[$outer_flags])*83#[repr(transparent)]84$vis_flags struct $flags($ty);8586$(#[$outer_flag])*87#[repr($ty)]88$vis_flag enum $flag {89$(90$(#[$inner_flag])*91$name = $value92),+93}9495impl ::core::convert::From<$flag> for $flags {96#[inline]97fn from(value: $flag) -> Self {98Self(value as $ty)99}100}101102impl ::core::convert::From<$flags> for $ty {103#[inline]104fn from(value: $flags) -> Self {105value.0106}107}108109impl ::core::ops::BitOr for $flags {110type Output = Self;111#[inline]112fn bitor(self, rhs: Self) -> Self::Output {113Self(self.0 | rhs.0)114}115}116117impl ::core::ops::BitOrAssign for $flags {118#[inline]119fn bitor_assign(&mut self, rhs: Self) {120*self = *self | rhs;121}122}123124impl ::core::ops::BitOr<$flag> for $flags {125type Output = Self;126#[inline]127fn bitor(self, rhs: $flag) -> Self::Output {128self | Self::from(rhs)129}130}131132impl ::core::ops::BitOrAssign<$flag> for $flags {133#[inline]134fn bitor_assign(&mut self, rhs: $flag) {135*self = *self | rhs;136}137}138139impl ::core::ops::BitAnd for $flags {140type Output = Self;141#[inline]142fn bitand(self, rhs: Self) -> Self::Output {143Self(self.0 & rhs.0)144}145}146147impl ::core::ops::BitAndAssign for $flags {148#[inline]149fn bitand_assign(&mut self, rhs: Self) {150*self = *self & rhs;151}152}153154impl ::core::ops::BitAnd<$flag> for $flags {155type Output = Self;156#[inline]157fn bitand(self, rhs: $flag) -> Self::Output {158self & Self::from(rhs)159}160}161162impl ::core::ops::BitAndAssign<$flag> for $flags {163#[inline]164fn bitand_assign(&mut self, rhs: $flag) {165*self = *self & rhs;166}167}168169impl ::core::ops::BitXor for $flags {170type Output = Self;171#[inline]172fn bitxor(self, rhs: Self) -> Self::Output {173Self((self.0 ^ rhs.0) & Self::all_bits())174}175}176177impl ::core::ops::BitXorAssign for $flags {178#[inline]179fn bitxor_assign(&mut self, rhs: Self) {180*self = *self ^ rhs;181}182}183184impl ::core::ops::BitXor<$flag> for $flags {185type Output = Self;186#[inline]187fn bitxor(self, rhs: $flag) -> Self::Output {188self ^ Self::from(rhs)189}190}191192impl ::core::ops::BitXorAssign<$flag> for $flags {193#[inline]194fn bitxor_assign(&mut self, rhs: $flag) {195*self = *self ^ rhs;196}197}198199impl ::core::ops::Not for $flags {200type Output = Self;201#[inline]202fn not(self) -> Self::Output {203Self((!self.0) & Self::all_bits())204}205}206207impl ::core::ops::BitOr for $flag {208type Output = $flags;209#[inline]210fn bitor(self, rhs: Self) -> Self::Output {211$flags(self as $ty | rhs as $ty)212}213}214215impl ::core::ops::BitAnd for $flag {216type Output = $flags;217#[inline]218fn bitand(self, rhs: Self) -> Self::Output {219$flags(self as $ty & rhs as $ty)220}221}222223impl ::core::ops::BitXor for $flag {224type Output = $flags;225#[inline]226fn bitxor(self, rhs: Self) -> Self::Output {227$flags((self as $ty ^ rhs as $ty) & $flags::all_bits())228}229}230231impl ::core::ops::Not for $flag {232type Output = $flags;233#[inline]234fn not(self) -> Self::Output {235$flags((!(self as $ty)) & $flags::all_bits())236}237}238239impl $flags {240/// Returns an empty instance where no flags are set.241#[inline]242pub const fn empty() -> Self {243Self(0)244}245246/// Returns a mask containing all valid flag bits.247#[inline]248pub const fn all_bits() -> $ty {2490 $( | $value )+250}251252/// Checks if a specific flag is set.253#[inline]254pub fn contains(self, flag: $flag) -> bool {255(self.0 & flag as $ty) == flag as $ty256}257258/// Checks if at least one of the provided flags is set.259#[inline]260pub fn contains_any(self, flags: $flags) -> bool {261(self.0 & flags.0) != 0262}263264/// Checks if all of the provided flags are set.265#[inline]266pub fn contains_all(self, flags: $flags) -> bool {267(self.0 & flags.0) == flags.0268}269}270};271}272273274