public static Expr ExprFromExprContext(LatteParser.ExprContext context)
{
if (context == null)
{
return(null);
}
return(context switch
{
LatteParser.EAddOpContext eAddOpContext => new AddOp(eAddOpContext),
LatteParser.EAndContext eAndContext => new And(eAndContext),
LatteParser.EFalseContext eFalseContext => new Bool(eFalseContext),
LatteParser.EFunCallContext eFunCallContext => new FunCall(eFunCallContext),
LatteParser.EIdContext eIdContext => new ID(eIdContext),
LatteParser.EIntContext eIntContext => new Int(eIntContext),
LatteParser.EMethodCallContext eMethodCallContext => new MethodCall(eMethodCallContext),
LatteParser.EMulOpContext eMulOpContext => new MulOp(eMulOpContext),
LatteParser.ENewObjectContext eNewObjectContext => new NewObject(eNewObjectContext),
LatteParser.ENullContext _ => new Null(),
LatteParser.ENullCastContext _ => new Null(),
LatteParser.EObjectFieldContext eObjectFieldContext => new ObjectField(eObjectFieldContext),
LatteParser.EOrContext eOrContext => new Or(eOrContext),
LatteParser.EParenContext eParenContext => ExprFromExprContext(eParenContext.expr()),
LatteParser.ERelOpContext eRelOpContext => new RelOp(eRelOpContext),
LatteParser.EStrContext eStrContext => new Str(eStrContext),
LatteParser.ETrueContext eTrueContext => new Bool(eTrueContext),
LatteParser.EUnOpContext eUnOpContext => new UnOp(eUnOpContext),
_ => throw new ArgumentOutOfRangeException(nameof(context))
});
public LatteParser.TypeContext GetFieldType(LatteParser.ExprContext objectExpr, string fieldId, int line)
{
var exprType = Visit(objectExpr);
var classDef = _environment.NameToClassDef[exprType.GetText()];
if (!ClassHasField(classDef, fieldId, out var field))
{
Utils.StateUtils.InterruptWithMessage(
line,
ErrorMessages.ClassFieldNotExist(exprType.GetText(), fieldId));
}
return(field.Type);
}
public TwoHandOperation(LatteParser.ExprContext e1, LatteParser.ExprContext e2)
{
Lhs = Utils.ExprFromExprContext(e1);
Rhs = Utils.ExprFromExprContext(e2);
}
