Project

General

Profile

Actions
Copy link

Bug #9301

closed

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

Added by Denis Efremov over 5 years ago. Updated over 5 years ago.

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

0%

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

Description

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

Actions
Copy link
 #1

Updated by Denis Efremov over 5 years 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))

Actions
Copy link
 #2

Updated by Ilya Shchepetkov over 5 years ago

  • Status changed from New to Closed
Actions
Copy link

Also available in: Atom PDF