MCPcopy Create free account
hub / github.com/PLSysSec/wave / error_unexpected

Method error_unexpected

tools/fuzz-gen/src/specifications/preparser.rs:563–565  ·  view source on GitHub ↗
(&self)

Source from the content-addressed store, hash-verified

561 syn::Error::new(span, "`triggers` must be an array of tuples containing Rust expressions")
562 }
563 fn error_unexpected(&self) -> syn::Error {
564 syn::Error::new(self.get_error_span(), "unexpected token")
565 }
566 fn error_no_implies(&self, span: Span) -> syn::Error {
567 syn::Error::new(span, "`==>` cannot be part of Rust expression")
568 }

Callers 3

extract_assertionMethod · 0.80
extract_pledgeMethod · 0.80

Calls 1

get_error_spanMethod · 0.80

Tested by

no test coverage detected