Struct ResolveContext 

pub struct ResolveContext { /* private fields */ }

Resolve Context

Implementations

impl ResolveContext

pub fn new( root: Rc<SourceFile>, search_paths: &[impl AsRef<Path>], diag: DiagHandler, ) -> ResolveResult<Self>

Create new context from source file.

Just reads the syntax and does not create any symbols nor resolves anything.

pub fn create( root: Rc<SourceFile>, search_paths: &[impl AsRef<Path>], builtin: Option<Symbol>, diag: DiagHandler, ) -> ResolveResult<Self>

Load resolve and check a source file and referenced files.

pub fn check(&mut self) -> ResolveResult<()>

check names in all symbols

pub fn symbolize_file( &mut self, visibility: Visibility, parent_path: impl AsRef<Path>, id: &Identifier, ) -> ResolveResult<Symbol>

Load file into source cache and symbolize it into a symbol.

pub fn is_checked(&self) -> bool

Create a symbol out of all sources (without resolving them) Return true if context has been resolved (or checked as well)

pub fn reload_files(&mut self, files: &[impl AsRef<Path>]) -> ResolveResult<()>

Reload one or more existing files and re-resolve the symbol table.

pub fn symbol_table(&self) -> &SymbolTable

Symbol table accessor.

Trait Implementations

impl Debug for ResolveContext

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

Formats the value using the given formatter.

impl Default for ResolveContext

fn default() -> ResolveContext

Returns the “default value” for a type.

impl Diag for ResolveContext

fn fmt_diagnosis(&self, f: &mut dyn Write) -> Result

Pretty print all errors.

fn warning_count(&self) -> u32

Return number of occurred warnings.

fn error_count(&self) -> u32

Return number of occurred errors.

fn error_lines(&self) -> HashSet<usize>

Return all lines with errors

fn warning_lines(&self) -> HashSet<usize>

Return all lines with warnings

fn write_diagnosis(&self, w: &mut dyn Write) -> Result<()>

Pretty write all errors into a file.

fn diagnosis(&self) -> String

Get pretty printed errors as string.

fn has_warnings(&self) -> bool

Returns true if there are warnings.

fn has_errors(&self) -> bool

Returns true if there are errors.

impl Display for ResolveContext

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

Formats the value using the given formatter.

impl GetSourceByHash for ResolveContext

fn get_by_hash(&self, hash: u64) -> ResolveResult<Rc<SourceFile>>

Find a project file by it’s hash value.

impl PushDiag for ResolveContext

fn push_diag(&mut self, diag: Diagnostic) -> DiagResult<()>

Push a diagnostic message (must be implemented).

fn trace(&mut self, src: &impl SrcReferrer, message: String)

Push new trace message.

fn info(&mut self, src: &impl SrcReferrer, message: String)

Push new informative message.

fn warning( &mut self, src: &impl SrcReferrer, err: impl Error + 'static, ) -> DiagResult<()>

Push new warning.

fn error( &mut self, src: &impl SrcReferrer, err: impl Error + 'static, ) -> DiagResult<()>

Push new error.

impl WriteToFile for ResolveContext

fn write_to_file(&self, filename: &impl AsRef<Path>) -> Result<()>

Write something to a file.