Struct pliron_llvm::types::ArrayType

pub struct ArrayType { /* private fields */ }

Array type, corresponding to LLVM’s array type.

Implementations

impl ArrayType

pub fn get(ctx: &mut Context, elem: Ptr<TypeObj>, size: usize) -> TypePtr<Self>

Get or create a new array type.

pub fn get_existing( ctx: &Context, elem: Ptr<TypeObj>, size: usize ) -> Option<TypePtr<Self>>

Get, if it already exists, an array type.

pub fn elem_type(&self) -> Ptr<TypeObj>

Get array element type.

pub fn size(&self) -> usize

Get array size.

Trait Implementations

impl Debug for ArrayType

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

Formats the value using the given formatter.

impl Hash for ArrayType

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Parsable for ArrayType

type Arg = ()

Type of the argument that must be passed to the parser.

type Parsed = TypePtr<ArrayType>

The type of the parsed entity.

fn parse<'a>( state_stream: &mut StateStream<'a>, _arg: Self::Arg ) -> ParseResult<'a, Self::Parsed>

where Self: Sized,

Define a parser using existing combinators and call into on Parser::parse_stream to get the final ParseResult. Use state_stream.state as necessary.

fn parser<'a>( arg: Self::Arg ) -> Box<dyn Parser<Stream<Stream<Stream<Stream<IteratorStream<CharIterator<'a>>, SourcePosition>>>, State<'a>>, PartialState = (), Output = Self::Parsed> + 'a>

Get a parser combinator that can work on StateStream as its input.

fn parser_fn<'a>( _: &'a (), arg: Self::Arg ) -> Box<dyn Parser<Stream<Stream<Stream<Stream<IteratorStream<CharIterator<'a>>, SourcePosition>>>, State<'a>>, PartialState = (), Output = Self::Parsed> + 'a>

Same as Self::parser but takes a unit reference for use as ParserFn

impl PartialEq for ArrayType

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Printable for ArrayType

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

fn disp<'t, 'c>(&'t self, ctx: &'c Context) -> Box<dyn Display + 'c>

where 't: 'c, Self: Sized + 'c,

Get a Display’able object from the given Context and default State.

fn print<'t, 'c>( &'t self, ctx: &'c Context, state: &State ) -> Box<dyn Display + 'c>

where 't: 'c, Self: Sized + 'c,

Get a Display’able object from the given Context and State.

impl Type for ArrayType

fn hash_type(&self) -> TypeValueHash

Compute and get the hash for this instance of Self. Hash collisions can be a possibility.

fn eq_type(&self, other: &dyn Type) -> bool

Is self equal to an other Type?

fn get_type_id(&self) -> TypeId

Get a Type’s static name. This is not per instantiation of the type. It is mostly useful for printing and parsing the type. Uniquing does not use this, but instead uses std::any::TypeId.

fn get_type_id_static() -> TypeId

Same as get_type_id, but without the self reference.

fn get_self_ptr(&self, ctx: &Context) -> Ptr<Box<dyn Type>>

Get a copyable pointer to this type.

fn register_instance(t: Self, ctx: &mut Context) -> TypePtr<Self>

where Self: Sized,

Register an instance of a type in the provided Context Returns a pointer to self. If the type was already registered, a pointer to the existing object is returned.

fn get_instance(t: Self, ctx: &Context) -> Option<TypePtr<Self>>

where Self: Sized,

If an instance of t already exists, get a Ptr to it. Consumes t either way.

fn register_type_in_dialect( dialect: &mut Dialect, parser: for<'a> fn(_: &'a (), _: ()) -> Box<dyn Parser<Stream<Stream<Stream<Stream<IteratorStream<CharIterator<'a>>, SourcePosition>>>, State<'a>>, PartialState = (), Output = TypePtr<Self>> + 'a> )

where Self: Sized,

Register this Type’s TypeId in the dialect it belongs to.

impl Verify for ArrayType

fn verify(&self, _ctx: &Context) -> Result<()>

impl Eq for ArrayType

impl StructuralPartialEq for ArrayType