Struct StructuralVisitorWithConstraintContextObj

#[repr(C)]
pub struct StructuralVisitorWithConstraintContextObj { /* private fields */ }

Opaque: parent ‘ffi.StructuralVisitor’ is opaque (no-mirror). Fields are read through the C ABI getters.

Implementations

impl StructuralVisitorWithConstraintContextObj

pub fn constraints(&self) -> Result<ConstraintContext>

Trait Implementations

impl<'a> From<&'a StructuralVisitorWithConstraintContextObj> for AnyView<'a>

fn from(value: &'a StructuralVisitorWithConstraintContextObj) -> Self

Converts to this type from the input type.

impl ObjectCore for StructuralVisitorWithConstraintContextObj

const TYPE_KEY: &'static str = "tirx.StructuralVisitorWithConstraintContext"

the type key of the object

const TYPE_DEPTH: i32 = 2i32

Depth of this type in the object inheritance tree.

fn type_index() -> i32

unsafe fn object_header_mut(this: &mut Self) -> &mut TVMFFIObject

Return the object header This function is implemented as a static function so