public override void EmitPtr(IBlockContext context)
{
TO2Type targetType = target.ResultType(context);
IIndexAccessEmitter indexAccess = targetType.AllowedIndexAccess(context.ModuleContext, indexSpec);
if (indexAccess == null)
{
context.AddError(new StructuralError(
StructuralError.ErrorType.NoIndexAccess,
$"Type '{targetType.Name}' does not support access by index",
Start,
End
));
return;
}
if (indexAccess.RequiresPtr)
{
target.EmitPtr(context);
}
else
{
target.EmitCode(context, false);
}
if (context.HasErrors)
{
return;
}
indexAccess.EmitPtr(context);
}
public override void EmitCode(IBlockContext context, bool dropResult)
{
TO2Type valueType = expression.ResultType(context);
TO2Type targetType = target.ResultType(context);
IIndexAccessEmitter indexAccess = targetType.AllowedIndexAccess(context.ModuleContext, indexSpec);
if (indexAccess == null)
{
context.AddError(new StructuralError(
StructuralError.ErrorType.NoIndexAccess,
$"Type '{targetType.Name}' does not support access by index",
Start,
End
));
return;
}
if (target is IAssignContext assignContext)
{
if (assignContext.IsConst(context))
{
context.AddError(new StructuralError(
StructuralError.ErrorType.NoSuchField,
$"Type '{targetType.Name}' elements can not be set on a read-only variable",
Start,
End
));
return;
}
}
else
{
context.AddError(new StructuralError(
StructuralError.ErrorType.CoreGeneration,
$"Index assign '{targetType.Name}'.'{indexSpec}' on invalid target expression",
Start,
End
));
return;
}
if (op == Operator.Assign)
{
if (indexAccess.RequiresPtr)
{
target.EmitPtr(context);
}
else
{
target.EmitCode(context, false);
}
if (context.HasErrors)
{
return;
}
if (!dropResult)
{
using ITempBlockVariable tmpResult =
context.MakeTempVariable(indexAccess.TargetType.UnderlyingType(context.ModuleContext));
indexAccess.EmitStore(context, subContext => {
expression.EmitCode(subContext, false);
indexAccess.TargetType.AssignFrom(subContext.ModuleContext, valueType)
.EmitConvert(subContext);
context.IL.Emit(OpCodes.Dup);
// ReSharper disable once AccessToDisposedClosure
tmpResult.EmitStore(subContext);
});
tmpResult.EmitLoad(context);
}
else
{
indexAccess.EmitStore(context, subContext => {
expression.EmitCode(subContext, false);
indexAccess.TargetType.AssignFrom(subContext.ModuleContext, valueType).EmitConvert(subContext);
});
}
}
else
{
IOperatorEmitter operatorEmitter = indexAccess.TargetType.AllowedSuffixOperators(context.ModuleContext)
.GetMatching(context.ModuleContext, op, valueType);
if (operatorEmitter == null)
{
context.AddError(new StructuralError(
StructuralError.ErrorType.IncompatibleTypes,
$"Index assign '{targetType.Name}'.'{indexSpec}': Cannot {op} a {indexAccess.TargetType} with a {valueType}",
Start,
End
));
return;
}
expression.Prepare(context);
if (indexAccess.RequiresPtr)
{
target.EmitPtr(context);
}
else
{
target.EmitCode(context, false);
}
if (context.HasErrors)
{
return;
}
if (!dropResult)
{
using ITempBlockVariable tmpResult =
context.MakeTempVariable(indexAccess.TargetType.UnderlyingType(context.ModuleContext));
indexAccess.EmitStore(context, subContext => {
if (indexAccess.RequiresPtr)
{
target.EmitPtr(context);
}
else
{
target.EmitCode(context, false);
}
indexAccess.EmitLoad(context);
expression.EmitCode(subContext, false);
operatorEmitter.OtherType.AssignFrom(context.ModuleContext, valueType).EmitConvert(context);
operatorEmitter.EmitCode(context, this);
context.IL.Emit(OpCodes.Dup);
// ReSharper disable once AccessToDisposedClosure
tmpResult.EmitStore(subContext);
});
tmpResult.EmitLoad(context);
}
else
{
indexAccess.EmitStore(context, subContext => {
if (indexAccess.RequiresPtr)
{
target.EmitPtr(context);
}
else
{
target.EmitCode(context, false);
}
indexAccess.EmitLoad(context);
expression.EmitCode(subContext, false);
operatorEmitter.OtherType.AssignFrom(context.ModuleContext, valueType).EmitConvert(context);
operatorEmitter.EmitCode(context, this);
});
}
}
}
public override IIndexAccessEmitter AllowedIndexAccess(ModuleContext context, IndexSpec indexSpec) => aliasedType.AllowedIndexAccess(declaredModule, indexSpec);
public override TO2Type ResultType(IBlockContext context)
{
TO2Type targetType = target.ResultType(context);
return(targetType.AllowedIndexAccess(context.ModuleContext, indexSpec)?.TargetType ?? BuiltinType.Unit);
}