BadInterfacePropertyConstraint.cs

Go to the documentation of this file.

using BadScript2.Runtime.Error;
using BadScript2.Runtime.Objects;
using BadScript2.Runtime.Objects.Types;
using BadScript2.Runtime.Objects.Types.Interface;
using BadScript2.Utility;
 
namespace BadScript2.Parser.Expressions.Types;
 
public class BadInterfacePropertyConstraint : BadInterfaceConstraint
{
    private readonly BadClassPrototype? m_Prototype;
 
    public readonly string Name;
 
    public readonly BadExpression? Type;
 
    public BadInterfacePropertyConstraint(string name, BadExpression? type)
    {
        Name = name;
        Type = type;
    }
 
    public BadInterfacePropertyConstraint(string name, BadExpression? type, BadClassPrototype? prototype)
    {
        Name = name;
        Type = type;
        m_Prototype = prototype;
    }
 
    public override void Validate(BadClass obj, List<BadInterfaceValidatorError> errors)
    {
        if (Type != null && m_Prototype == null)
        {
            throw new BadRuntimeException("Type was not Evaluated.");
        }
 
        if (!obj.HasProperty(Name, obj.Scope))
        {
            errors.Add(new BadInterfaceValidatorError($"Missing Property. Expected {Name}", this));
 
            return;
        }
 
        BadPropertyInfo info = obj.Scope.GetVariableInfo(Name);
        BadClassPrototype actual = info.Type ?? BadAnyPrototype.Instance;
        BadClassPrototype expected = m_Prototype ?? BadAnyPrototype.Instance;
        if (expected == BadVoidPrototype.Instance)
        {
            errors.Add(new BadInterfaceValidatorError("Interface Properties can not be of type 'void'", this));
        }
        if (!expected.IsSuperClassOf(actual))
        {
            errors.Add(new BadInterfaceValidatorError($"Property Type Mismatch. Expected {expected} but got {actual}", this));
        }
    }
 
    public override bool Equals(BadInterfaceConstraint? other)
    {
        return other is BadInterfacePropertyConstraint c && c.Name == Name && c.Type == Type;
    }
 
    protected override int GetConstraintHash()
    {
        return BadHashCode.Combine(Name, Type, typeof(BadInterfacePropertyConstraint));
    }
}