mulfile java_Java Token.MUL属性代码示例

/**

* for infix expressions, we ignore implicit coercions for now. For arithmetic

* operators, we assume the type of the entire expression to be the same as that

* of either operand. For comparison operators, we require operands to have

* the same type, and assume that the result is a boolean. Note that Assignments

* are also InfixExpressions and that some property-get operations show up as

* InfixExpressions for which the operator is GETPROP.

*/

private ITypeTerm processInfixExpression(InfixExpression i) throws Error {

int operator = i.getOperator();

AstNode leftOperand = i.getLeft();

AstNode rightOperand = i.getRight();

ITypeTerm iTerm = findOrCreateExpressionTerm(i);

switch (operator){

case Token.GETPROP:

return processPropertyGet(i, leftOperand, rightOperand);

case Token.ASSIGN:

case Token.ASSIGN_ADD:

case Token.ASSIGN_SUB:

case Token.ASSIGN_MUL:

case Token.ASSIGN_DIV:

case Token.ASSIGN_BITAND:

case Token.ASSIGN_BITOR:

case Token.ASSIGN_BITXOR:

case Token.ASSIGN_RSH:

processAssignment((Assignment)i);

return iTerm;

case Token.ADD:

case Token.SUB:

case Token.MUL:

case Token.DIV:

case Token.MOD:

case Token.BITOR:

case Token.EQ:

case Token.LE:

case Token.LT:

case Token.NE:

case Token.GT:

case Token.GE:

case Token.SHNE:

case Token.SHEQ:

case Token.AND:

case Token.OR:

case Token.BITAND:

case Token.BITXOR:

case Token.LSH:

case Token.RSH:

case Token.URSH:

case Token.IN:

ITypeTerm leftTerm = processExpression(leftOperand);

ITypeTerm rightTerm = processExpression(rightOperand);

OperatorTerm opTerm = findOrCreateOperatorTerm(RhinoToIR.decodeRhinoOperator(operator), leftTerm, rightTerm, i.getLineno());

addTypeEqualityConstraint(iTerm, opTerm, i.getLineno(), (solution) -> binaryOperatorMisuse(i, solution.typeOfTerm(leftTerm), solution.typeOfTerm(rightTerm), solution.typeOfTerm(opTerm)));

break;

default:

error("unexpected infix operator: " + operator + "(" + RhinoToIR.decodeRhinoOperator(operator) + ") in " + i.toSource(), i);

}

theMap.put(i, iTerm);

return iTerm;

}