Struct SemanticModel

Source

pub struct SemanticModel {
    pub files: Vec<FileModel>,
    pub schemas: BTreeMap<SchemaName, SchemaModel>,
    pub catalog: Option<CatalogSnapshot>,
    pub privileges: PrivilegeModel,
    pub diagnostics: Vec<Diagnostic>,
}

Expand description

Top-level container produced by Layer 2 semantic analysis.

One SemanticModel summarizes a complete analysis run over a project: every file’s top-level declarations and statements, every schema’s objects and synonyms, an optional catalog snapshot, the privilege model, and any diagnostics raised while constructing the IR. Layer 2.5 orchestration (plsql-engine) embeds this inside AnalysisRun, and every product surface consumes it from there.

Spec: plan.md §9.2.1.

Fields§

§files: Vec<FileModel>§schemas: BTreeMap<SchemaName, SchemaModel>§catalog: Option<CatalogSnapshot>§privileges: PrivilegeModel§diagnostics: Vec<Diagnostic>

Struct SemanticModel Copy item path

Fields§

Implementations§

impl SemanticModel

pub fn new() -> Self

pub fn file(&self, file_id: FileId) -> Option<&FileModel>

pub fn schema(&self, name: SchemaName) -> Option<&SchemaModel>

Trait Implementations§

impl Clone for SemanticModel

fn clone(&self) -> SemanticModel

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

impl Debug for SemanticModel

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

impl Default for SemanticModel

fn default() -> SemanticModel

impl<'de> Deserialize<'de> for SemanticModel

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

impl PartialEq for SemanticModel

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

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

impl Serialize for SemanticModel

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

impl StructuralPartialEq for SemanticModel

Auto Trait Implementations§

impl Freeze for SemanticModel

impl RefUnwindSafe for SemanticModel

impl Send for SemanticModel

impl Sync for SemanticModel

impl Unpin for SemanticModel

impl UnsafeUnpin for SemanticModel

impl UnwindSafe for SemanticModel

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DTwhere ST: ?Sized, DT: ?Sized,

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DTwhere ST: ?Sized, DT: ?Sized,

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T> DeserializeOwned for Twhere T: for<'de> Deserialize<'de>,

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

impl<T> Instrument for T

fn instrument(self, _span: NoopSpan) -> Self

fn in_current_span(self) -> Self

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

impl<T> JsonExportable for Twhere T: Serialize + DeserializeOwned,

fn to_json_value(&self) -> Result<Value, Error>

fn from_json_value(value: Value) -> Result<Self, Error>where Self: Sized,

impl<D> OwoColorize for D

fn fg<C>(&self) -> FgColorDisplay<'_, C, Self>where C: Color,

fn bg<C>(&self) -> BgColorDisplay<'_, C, Self>where C: Color,

fn black(&self) -> FgColorDisplay<'_, Black, Self>

fn on_black(&self) -> BgColorDisplay<'_, Black, Self>

fn red(&self) -> FgColorDisplay<'_, Red, Self>

fn on_red(&self) -> BgColorDisplay<'_, Red, Self>

fn green(&self) -> FgColorDisplay<'_, Green, Self>

fn on_green(&self) -> BgColorDisplay<'_, Green, Self>

fn yellow(&self) -> FgColorDisplay<'_, Yellow, Self>

fn on_yellow(&self) -> BgColorDisplay<'_, Yellow, Self>

fn blue(&self) -> FgColorDisplay<'_, Blue, Self>

fn on_blue(&self) -> BgColorDisplay<'_, Blue, Self>

fn magenta(&self) -> FgColorDisplay<'_, Magenta, Self>

fn on_magenta(&self) -> BgColorDisplay<'_, Magenta, Self>

fn purple(&self) -> FgColorDisplay<'_, Magenta, Self>

fn on_purple(&self) -> BgColorDisplay<'_, Magenta, Self>

fn cyan(&self) -> FgColorDisplay<'_, Cyan, Self>

fn on_cyan(&self) -> BgColorDisplay<'_, Cyan, Self>

fn white(&self) -> FgColorDisplay<'_, White, Self>

fn on_white(&self) -> BgColorDisplay<'_, White, Self>

Struct SemanticModel

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
where __D: Deserializer<'de>,

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
where S: Serializer,

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

impl<T> JsonExportable for T
where T: Serialize + DeserializeOwned,

fn from_json_value(value: Value) -> Result<Self, Error>
where Self: Sized,

fn fg<C>(&self) -> FgColorDisplay<'_, C, Self>
where C: Color,

fn bg<C>(&self) -> BgColorDisplay<'_, C, Self>
where C: Color,

fn color<Color>(&self, color: Color) -> FgDynColorDisplay<'_, Color, Self>
where Color: DynColor,

fn on_color<Color>(&self, color: Color) -> BgDynColorDisplay<'_, Color, Self>
where Color: DynColor,

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,