Bug #9301
closed
Глава 7. Поправить трансляцию SubjectAccessesType
Added by Denis Efremov over 5 years ago.
Updated over 5 years ago.
Description
В коде python сбито форматирование. Трансляция не совсем корректна.
Сейчас так:
@invariant
def SubjectAccessesType() -> bool:
return all(map(lambda s: s in SubjectAccesses and all(map(lambda j: j[0] in Entities and type(j[1]) is Accesses, SubjectAccesses[s])), Subjects))
Нужно поправить так:
@invariant
def SubjectAccessesType() -> bool:
return all(map(lambda s: s in Subjects and
all(map(lambda j: j[0] in Entities and type(j[1]) is Accesses, SubjectAccesses[s])),
SubjectAccesses))
- Status changed from New to Closed
Also available in: Atom
PDF