public void UnknownField(string field, ElaValue given)
{
Fail(ElaRuntimeError.UnknownField, field, given.ToString(), given.GetTypeName());
}
public void NoOperator(ElaValue value, string op)
{
Fail(ElaRuntimeError.InvalidOp, value.GetTypeName(), op);
}
public void IndexOutOfRange(ElaValue index, ElaValue obj)
{
Fail(ElaRuntimeError.IndexOutOfRange, index.ToString(), index.GetTypeName(),
obj.ToString(), obj.GetTypeName());
}
public void InvalidType(string expected, ElaValue given)
{
Fail(ElaRuntimeError.InvalidType, expected, given.GetTypeName());
}
public void NotAlgebraicType(ElaValue val)
{
Fail(ElaRuntimeError.NotAlgebraicType, val.GetTypeName());
}
public void InvalidIndexType(ElaValue index)
{
Fail(ElaRuntimeError.InvalidIndexType, index.GetTypeName());
}
public void DivideByZero(ElaValue value)
{
Fail(ElaRuntimeError.DivideByZero, value.ToString(), value.GetTypeName());
}
public void InvalidFormat(string format, ElaValue value)
{
Fail(ElaRuntimeError.InvalidFormat, format, value.ToString(), value.GetTypeName());
}
private static Exception InvalidCast(ElaValue val, ElaTypeCode type)
{
return(new ElaRuntimeException(ElaRuntimeError.InvalidType, TCF.GetShortForm(type), val.GetTypeName()));
}