public static void ValidateRuntimeTokens(RuntimeIshtarModule module)
{
foreach (var @class in module.class_table.OfType <RuntimeIshtarClass>())
{
VM.Assert(@class.runtime_token != RuntimeToken.Default, WNE.TYPE_LOAD,
$"Detected non-inited runtime token. type: '{@class.FullName.NameWithNS}'");
}
}
internal RuntimeIshtarClass(QualityTypeName name, VeinClass[] parents, RuntimeIshtarModule module)
: base(name, parents, module)
{
if (module is null)
{
return;
}
ID = module.Vault.TokenGranted.GrantClassID();
runtime_token = new RuntimeToken(module.ID, ID);
}
public static void DecodeField(BinaryReader binary, VeinClass @class, RuntimeIshtarModule ishtarModule)
{
foreach (var _ in..binary.ReadInt32())
{
var name = FieldName.Resolve(binary.ReadInt32(), ishtarModule);
var type_name = binary.ReadTypeName(ishtarModule);
var type = ishtarModule.FindType(type_name, true, false);
var flags = (FieldFlags)binary.ReadInt16();
var method = new RuntimeIshtarField(@class, name, flags, type);
@class.Fields.Add(method);
}
}
private static List <VeinArgumentRef> ReadArguments(BinaryReader binary, RuntimeIshtarModule ishtarModule)
{
var args = new List <VeinArgumentRef>();
foreach (var _ in..binary.ReadInt32())
{
var nIdx = binary.ReadInt32();
var type = binary.ReadTypeName(ishtarModule);
args.Add(new VeinArgumentRef
{
Name = ishtarModule.GetConstStringByIndex(nIdx),
Type = ishtarModule.FindType(type, true, false)
});
}
return(args);
}
public static RuntimeIshtarClass DecodeClass(byte[] arr, RuntimeIshtarModule ishtarModule)
{
using var mem = new MemoryStream(arr);
using var binary = new BinaryReader(mem);
var className = binary.ReadTypeName(ishtarModule);
var flags = (ClassFlags)binary.ReadInt16();
var parentLen = binary.ReadInt16();
var parents = new List <VeinClass>();
foreach (var _ in..parentLen)
{
var parentIdx = binary.ReadTypeName(ishtarModule);
parents.Add(ishtarModule.FindType(parentIdx, true, false));
}
var len = binary.ReadInt32();
var @class = new RuntimeIshtarClass(className, parents.ToArray()
, ishtarModule)
{
Flags = flags
};
foreach (var _ in..len)
{
var body =
binary.ReadBytes(binary.ReadInt32());
var method = DecodeMethod(body, @class, ishtarModule);
@class.Methods.Add(method);
}
DecodeField(binary, @class, ishtarModule);
return(@class);
}
public static RuntimeIshtarModule Read(AppVault vault, byte[] arr, IReadOnlyList <VeinModule> deps, Func <string, Version, VeinModule> resolver)
{
var module = new RuntimeIshtarModule(vault);
using var mem = new MemoryStream(arr);
using var reader = new BinaryReader(mem);
module.Deps.AddRange(deps);
var idx = reader.ReadInt32(); // name index
var vdx = reader.ReadInt32(); // version index
var ilVersion = reader.ReadInt32();
if (ilVersion != OpCodes.SetVersion)
{
var exp = new ILCompatibleException(ilVersion, OpCodes.SetVersion);
VM.FastFail(WNE.ASSEMBLY_COULD_NOT_LOAD, $"Unable to load assembly: '{exp.Message}'.", sys_frame);
VM.ValidateLastError();
return(null);
}
// read strings table
foreach (var _ in..reader.ReadInt32())
{
var key = reader.ReadInt32();
var value = reader.ReadIshtarString();
module.strings_table.Add(key, value);
}
// read types table
foreach (var _ in..reader.ReadInt32())
{
var key = reader.ReadInt32();
var asmName = reader.ReadIshtarString();
var ns = reader.ReadIshtarString();
var name = reader.ReadIshtarString();
module.types_table.Add(key, new QualityTypeName(asmName, name, ns));
}
// read fields table
foreach (var _ in..reader.ReadInt32())
{
var key = reader.ReadInt32();
var name = reader.ReadIshtarString();
var clazz = reader.ReadIshtarString();
module.fields_table.Add(key, new FieldName(name, clazz));
}
// read deps refs
foreach (var _ in..reader.ReadInt32())
{
var name = reader.ReadIshtarString();
var ver = Version.Parse(reader.ReadIshtarString());
if (module.Deps.Any(x => x.Version.Equals(ver) && x.Name.Equals(name)))
{
continue;
}
var dep = resolver(name, ver);
module.Deps.Add(dep);
}
// read class storage
foreach (var _ in..reader.ReadInt32())
{
var body = reader.ReadBytes(reader.ReadInt32());
var @class = DecodeClass(body, module);
module.class_table.Add(@class);
if (@class.IsSpecial)
{
if (VeinCore.All.Any(x => x.FullName == @class.FullName))
{
TypeForwarder.Indicate(@class);
}
}
}
// restore unresolved types
foreach (var @class in module.class_table)
{
for (var index = 0; index < @class.Parents.Count; index++)
{
var parent = @class.Parents[index];
if (parent is not UnresolvedVeinClass)
{
continue;
}
@class.Parents[index] =
parent.FullName != @class.FullName
? module.FindType(parent.FullName, true)
: null;
}
}
// restore unresolved types
foreach (var @class in module.class_table)
{
foreach (var method in @class.Methods)
{
if (method.ReturnType is not UnresolvedVeinClass)
{
continue;
}
method.ReturnType = module.FindType(method.ReturnType.FullName, true);
}
foreach (var method in @class.Methods)
{
foreach (var argument in method.Arguments)
{
if (argument.Type is not UnresolvedVeinClass)
{
continue;
}
argument.Type = module.FindType(argument.Type.FullName, true);
}
}
foreach (var field in @class.Fields)
{
if (field.FieldType is not UnresolvedVeinClass)
{
continue;
}
field.FieldType = module.FindType(field.FieldType.FullName, true);
}
}
var const_body_len = reader.ReadInt32();
var const_body = reader.ReadBytes(const_body_len);
module.const_table = const_body.ToConstStorage();
module.Name = module.GetConstStringByIndex(idx);
module.Version = Version.Parse(module.GetConstStringByIndex(vdx));
module.aspects.AddRange(Aspect.Deconstruct(module.const_table.storage));
module.SetupBootstraper(vault);
DistributionAspects(module);
ValidateRuntimeTokens(module);
LinkFFIMethods(module);
InitVTables(module);
return(module);
}
internal static unsafe void ConstructIL(RuntimeIshtarMethod method, byte[] body, short stacksize, RuntimeIshtarModule module)
{
var offset = 0;
var body_r = ILReader.Deconstruct(body, &offset, method);
var labels = ILReader.DeconstructLabels(body, &offset);
var exceptions = ILReader.DeconstructExceptions(body, offset, module);
method.Header.max_stack = stacksize;
method.Header.exception_handler_list = exceptions;
method.Header.code = (uint *)Marshal.AllocHGlobal(sizeof(uint) * body_r.opcodes.Count);
for (var i = 0; i != body_r.opcodes.Count; i++)
{
method.Header.code[i] = body_r.opcodes[i];
}
method.Header.code_size = (uint)body_r.opcodes.Count;
method.Header.labels = labels;
method.Header.labels_map = body_r.map.ToDictionary(x => x.Key,
x => new ILLabel
{
opcode = x.Value.opcode,
pos = x.Value.pos
});
}
public static unsafe RuntimeIshtarMethod DecodeMethod(byte[] arr, VeinClass @class, RuntimeIshtarModule ishtarModule)
{
using var mem = new MemoryStream(arr);
using var binary = new BinaryReader(mem);
var idx = binary.ReadInt32();
var flags = (MethodFlags)binary.ReadInt16();
var bodysize = binary.ReadInt32();
var stacksize = binary.ReadByte();
var locals = binary.ReadByte();
var retType = binary.ReadTypeName(ishtarModule);
var args = ReadArguments(binary, ishtarModule);
var body = binary.ReadBytes(bodysize);
var mth = new RuntimeIshtarMethod(ishtarModule.GetConstStringByIndex(idx), flags,
ishtarModule.FindType(retType, true, false),
@class, args.ToArray());
if (mth.IsExtern)
{
return(mth);
}
ConstructIL(mth, body, stacksize, ishtarModule);
return(mth);
}
// shit, todo: refactoring
public static void DistributionAspects(RuntimeIshtarModule module)
{
var errors = new StringBuilder();
var classes = module.class_table;
var class_eq = (VeinClass x, string clazz) => x.Name.Equals(clazz);
foreach (var aspect in module.aspects)
{
switch (aspect)
{
case AspectOfClass classAspect:
{
var @class = classes.FirstOrDefault(x => class_eq(x, classAspect.ClassName));
if (@class is not null)
{
@class.Aspects.Add(aspect);
}
else
{
errors.AppendLine($"Aspect '{classAspect.Name}': class '{classAspect.ClassName}' not found.");
}
break;
}
case AspectOfMethod ma:
{
var method = classes
.Where(x => class_eq(x, ma.ClassName))
.SelectMany(x => x.Methods)
.FirstOrDefault(method => method.Name.Equals(ma.MethodName));
if (method is not null)
{
method.Aspects.Add(aspect);
}
else
{
errors.AppendLine($"Aspect '{ma.Name}': method '{ma.ClassName}/{ma.MethodName}' not found.");
}
break;
}
case AspectOfField fa when !fa.IsNative(): // currently ignoring native aspect, todo
{
var field = classes
.Where(x => class_eq(x, fa.ClassName))
.SelectMany(@class => @class.Fields)
.FirstOrDefault(field => field.Name.Equals(fa.FieldName));
if (field is not null)
{
field.Aspects.Add(aspect);
}
else
{
errors.AppendLine($"Aspect '{fa.Name}': field '{fa.ClassName}/{fa.FieldName}' not found.");
}
break;
}
}
}
if (errors.Length != 0)
{
VM.FastFail(WNE.TYPE_LOAD, $"\n{errors}", sys_frame);
VM.ValidateLastError();
}
}
public static void InitVTables(RuntimeIshtarModule ishtarModule) => ishtarModule.class_table.OfType <RuntimeIshtarClass>().Pipe(x => x.init_vtable()).Consume();
