withOptions method
Creates a new instance with the specified options
This method returns a new TriG decoder configured with the provided options. The original decoder instance remains unchanged.
Parameters:
optionsDecoder options to customize decoding behavior. Will be properly cast to TriGDecoderOptions if possible, else we will use the default options instead.
Returns:
- A new TriGDecoder instance with the specified options applied, while preserving the original namespace mappings.
Implementation
@override
RdfDatasetDecoder withOptions(RdfGraphDecoderOptions options) => TriGDecoder(
options: TriGDecoderOptions.from(options),
namespaceMappings: _namespaceMappings,
);