public void Module_ReadFromBinaryStream()
{
Assert.AreEqual("input", ExceptionAssert.Expect <ArgumentNullException>(() => Module.ReadFromBinary((Stream)null)).ParamName);
using (var sample = new MemoryStream())
{
var utf8 = new UTF8Encoding(false, false);
using (var writer = new BinaryWriter(sample, utf8, true))
{
writer.Write(0x6e736100); //Bad magic number.
}
sample.Position = 0;
Assert.IsTrue(ExceptionAssert.Expect <ModuleLoadException>(() => Module.ReadFromBinary(sample)).Message.ToLowerInvariant().Contains("magic"));
Assert.IsTrue(sample.CanSeek, "Stream was closed but should have been left open.");
sample.Position = 0;
using (var writer = new BinaryWriter(sample, utf8, true))
{
writer.Write(0x6d736100);
//Missing version.
}
sample.Position = 0;
Assert.IsInstanceOfType(ExceptionAssert.Expect <ModuleLoadException>(() => Module.ReadFromBinary(sample)).InnerException, typeof(EndOfStreamException));
sample.Position = 0;
using (var writer = new BinaryWriter(sample, utf8, true))
{
writer.Write(0x6d736100);
writer.Write(0x0); //Bad version
}
sample.Position = 0;
Assert.IsTrue(ExceptionAssert.Expect <ModuleLoadException>(() => Module.ReadFromBinary(sample)).Message.ToLowerInvariant().Contains("version"));
sample.Position = 0;
using (var writer = new BinaryWriter(sample, utf8, true))
{
//Shouldn't fail, this is the bare minimum WASM binary file.
writer.Write(0x6d736100);
writer.Write(0x1);
}
sample.Position = 0;
Assert.IsNotNull(Module.ReadFromBinary(sample));
sample.Position = 0;
using (var writer = new BinaryWriter(sample, utf8, true))
{
//Shouldn't fail, this is the bare minimum WASM binary file.
writer.Write(0x6d736100);
writer.Write(0xd); //Pre-release version, binary format is otherwise identical to first release.
}
sample.Position = 0;
Assert.IsNotNull(Module.ReadFromBinary(sample));
}
}
public void Module_ImportRoundTrip()
{
var source = new Module
{
Imports = new Import[]
{
new Import.Function
{
Module = "A",
Field = "1",
TypeIndex = 2,
},
new Import.Table
{
Module = "B",
Field = "2",
Type = new Table
{
ElementType = ElementType.AnyFunction,
ResizableLimits = new ResizableLimits(1, 2),
},
},
new Import.Memory
{
Module = "C",
Field = "3",
Type = new Memory(4, 5),
},
new Import.Global
{
Module = "D",
Field = "4",
Type = new Global
{
ContentType = ValueType.Float64,
InitializerExpression = new Instruction[]
{
new Instructions.Int32Constant(4),
new Instructions.End(),
},
IsMutable = false,
}
},
}
};
Module destination;
using (var stream = new MemoryStream())
{
source.WriteToBinary(stream);
stream.Position = 0;
destination = Module.ReadFromBinary(stream);
}
Assert.IsNotNull(destination);
Assert.AreNotSame(source, destination);
Assert.IsNotNull(destination.Imports);
var imports = destination.Imports;
Assert.AreNotSame(source.Imports, imports);
Assert.AreEqual(4, imports.Count);
Assert.IsInstanceOfType(imports[0], typeof(Import.Function));
{
var function = (Import.Function)imports[0];
Assert.AreEqual("A", function.Module);
Assert.AreEqual("1", function.Field);
Assert.AreEqual(2u, function.TypeIndex);
}
Assert.IsInstanceOfType(imports[1], typeof(Import.Table));
{
var table = (Import.Table)imports[1];
Assert.AreEqual("B", table.Module);
Assert.AreEqual("2", table.Field);
Assert.IsNotNull(table.Type);
Assert.AreEqual(ElementType.AnyFunction, table.Type.ElementType);
Assert.IsNotNull(table.Type.ResizableLimits);
Assert.AreEqual(1u, table.Type.ResizableLimits.Minimum);
Assert.AreEqual(2u, table.Type.ResizableLimits.Maximum.GetValueOrDefault());
}
Assert.IsInstanceOfType(imports[2], typeof(Import.Memory));
{
var memory = (Import.Memory)imports[2];
Assert.AreEqual("C", memory.Module);
Assert.AreEqual("3", memory.Field);
Assert.IsNotNull(memory.Type);
Assert.IsNotNull(memory.Type.ResizableLimits);
Assert.AreEqual(4u, memory.Type.ResizableLimits.Minimum);
Assert.AreEqual(5u, memory.Type.ResizableLimits.Maximum.GetValueOrDefault());
}
Assert.IsInstanceOfType(imports[3], typeof(Import.Global));
{
var global = (Import.Global)imports[3];
Assert.AreEqual("D", global.Module);
Assert.AreEqual("4", global.Field);
Assert.IsNotNull(global.Type);
var globalType = global.Type;
Assert.AreEqual(ValueType.Float64, globalType.ContentType);
Assert.IsNotNull(globalType.InitializerExpression);
Assert.AreEqual(2, globalType.InitializerExpression.Count);
Assert.IsInstanceOfType(globalType.InitializerExpression[0], typeof(Instructions.Int32Constant));
Assert.AreEqual(4, ((Instructions.Int32Constant)globalType.InitializerExpression[0]).Value);
Assert.IsInstanceOfType(globalType.InitializerExpression[1], typeof(Instructions.End));
Assert.IsFalse(globalType.IsMutable);
}
}
