Struct SealedInterface 

pub struct SealedInterface {
    pub name: String,
    pub permits: Vec<String>,
    pub methods: Vec<JavaMethod>,
    pub annotations: Vec<String>,
    pub extends: Vec<String>,
}

A sealed interface declaration (Java 17+).

public sealed interface Expr permits Lit, Add, Mul {}

Fields

name: String

permits: Vec<String>

Permitted subclasses/records

methods: Vec<JavaMethod>

Methods defined in the interface (default or abstract)

annotations: Vec<String>

Annotations

extends: Vec<String>

Extended interfaces

Implementations

impl SealedInterface

pub fn new(name: &str, permits: Vec<&str>) -> Self

Create a simple sealed interface.

Trait Implementations

impl Clone for SealedInterface

fn clone(&self) -> SealedInterface

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SealedInterface

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

Formats the value using the given formatter.