pub fn parse_with_features<'a>(
config: impl Into<FrontendConfig<'a>>,
) -> Result<FeatureSelector, RtLolaError>Expand description
Attempts to parse a textual specification into an RtLolaHir. Returns an FeatureSelector allowing to check for language features that are not supported by the backend.
The specification is wrapped into a ParserConfig and can either be a string or a path to a specification file.
ยงFail
Fails if either the parsing was unsuccessful due to parsing errors such as incorrect syntax or an analysis failed due to a semantic error such as inconsistent types or unknown identifiers.