-
Notifications
You must be signed in to change notification settings - Fork 5
/
Copy pathTeXSource.cs
247 lines (236 loc) · 10.9 KB
/
TeXSource.cs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Text.RegularExpressions;
using System.IO;
namespace TeX2img {
public static class TeXSource {
// ADS名
public const string ADSName = "TeX2img.source";
public static string mudraw = Path.Combine(Converter.GetToolsPath(), "mudraw.exe");
public const string PDFsrcHead = "%%TeX2img Document";
public const string MacTeX2imgName = "com.loveinequality.TeX2img";
public static bool ParseTeXSourceFile(TextReader file, out string preamble, out string body) {
preamble = null; body = null;
var reg = new Regex(@"(?<preamble>^(.*\n)*?[^%]*?(\\\\)*)\\begin\{document\}\n?(?<body>(.*\n)*[^%]*)\\end\{document\}");
var text = ChangeReturnCode(file.ReadToEnd(), "\n");
var m = reg.Match(text);
if (m.Success) {
preamble = ChangeReturnCode(m.Groups["preamble"].Value);
body = ChangeReturnCode(m.Groups["body"].Value);
return true;
} else {
body = ChangeReturnCode(text);
return true;
}
}
public static string ChangeReturnCode(string str) {
return ChangeReturnCode(str, System.Environment.NewLine);
}
public static string ChangeReturnCode(string str, string returncode) {
string r = str;
r = r.Replace("\r\n", "\n");
r = r.Replace("\r", "\n");
r = r.Replace("\n", returncode);
return r;
}
public static void WriteTeXSourceFile(TextWriter sw, string preamble, string body) {
sw.Write(ChangeReturnCode(preamble));
if (!preamble.EndsWith("\n")) sw.WriteLine("");
sw.WriteLine("\\begin{document}");
sw.Write(ChangeReturnCode(body));
if (!body.EndsWith("\n")) sw.WriteLine("");
sw.WriteLine("\\end{document}");
}
#region ソース埋め込み
public static void EmbedSource(string file, string text) {
// 拡張子毎の処理（あれば）
var ext = Path.GetExtension(file);
if (ExtraEmbed.ContainsKey(ext)) {
try { ExtraEmbed[ext](file, text); }
catch (Exception e) { System.Diagnostics.Debug.WriteLine(e.Data); }
}
// Alternative Data Streamにソースを書き込む
try {
using (var fs = AlternativeDataStream.WriteAlternativeDataStream(file, ADSName))
using (var ws = new StreamWriter(fs, new UTF8Encoding(false))) {
ws.Write(text);
}
}
// 例外は無視
catch (IOException e) { System.Diagnostics.Debug.WriteLine(e.Data); }
catch (NotImplementedException e) { System.Diagnostics.Debug.WriteLine(e.Data); }
}
public static string ReadEmbededSource(string file) {
try {
using (var fs = AlternativeDataStream.ReadAlternativeDataStream(file, ADSName))
using (var sr = new StreamReader(fs, Encoding.UTF8)) {
return sr.ReadToEnd();
}
}
catch (Exception) { }
try {
var ext = Path.GetExtension(file).ToLower();
if (ExtraRead.ContainsKey(ext)) {
var s = ExtraRead[ext](file);
if (s != null) return s;
}
}
catch (Exception) { }
try { return ReadAppleDouble(file); }
catch (Exception) { }
return null;
}
static Dictionary<string, Action<string, string>> ExtraEmbed = new Dictionary<string, Action<string, string>>() {
{ ".pdf",PDFEmbed },
};
static Dictionary<string, Func<string, string>> ExtraRead = new Dictionary<string, Func<string, string>>() {
{ ".pdf",PDFRead },
};
static void PDFEmbed(string file, string text) {
var tmpdir = Path.GetTempPath();
using (var tempFileDeleter = new TempFilesDeleter(tmpdir)) {
var targettmp = TempFilesDeleter.GetTempFileName(".pdf", tmpdir);
try { File.Copy(file, Path.Combine(tmpdir,targettmp)); }
catch(Exception) { return; }
tempFileDeleter.AddFile(targettmp);
var txttmp = TempFilesDeleter.GetTempFileName(".txt", tmpdir);
tempFileDeleter.AddFile(txttmp);
using(var fw = new BinaryWriter(new FileStream(Path.Combine(tmpdir, txttmp), FileMode.Create))) {
fw.Write((new UnicodeEncoding(true,false)).GetBytes(ChangeReturnCode(PDFsrcHead + System.Environment.NewLine + text + "\n","\n")));
}
var tmp = TempFilesDeleter.GetTempFileName(".tex", tmpdir);
tmp = Path.Combine(tmpdir, tmp);
tempFileDeleter.AddTeXFile(tmp);
using (var fw = new BinaryWriter(new FileStream(tmp,FileMode.Create))) {
fw.Write(ASCIIEncoding.ASCII.GetBytes(
@"\pdfoutput=1\relax
\newread\teximgread
\newcount\teximgcnt
\teximgcnt=0\relax
\newif\ifteximgflag\teximgflagtrue
\def\x{{%
\loop
\expandafter\catcode\the\teximgcnt=12\relax
\advance\teximgcnt by 1\relax
\ifnum\teximgcnt<128\repeat
\gdef\teximgannot{"));
fw.Write((new UnicodeEncoding(true,true)).GetPreamble());
fw.Write(ASCIIEncoding.ASCII.GetBytes(
@"}%
\immediate\openin\teximgread="));
fw.Write(ASCIIEncoding.ASCII.GetBytes(txttmp));
fw.Write(ASCIIEncoding.ASCII.GetBytes(
@"\relax
\ifeof\teximgread\teximgflagfalse\else
\loop
\read\teximgread to \teximgline
\xdef\teximgannot{\teximgannot\teximgline}%
\unless\ifeof\teximgread\repeat
\immediate\closein\teximgread
\fi
}}\x
\ifteximgflag
\def\teximguniqtokena{\teximguniqtokenx}\def\teximguniqtokenb{\teximguniqtokenbx}\def\teximguniqtokenx{}%
{\catcode0=12\catcode13=12\relax\def\removelast#1^^M\teximguniqtokena#2\teximguniqtokenb{#1}%
\xdef\teximgannot{\expandafter\removelast\teximgannot\teximguniqtokena^^M\teximguniqtokena\teximguniqtokenb}%
\def\removelast#1^^@^^M\teximguniqtokena#2\teximguniqtokenb{#1}%
\xdef\teximgannot{\expandafter\removelast\teximgannot\teximguniqtokena^^@^^M\teximguniqtokena\teximguniqtokenb}}%
\newcount\teximgtotalpage
\pdfximage{" + targettmp + @"}\teximgtotalpage =\pdflastximagepages
\advance\teximgtotalpage by 1\relax
\teximgcnt=1\relax
\loop
\pdfximage page \the\teximgcnt {" + targettmp + @"}%
\setbox0 =\hbox{\ifnum\teximgcnt=1\relax
\pdfannot width 0pt height 0pt depth 0pt{/Subtype /Text /F 35 /Contents (\pdfescapestring{\teximgannot})}\fi
\pdfrefximage\pdflastximage}%
\pdfhorigin=0pt\relax
\pdfvorigin=0pt\relax
\pdfpagewidth=\wd0\relax
\pdfpageheight=\ht0\relax
\shipout\box0\relax
\advance\teximgcnt by 1\relax
\ifnum\teximgcnt<\teximgtotalpage\repeat
\fi
\bye"));
}
using(var proc = new System.Diagnostics.Process()) {
string arg;
proc.StartInfo.WorkingDirectory = Path.GetDirectoryName(tmp);
proc.StartInfo.FileName = Converter.setProcStartInfo(Properties.Settings.Default.pdftexPath, out arg);
proc.StartInfo.Arguments = arg + " -no-shell-escape -interaction=nonstopmode \"" + Path.GetFileName(tmp) + "\"";
proc.StartInfo.UseShellExecute = false;
proc.StartInfo.CreateNoWindow = true;
try { proc.Start(); }
catch (Exception) { return; }
proc.WaitForExit(5000);
}
var tmppdf = Path.ChangeExtension(tmp, ".pdf");
if (File.Exists(tmppdf)) {
File.Delete(file);
File.Move(tmppdf, file);
}
}
}
static string PDFRead(string file) {
var srcHead = PDFsrcHead + System.Environment.NewLine;
var tmpdir = Path.GetTempPath();
using (var tempFileDeleter = new TempFilesDeleter(tmpdir)) {
var targettmp = TempFilesDeleter.GetTempFileName(".txt");
var targetpre = Path.GetFileNameWithoutExtension(targettmp);
using (var proc = new System.Diagnostics.Process()) {
proc.StartInfo.FileName = Path.Combine(Converter.GetToolsPath(), "pdfiumdraw.exe");
proc.StartInfo.Arguments = "--output-text-annots --output=\"" + Path.Combine(tmpdir,targetpre) + "-%d.txt\" \"" + Path.GetFileName(file) + "\"";
proc.StartInfo.WorkingDirectory = Path.GetDirectoryName(file);
proc.StartInfo.CreateNoWindow = true;
proc.StartInfo.UseShellExecute = false;
try { proc.Start(); }
catch (Exception e) { System.Windows.Forms.MessageBox.Show(e.ToString()); return null; }
proc.WaitForExit(1000);
}
int i = 1;
string rv = null;
while (File.Exists(Path.Combine(tmpdir, targetpre + "-" + i.ToString() + ".txt"))){
string annot_txt_file = Path.Combine(tmpdir, targetpre + "-" + i.ToString() + ".txt");
tempFileDeleter.AddFile(annot_txt_file);
if (rv == null) {
using (var fr = new StreamReader(Path.Combine(tmpdir, targetpre + "-" + i.ToString() + ".txt"), Encoding.UTF8)) {
var text = ChangeReturnCode(fr.ReadToEnd());
if (text.StartsWith(srcHead)) {
return text.Substring(srcHead.Length);
}
}
}
++i;
}
return rv;
}
}
static string ReadAppleDouble(string file) {
var dir = Path.GetDirectoryName(file);
var doubleFile = "._" + Path.GetFileName(file);
string f = null;
var tmpf = Path.Combine(dir, doubleFile);
if (File.Exists(tmpf)) f = tmpf;
tmpf = Path.Combine(Path.Combine(dir, "__MACOSX"), doubleFile);
if (File.Exists(tmpf)) f = tmpf;
if (f != null) {
var apd = new AppleDouble(f);
foreach (var entry in apd.Entries) {
if (entry.ID == 9) {
var finfo = (AppleDouble.FinderInfo)entry;
foreach (var attr in finfo.Attrs) {
if (attr.Name == MacTeX2imgName) {
return ChangeReturnCode(Encoding.UTF8.GetString(attr.Data));
}
}
}
}
}
return null;
}
#endregion
}
}