tokenizeOptionsFromJson function

TokenizeOptions tokenizeOptionsFromJson(
  1. Map<String, dynamic> j
)

Decodes a TokenizeOptions previously encoded by tokenizeOptionsToJson. Missing keys fall back to per-field defaults.

Implementation

TokenizeOptions tokenizeOptionsFromJson(Map<String, dynamic> j) =>
    TokenizeOptions(
      lang: j['lang'] as String?,
      theme: j['theme'] as String?,
      includeExplanation: (j['includeExplanation'] as bool?) ?? false,
      tokenizeMaxLineLength: (j['tokenizeMaxLineLength'] as int?) ?? 0,
      tokenizeTimeLimit: (j['tokenizeTimeLimit'] as int?) ?? 500,
      colorReplacements: (j['colorReplacements'] as Map?)
          ?.cast<String, dynamic>(),
    );