summaryrefslogtreecommitdiff
path: root/tests/test_whiley.py
blob: c895e17fcafecb83573b8388fb38ddab0d9c848a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
# -*- coding: utf-8 -*-
"""
    Whiley Test
    ~~~~~~~~~~~

    :copyright: Copyright 2006-2020 by the Pygments team, see AUTHORS.
    :license: BSD, see LICENSE for details.
"""

import pytest

from pygments.lexers import WhileyLexer
from pygments.token import Token


@pytest.fixture(scope='module')
def lexer():
    yield WhileyLexer()


def test_whiley_operator(lexer):
    fragment = '123 \u2200 x\n'
    tokens = [
        (Token.Literal.Number.Integer, '123'),
        (Token.Text, ' '),
        (Token.Operator, '\u2200'),
        (Token.Text, ' '),
        (Token.Name, 'x'),
        (Token.Text, '\n'),
    ]
    assert list(lexer.get_tokens(fragment)) == tokens