Struct DocumentState 

pub struct DocumentState {
    pub source: String,
    pub version: i32,
    pub line_index: LineIndex,
    pub tokens: Vec<Token>,
    pub interner: Interner,
    pub diagnostics: Vec<Diagnostic>,
    pub symbol_index: SymbolIndex,
    pub type_registry: TypeRegistry,
    pub policy_registry: PolicyRegistry,
    pub ownership_states: HashMap<String, VarState>,
}

Per-document state: source text, analysis results, and cached diagnostics.

Fields

source: String

version: i32

line_index: LineIndex

tokens: Vec<Token>

interner: Interner

diagnostics: Vec<Diagnostic>

symbol_index: SymbolIndex

type_registry: TypeRegistry

policy_registry: PolicyRegistry

ownership_states: HashMap<String, VarState>

Implementations

impl DocumentState

pub fn new(source: String, version: i32) -> Self

Create a new document state from source text.

Pass a uri to enable DiagnosticRelatedInformation on analysis errors.

pub fn with_uri(source: String, version: i32, uri: Option<&Url>) -> Self

Create a new document state with a document URI for richer diagnostics.