factory Position.fromJson(Map<String, Object?> json) => Position( (json['line'] as num).toInt(), (json['character'] as num).toInt(), );