BadMemberAccessExpression.cs

Go to the documentation of this file.

using BadScript2.Common;
using BadScript2.Optimizations.Folding;
using BadScript2.Reader.Token;
using BadScript2.Runtime;
using BadScript2.Runtime.Error;
using BadScript2.Runtime.Objects;
using BadScript2.Runtime.Objects.Types;
using BadScript2.Runtime.Objects.Types.Interface;
 
namespace BadScript2.Parser.Expressions.Access;
 
public class BadMemberAccessExpression : BadExpression, IBadAccessExpression
{
    public IReadOnlyList<BadExpression> GenericArguments { get; }
    public BadMemberAccessExpression(
        BadExpression left,
        BadWordToken right,
        BadSourcePosition position,
        List<BadExpression> genericArguments,
        bool nullChecked = false) : base(
        false,
        position
    )
    {
        Left = left;
        Right = right;
        GenericArguments = genericArguments;
        NullChecked = nullChecked;
    }
 
    public BadExpression Left { get; private set; }
 
    public BadWordToken Right { get; }
 
    public bool NullChecked { get; }
 
    public override IEnumerable<BadExpression> GetDescendants()
    {
        return Left.GetDescendantsAndSelf();
    }
 
    public override void Optimize()
    {
        Left = BadConstantFoldingOptimizer.Optimize(Left);
    }
 
    protected override IEnumerable<BadObject> InnerExecute(BadExecutionContext context)
    {
        BadObject left = BadObject.Null;
 
        foreach (BadObject o in Left.Execute(context))
        {
            left = o;
 
            yield return o;
        }
 
        left = left.Dereference();
 
        if (NullChecked && !left.HasProperty(Right.Text, context.Scope))
        {
            yield return BadObject.Null;
        }
        else
        {
            BadObject ret = left.GetProperty(Right.Text, context.Scope);
 
            if (GenericArguments.Count != 0)
            {
                ret = ret.Dereference();
                if (ret is not IBadGenericObject genType)
                {
                    throw BadRuntimeException.Create(
                        context.Scope,
                        $"Object {ret} does not support generic arguments",
                        Position
                    );
                }
                BadObject[] genParams = new BadObject[GenericArguments.Count];
                for (int i = 0; i < GenericArguments.Count; i++)
                {
                    foreach (BadObject? o in GenericArguments[i].Execute(context))
                    {
                        genParams[i] = o;
                    }
 
                    genParams[i] = genParams[i].Dereference();
                }
 
                yield return genType.CreateGeneric(genParams);
            }
            else{
                yield return ret;
            }   
        }
    }
 
 
    public override string ToString()
    {
        return $"({Left}{(NullChecked ? "?" : "")}.{Right})";
    }
}