operator.c

Go to the documentation of this file.

 
#include "operator.h"
#include "util/abort.h"
 
#define OP_TKN_START PS_TOKEN_EQ
#define OP_TKN_END PS_TOKEN_BIT_XOR
#define OP_TKN_RANGE (OP_TKN_END - OP_TKN_START + 1)
 
/* clang-format off */
struct ps_operator operators[OP_TKN_RANGE] = {
    [PS_TOKEN_EQ - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = false,
        .is_left_associative = true,
        .binary_prec = 50
    },
    [PS_TOKEN_ASSIGN - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = false,
        .is_left_associative = false,
        .binary_prec = 0
    },
    [PS_TOKEN_PLUS_ASSIGN - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = false,
        .is_left_associative = false,
        .binary_prec = 0
    },
    [PS_TOKEN_PLUS - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = false,
        .is_left_associative = true,
        .binary_prec = 100
    },
    [PS_TOKEN_MINUS_ASSIGN - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = true,
        .is_left_associative = false,
        .unary_prec = 0,
        .binary_prec = 0
    },
    [PS_TOKEN_MINUS - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = true,
        .is_left_associative = true,
        .unary_prec = 200,
        .binary_prec = 100
    },
    [PS_TOKEN_POW_ASSIGN - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = false,
        .is_left_associative = false,
        .binary_prec = 0
    },
    [PS_TOKEN_POW - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = false,
        .is_left_associative = false,
        .binary_prec = 300
    },
    [PS_TOKEN_MUL_ASSIGN - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = false,
        .is_left_associative = false,
        .binary_prec = 0
    },
    [PS_TOKEN_MUL - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = false,
        .is_left_associative = true,
        .binary_prec = 200
    },
    [PS_TOKEN_DIV_ASSIGN - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = false,
        .is_left_associative = false,
        .binary_prec = 0
    },
    [PS_TOKEN_DIV - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = false,
        .is_left_associative = true,
        .binary_prec = 200
    },
    [PS_TOKEN_MOD - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = false,
        .is_left_associative = true,
        .binary_prec = 200
    },
    [PS_TOKEN_NEQ - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = false,
        .is_left_associative = true,
        .binary_prec = 50
    },
    [PS_TOKEN_LESS_OR_EQ - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = false,
        .is_left_associative = true,
        .binary_prec = 50
    },
    [PS_TOKEN_GREATER_OR_EQ - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = false,
        .is_left_associative = true,
        .binary_prec = 50
    },
    [PS_TOKEN_BIT_SHL_ASSIGN - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = false,
        .is_left_associative = false,
        .binary_prec = 0
    },
    [PS_TOKEN_BIT_SHL - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = false,
        .is_left_associative = false,
        .binary_prec = 150
    },
    [PS_TOKEN_BIT_SHR_ASSIGN - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = false,
        .is_left_associative = false,
        .binary_prec = 0
    },
    [PS_TOKEN_BIT_SHR - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = false,
        .is_left_associative = false,
        .binary_prec = 150
    },
    [PS_TOKEN_LESS - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = false,
        .is_left_associative = true,
        .binary_prec = 50
    },
    [PS_TOKEN_GREATER - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = false,
        .is_left_associative = true,
        .binary_prec = 50
    },
    [PS_TOKEN_LOG_AND - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = false,
        .is_left_associative = true,
        .binary_prec = 35
    },
    [PS_TOKEN_LOG_OR - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = false,
        .is_left_associative = true,
        .binary_prec = 25
    },
    [PS_TOKEN_LOG_NOT - OP_TKN_START] = {
        .is_binary = false,
        .is_unary = true,
        .is_left_associative = true,
        .unary_prec = 200
    },
    [PS_TOKEN_BIT_AND - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = false,
        .is_left_associative = true,
        .binary_prec = 75
    },
    [PS_TOKEN_BIT_OR_ASSIGN - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = false,
        .is_left_associative = false,
        .binary_prec = 0
    },
    [PS_TOKEN_BIT_OR - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = false,
        .is_left_associative = true,
        .binary_prec = 75
    }, 
    [PS_TOKEN_BIT_NOT - OP_TKN_START] = {
        .is_binary = false,
        .is_unary = true,
        .is_left_associative = true,
        .unary_prec = 200
    },
    [PS_TOKEN_BIT_XOR_ASSIGN - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = false,
        .is_left_associative = false,
        .binary_prec = 0
    },
    [PS_TOKEN_BIT_XOR - OP_TKN_START] = {
        .is_binary = true,
        .is_unary = false,
        .is_left_associative = true,
        .binary_prec = 75
    }
};
/* clang-format on */
 
// ops go from EQ to BIT_XOR
bool ps_token_type_is_op(enum ps_token_type type) {
    return type >= PS_TOKEN_EQ && type <= PS_TOKEN_BIT_XOR;
}
 
const struct ps_operator* ps_token_type_get_op(enum ps_token_type type) {
    ps_assert(ps_token_type_is_op(type), "precondition");
    return &operators[type - OP_TKN_START];
}