Struct TestExpectations 

pub struct TestExpectations {
    source_file: SourceFile,
    bless: Bless,
    expected_diagnostics: Vec<ExpectedDiagnostic>,
    fn_asts: bool,
    codegen: bool,
    fixme: bool,
    fixme_ice: bool,
    probes: Vec<Probe>,
    spec_refs: Vec<String>,
}

Fields

source_file: SourceFile

bless: Bless

expected_diagnostics: Vec<ExpectedDiagnostic>

fn_asts: bool

codegen: bool

fixme: bool

fixme_ice: bool

probes: Vec<Probe>

spec_refs: Vec<String>

Implementations

impl TestExpectations

pub fn new(db: &dyn Db, source_file: SourceFile) -> Fallible<Self>

fn initialize(&mut self, db: &dyn Db) -> Fallible<()>

fn configuration( &mut self, db: &dyn Db, line_index: usize, line: &str, ) -> Fallible<()>

pub fn fn_asts(&self) -> bool

pub fn codegen(&self) -> bool

pub fn fixme(&self) -> bool

pub fn fixme_ice(&self) -> bool

pub fn spec_refs(&self) -> &[String]

pub fn compare( self, compiler: &mut Compiler, ) -> Fallible<(Option<FailedTest>, bool)>

fn perform_probes(&self, compiler: &Compiler) -> Vec<Failure>

fn generate_fn_asts(&self, compiler: &mut Compiler) -> String

fn compare_auxiliary( &self, compiler: &mut Compiler, ext: &str, enabled: bool, generate_fn: impl Fn(&Self, &mut Compiler) -> String, ) -> Fallible<Vec<Failure>>

fn remove_stale_file(&self, path: &Path) -> Fallible<()>

fn write_file(&self, path: &Path, contents: &str) -> Fallible<()>

fn compare_diagnostics( self, actual_diagnostics: Vec<&Diagnostic>, ) -> Vec<Failure>

fn find_match( &self, actual_diagnostic: &Diagnostic, matched: &[bool], ) -> Option<usize>

pub fn source_path(&self, db: &dyn Db) -> PathBuf

fn ref_path(&self, db: &dyn Db, ext: &str) -> PathBuf

fn txt_path(&self, db: &dyn Db, ext: &str) -> PathBuf

fn diff_lines(&self, expected: &str, actual: &str) -> String

fn validate_spec_refs(&self) -> Vec<Failure>

Validates all spec references in this test file