void InitializeButtons(List <Tuple <string, Action> > bs)
{
bs.Add(new Tuple <string, Action>("Send Socket", () =>
{
int port = int.Parse(Microsoft.VisualBasic.Interaction.InputBox("socket port?", "", "7122"));
Socket client_sock = new Socket(AddressFamily.InterNetwork, SocketType.Stream, ProtocolType.Tcp);
client_sock.Connect(new IPEndPoint(IPAddress.Parse("127.0.0.1"), port));
Trace.WriteLine($"Connected: {client_sock.Connected}");
List <byte> send_data = new List <byte>();
using (var stream = Open())
{
if (stream == null)
{
return;
}
byte[] buf = new byte[4096];
for (int n = 0; (n = stream.Read(buf, 0, buf.Length)) != 0;)
{
for (int i = 0; i < n; i++)
{
send_data.Add(buf[i]);
}
}
}
client_sock.Send(send_data.ToArray());
var f = new TextForm($"Receive from socket: port = {port}");
f.Show();
var thread = new Thread(() =>
{
using (var stream = new NetworkStream(client_sock))
{
List <byte> data = new List <byte>();
const byte target = (byte)'\0';
while (true)
{
var _b = stream.ReadByte();
if (_b == -1)
{
Trace.WriteLine("Connection closed.");
}
var b = (byte)_b;
if (b == target)
{
Trace.WriteLine($"receive_length={data.Count}");
var s = Encoding.UTF8.GetString(data.ToArray());
f.Invoke(new Action(() => f.AppendText(s + "\r\n")));
data.Clear();
}
else
{
data.Add(b);
}
}
}
});
thread.Start();
new Thread(() => { Thread.Sleep(1000 * 60); thread.Abort(); });
}));
bs.Add(new Tuple <string, Action>("Convert Encoding", async() =>
{
Encoding encodingSource, encodingTarget;
var encodingList = GetProperties(typeof(Encoding)).Select(v => v as Encoding).ToList();
if ((encodingSource = await Select(encodingList, $"Source Encoding ({encodingList.Count})")) == null ||
(encodingTarget = await Select(encodingList, $"Target Encoding ({encodingList.Count})")) == null)
{
return;
}
OpenSave(async(fs, ss) =>
{
try
{
Trace.Indent();
Trace.WriteLine($"Converting: {encodingSource} → {encodingTarget}");
using (var reader = new StreamReader(fs, encodingSource))
{
using (var writer = new StreamWriter(ss, encodingTarget))
{
const int bufLen = 1 << 20;
var buf = new char[bufLen];
long progress = 0, total_progress = reader.BaseStream.Length;
DateTime time = DateTime.Now;
for (int n; (n = await reader.ReadAsync(buf, 0, buf.Length)) > 0;)
{
await writer.WriteAsync(buf, 0, n);
progress += n;
if ((DateTime.Now - time).TotalSeconds > 0.5)
{
Trace.WriteLine($"Converting: {(double)progress * 100 / total_progress}% {encodingSource} → {encodingTarget}");
time = DateTime.Now;
}
}
}
}
Trace.WriteLine($"Convert OK: {encodingSource} → {encodingTarget}");
}
finally { Trace.Unindent(); }
});
}));
bs.Add(new Tuple <string, Action>("Convert Trie to WordList (file to file)", () =>
{
OpenSave(async(fs, ss) =>
{
try
{
Trace.Indent();
Trace.WriteLine($"Reading... file size: {fs.Length}");
var trie = new Trie();
await Task.Run(() => trie.Load(fs));
Trace.WriteLine("Exporting...");
await trie.ExportList(ss);
Trace.WriteLine($"Done");
}
finally { Trace.Unindent(); }
});
}));
}
