wallet-core/src/i18n.tsx

253 lines
6.8 KiB
TypeScript
Raw Normal View History

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.
*/
import {strings} from "./i18n/strings";
2017-05-29 16:58:03 +02:00
import * as jedLib from "jed";
import * as React from "react";
2016-11-27 22:13:24 +01:00
let lang: string;
try {
lang = chrome.i18n.getUILanguage();
2017-04-24 16:45:40 +02:00
// Chrome gives e.g. "en-US", but Firefox gives us "en_US"
lang = lang.replace("_", "-");
2016-11-27 22:13:24 +01:00
} catch (e) {
lang = "en";
console.warn("i18n default language not available");
}
2017-04-24 16:45:40 +02:00
if (!strings[lang]) {
lang = "en-US";
console.log(`language ${lang} not found, defaulting to english`);
}
const jed = new jedLib.Jed(strings[lang]);
2016-11-16 15:55:48 +01:00
/**
* Convert template strings to a msgid
*/
2016-11-27 22:13:24 +01:00
function toI18nString(strings: ReadonlyArray<string>) {
2016-11-16 15:55:48 +01:00
let str = "";
for (let i = 0; i < strings.length; i++) {
str += strings[i];
if (i < strings.length - 1) {
2017-05-29 15:18:48 +02:00
str += `%${i + 1}$s`;
2016-11-16 15:55:48 +01:00
}
}
return str;
}
/**
* Internationalize a string template with arbitrary serialized values.
*/
2016-11-27 22:13:24 +01:00
export function str(strings: TemplateStringsArray, ...values: any[]) {
const str = toI18nString(strings);
const tr = jed.translate(str).ifPlural(1, str).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;
const ss = React.Children.map(children, (c) => {
2016-11-17 02:58:27 +01:00
if (typeof c === "string") {
return c;
}
return `%${n++}$s`;
});
return ss.join("");
}
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;
}
2016-11-27 22:13:24 +01:00
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-05-29 16:58:03 +02:00
export class Translate extends React.Component<TranslateProps, void> {
2016-11-16 15:55:48 +01:00
render(): JSX.Element {
const s = stringifyChildren(this.props.children);
2017-05-29 16:58:03 +02:00
const tr = jed.ngettext(s, s, 1).split(/%(\d+)\$s/).filter((e: any, i: number) => i % 2 === 0);
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) {
2017-05-29 16:58:03 +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);
childArray.splice(i, 1);
2016-11-17 02:58:27 +01:00
}
}
const result = [];
2016-11-17 02:58:27 +01:00
while (childArray.length > 0) {
const x = childArray.shift();
2016-11-17 02:58:27 +01:00
if (x === undefined) {
continue;
}
if (typeof x === "string") {
const t = tr.shift();
2016-11-17 02:58:27 +01:00
result.push(t);
} else {
result.push(x);
}
}
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
}
}
2016-11-27 22:13:24 +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
*/
2017-05-29 16:58:03 +02:00
export class TranslateSwitch extends React.Component<TranslateSwitchProps, void> {
2016-11-16 15:55:48 +01:00
render(): JSX.Element {
let singular: React.ReactElement<TranslationPluralProps> | undefined;
let plural: React.ReactElement<TranslationPluralProps> | undefined;
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
}
if ((!singular) || (!plural)) {
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-27 22:13:24 +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
*/
2017-05-29 16:58:03 +02:00
export class TranslatePlural extends React.Component<TranslationPluralProps, void> {
2016-11-16 15:55:48 +01:00
render(): JSX.Element {
const s = stringifyChildren(this.props.children);
2017-05-29 16:58:03 +02:00
const tr = jed.ngettext(s, s, 1).split(/%(\d+)\$s/).filter((e: any, i: number) => i % 2 === 0);
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) {
2017-05-29 16:58:03 +02:00
if ((typeof childArray[i]) === "string" && (typeof childArray[i + 1]) === "string") {
childArray[i + i] = childArray[i] as string + childArray[i + 1] as string;
childArray.splice(i, 1);
2016-11-17 02:58:27 +01:00
}
}
const result = [];
2016-11-17 02:58:27 +01:00
while (childArray.length > 0) {
const x = childArray.shift();
2016-11-17 02:58:27 +01:00
if (x === undefined) {
continue;
}
if (typeof x === "string") {
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
}
}
2016-11-17 02:58:27 +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
*/
2017-05-29 16:58:03 +02:00
export class TranslateSingular extends React.Component<TranslationPluralProps, void> {
2016-11-16 15:55:48 +01:00
render(): JSX.Element {
const s = stringifyChildren(this.props.children);
2017-05-29 16:58:03 +02:00
const tr = jed.ngettext(s, s, 1).split(/%(\d+)\$s/).filter((e: any, i: number) => i % 2 === 0);
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) {
2017-05-29 16:58:03 +02:00
if ((typeof childArray[i]) === "string" && (typeof childArray[i + 1]) === "string") {
childArray[i + i] = childArray[i] as string + childArray[i + 1] as string;
childArray.splice(i, 1);
2016-11-17 02:58:27 +01:00
}
}
const result = [];
2016-11-17 02:58:27 +01:00
while (childArray.length > 0) {
const x = childArray.shift();
2016-11-17 02:58:27 +01:00
if (x === undefined) {
continue;
}
if (typeof x === "string") {
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
}
}