blob: 9f87cd6224e70b252ec361af71a407a9ecc85845 [file] [log] [blame]
// Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.
library fasta.scanner.precedence;
import '../../scanner/token.dart';
import 'token_constants.dart';
class PrecedenceInfo implements TokenType {
final String value;
final String name;
final int precedence;
final int kind;
final bool isOperator;
final bool isUserDefinableOperator;
const PrecedenceInfo(this.value, this.name, this.precedence, this.kind,
{this.isOperator: false, this.isUserDefinableOperator: false});
String toString() => 'PrecedenceInfo($value, $precedence, $kind)';
static const List<PrecedenceInfo> all = const <PrecedenceInfo>[
BACKPING_INFO,
BACKSLASH_INFO,
PERIOD_PERIOD_PERIOD_INFO,
PERIOD_PERIOD_INFO,
BANG_INFO,
COLON_INFO,
INDEX_INFO,
MINUS_MINUS_INFO,
PLUS_PLUS_INFO,
TILDE_INFO,
FUNCTION_INFO,
HASH_INFO,
INDEX_EQ_INFO,
SEMICOLON_INFO,
COMMA_INFO,
AT_INFO,
AMPERSAND_EQ_INFO,
BAR_EQ_INFO,
CARET_EQ_INFO,
EQ_INFO,
GT_GT_EQ_INFO,
LT_LT_EQ_INFO,
MINUS_EQ_INFO,
PERCENT_EQ_INFO,
PLUS_EQ_INFO,
SLASH_EQ_INFO,
STAR_EQ_INFO,
TILDE_SLASH_EQ_INFO,
QUESTION_QUESTION_EQ_INFO,
QUESTION_INFO,
QUESTION_QUESTION_INFO,
BAR_BAR_INFO,
AMPERSAND_AMPERSAND_INFO,
BAR_INFO,
CARET_INFO,
AMPERSAND_INFO,
BANG_EQ_EQ_INFO,
BANG_EQ_INFO,
EQ_EQ_EQ_INFO,
EQ_EQ_INFO,
GT_EQ_INFO,
GT_INFO,
IS_INFO,
AS_INFO,
LT_EQ_INFO,
LT_INFO,
GT_GT_INFO,
LT_LT_INFO,
MINUS_INFO,
PLUS_INFO,
PERCENT_INFO,
SLASH_INFO,
STAR_INFO,
TILDE_SLASH_INFO,
PERIOD_INFO,
QUESTION_PERIOD_INFO,
KEYWORD_INFO,
EOF_INFO,
IDENTIFIER_INFO,
BAD_INPUT_INFO,
OPEN_PAREN_INFO,
CLOSE_PAREN_INFO,
OPEN_CURLY_BRACKET_INFO,
CLOSE_CURLY_BRACKET_INFO,
INT_INFO,
STRING_INFO,
OPEN_SQUARE_BRACKET_INFO,
CLOSE_SQUARE_BRACKET_INFO,
DOUBLE_INFO,
STRING_INTERPOLATION_INFO,
STRING_INTERPOLATION_IDENTIFIER_INFO,
HEXADECIMAL_INFO,
SINGLE_LINE_COMMENT_INFO,
MULTI_LINE_COMMENT_INFO,
];
@override
bool get isAdditiveOperator => precedence == ADDITIVE_PRECEDENCE;
@override
bool get isAssignmentOperator => precedence == ASSIGNMENT_PRECEDENCE;
@override
bool get isAssociativeOperator =>
this == AMPERSAND_INFO ||
this == AMPERSAND_AMPERSAND_INFO ||
this == BAR_INFO ||
this == BAR_BAR_INFO ||
this == CARET_INFO ||
this == PLUS_INFO ||
this == STAR_INFO;
@override
bool get isEqualityOperator => this == BANG_EQ_INFO || this == EQ_EQ_INFO;
@override
bool get isIncrementOperator =>
this == PLUS_PLUS_INFO || this == MINUS_MINUS_INFO;
@override
bool get isMultiplicativeOperator => precedence == MULTIPLICATIVE_PRECEDENCE;
@override
bool get isRelationalOperator =>
this == LT_INFO ||
this == LT_EQ_INFO ||
this == GT_INFO ||
this == GT_EQ_INFO;
@override
bool get isShiftOperator => precedence == SHIFT_PRECEDENCE;
@override
bool get isUnaryPostfixOperator => precedence == POSTFIX_PRECEDENCE;
@override
bool get isUnaryPrefixOperator =>
precedence == PREFIX_PRECEDENCE ||
this == PLUS_PLUS_INFO ||
this == MINUS_MINUS_INFO;
@override
String get lexeme => value;
}
// TODO(ahe): The following are not tokens in Dart.
const PrecedenceInfo BACKPING_INFO =
const PrecedenceInfo('`', 'BACKPING', 0, BACKPING_TOKEN);
const PrecedenceInfo BACKSLASH_INFO =
const PrecedenceInfo('\\', 'BACKSLASH', 0, BACKSLASH_TOKEN);
const PrecedenceInfo PERIOD_PERIOD_PERIOD_INFO = const PrecedenceInfo(
'...', 'PERIOD_PERIOD_PERIOD', 0, PERIOD_PERIOD_PERIOD_TOKEN);
/**
* The cascade operator has the lowest precedence of any operator
* except assignment.
*/
const int CASCADE_PRECEDENCE = 2;
const PrecedenceInfo PERIOD_PERIOD_INFO = const PrecedenceInfo(
'..', 'PERIOD_PERIOD', CASCADE_PRECEDENCE, PERIOD_PERIOD_TOKEN,
isOperator: true);
const int PREFIX_PRECEDENCE = 15;
const PrecedenceInfo BANG_INFO = const PrecedenceInfo(
'!', 'BANG', PREFIX_PRECEDENCE, BANG_TOKEN,
isOperator: true);
const PrecedenceInfo COLON_INFO =
const PrecedenceInfo(':', 'COLON', 0, COLON_TOKEN);
const PrecedenceInfo INDEX_INFO = const PrecedenceInfo(
'[]', 'INDEX', 0, INDEX_TOKEN,
isOperator: true, isUserDefinableOperator: true);
const PrecedenceInfo MINUS_MINUS_INFO = const PrecedenceInfo(
'--', 'MINUS_MINUS', POSTFIX_PRECEDENCE, MINUS_MINUS_TOKEN,
isOperator: true);
const PrecedenceInfo PLUS_PLUS_INFO = const PrecedenceInfo(
'++', 'PLUS_PLUS', POSTFIX_PRECEDENCE, PLUS_PLUS_TOKEN,
isOperator: true);
const PrecedenceInfo TILDE_INFO = const PrecedenceInfo(
'~', 'TILDE', PREFIX_PRECEDENCE, TILDE_TOKEN,
isOperator: true, isUserDefinableOperator: true);
const PrecedenceInfo FUNCTION_INFO =
const PrecedenceInfo('=>', 'FUNCTION', 0, FUNCTION_TOKEN);
const PrecedenceInfo HASH_INFO =
const PrecedenceInfo('#', 'HASH', 0, HASH_TOKEN);
const PrecedenceInfo INDEX_EQ_INFO = const PrecedenceInfo(
'[]=', 'INDEX_EQ', 0, INDEX_EQ_TOKEN,
isOperator: true, isUserDefinableOperator: true);
const PrecedenceInfo SEMICOLON_INFO =
const PrecedenceInfo(';', 'SEMICOLON', 0, SEMICOLON_TOKEN);
const PrecedenceInfo COMMA_INFO =
const PrecedenceInfo(',', 'COMMA', 0, COMMA_TOKEN);
const PrecedenceInfo AT_INFO = const PrecedenceInfo('@', 'AT', 0, AT_TOKEN);
// Assignment operators.
const int ASSIGNMENT_PRECEDENCE = 1;
const PrecedenceInfo AMPERSAND_EQ_INFO = const PrecedenceInfo(
'&=', 'AMPERSAND_EQ', ASSIGNMENT_PRECEDENCE, AMPERSAND_EQ_TOKEN,
isOperator: true);
const PrecedenceInfo BAR_EQ_INFO = const PrecedenceInfo(
'|=', 'BAR_EQ', ASSIGNMENT_PRECEDENCE, BAR_EQ_TOKEN,
isOperator: true);
const PrecedenceInfo CARET_EQ_INFO = const PrecedenceInfo(
'^=', 'CARET_EQ', ASSIGNMENT_PRECEDENCE, CARET_EQ_TOKEN,
isOperator: true);
const PrecedenceInfo EQ_INFO = const PrecedenceInfo(
'=', 'EQ', ASSIGNMENT_PRECEDENCE, EQ_TOKEN,
isOperator: true);
const PrecedenceInfo GT_GT_EQ_INFO = const PrecedenceInfo(
'>>=', 'GT_GT_EQ', ASSIGNMENT_PRECEDENCE, GT_GT_EQ_TOKEN,
isOperator: true);
const PrecedenceInfo LT_LT_EQ_INFO = const PrecedenceInfo(
'<<=', 'LT_LT_EQ', ASSIGNMENT_PRECEDENCE, LT_LT_EQ_TOKEN,
isOperator: true);
const PrecedenceInfo MINUS_EQ_INFO = const PrecedenceInfo(
'-=', 'MINUS_EQ', ASSIGNMENT_PRECEDENCE, MINUS_EQ_TOKEN,
isOperator: true);
const PrecedenceInfo PERCENT_EQ_INFO = const PrecedenceInfo(
'%=', 'PERCENT_EQ', ASSIGNMENT_PRECEDENCE, PERCENT_EQ_TOKEN,
isOperator: true);
const PrecedenceInfo PLUS_EQ_INFO = const PrecedenceInfo(
'+=', 'PLUS_EQ', ASSIGNMENT_PRECEDENCE, PLUS_EQ_TOKEN,
isOperator: true);
const PrecedenceInfo SLASH_EQ_INFO = const PrecedenceInfo(
'/=', 'SLASH_EQ', ASSIGNMENT_PRECEDENCE, SLASH_EQ_TOKEN,
isOperator: true);
const PrecedenceInfo STAR_EQ_INFO = const PrecedenceInfo(
'*=', 'STAR_EQ', ASSIGNMENT_PRECEDENCE, STAR_EQ_TOKEN,
isOperator: true);
const PrecedenceInfo TILDE_SLASH_EQ_INFO = const PrecedenceInfo(
'~/=', 'TILDE_SLASH_EQ', ASSIGNMENT_PRECEDENCE, TILDE_SLASH_EQ_TOKEN,
isOperator: true);
const PrecedenceInfo QUESTION_QUESTION_EQ_INFO = const PrecedenceInfo('??=',
'QUESTION_QUESTION_EQ', ASSIGNMENT_PRECEDENCE, QUESTION_QUESTION_EQ_TOKEN,
isOperator: true);
const PrecedenceInfo QUESTION_INFO =
const PrecedenceInfo('?', 'QUESTION', 3, QUESTION_TOKEN, isOperator: true);
const PrecedenceInfo QUESTION_QUESTION_INFO = const PrecedenceInfo(
'??', 'QUESTION_QUESTION', 4, QUESTION_QUESTION_TOKEN,
isOperator: true);
const PrecedenceInfo BAR_BAR_INFO =
const PrecedenceInfo('||', 'BAR_BAR', 5, BAR_BAR_TOKEN, isOperator: true);
const PrecedenceInfo AMPERSAND_AMPERSAND_INFO = const PrecedenceInfo(
'&&', 'AMPERSAND_AMPERSAND', 6, AMPERSAND_AMPERSAND_TOKEN,
isOperator: true);
const PrecedenceInfo BAR_INFO = const PrecedenceInfo('|', 'BAR', 9, BAR_TOKEN,
isOperator: true, isUserDefinableOperator: true);
const PrecedenceInfo CARET_INFO = const PrecedenceInfo(
'^', 'CARET', 10, CARET_TOKEN,
isOperator: true, isUserDefinableOperator: true);
const PrecedenceInfo AMPERSAND_INFO = const PrecedenceInfo(
'&', 'AMPERSAND', 11, AMPERSAND_TOKEN,
isOperator: true, isUserDefinableOperator: true);
// Equality operators.
const int EQUALITY_PRECEDENCE = 7;
const PrecedenceInfo BANG_EQ_EQ_INFO = const PrecedenceInfo(
'!==', 'BANG_EQ_EQ', EQUALITY_PRECEDENCE, BANG_EQ_EQ_TOKEN);
const PrecedenceInfo BANG_EQ_INFO = const PrecedenceInfo(
'!=', 'BANG_EQ', EQUALITY_PRECEDENCE, BANG_EQ_TOKEN,
isOperator: true);
const PrecedenceInfo EQ_EQ_EQ_INFO = const PrecedenceInfo(
'===', 'EQ_EQ_EQ', EQUALITY_PRECEDENCE, EQ_EQ_EQ_TOKEN);
const PrecedenceInfo EQ_EQ_INFO = const PrecedenceInfo(
'==', 'EQ_EQ', EQUALITY_PRECEDENCE, EQ_EQ_TOKEN,
isOperator: true, isUserDefinableOperator: true);
// Relational operators.
const int RELATIONAL_PRECEDENCE = 8;
const PrecedenceInfo GT_EQ_INFO = const PrecedenceInfo(
'>=', 'GT_EQ', RELATIONAL_PRECEDENCE, GT_EQ_TOKEN,
isOperator: true, isUserDefinableOperator: true);
const PrecedenceInfo GT_INFO = const PrecedenceInfo(
'>', 'GT', RELATIONAL_PRECEDENCE, GT_TOKEN,
isOperator: true, isUserDefinableOperator: true);
const PrecedenceInfo IS_INFO =
const PrecedenceInfo('is', 'IS', RELATIONAL_PRECEDENCE, KEYWORD_TOKEN);
const PrecedenceInfo AS_INFO =
const PrecedenceInfo('as', 'AS', RELATIONAL_PRECEDENCE, KEYWORD_TOKEN);
const PrecedenceInfo LT_EQ_INFO = const PrecedenceInfo(
'<=', 'LT_EQ', RELATIONAL_PRECEDENCE, LT_EQ_TOKEN,
isOperator: true, isUserDefinableOperator: true);
const PrecedenceInfo LT_INFO = const PrecedenceInfo(
'<', 'LT', RELATIONAL_PRECEDENCE, LT_TOKEN,
isOperator: true, isUserDefinableOperator: true);
// Shift operators.
const int SHIFT_PRECEDENCE = 12;
const PrecedenceInfo GT_GT_INFO = const PrecedenceInfo(
'>>', 'GT_GT', SHIFT_PRECEDENCE, GT_GT_TOKEN,
isOperator: true, isUserDefinableOperator: true);
const PrecedenceInfo LT_LT_INFO = const PrecedenceInfo(
'<<', 'LT_LT', SHIFT_PRECEDENCE, LT_LT_TOKEN,
isOperator: true, isUserDefinableOperator: true);
// Additive operators.
const int ADDITIVE_PRECEDENCE = 13;
const PrecedenceInfo MINUS_INFO = const PrecedenceInfo(
'-', 'MINUS', ADDITIVE_PRECEDENCE, MINUS_TOKEN,
isOperator: true, isUserDefinableOperator: true);
const PrecedenceInfo PLUS_INFO = const PrecedenceInfo(
'+', 'PLUS', ADDITIVE_PRECEDENCE, PLUS_TOKEN,
isOperator: true, isUserDefinableOperator: true);
// Multiplicative operators.
const int MULTIPLICATIVE_PRECEDENCE = 14;
const PrecedenceInfo PERCENT_INFO = const PrecedenceInfo(
'%', 'PERCENT', MULTIPLICATIVE_PRECEDENCE, PERCENT_TOKEN,
isOperator: true, isUserDefinableOperator: true);
const PrecedenceInfo SLASH_INFO = const PrecedenceInfo(
'/', 'SLASH', MULTIPLICATIVE_PRECEDENCE, SLASH_TOKEN,
isOperator: true, isUserDefinableOperator: true);
const PrecedenceInfo STAR_INFO = const PrecedenceInfo(
'*', 'STAR', MULTIPLICATIVE_PRECEDENCE, STAR_TOKEN,
isOperator: true, isUserDefinableOperator: true);
const PrecedenceInfo TILDE_SLASH_INFO = const PrecedenceInfo(
'~/', 'TILDE_SLASH', MULTIPLICATIVE_PRECEDENCE, TILDE_SLASH_TOKEN,
isOperator: true, isUserDefinableOperator: true);
const int POSTFIX_PRECEDENCE = 16;
const PrecedenceInfo PERIOD_INFO =
const PrecedenceInfo('.', 'PERIOD', POSTFIX_PRECEDENCE, PERIOD_TOKEN);
const PrecedenceInfo QUESTION_PERIOD_INFO = const PrecedenceInfo(
'?.', 'QUESTION_PERIOD', POSTFIX_PRECEDENCE, QUESTION_PERIOD_TOKEN,
isOperator: true);
const PrecedenceInfo KEYWORD_INFO =
const PrecedenceInfo('keyword', 'KEYWORD', 0, KEYWORD_TOKEN);
const PrecedenceInfo EOF_INFO = const PrecedenceInfo('', 'EOF', 0, EOF_TOKEN);
/// Precedence info used by synthetic tokens that are created during parser
/// recovery (non-analyzer use case).
const PrecedenceInfo RECOVERY_INFO =
const PrecedenceInfo('recovery', 'RECOVERY', 0, RECOVERY_TOKEN);
const PrecedenceInfo IDENTIFIER_INFO =
const PrecedenceInfo('identifier', 'STRING_INT', 0, IDENTIFIER_TOKEN);
const PrecedenceInfo SCRIPT_INFO =
const PrecedenceInfo('script', 'SCRIPT_TAG', 0, SCRIPT_TOKEN);
const PrecedenceInfo BAD_INPUT_INFO =
const PrecedenceInfo('malformed input', 'BAD_INPUT', 0, BAD_INPUT_TOKEN);
const PrecedenceInfo OPEN_PAREN_INFO = const PrecedenceInfo(
'(', 'OPEN_PAREN', POSTFIX_PRECEDENCE, OPEN_PAREN_TOKEN);
const PrecedenceInfo CLOSE_PAREN_INFO =
const PrecedenceInfo(')', 'CLOSE_PAREN', 0, CLOSE_PAREN_TOKEN);
const PrecedenceInfo OPEN_CURLY_BRACKET_INFO = const PrecedenceInfo(
'{', 'OPEN_CURLY_BRACKET', 0, OPEN_CURLY_BRACKET_TOKEN);
const PrecedenceInfo CLOSE_CURLY_BRACKET_INFO = const PrecedenceInfo(
'}', 'CLOSE_CURLY_BRACKET', 0, CLOSE_CURLY_BRACKET_TOKEN);
const PrecedenceInfo INT_INFO =
const PrecedenceInfo('int', 'INT', 0, INT_TOKEN);
const PrecedenceInfo STRING_INFO =
const PrecedenceInfo('string', 'STRING', 0, STRING_TOKEN);
const PrecedenceInfo OPEN_SQUARE_BRACKET_INFO = const PrecedenceInfo(
'[', 'OPEN_SQUARE_BRACKET', POSTFIX_PRECEDENCE, OPEN_SQUARE_BRACKET_TOKEN);
const PrecedenceInfo CLOSE_SQUARE_BRACKET_INFO = const PrecedenceInfo(
']', 'CLOSE_SQUARE_BRACKET', 0, CLOSE_SQUARE_BRACKET_TOKEN);
const PrecedenceInfo DOUBLE_INFO =
const PrecedenceInfo('double', 'DOUBLE', 0, DOUBLE_TOKEN);
const PrecedenceInfo STRING_INTERPOLATION_INFO = const PrecedenceInfo(
'\${', 'STRING_INTERPOLATION_EXPRESSION', 0, STRING_INTERPOLATION_TOKEN);
const PrecedenceInfo STRING_INTERPOLATION_IDENTIFIER_INFO =
const PrecedenceInfo('\$', 'STRING_INTERPOLATION_IDENTIFIER', 0,
STRING_INTERPOLATION_IDENTIFIER_TOKEN);
const PrecedenceInfo HEXADECIMAL_INFO =
const PrecedenceInfo('hexadecimal', 'HEXADECIMAL', 0, HEXADECIMAL_TOKEN);
const PrecedenceInfo SINGLE_LINE_COMMENT_INFO =
const PrecedenceInfo('comment', 'SINGLE_LINE_COMMENT', 0, COMMENT_TOKEN);
const PrecedenceInfo MULTI_LINE_COMMENT_INFO =
const PrecedenceInfo('comment', 'MULTI_LINE_COMMENT', 0, COMMENT_TOKEN);