pub struct PendingTypes { /* private fields */ }
Expand description

Stores information about types that are in the process of being defined.

An ISL type definition can include types that are not yet fully defined. For example, an ISL type definition might include:

  • A reference to itself. This could happen in a recursive structure like a linked list or binary tree.
  • A nested anonymous type definition. Because the SchemaSystem does not yet know the complete definition of these types, it cannot find them in the TypeStore. An instance of PendingTypes is used to track information about types that we do not have a complete definition for yet. When the SchemaSystem finishes loading these types, the type definitions in PendingTypes can be promoted the TypeStore.

Implementations

Adds all the types from PendingTypes into given TypeStore including adding all the imported types into imports of TypeStore. It also clears PendingTypes types for loading next set of types. This method is used after a schema named type/root type is loaded entirely into PendingTypes

  • type_store - The TypeStore which will be updated with the types within this PendingType
  • load_isl_import - If this argument is Some(isl_import), then we are not within an import process of schema. Based on given enum variant isl_import we will add the types to type_store. Otherwise we will add all the types from this PendingTypes to TypeStore. Returns true, if this update is not for an isl import type or it is for an isl import type but it is added to the type_store Otherwise, returns false if this update is for an isl import type and it is not yet added to the type_store.

Trait Implementations

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

Formats the value using the given formatter. Read more

Returns the “default value” for a type. Read more

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Returns the argument unchanged.

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

The resulting type after obtaining ownership.

Creates owned data from borrowed data, usually by cloning. Read more

Uses borrowed data to replace owned data, usually by cloning. Read more

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.