initializes the parser with a TokenStream and the last span
(&self, tokens: TokenStream)
| 82 | } |
| 83 | /// initializes the parser with a TokenStream and the last span |
| 84 | fn from_token_stream_last_span(&self, tokens: TokenStream) -> Self { |
| 85 | Self { |
| 86 | tokens: tokens.into_iter().collect(), |
| 87 | last_span: None, |
| 88 | source_span: self.last_span, |
| 89 | } |
| 90 | } |
| 91 | /// Creates a single Prusti assertion from the input and returns it. |
| 92 | pub fn extract_assertion(&mut self) -> syn::Result<AssertionWithoutId> { |
| 93 | if self.tokens.is_empty() { |
no test coverage detected