public BaseDeclaration OriginalOrReflectedClassFor(BaseDeclaration baseDecl)
{
BaseDeclaration result = null;
allClassesAdded.TryGetValue(baseDecl.ToFullyQualifiedName(false), out result);
return(result ?? baseDecl);
}
SLBaseExpr MarshalNamedTypeSpec(BaseDeclaration declContext, string name, NamedTypeSpec spec)
{
if (typeMapper.GetEntityForTypeSpec(spec) == null)
{
throw new NotImplementedException($"Unknown type {name}:{spec.ToString ()} in context {declContext.ToFullyQualifiedName (true)}");
}
bool isClass = NamedSpecIsClass(spec);
if (isClass || spec.IsInOut)
{
imports.AddIfNotPresent("XamGlue");
return(new SLFunctionCall("toIntPtr", false,
new SLArgument(new SLIdentifier("value"), new SLIdentifier(name), true)));
}
if (TypeSpec.IsBuiltInValueType(spec))
{
return(new SLIdentifier(name));
}
// at this point, the value is either an enum or a struct, not passed by reference which we need to copy
// into a local which we can then pass by reference.
var bindingName = new SLIdentifier(MarshalEngine.Uniqueify(name, identifiersUsed));
identifiersUsed.Add(bindingName.Name);
var decl = new SLDeclaration(false, bindingName, typeMapper.TypeSpecMapper.MapType(declContext, imports, spec, false),
new SLIdentifier(name), Visibility.None, false);
var varBinding = new SLLine(decl);
preMarshalCode.Add(varBinding);
return(new SLAddressOf(bindingName, false));
}
SLType MapType(BaseDeclaration declContext, SLImportModules modules, ClosureTypeSpec spec, bool isForReturn)
{
if (spec.Throws)
{
throw ErrorHelper.CreateError(ReflectorError.kTypeMapBase + 16, $"In {declContext.ToFullyQualifiedName ()}, closure type {spec.ToString ()} throws, which is not supported yet.");
}
var argumentTypes = new List <SLType> ();
if (spec.Arguments is TupleTypeSpec)
{
argumentTypes.AddRange(((TupleTypeSpec)spec.Arguments).Elements.Select(arg => MapType(declContext, modules, arg, false)));
}
else
{
argumentTypes.Add(MapType(declContext, modules, spec.Arguments, false));
}
SLFuncType funcType = null;
if (isForOverride)
{
var arguments = new SLTupleType(argumentTypes.Select(at => new SLNameTypePair((string)null, at)).ToList());
if (spec.ReturnType.IsEmptyTuple)
{
// Action ->
funcType = new SLFuncType(arguments ?? new SLTupleType(), new SLTupleType());
}
else
{
// Func
SLType slRetType = MapType(declContext, modules, spec.ReturnType, true);
funcType = new SLFuncType(arguments ?? new SLTupleType(), slRetType);
}
if (spec.IsEscaping)
{
SLAttribute.Escaping().AttachBefore(funcType);
}
}
else if (isForReturn)
{
var arguments = argumentTypes.Select(at => new SLNameTypePair("_", at)).ToList();
if (spec.ReturnType.IsEmptyTuple)
{
// Action ->
// (UnsafeMutablePointer<(argumentTypes)>) -> ()
var pointerToArgTuple = arguments.Count != 0 ?
new SLBoundGenericType("UnsafeMutablePointer", new SLTupleType(arguments))
: null;
if (pointerToArgTuple != null)
{
funcType = new SLFuncType(new SLTupleType(new SLNameTypePair("_", pointerToArgTuple)),
new SLTupleType());
}
else // should never happen?
{
funcType = new SLFuncType(new SLTupleType(), new SLTupleType());
}
}
else
{
// Func
// (UnsafeMutablePointer<returnType>,UnsafeMutablePointer<(argumentTypes)>) -> ()
SLType slRetType = MapType(declContext, modules, spec.ReturnType, true);
var pointerToArgTuple = arguments.Count != 0 ?
new SLBoundGenericType("UnsafeMutablePointer", new SLTupleType(arguments))
: null;
if (pointerToArgTuple != null)
{
funcType = new SLFuncType(new SLTupleType(new SLNameTypePair("_", new SLBoundGenericType("UnsafeMutablePointer", slRetType)),
new SLNameTypePair("_", pointerToArgTuple)),
new SLTupleType());
}
else
{
funcType = new SLFuncType(new SLTupleType(new SLNameTypePair("_", new SLBoundGenericType("UnsafeMutablePointer", slRetType))),
new SLTupleType());
}
}
}
else
{
var arguments = argumentTypes.Select(at => new SLNameTypePair("_", at)).ToList();
var opaquePointerArg = new SLNameTypePair("_", SLSimpleType.OpaquePointer);
if (spec.ReturnType.IsEmptyTuple)
{
// Action ->
// (UnsafeMutablePointer<(argumentTypes)>, OpaquePointer) -> ()
var pointerToArgTuple = arguments.Count != 0 ?
new SLBoundGenericType("UnsafeMutablePointer", new SLTupleType(arguments))
: null;
if (pointerToArgTuple != null)
{
funcType = new SLFuncType(new SLTupleType(new SLNameTypePair("_", pointerToArgTuple), opaquePointerArg),
new SLTupleType());
}
else // should never happen?
{
funcType = new SLFuncType(new SLTupleType(opaquePointerArg), new SLTupleType());
}
}
else
{
// Func
// (UnsafeMutablePointer<returnType>,UnsafeMutablePointer<(argumentTypes)>) -> ()
SLType slRetType = MapType(declContext, modules, spec.ReturnType, true);
var pointerToArgTuple = arguments.Count != 0 ?
new SLBoundGenericType("UnsafeMutablePointer", new SLTupleType(arguments))
: null;
if (pointerToArgTuple != null)
{
funcType = new SLFuncType(new SLTupleType(new SLNameTypePair("_", new SLBoundGenericType("UnsafeMutablePointer", slRetType)),
new SLNameTypePair("_", pointerToArgTuple),
opaquePointerArg),
new SLTupleType());
}
else
{
funcType = new SLFuncType(new SLTupleType(new SLNameTypePair("_", new SLBoundGenericType("UnsafeMutablePointer", slRetType)),
opaquePointerArg),
new SLTupleType());
}
}
if (!isForReturn)
{
funcType.Attributes.Add(new SLAttribute("escaping", null));
}
}
return(funcType);
}