range

Группа: Функции ядра

Платформы: t0241

Синтаксис

Описание

Принадлежность целочисленного значения заданному диапазону.

Примеры

Пример №1

Пример №2

01 : Send <Resp>
  Kernel.Tester.Responder.MessageExample : 3
    ExampleArgument : 11
02 : Receive <Resp>
  Kernel.Tester.Responder.MessageExample : 3
    ExampleArgument : <range: (10,15]>

Пример №3

01 : Send <Resp>
  Kernel.Tester.Responder.MessageExample : 3
    ExampleArgument : 2
02 : Receive <Resp>
  Kernel.Tester.Responder.MessageExample : 3
    ExampleArgument : <range: [0,5],(20,23]>

Результат:

Возвращаемое значение находится в диапазоне от 0 до 5 или от 20 до 23, исключая 20

Пример №4

01 : Send <Resp>
  Kernel.Tester.Responder.MessageExample : 3
    ExampleArgument : 2
02 : Receive <Resp>
  Kernel.Tester.Responder.MessageExample : 3
    ExampleArgument : <range: (0,..)>

Результат:

Возвращаемое значение – любое положительное число

Пример №5

01 : Send <Resp>
  Kernel.Tester.Responder.MessageExample : 3
    ExampleArgument : 2
02 : Receive <Resp>
  Kernel.Tester.Responder.MessageExample : 3
    ExampleArgument : <range: (..,..)>

Результат:

Возвращаемое значение – цифра

Пример №6

01 : Send <Resp>
  Kernel.Tester.Responder.MessageExample : 3
    ExampleArgument : 2
02 : Receive <Resp>
  Kernel.Tester.Responder.MessageExample : 3
    ExampleArgument : <range: (..,0), (0,..)>

Результат:

Возвращаемое значение – число и не ноль

Пример №7

Результат:

[CMD] 2 (02) : Receive <Resp>[16:25:23.392]
[RECEIVE] from Resp[16:25:23.405]
  Message: Kernel.Tester.Responder.MessageExample<786435>
  Generation: 3
  Source: Resp
  Target: master
  Send time: [2014.06.24 16:25:23.387]
  Priority: 0
  Arguments: 1
[VERIFY] Receive <Resp>

Пример №8

Результат:

[CMD] 2 (02) : Receive <Resp>[16:27:28.578]
[RECEIVE] from Resp[16:27:28.591]
  Message: Kernel.Tester.Responder.MessageExample<786435>
  Generation: 3
  Source: Resp
  Target: master
  Send time: [2014.06.24 16:27:28.573]
  Priority: 0
  Arguments: 1
[VERIFY] Receive <Resp>
[FAIL] Assertion failed. Awaiting argument ExampleArgument in range "<range: [0,..]>", accepted:-8[16:27:28.603]