2016-11-16 15:55:48 +01:00
|
|
|
/*
|
|
|
|
This file is part of TALER
|
|
|
|
(C) 2016 GNUnet e.V.
|
|
|
|
|
|
|
|
TALER is free software; you can redistribute it and/or modify it under the
|
|
|
|
terms of the GNU General Public License as published by the Free Software
|
|
|
|
Foundation; either version 3, or (at your option) any later version.
|
|
|
|
|
|
|
|
TALER is distributed in the hope that it will be useful, but WITHOUT ANY
|
|
|
|
WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
|
|
|
|
A PARTICULAR PURPOSE. See the GNU General Public License for more details.
|
|
|
|
|
|
|
|
You should have received a copy of the GNU General Public License along with
|
|
|
|
TALER; see the file COPYING. If not, see <http://www.gnu.org/licenses/>
|
|
|
|
*/
|
|
|
|
|
2017-05-23 14:29:34 +02:00
|
|
|
/**
|
|
|
|
* Translation helpers for React components and template literals.
|
|
|
|
*/
|
2016-11-16 15:55:48 +01:00
|
|
|
|
2017-05-24 15:46:49 +02:00
|
|
|
/**
|
|
|
|
* Imports.
|
|
|
|
*/
|
2020-03-30 12:39:32 +02:00
|
|
|
import { strings } from "../i18n/strings";
|
2017-05-29 16:58:03 +02:00
|
|
|
|
2019-08-16 19:20:18 +02:00
|
|
|
// @ts-ignore: no type decl for this library
|
2017-05-29 16:58:03 +02:00
|
|
|
import * as jedLib from "jed";
|
2019-08-16 19:20:18 +02:00
|
|
|
|
2017-04-20 03:09:25 +02:00
|
|
|
import * as React from "react";
|
|
|
|
|
2018-04-09 00:41:14 +02:00
|
|
|
const jed = setupJed();
|
2017-04-24 16:45:40 +02:00
|
|
|
|
2019-08-29 23:12:55 +02:00
|
|
|
let enableTracing = false;
|
|
|
|
|
2018-04-09 00:41:14 +02:00
|
|
|
/**
|
|
|
|
* Set up jed library for internationalization,
|
|
|
|
* based on browser language settings.
|
|
|
|
*/
|
|
|
|
function setupJed(): any {
|
|
|
|
let lang: string;
|
|
|
|
try {
|
|
|
|
lang = chrome.i18n.getUILanguage();
|
|
|
|
// Chrome gives e.g. "en-US", but Firefox gives us "en_US"
|
|
|
|
lang = lang.replace("_", "-");
|
|
|
|
} catch (e) {
|
|
|
|
lang = "en";
|
|
|
|
console.warn("i18n default language not available");
|
|
|
|
}
|
|
|
|
|
|
|
|
if (!strings[lang]) {
|
|
|
|
lang = "en-US";
|
|
|
|
console.log(`language ${lang} not found, defaulting to english`);
|
|
|
|
}
|
|
|
|
return new jedLib.Jed(strings[lang]);
|
|
|
|
}
|
2016-11-16 15:55:48 +01:00
|
|
|
|
|
|
|
/**
|
|
|
|
* Convert template strings to a msgid
|
|
|
|
*/
|
2017-10-15 19:28:35 +02:00
|
|
|
function toI18nString(stringSeq: ReadonlyArray<string>) {
|
|
|
|
let s = "";
|
|
|
|
for (let i = 0; i < stringSeq.length; i++) {
|
|
|
|
s += stringSeq[i];
|
|
|
|
if (i < stringSeq.length - 1) {
|
|
|
|
s += `%${i + 1}$s`;
|
2016-11-16 15:55:48 +01:00
|
|
|
}
|
|
|
|
}
|
2017-10-15 19:28:35 +02:00
|
|
|
return s;
|
2016-11-16 15:55:48 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Internationalize a string template with arbitrary serialized values.
|
|
|
|
*/
|
2017-10-15 19:28:35 +02:00
|
|
|
export function str(stringSeq: TemplateStringsArray, ...values: any[]) {
|
|
|
|
const s = toI18nString(stringSeq);
|
2020-03-30 12:39:32 +02:00
|
|
|
const tr = jed
|
|
|
|
.translate(s)
|
|
|
|
.ifPlural(1, s)
|
|
|
|
.fetch(...values);
|
2016-11-16 15:55:48 +01:00
|
|
|
return tr;
|
|
|
|
}
|
|
|
|
|
|
|
|
interface TranslateSwitchProps {
|
|
|
|
target: number;
|
|
|
|
}
|
|
|
|
|
2016-11-17 02:58:27 +01:00
|
|
|
function stringifyChildren(children: any): string {
|
|
|
|
let n = 1;
|
2017-05-29 16:27:53 +02:00
|
|
|
const ss = React.Children.map(children, (c) => {
|
2016-11-17 02:58:27 +01:00
|
|
|
if (typeof c === "string") {
|
|
|
|
return c;
|
|
|
|
}
|
|
|
|
return `%${n++}$s`;
|
|
|
|
});
|
2018-02-22 10:25:11 +01:00
|
|
|
const s = ss.join("").replace(/ +/g, " ").trim();
|
2019-08-29 23:12:55 +02:00
|
|
|
enableTracing && console.log("translation lookup", JSON.stringify(s));
|
2018-02-22 10:25:11 +01:00
|
|
|
return s;
|
2016-11-17 02:58:27 +01:00
|
|
|
}
|
|
|
|
|
2016-11-23 00:33:34 +01:00
|
|
|
interface TranslateProps {
|
|
|
|
/**
|
|
|
|
* Component that the translated element should be wrapped in.
|
|
|
|
* Defaults to "div".
|
|
|
|
*/
|
|
|
|
wrap?: any;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Props to give to the wrapped component.
|
|
|
|
*/
|
|
|
|
wrapProps?: any;
|
|
|
|
}
|
|
|
|
|
2017-05-23 14:29:34 +02:00
|
|
|
/**
|
|
|
|
* Translate text node children of this component.
|
|
|
|
* If a child component might produce a text node, it must be wrapped
|
|
|
|
* in a another non-text element.
|
|
|
|
*
|
|
|
|
* Example:
|
2017-05-24 15:46:49 +02:00
|
|
|
* ```
|
2017-05-23 14:29:34 +02:00
|
|
|
* <Translate>
|
|
|
|
* Hello. Your score is <span><PlayerScore player={player} /></span>
|
|
|
|
* </Translate>
|
2017-05-24 15:46:49 +02:00
|
|
|
* ```
|
2017-05-23 14:29:34 +02:00
|
|
|
*/
|
2017-08-14 04:59:43 +02:00
|
|
|
export class Translate extends React.Component<TranslateProps, {}> {
|
2016-11-16 15:55:48 +01:00
|
|
|
render(): JSX.Element {
|
2017-05-29 16:27:53 +02:00
|
|
|
const s = stringifyChildren(this.props.children);
|
2020-03-30 12:39:32 +02:00
|
|
|
const tr = jed
|
|
|
|
.ngettext(s, s, 1)
|
|
|
|
.split(/%(\d+)\$s/)
|
|
|
|
.filter((e: any, i: number) => i % 2 === 0);
|
2017-05-29 16:27:53 +02:00
|
|
|
const childArray = React.Children.toArray(this.props.children!);
|
2016-11-17 02:58:27 +01:00
|
|
|
for (let i = 0; i < childArray.length - 1; ++i) {
|
2020-03-30 12:39:32 +02:00
|
|
|
if (
|
|
|
|
typeof childArray[i] === "string" &&
|
|
|
|
typeof childArray[i + 1] === "string"
|
|
|
|
) {
|
|
|
|
childArray[i + 1] = (childArray[i] as string).concat(
|
|
|
|
childArray[i + 1] as string,
|
|
|
|
);
|
2017-05-29 16:58:03 +02:00
|
|
|
childArray.splice(i, 1);
|
2016-11-17 02:58:27 +01:00
|
|
|
}
|
|
|
|
}
|
2017-05-29 16:27:53 +02:00
|
|
|
const result = [];
|
2016-11-17 02:58:27 +01:00
|
|
|
while (childArray.length > 0) {
|
2017-05-29 16:27:53 +02:00
|
|
|
const x = childArray.shift();
|
2016-11-17 02:58:27 +01:00
|
|
|
if (x === undefined) {
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
if (typeof x === "string") {
|
2017-05-29 16:27:53 +02:00
|
|
|
const t = tr.shift();
|
2016-11-17 02:58:27 +01:00
|
|
|
result.push(t);
|
|
|
|
} else {
|
|
|
|
result.push(x);
|
|
|
|
}
|
|
|
|
}
|
2016-11-23 00:33:34 +01:00
|
|
|
if (!this.props.wrap) {
|
|
|
|
return <div>{result}</div>;
|
|
|
|
}
|
|
|
|
return React.createElement(this.props.wrap, this.props.wrapProps, result);
|
2016-11-16 15:55:48 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-05-23 14:29:34 +02:00
|
|
|
/**
|
|
|
|
* Switch translation based on singular or plural based on the target prop.
|
|
|
|
* Should only contain TranslateSingular and TransplatePlural as children.
|
|
|
|
*
|
|
|
|
* Example:
|
2017-05-24 15:46:49 +02:00
|
|
|
* ```
|
2017-05-23 14:29:34 +02:00
|
|
|
* <TranslateSwitch target={n}>
|
|
|
|
* <TranslateSingular>I have {n} apple.</TranslateSingular>
|
|
|
|
* <TranslatePlural>I have {n} apples.</TranslatePlural>
|
|
|
|
* </TranslateSwitch>
|
2017-05-24 15:46:49 +02:00
|
|
|
* ```
|
2017-05-23 14:29:34 +02:00
|
|
|
*/
|
2020-03-30 12:39:32 +02:00
|
|
|
export class TranslateSwitch extends React.Component<
|
|
|
|
TranslateSwitchProps,
|
|
|
|
void
|
|
|
|
> {
|
2016-11-16 15:55:48 +01:00
|
|
|
render(): JSX.Element {
|
2016-11-23 00:33:34 +01:00
|
|
|
let singular: React.ReactElement<TranslationPluralProps> | undefined;
|
|
|
|
let plural: React.ReactElement<TranslationPluralProps> | undefined;
|
2017-05-29 16:27:53 +02:00
|
|
|
const children = this.props.children;
|
2016-11-16 15:55:48 +01:00
|
|
|
if (children) {
|
|
|
|
React.Children.forEach(children, (child: any) => {
|
2017-05-29 16:58:03 +02:00
|
|
|
if (child.type === TranslatePlural) {
|
2016-11-16 15:55:48 +01:00
|
|
|
plural = child;
|
|
|
|
}
|
2017-05-29 16:58:03 +02:00
|
|
|
if (child.type === TranslateSingular) {
|
2016-11-16 15:55:48 +01:00
|
|
|
singular = child;
|
|
|
|
}
|
2017-05-29 16:58:03 +02:00
|
|
|
});
|
2016-11-16 15:55:48 +01:00
|
|
|
}
|
2020-03-30 12:39:32 +02:00
|
|
|
if (!singular || !plural) {
|
2016-11-16 15:55:48 +01:00
|
|
|
console.error("translation not found");
|
|
|
|
return React.createElement("span", {}, ["translation not found"]);
|
|
|
|
}
|
2016-11-17 02:58:27 +01:00
|
|
|
singular.props.target = this.props.target;
|
2017-05-23 14:29:34 +02:00
|
|
|
plural.props.target = this.props.target;
|
2016-11-27 22:13:24 +01:00
|
|
|
// We're looking up the translation based on the
|
|
|
|
// singular, even if we must use the plural form.
|
|
|
|
return singular;
|
2016-11-16 15:55:48 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-11-23 00:33:34 +01:00
|
|
|
interface TranslationPluralProps {
|
2016-11-17 02:58:27 +01:00
|
|
|
target: number;
|
2016-11-16 15:55:48 +01:00
|
|
|
}
|
|
|
|
|
2017-05-23 14:29:34 +02:00
|
|
|
/**
|
2017-05-24 15:46:49 +02:00
|
|
|
* See [[TranslateSwitch]].
|
2017-05-23 14:29:34 +02:00
|
|
|
*/
|
2020-03-30 12:39:32 +02:00
|
|
|
export class TranslatePlural extends React.Component<
|
|
|
|
TranslationPluralProps,
|
|
|
|
void
|
|
|
|
> {
|
2016-11-16 15:55:48 +01:00
|
|
|
render(): JSX.Element {
|
2017-05-29 16:27:53 +02:00
|
|
|
const s = stringifyChildren(this.props.children);
|
2020-03-30 12:39:32 +02:00
|
|
|
const tr = jed
|
|
|
|
.ngettext(s, s, 1)
|
|
|
|
.split(/%(\d+)\$s/)
|
|
|
|
.filter((e: any, i: number) => i % 2 === 0);
|
2017-05-29 16:27:53 +02:00
|
|
|
const childArray = React.Children.toArray(this.props.children!);
|
2016-11-17 02:58:27 +01:00
|
|
|
for (let i = 0; i < childArray.length - 1; ++i) {
|
2020-03-30 12:39:32 +02:00
|
|
|
if (
|
|
|
|
typeof childArray[i] === "string" &&
|
|
|
|
typeof childArray[i + 1] === "string"
|
|
|
|
) {
|
|
|
|
childArray[i + i] = ((childArray[i] as string) +
|
|
|
|
childArray[i + 1]) as string;
|
2017-05-29 16:58:03 +02:00
|
|
|
childArray.splice(i, 1);
|
2016-11-17 02:58:27 +01:00
|
|
|
}
|
|
|
|
}
|
2017-05-29 16:27:53 +02:00
|
|
|
const result = [];
|
2016-11-17 02:58:27 +01:00
|
|
|
while (childArray.length > 0) {
|
2017-05-29 16:27:53 +02:00
|
|
|
const x = childArray.shift();
|
2016-11-17 02:58:27 +01:00
|
|
|
if (x === undefined) {
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
if (typeof x === "string") {
|
2017-05-29 16:27:53 +02:00
|
|
|
const t = tr.shift();
|
2016-11-17 02:58:27 +01:00
|
|
|
result.push(t);
|
|
|
|
} else {
|
|
|
|
result.push(x);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return <div>{result}</div>;
|
2016-11-16 15:55:48 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-05-23 14:29:34 +02:00
|
|
|
/**
|
2017-05-24 15:46:49 +02:00
|
|
|
* See [[TranslateSwitch]].
|
2017-05-23 14:29:34 +02:00
|
|
|
*/
|
2020-03-30 12:39:32 +02:00
|
|
|
export class TranslateSingular extends React.Component<
|
|
|
|
TranslationPluralProps,
|
|
|
|
void
|
|
|
|
> {
|
2016-11-16 15:55:48 +01:00
|
|
|
render(): JSX.Element {
|
2017-05-29 16:27:53 +02:00
|
|
|
const s = stringifyChildren(this.props.children);
|
2020-03-30 12:39:32 +02:00
|
|
|
const tr = jed
|
|
|
|
.ngettext(s, s, 1)
|
|
|
|
.split(/%(\d+)\$s/)
|
|
|
|
.filter((e: any, i: number) => i % 2 === 0);
|
2017-05-29 16:27:53 +02:00
|
|
|
const childArray = React.Children.toArray(this.props.children!);
|
2016-11-17 02:58:27 +01:00
|
|
|
for (let i = 0; i < childArray.length - 1; ++i) {
|
2020-03-30 12:39:32 +02:00
|
|
|
if (
|
|
|
|
typeof childArray[i] === "string" &&
|
|
|
|
typeof childArray[i + 1] === "string"
|
|
|
|
) {
|
|
|
|
childArray[i + i] = ((childArray[i] as string) +
|
|
|
|
childArray[i + 1]) as string;
|
2017-05-29 16:58:03 +02:00
|
|
|
childArray.splice(i, 1);
|
2016-11-17 02:58:27 +01:00
|
|
|
}
|
|
|
|
}
|
2017-05-29 16:27:53 +02:00
|
|
|
const result = [];
|
2016-11-17 02:58:27 +01:00
|
|
|
while (childArray.length > 0) {
|
2017-05-29 16:27:53 +02:00
|
|
|
const x = childArray.shift();
|
2016-11-17 02:58:27 +01:00
|
|
|
if (x === undefined) {
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
if (typeof x === "string") {
|
2017-05-29 16:27:53 +02:00
|
|
|
const t = tr.shift();
|
2016-11-17 02:58:27 +01:00
|
|
|
result.push(t);
|
|
|
|
} else {
|
|
|
|
result.push(x);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return <div>{result}</div>;
|
2016-11-16 15:55:48 +01:00
|
|
|
}
|
|
|
|
}
|