Project

General

Profile

Bug #9301

Глава 7. Поправить трансляцию SubjectAccessesType

Added by Denis Efremov 6 months ago. Updated 6 months ago.

Status:
Closed
Priority:
Normal
Assignee:
Start date:
10/04/2018
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

В коде python сбито форматирование. Трансляция не совсем корректна.

History

#1 Updated by Denis Efremov 6 months ago

Сейчас так:

@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))

#2 Updated by Ilya Shchepetkov 6 months ago

  • Status changed from New to Closed

Also available in: Atom PDF