Method to_string

src/oomir.rs:296–318

(&self)

    pub signature: Signature,
    pub debug_variables: Vec<DebugVariable>,
    pub body: CodeBlock,
}

#[derive(Debug, Clone, PartialEq, Eq, Hash)]
pub struct Signature {
    pub params: Vec<(String, Type)>,
    pub ret: Box<Type>,
    pub is_static: bool,
}

impl Signature {
    /// Whether the first OOMIR parameter is represented by the JVM's implicit
    /// receiver slot rather than appearing in the method descriptor.
    pub fn has_implicit_jvm_receiver(&self) -> bool {
        !self.is_static
            && self
                .params
                .first()
                .is_some_and(|(_, ty)| ty.is_jvm_reference_type())
    }

    pub fn explicit_jvm_params(&self) -> &[(String, Type)] {
        if self.has_implicit_jvm_receiver() {
            &self.params[1..]
        } else {
            &self.params