public static void CheckToken(Token token, Token.Type type, string text)
{
if (token.type != type)
{
throw new Syntax.Exception(text, token.GetIndex(), token.GetLine());
}
}
public static BinaryConvertResult ConvertBinaryOperands(Expression lop, Expression rop, Token op)
{
Symbols.Type lt = lop.GetType(), rt = rop.GetType();
BinaryConvertResult res = new BinaryConvertResult();
res.op = op;
Pair <Expression, Expression> uacon = null;
switch (op.type)
{
case Token.Type.OP_STAR:
case Token.Type.OP_DIV:
if (!lt.IsArifmetic())
{
throw new Symbols.Exception(lop, NOT_ARITHMETICAL);
}
if (!rt.IsArifmetic())
{
throw new Symbols.Exception(rop, NOT_ARITHMETICAL);
}
if (op.type == Token.Type.OP_MOD)
{
if (!lt.IsArifmetic())
{
lop = new Cast(lop, new Symbols.INT());
}
if (!rt.IsArifmetic())
{
rop = new Cast(rop, new Symbols.INT());
}
res.type = rop.GetType();
break;
}
uacon = UsualArithmeticConversions(lop, rop);
lop = uacon.first;
rop = uacon.last;
res.type = lop.GetType();
break;
case Token.Type.OP_MOD:
if (!lt.IsInteger())
{
throw new Symbols.Exception(lop, NOT_INTEGER);
}
if (!rt.IsInteger())
{
throw new Symbols.Exception(rop, NOT_INTEGER);
}
if (op.type == Token.Type.OP_MOD)
{
if (!(lt is Symbols.INT))
{
lop = new Cast(lop, new Symbols.INT());
}
if (!(rt is Symbols.INT))
{
rop = new Cast(rop, new Symbols.INT());
}
res.type = rop.GetType();
break;
}
uacon = UsualArithmeticConversions(lop, rop);
lop = uacon.first;
rop = uacon.last;
res.type = lop.GetType();
break;
case Token.Type.OP_PLUS:
case Token.Type.OP_SUB:
if (rt is Symbols.POINTER || lt is Symbols.POINTER)
{
if (rt is Symbols.POINTER && lt is Symbols.POINTER)
{
if (op.type == Token.Type.OP_PLUS)
{
throw new Symbols.Exception(lop, NOT_ARITHMETICAL);
}
res.type = rt;
break;
}
BinaryOperator binop = new BinaryOperator(new Token(Token.Type.OP_STAR));
int size = 0;
if (rt is Symbols.POINTER)
{
lop = lt is Symbols.INT ? lop : new Cast(lop, new Symbols.INT());
binop.SetLeftOperand(lop);
size = ((Symbols.POINTER)rt).GetRefType().GetSizeType();
binop.SetRightOperand(new Const(size.ToString(), new Symbols.INT()));
lop = binop;
res.type = rt;
}
else
{
rop = rt is Symbols.INT ? rop : new Cast(rop, new Symbols.INT());
binop.SetLeftOperand(rop);
size = ((Symbols.POINTER)lt).GetRefType().GetSizeType();
binop.SetRightOperand(new Const(size.ToString(), new Symbols.INT()));
rop = binop;
res.type = lt;
}
break;
}
if (lt.IsArifmetic() || rt.IsArifmetic())
{
if (!lt.IsArifmetic())
{
throw new Symbols.Exception(lop, NOT_ARITHMETICAL);
}
if (!rt.IsArifmetic())
{
throw new Symbols.Exception(rop, NOT_ARITHMETICAL);
}
uacon = UsualArithmeticConversions(lop, rop);
lop = uacon.first;
rop = uacon.last;
res.type = lop.GetType();
break;
}
if (lt is Symbols.Func ||
(lt is Symbols.POINTER && ((Symbols.POINTER)lt).GetRefType() is Symbols.Func))
{
throw new Symbols.Exception(lop, NOT_COMPLETE_TYPE);
}
if (rt is Symbols.Func ||
(rt is Symbols.POINTER && ((Symbols.POINTER)rt).GetRefType() is Symbols.Func))
{
throw new Symbols.Exception(rop, NOT_COMPLETE_TYPE);
}
throw new Symbols.Exception(lop, string.Format(NO_OPERATOR, op.GetStrVal()));
case Token.Type.OP_L_SHIFT:
case Token.Type.OP_R_SHIFT:
case Token.Type.OP_BIT_AND:
case Token.Type.OP_BIT_OR:
case Token.Type.OP_XOR:
if (!lt.IsInteger())
{
throw new Symbols.Exception(lop, NOT_ARITHMETICAL);
}
if (!rt.IsInteger())
{
throw new Symbols.Exception(rop, NOT_ARITHMETICAL);
}
uacon = UsualArithmeticConversions(lop, rop);
lop = uacon.first;
rop = uacon.last;
res.type = lop.GetType();
break;
case Token.Type.OP_MORE:
case Token.Type.OP_LESS:
case Token.Type.OP_LESS_OR_EQUAL:
case Token.Type.OP_MORE_OR_EQUAL:
case Token.Type.OP_EQUAL:
case Token.Type.OP_NOT_EQUAL:
uacon = UsualArithmeticConversions(lop, rop);
lop = uacon.first;
rop = uacon.last;
res.type = lop.GetType();
break;
case Token.Type.OP_AND:
case Token.Type.OP_OR:
if (!(lt.IsArifmetic() || lt is Symbols.POINTER))
{
throw new Symbols.Exception(lop, string.Format(NO_OPERATOR, op.GetStrVal()));
}
if (!(rt.IsArifmetic() || rt is Symbols.POINTER))
{
throw new Symbols.Exception(rop, string.Format(NO_OPERATOR, op.GetStrVal()));
}
uacon = UsualArithmeticConversions(lop, rop);
lop = uacon.first;
rop = uacon.last;
res.type = lop.GetType();
break;
case Token.Type.OP_ASSIGN:
if (!lop.IsLvalue())
{
throw new Symbols.Exception(lop, NOT_LVALUE);
}
if (!lt.Equals(rt))
{
rop = new Cast(rop, lt);
}
res.type = lop.GetType();
break;
case Token.Type.COMMA:
break;
case Token.Type.OP_MUL_ASSIGN:
case Token.Type.OP_DIV_ASSIGN:
case Token.Type.OP_MOD_ASSIGN:
case Token.Type.OP_PLUS_ASSIGN:
case Token.Type.OP_SUB_ASSIGN:
case Token.Type.OP_L_SHIFT_ASSIGN:
case Token.Type.OP_R_SHIFT_ASSIGN:
case Token.Type.OP_BIT_AND_ASSIGN:
case Token.Type.OP_BIT_OR_ASSIGN:
case Token.Type.OP_XOR_ASSIGN:
Token.Type tt = Token.Type.OP_STAR;
switch (op.type)
{
case Token.Type.OP_MUL_ASSIGN:
tt = Token.Type.OP_STAR;
break;
case Token.Type.OP_DIV_ASSIGN:
tt = Token.Type.OP_DIV;
break;
case Token.Type.OP_MOD_ASSIGN:
tt = Token.Type.OP_MOD;
break;
case Token.Type.OP_PLUS_ASSIGN:
tt = Token.Type.OP_PLUS;
break;
case Token.Type.OP_SUB_ASSIGN:
tt = Token.Type.OP_SUB;
break;
case Token.Type.OP_L_SHIFT_ASSIGN:
tt = Token.Type.OP_L_SHIFT;
break;
case Token.Type.OP_R_SHIFT_ASSIGN:
tt = Token.Type.OP_R_SHIFT;
break;
case Token.Type.OP_BIT_AND_ASSIGN:
tt = Token.Type.OP_BIT_AND;
break;
case Token.Type.OP_BIT_OR_ASSIGN:
tt = Token.Type.OP_BIT_OR;
break;
case Token.Type.OP_XOR_ASSIGN:
tt = Token.Type.OP_XOR;
break;
}
BinaryOperator bop = new BinaryOperator(new Token(tt));
bop.SetLeftOperand(lop);
bop.SetRightOperand(rop);
res.op = new Token(op.GetIndex(), op.GetLine(), Token.Type.OP_ASSIGN, "=");
BinaryOperator assign = new BinaryOperator(res.op);
assign.SetLeftOperand(lop);
assign.SetRightOperand(bop);
BinaryConvertResult r = ConvertBinaryOperands(lop, bop, res.op);
rop = r.right;
lop = r.left;
res.type = lop.GetType();
break;
default:
throw new System.NotImplementedException();
}
res.left = lop;
res.right = rop;
return(res);
}
public void SetConstant(Token constant)
{
this.SetConstant(constant.GetStrVal());
this.pos = constant.GetIndex();
this.line = constant.GetLine();
}
public Expression(Token t)
{
this.pos = t.GetIndex();
this.line = t.GetLine();
}
