mirror of
https://https.git.savannah.gnu.org/git/gettext.git
synced 2026-01-29 10:54:42 +00:00
685db98ea9
* gettext-runtime/doc/Admin/Matrix.java (Matrix): Group teams considering the actual table width, instead of using a hard-coded rule.
327 lines
10 KiB
Java
327 lines
10 KiB
Java
import java.util.Vector;
|
|
import java.util.List;
|
|
import java.util.Iterator;
|
|
import java.util.Arrays;
|
|
import java.io.File;
|
|
import java.io.FileWriter;
|
|
import java.io.BufferedWriter;
|
|
import java.io.PrintWriter;
|
|
import java.io.IOException;
|
|
// JDOM classes used for document representation
|
|
import org.jdom.Document;
|
|
import org.jdom.Element;
|
|
import org.jdom.Attribute;
|
|
import org.jdom.JDOMException;
|
|
import org.jdom.input.SAXBuilder;
|
|
|
|
/**
|
|
* Converts the matrix.xml file to a matrix.texi file, suitable for
|
|
* being included from gettext's nls.texi.
|
|
*
|
|
* @author Bruno Haible
|
|
*/
|
|
public class Matrix {
|
|
|
|
public static class PoFile {
|
|
String domain;
|
|
String team;
|
|
int percentage;
|
|
public PoFile (String domain, String team, int percentage) {
|
|
this.domain = domain;
|
|
this.team = team;
|
|
this.percentage = percentage;
|
|
}
|
|
}
|
|
|
|
public static class Data {
|
|
List /* of String */ domains = new Vector();
|
|
List /* of String */ teams = new Vector();
|
|
List /* of PoFile */ po_files = new Vector();
|
|
}
|
|
|
|
public static final int FALSE = 0;
|
|
public static final int TRUE = 1;
|
|
public static final int EXTERNAL = 2;
|
|
|
|
public static void spaces (PrintWriter stream, int n) {
|
|
for (int i = n; i > 0; i--)
|
|
stream.print(' ');
|
|
}
|
|
|
|
public static void main (String[] args) {
|
|
Data data = new Data();
|
|
|
|
SAXBuilder builder = new SAXBuilder(/*true*/); // "true" turns on validation
|
|
Document doc;
|
|
try {
|
|
doc = builder.build(new File("matrix.xml"));
|
|
} catch (IOException e) {
|
|
e.printStackTrace();
|
|
doc = null;
|
|
System.exit(1);
|
|
} catch (JDOMException e) {
|
|
e.printStackTrace();
|
|
doc = null;
|
|
System.exit(1);
|
|
}
|
|
Element po_inventory = doc.getRootElement();
|
|
{
|
|
Element domains = po_inventory.getChild("domains");
|
|
Iterator i = domains.getChildren("domain").iterator();
|
|
while (i.hasNext()) {
|
|
Element domain = (Element)i.next();
|
|
data.domains.add(domain.getAttribute("name").getValue());
|
|
}
|
|
}
|
|
{
|
|
Element teams = po_inventory.getChild("teams");
|
|
Iterator i = teams.getChildren("team").iterator();
|
|
while (i.hasNext()) {
|
|
Element team = (Element)i.next();
|
|
data.teams.add(team.getAttribute("name").getValue());
|
|
}
|
|
}
|
|
{
|
|
Element po_files = po_inventory.getChild("PoFiles");
|
|
Iterator i = po_files.getChildren("po").iterator();
|
|
while (i.hasNext()) {
|
|
Element po = (Element)i.next();
|
|
String value = po.getText();
|
|
data.po_files.add(
|
|
new PoFile(
|
|
po.getAttribute("domain").getValue(),
|
|
po.getAttribute("team").getValue(),
|
|
value.equals("") ? -1 : Integer.parseInt(value)));
|
|
}
|
|
}
|
|
|
|
// Special treatment of clisp. The percentages are incorrect.
|
|
if (!data.teams.contains("en"))
|
|
data.teams.add("en");
|
|
data.po_files.add(new PoFile("clisp","en",100));
|
|
data.po_files.add(new PoFile("clisp","de",83));
|
|
data.po_files.add(new PoFile("clisp","fr",58));
|
|
data.po_files.add(new PoFile("clisp","es",54));
|
|
data.po_files.add(new PoFile("clisp","nl",57));
|
|
data.po_files.add(new PoFile("clisp","ru",74));
|
|
|
|
// Obsolete domains.
|
|
data.domains.remove("gettext");
|
|
for (Iterator i = data.po_files.iterator(); i.hasNext(); ) {
|
|
PoFile po = (PoFile)i.next();
|
|
if (po.domain.equals("gettext"))
|
|
i.remove();
|
|
}
|
|
|
|
try {
|
|
FileWriter f = new FileWriter("matrix.texi");
|
|
BufferedWriter bf = new BufferedWriter(f);
|
|
PrintWriter stream = new PrintWriter(bf);
|
|
|
|
String[] domains = (String[])data.domains.toArray(new String[0]);
|
|
Arrays.sort(domains);
|
|
String[] teams = (String[])data.teams.toArray(new String[0]);
|
|
Arrays.sort(teams);
|
|
int ndomains = domains.length;
|
|
int nteams = teams.length;
|
|
|
|
int[][] matrix = new int[ndomains][];
|
|
for (int d = 0; d < ndomains; d++)
|
|
matrix[d] = new int[nteams];
|
|
int[] total_per_domain = new int[ndomains];
|
|
int[] total_per_team = new int[nteams];
|
|
int total = 0;
|
|
{
|
|
Iterator i = data.po_files.iterator();
|
|
while (i.hasNext()) {
|
|
PoFile po = (PoFile)i.next();
|
|
if (po.percentage >= 50) {
|
|
int d = Arrays.binarySearch(domains,po.domain);
|
|
if (d < 0)
|
|
throw new Error("didn't find domain \""+po.domain+"\"");
|
|
int t = Arrays.binarySearch(teams,po.team);
|
|
if (t < 0)
|
|
throw new Error("didn't find team \""+po.team+"\"");
|
|
matrix[d][t] = TRUE;
|
|
total_per_domain[d]++;
|
|
total_per_team[t]++;
|
|
total++;
|
|
} else if (po.percentage < 0) {
|
|
int d = Arrays.binarySearch(domains,po.domain);
|
|
if (d < 0)
|
|
throw new Error("didn't find domain \""+po.domain+"\"");
|
|
int t = Arrays.binarySearch(teams,po.team);
|
|
if (t < 0) {
|
|
System.err.println(po.domain+": didn't find team \""+po.team+"\"");
|
|
continue;
|
|
}
|
|
matrix[d][t] = EXTERNAL;
|
|
}
|
|
}
|
|
}
|
|
|
|
int[] columnwidth = new int[nteams];
|
|
for (int t = 0; t < nteams; t++)
|
|
columnwidth[t] =
|
|
Math.max(teams[t].length(),
|
|
Integer.toString(total_per_team[t]).length());
|
|
|
|
// Split into separate tables, to keep 80 column width.
|
|
int maxwidth = 80 - 21 - 5 - Integer.toString(total).length();
|
|
|
|
// First determine how many groups are needed.
|
|
int ngroups = 0;
|
|
{
|
|
int width = 0, last_team = 0;
|
|
for (int t = 0; t < nteams; t++) {
|
|
int newwidth = width + columnwidth[t] + 1;
|
|
if (newwidth > maxwidth) {
|
|
last_team = t;
|
|
ngroups++;
|
|
width = 0;
|
|
}
|
|
width += columnwidth[t] + 1;
|
|
}
|
|
if (last_team < nteams)
|
|
ngroups++;
|
|
}
|
|
|
|
// Then initialize the size of each group.
|
|
int[][] groups = new int[ngroups][];
|
|
{
|
|
int width = 0, last_team = 0, index = 0;
|
|
for (int t = 0; t < nteams; t++) {
|
|
int newwidth = width + columnwidth[t] + 1;
|
|
if (newwidth > maxwidth) {
|
|
groups[index++] = new int[] { last_team, t };
|
|
last_team = t;
|
|
width = 0;
|
|
}
|
|
width += columnwidth[t] + 1;
|
|
}
|
|
if (last_team < nteams)
|
|
groups[index] = new int[] { last_team, nteams };
|
|
}
|
|
|
|
stream.println("@example");
|
|
for (int group = 0; group < ngroups; group++) {
|
|
if (group > 0)
|
|
stream.println();
|
|
|
|
stream.println("@group");
|
|
|
|
if (group == 0)
|
|
stream.print("Ready PO files ");
|
|
else
|
|
stream.print(" ");
|
|
for (int t = groups[group][0]; t < groups[group][1]; t++) {
|
|
int i = columnwidth[t]-teams[t].length();
|
|
spaces(stream,1+i/2);
|
|
stream.print(teams[t].replace("@","@@"));
|
|
spaces(stream,(i+1)/2);
|
|
}
|
|
stream.println();
|
|
|
|
stream.print(" +");
|
|
for (int t = groups[group][0]; t < groups[group][1]; t++)
|
|
for (int i = columnwidth[t] + 1; i > 0; i--)
|
|
stream.print('-');
|
|
stream.println("-+");
|
|
|
|
for (int d = 0; d < ndomains; d++) {
|
|
String domain = domains[d];
|
|
if (domain.length() > 18)
|
|
domain = domain.substring(0, 18-3) + "...";
|
|
stream.print(domain);
|
|
spaces(stream,18 - domain.length() + 1);
|
|
stream.print('|');
|
|
for (int t = groups[group][0]; t < groups[group][1]; t++) {
|
|
stream.print(' ');
|
|
if (matrix[d][t] == TRUE) {
|
|
int i = columnwidth[t]-2;
|
|
spaces(stream,i/2);
|
|
stream.print("[]");
|
|
spaces(stream,(i+1)/2);
|
|
} else if (matrix[d][t] == EXTERNAL) {
|
|
int i = columnwidth[t]-2;
|
|
spaces(stream,i/2);
|
|
stream.print("()");
|
|
spaces(stream,(i+1)/2);
|
|
} else {
|
|
spaces(stream,columnwidth[t]);
|
|
}
|
|
}
|
|
stream.print(' ');
|
|
stream.print('|');
|
|
if (group == ngroups-1) {
|
|
stream.print(' ');
|
|
String s = Integer.toString(total_per_domain[d]);
|
|
spaces(stream,2-s.length());
|
|
stream.print(s);
|
|
}
|
|
stream.println();
|
|
}
|
|
|
|
stream.print(" +");
|
|
for (int t = groups[group][0]; t < groups[group][1]; t++)
|
|
for (int i = columnwidth[t] + 1; i > 0; i--)
|
|
stream.print('-');
|
|
stream.println("-+");
|
|
|
|
if (group == ngroups-1) {
|
|
String s = Integer.toString(nteams);
|
|
spaces(stream,4-s.length());
|
|
stream.print(s);
|
|
stream.print(" teams ");
|
|
} else {
|
|
stream.print(" ");
|
|
}
|
|
for (int t = groups[group][0]; t < groups[group][1]; t++) {
|
|
int i = columnwidth[t]-teams[t].length();
|
|
spaces(stream,1+i/2);
|
|
stream.print(teams[t].replace("@","@@"));
|
|
spaces(stream,(i+1)/2);
|
|
}
|
|
stream.println();
|
|
|
|
if (group == ngroups-1) {
|
|
String s = Integer.toString(ndomains);
|
|
spaces(stream,4-s.length());
|
|
stream.print(s);
|
|
stream.print(" domains ");
|
|
} else {
|
|
stream.print(" ");
|
|
}
|
|
for (int t = groups[group][0]; t < groups[group][1]; t++) {
|
|
stream.print(' ');
|
|
String s = Integer.toString(total_per_team[t]);
|
|
int i = columnwidth[t]-s.length();
|
|
int j = (s.length() < 2 ? 1 : 0);
|
|
spaces(stream,(i+j)/2);
|
|
stream.print(s);
|
|
spaces(stream,(i+1-j)/2);
|
|
}
|
|
if (group == ngroups-1) {
|
|
stream.print(' ');
|
|
stream.print(' ');
|
|
String s = Integer.toString(total);
|
|
spaces(stream,3-s.length());
|
|
stream.print(s);
|
|
}
|
|
stream.println();
|
|
|
|
stream.println("@end group");
|
|
}
|
|
stream.println("@end example");
|
|
|
|
stream.close();
|
|
bf.close();
|
|
f.close();
|
|
} catch (IOException e) {
|
|
e.printStackTrace();
|
|
System.exit(1);
|
|
}
|
|
}
|
|
|
|
}
|