Specman: Как найти, если список байт существует в другом списке принимая порядок списка во внимание

Question

У меня есть полезная нагрузка, которая является списками байт типа:

var payload : list of byte; 
payload= {1;2;3;4;5;6}; 

var item1 :list of byte; 
item = {3;4;5}; 


var item2 :list of byte; 
item = {1;4}; 

Я хотел бы реализовать код который проверяет, является ли список дополнительным списком другого. Использование «if ..in ..» не совсем работает, так как оно не учитывает порядок элементов или если они появляются последовательно или нет. Я хочу что-то, что делает следующее:

• if (item1 в полезной нагрузке) ...... должен возвращать TRUE. Элементы существуют в полезной нагрузке в том же порядке.

• if (item2 в полезной нагрузке) ...... должен возвращать FALSE, потому что хотя каждый элемент в списке существует в полезной нагрузке, но элементы item2 не отображаются последовательно в списке полезных данных.

Есть ли простой способ достичь этого? Для этого в specman должна быть встроенная функция.

Благодаря

Answer 1

Следующий код должен работать:

if (item.size()==0) {return TRUE}; 
for i from 0 to payload.size()-item.size() { 
    if (item == payload[i..i+item.size()-1]) { 
     return TRUE; 
    }; 
}; 
return FALSE; 

Обратите внимание, что этот код довольно дорогая память мудры (список [a..b] синтаксис создает новый список каждый раз), так если у вас есть соображения памяти, он должен быть изменен.