Синтаксическая ошибка Промелы

Я получаю синтаксическую ошибку, когда пытаюсь запустить свой код promela, ошибка говорит об ошибке: синтаксическая ошибка увидела «токен: ::»

который относится к этой строке кода (строки 10-13):

#define IniRunning(x,y) if
                    :: ((x==A) && (y==B)) -> IniRunningAB = 1
                    :: else skip
                    fi

Я попытался добавить точку с запятой после if, а также после fi, но ошибка, похоже, не исчезла.

У кого-нибудь есть идеи?


promela spin
person Ishy    schedule 16.11.2015    source источник

Ответы (1)


arrow_upward
2
arrow_downward

Поместите \ перед каждым разрывом строки в определении макроса.

Вы можете проверить промежуточный текст (после раскрытия макроса) с помощью spin -I check.pml

person d8d0d65b3f7cf42    schedule 17.11.2015