pub struct TypeScriptAdapter;Expand description
The JavaScript/TypeScript verifier-suite adapter (tsc / eslint).
Trait Implementations§
Source§impl Clone for TypeScriptAdapter
impl Clone for TypeScriptAdapter
Source§fn clone(&self) -> TypeScriptAdapter
fn clone(&self) -> TypeScriptAdapter
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for TypeScriptAdapter
impl Debug for TypeScriptAdapter
Source§impl Default for TypeScriptAdapter
impl Default for TypeScriptAdapter
Source§fn default() -> TypeScriptAdapter
fn default() -> TypeScriptAdapter
Returns the “default value” for a type. Read more
Source§impl LanguageAdapter for TypeScriptAdapter
impl LanguageAdapter for TypeScriptAdapter
fn language(&self) -> CodingLanguage
Source§fn diagnostic_sensor(&self) -> SensorRef
fn diagnostic_sensor(&self) -> SensorRef
The primary diagnostic sensor for this language.
Source§fn parse_diagnostics(
&self,
node_id: &str,
generation: u32,
raw: &str,
) -> Vec<ResidualEvent>
fn parse_diagnostics( &self, node_id: &str, generation: u32, raw: &str, ) -> Vec<ResidualEvent>
Parse raw diagnostic output into typed residuals.
Source§fn correction_for(
&self,
residual: &ResidualEvent,
) -> Option<CorrectionDirection>
fn correction_for( &self, residual: &ResidualEvent, ) -> Option<CorrectionDirection>
Map a residual to a correction direction, or
None when there is none.Source§fn smoke_invocations(&self, _workspace: &Path) -> Vec<SmokeInvocation>
fn smoke_invocations(&self, _workspace: &Path) -> Vec<SmokeInvocation>
Runtime smoke invocations to exercise the built artifact’s entrypoints
(PSP-8 runtime probe). Default: none — a new adapter opts in by overriding
this. The runtime executes the returned commands from
workspace.Source§fn classify_runtime(
&self,
node_id: &str,
generation: u32,
invocation: &SmokeInvocation,
exit_success: bool,
output: &str,
) -> Vec<ResidualEvent>
fn classify_runtime( &self, node_id: &str, generation: u32, invocation: &SmokeInvocation, exit_success: bool, output: &str, ) -> Vec<ResidualEvent>
Classify the output of a smoke invocation into
Runtime residuals.
Default: shared crash-marker + non-zero-exit detection.Auto Trait Implementations§
impl Freeze for TypeScriptAdapter
impl RefUnwindSafe for TypeScriptAdapter
impl Send for TypeScriptAdapter
impl Sync for TypeScriptAdapter
impl Unpin for TypeScriptAdapter
impl UnsafeUnpin for TypeScriptAdapter
impl UnwindSafe for TypeScriptAdapter
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.