Trait kailua_check::options::Options
[−]
[src]
pub trait Options { fn set_package_path(
&mut self,
_path: Spanned<&[u8]>,
_report: &Report
) -> Result<(), Option<Stop>> { ... } fn set_package_cpath(
&mut self,
_path: Spanned<&[u8]>,
_report: &Report
) -> Result<(), Option<Stop>> { ... } fn require_chunk(
&mut self,
_path: Spanned<&[u8]>,
_report: &Report
) -> Result<Chunk, Option<Stop>> { ... } }
Options for customizing the type checker.
All of those methods return Err(None)
if the error occurred and has not been reported,
or Err(Some(Stop))
if the error occurred and the caller wants to bail out.
If the implementation has a handle to the reporter and wants to do its own reporting,
it can report and return Ok
(recovery) or Err(Some(Stop))
(error propagation).
Provided Methods
fn set_package_path(
&mut self,
_path: Spanned<&[u8]>,
_report: &Report
) -> Result<(), Option<Stop>>
&mut self,
_path: Spanned<&[u8]>,
_report: &Report
) -> Result<(), Option<Stop>>
Called when package.path
gets assigned to a string literal type.
Does nothing by default.
fn set_package_cpath(
&mut self,
_path: Spanned<&[u8]>,
_report: &Report
) -> Result<(), Option<Stop>>
&mut self,
_path: Spanned<&[u8]>,
_report: &Report
) -> Result<(), Option<Stop>>
Called when package.cpath
gets assigned to a string literal type.
Does nothing by default.
fn require_chunk(
&mut self,
_path: Spanned<&[u8]>,
_report: &Report
) -> Result<Chunk, Option<Stop>>
&mut self,
_path: Spanned<&[u8]>,
_report: &Report
) -> Result<Chunk, Option<Stop>>
Called when require
is called with a string literal type.
Errors by default; the checker will use its own error message.