You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
81 lines
2.3 KiB
81 lines
2.3 KiB
using System;
|
|
using System.Collections.Generic;
|
|
using System.Linq;
|
|
using System.Text;
|
|
using System.IO;
|
|
using System.Net;
|
|
using System.Web;
|
|
|
|
namespace TexCompiler {
|
|
public static class Compiler {
|
|
|
|
private static readonly Encoding ENCODING = Encoding.UTF8;
|
|
|
|
private const string HEADER = @"
|
|
\documentclass[12pt]{article}
|
|
\pagestyle{empty}
|
|
\usepackage[utf8x]{inputenc}
|
|
\usepackage{ucs}
|
|
\usepackage[russian]{babel}
|
|
\usepackage{cmap}
|
|
\usepackage[T1,T2A]{fontenc}
|
|
\usepackage{pifont}
|
|
\usepackage{textcomp}
|
|
\usepackage{float}
|
|
\usepackage{amsmath}
|
|
\usepackage{amsfonts}
|
|
\usepackage{amsthm}
|
|
\usepackage{amssymb}
|
|
\begin{document}
|
|
";
|
|
|
|
private const string FOOTER = @"
|
|
\end{document}
|
|
";
|
|
|
|
/// <summary>
|
|
/// http://msdn.microsoft.com/en-us/library/system.io.stream.write.aspx
|
|
/// </summary>
|
|
private static void CopyTo(this Stream input, Stream output) {
|
|
const int size = 4096;
|
|
byte[] bytes = new byte[4096];
|
|
int numBytes;
|
|
while((numBytes = input.Read(bytes, 0, size)) > 0) {
|
|
output.Write(bytes, 0, numBytes);
|
|
}
|
|
}
|
|
|
|
public static MemoryStream GetPngStream(string tex) {
|
|
|
|
Dictionary<string, string> postData = new Dictionary<string,string> {
|
|
{ "dev", "png16m" },
|
|
{ "template", "no" },
|
|
{ "src", HEADER + tex + FOOTER },
|
|
};
|
|
string post = string.Join("&", (from kvp in postData select string.Format("{0}={1}", HttpUtility.UrlEncode(kvp.Key, ENCODING), HttpUtility.UrlEncode(kvp.Value, ENCODING))).ToArray());
|
|
byte[] postBytes = Encoding.ASCII.GetBytes(post);
|
|
|
|
HttpWebRequest request = (HttpWebRequest)WebRequest.Create("http://sciencesoft.at/image/latexurl/img.png");
|
|
request.Method = "POST";
|
|
request.ContentType = "application/x-www-form-urlencoded;charset=utf-8";
|
|
request.ContentLength = postBytes.Length;
|
|
using(Stream stream = request.GetRequestStream()) {
|
|
stream.Write(postBytes, 0, postBytes.Length);
|
|
}
|
|
|
|
using(HttpWebResponse response = (HttpWebResponse)request.GetResponse()) {
|
|
try {
|
|
MemoryStream memoryStream = new MemoryStream();
|
|
using(Stream responseStream = response.GetResponseStream()) {
|
|
responseStream.CopyTo(memoryStream);
|
|
memoryStream.Seek(0, SeekOrigin.Begin);
|
|
return memoryStream;
|
|
}
|
|
} finally {
|
|
response.Close();
|
|
}
|
|
}
|
|
}
|
|
|
|
}
|
|
}
|
|
|