Struct Diagnostic 

pub struct Diagnostic {
    pub inner: Box<DiagnosticsInner>,
}

The Diagnostics struct describes an issue encountered during compile time. The issue is defined by an error_code and had a defined severity Diagnostic severity can be overridden when being reported.

Fields

inner: Box<DiagnosticsInner>

Implementations

impl Diagnostic

Builder for Diagnostics

pub fn new(message: impl Into<String>) -> Self

pub fn with_location<T>(self, location: T) -> Self

where T: Into<SourceLocation>,

pub fn with_secondary_location<T>(self, location: T) -> Self

where T: Into<SourceLocation>,

pub fn with_secondary_locations(self, locations: Vec<SourceLocation>) -> Self

pub fn with_error_code(self, code: &'static str) -> Self

pub fn with_sub_diagnostic(self, diagnostic: Diagnostic) -> Self

pub fn with_sub_diagnostics(self, diagnostics: Vec<Diagnostic>) -> Self

pub fn with_internal_error(self, error: Error) -> Self

pub fn from_serde_error(error: Error, source: &SourceCode) -> Self

impl Diagnostic

pub fn get_message(&self) -> &str

pub fn get_location(&self) -> SourceLocation

pub fn get_secondary_locations(&self) -> Option<&[SourceLocation]>

pub fn get_error_code(&self) -> &'static str

pub fn get_sub_diagnostics(&self) -> Vec<&Diagnostic>

impl Diagnostic

pub fn unexpected_token_found<T>( expected: &str, found: &str, location: T, ) -> Diagnostic

where T: Into<SourceLocation>,

pub fn missing_function<T>(location: T) -> Diagnostic

where T: Into<SourceLocation>,

pub fn codegen_error<T, U>(message: T, location: U) -> Diagnostic

where T: Into<String>, U: Into<SourceLocation>,

pub fn llvm_error(file: &str, llvm_error: &str) -> Diagnostic

pub fn missing_token<T>(expected_token: &str, location: T) -> Diagnostic

where T: Into<SourceLocation>,

pub fn invalid_argument_count<T>( expected: usize, actual: usize, location: T, ) -> Diagnostic

where T: Into<SourceLocation>,

pub fn unknown_type<T>(type_name: &str, location: T) -> Diagnostic

where T: Into<SourceLocation>,

pub fn unresolved_reference<T>(reference: &str, location: T) -> Diagnostic

where T: Into<SourceLocation>,

pub fn invalid_assignment<T>( right_type: &str, left_type: &str, location: T, ) -> Diagnostic

where T: Into<SourceLocation>,

pub fn invalid_polymorphic_assignment<T>( right_type: &str, left_type: &str, location: T, ) -> Diagnostic

where T: Into<SourceLocation>,

pub fn invalid_interface_pou_assignment<T>( pou_name: &str, interface_name: &str, location: T, ) -> Diagnostic

where T: Into<SourceLocation>,

pub fn invalid_interface_assignment<T>( source_iface: &str, target_iface: &str, location: T, ) -> Diagnostic

where T: Into<SourceLocation>,

pub fn invalid_direct_interface_call<T>(location: T) -> Diagnostic

where T: Into<SourceLocation>,

pub fn cannot_generate_initializer<T>( variable_name: &str, location: T, ) -> Diagnostic

where T: Into<SourceLocation>,

pub fn cannot_generate_call_statement(operator: &AstNode) -> Diagnostic

pub fn cannot_generate_from_empty_literal<T>( type_name: &str, location: T, ) -> Diagnostic

where T: Into<SourceLocation>,

pub fn const_pragma_is_not_allowed<T>(location: T) -> Diagnostic

where T: Into<SourceLocation>,

impl Diagnostic

pub fn unnamed_control<T>(location: T) -> Diagnostic

where T: Into<SourceLocation>,

pub fn unsupported_cfc_expression<T>( expression: &str, location: T, ) -> Diagnostic

where T: Into<SourceLocation>,

pub fn unconnected_element<T>(name: &str, location: T) -> Diagnostic

where T: Into<SourceLocation>,

pub fn disconnected_return<T>(location: T) -> Diagnostic

where T: Into<SourceLocation>,

pub fn duplicate_connector<T>(label: &str, location: T) -> Diagnostic

where T: Into<SourceLocation>,

pub fn dangling_continuation<T>(label: &str, location: T) -> Diagnostic

where T: Into<SourceLocation>,

pub fn open_connector<T>(label: &str, location: T) -> Diagnostic

where T: Into<SourceLocation>,

pub fn undefined_jump_target<T>(label: &str, location: T) -> Diagnostic

where T: Into<SourceLocation>,

pub fn unused_label<T>(label: &str, location: T) -> Diagnostic

where T: Into<SourceLocation>,

pub fn duplicate_label<T>(label: &str, location: T) -> Diagnostic

where T: Into<SourceLocation>,

pub fn unknown_block_type<T>(name: &str, location: T) -> Diagnostic

where T: Into<SourceLocation>,

pub fn undeclared_block_output<T>( output: &str, name: &str, location: T, ) -> Diagnostic

where T: Into<SourceLocation>,

pub fn unconnected_en<T>(name: &str, location: T) -> Diagnostic

where T: Into<SourceLocation>,

pub fn eno_cycle<T>(name: &str, location: T) -> Diagnostic

where T: Into<SourceLocation>,

pub fn negated_reference_assignment<T>(name: &str, location: T) -> Diagnostic

where T: Into<SourceLocation>,

pub fn duplicate_return_pin<T>(name: &str, location: T) -> Diagnostic

where T: Into<SourceLocation>,

pub fn disconnected_jump<T>(location: T) -> Diagnostic

where T: Into<SourceLocation>,

pub fn unresolved_generic_output<T>(block: &str, location: T) -> Diagnostic

where T: Into<SourceLocation>,

Trait Implementations

impl Debug for Diagnostic

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

Formats the value using the given formatter.

impl Deref for Diagnostic

type Target = DiagnosticsInner

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl DerefMut for Diagnostic

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.

impl Display for Diagnostic

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

Formats the value using the given formatter.

impl Error for Diagnostic

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl From<Error> for Diagnostic

fn from(value: Error) -> Self

Converts to this type from the input type.

impl PartialEq for Diagnostic

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for Diagnostic