Enum Expression 

pub enum Expression {
    Const(ConstantValue),
    Call {
        method: MethodRef,
        this: Option<Operand>,
        args: Vec<Operand>,
    },
    Closure {
        name: String,
        captures: Vec<Operand>,
        bootstrap_method_index: u16,
        closure_descriptor: MethodDescriptor,
    },
    Math(MathOperation),
    Field(FieldAccess),
    Array(ArrayOperation),
    Conversion(Conversion),
    Throw(Operand),
    Synchronization(LockOperation),
    New(ClassRef),
    Subroutine {
        return_address: ProgramCounter,
        target: ProgramCounter,
    },
}

Available on crate feature unstable-moka-ir only.

Represents an expression in the Moka IR. It may or may not generate a value.

Variants

Const(ConstantValue)

A constant value.

Call

A function call Corresponds to the following JVM instructions:

• invokestatic
• invokevirtual
• invokespecial
• invokeinterface

Fields

method: MethodRef

The method being called.

this: Option<Operand>

Some argument for the this object if the method is an instance method. None if the method is static or native.

args: Vec<Operand>

A list of arguments.

Closure

A call to a bootstrap method to create a closure. Corresponds to the following JVM instructions:

• invokedynamic

Fields

name: String

The name of the closure.

captures: Vec<Operand>

The arguments captured by the closure.

bootstrap_method_index: u16

The index of the bootstrap method.

closure_descriptor: MethodDescriptor

The descriptor of the closure generation.

Math(MathOperation)

A mathematical operation.

Field(FieldAccess)

A field access.

Array(ArrayOperation)

An array operation.

Conversion(Conversion)

A type conversion.

Throw(Operand)

Throws an exception.

Synchronization(LockOperation)

An operation on a monitor.

New(ClassRef)

Creates a new object.

Subroutine

A return address.

Fields

return_address: ProgramCounter

The address to return to.

target: ProgramCounter

The address where the subroutine starts.

Implementations

impl Expression

pub fn uses(&self) -> HashSet<Identifier>

Returns the set of Identifiers used by the expression.

Trait Implementations

impl Clone for Expression

fn clone(&self) -> Expression

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Expression

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for Expression

fn fmt(&self, __derive_more_f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for Expression

impl PartialEq for Expression

fn eq(&self, other: &Expression) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Expression