Опубликованный пакет / CLIR
kz.corpus.cashless_payments
v0.1.0Қазақстан Республикасы Ұлттық Банкі Басқармасының 2016 жылғы 31 тамыздағы № 208 қаулысы
Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.
План кодогенерации
План строится: пакет печатается модулем.
- формат плана
- law-backend-plan/0.11
- возможности
- calendar:days_between, calendar:period, defeasible, negation, norm, status:not_known
Сверка сценариями пакета
Не сверено: сценарии пакета на порождённых модулях не исполнялись. Построенный план ещё не показывает, что ответы совпадают.
Целевые языки
gopyts
отвергают этот план · 13
bslверсия плана не поддержана эмиттером: 'law-backend-plan/0.11' (поддержана law-backend-plan/0.7)csверсия плана не поддержана эмиттером: 'law-backend-plan/0.11' (поддержана law-backend-plan/0.7)dartверсия плана не поддержана эмиттером: 'law-backend-plan/0.11' (поддержана law-backend-plan/0.7)erlверсия плана не поддержана эмиттером: 'law-backend-plan/0.11' (поддержана law-backend-plan/0.7)exверсия плана не поддержана эмиттером: 'law-backend-plan/0.11' (поддержана law-backend-plan/0.7)javaверсия плана не поддержана эмиттером: 'law-backend-plan/0.11' (поддержана law-backend-plan/0.7)ktверсия плана не поддержана эмиттером: 'law-backend-plan/0.11' (поддержана law-backend-plan/0.7)luaверсия плана не поддержана эмиттером: 'law-backend-plan/0.11' (поддержана law-backend-plan/0.7)phpверсия плана не поддержана эмиттером: 'law-backend-plan/0.11' (поддержана law-backend-plan/0.7)rbверсия плана не поддержана эмиттером: 'law-backend-plan/0.11' (поддержана law-backend-plan/0.7)rsверсия плана не поддержана эмиттером: 'law-backend-plan/0.11' (поддержана law-backend-plan/0.7)scalaверсия плана не поддержана эмиттером: 'law-backend-plan/0.11' (поддержана law-backend-plan/0.7)swiftверсия плана не поддержана эмиттером: 'law-backend-plan/0.11' (поддержана law-backend-plan/0.7)
./law dev backend corpus/clir/kz-cashless-payments.lawir.json --target ts --target py --target go --out DIR
Интерфейс модуля
Вопросы — публичные отношения с производящим правилом; входы — факты, которые вопрос читает. Имена функций следуют языку: ask_… в Python, ask.… в TypeScript, Ask… в Go.
Вопросы · 1
| Имя | Параметры | Смысл | Читает | Источники |
|---|---|---|---|---|
| srok_ispolneniya_soblyuden | text | платёжный документ исполнен в срок, установленный пунктом 72 Правил | den_iniciirovaniyaden_ispolneniyadeneg_nedostatochnoneopredelennye_srokioperacionnyy_den_posle_postupleniyasrok_dokumenta_soblyudensrok_ukazan_v_dokumentetretiy_operacionnyy_denvid_dokumenta | pravila/72 |
Входы · 9
| Имя | Параметры | Смысл |
|---|---|---|
| den_iniciirovaniya | text, date | день инициирования платёжного документа отправителем |
| den_ispolneniya | text, date | день исполнения платёжного документа банком |
| deneg_nedostatochno | text | денег на банковском счёте отправителя недостаточно для исполнения платёжного документа |
| neopredelennye_sroki | text | платёжный документ исполняется в неопределённые сроки |
| operacionnyy_den_posle_postupleniya | text, date | операционный день, следующий за днём поступления денег на банковский счёт отправителя |
| srok_dokumenta_soblyuden | text | платёжный документ исполнен в срок, указанный в нём самом |
| srok_ukazan_v_dokumente | text | в платёжном документе указан иной срок его исполнения (пункт 72 часть шестая) |
| tretiy_operacionnyy_den | text, date | третий операционный день, следующий за днём предъявления платёжного документа; операционный день устанавливается самим банком и с производственным календарём не совпадает |
| vid_dokumenta | text, enum | платёжный документ относится к названному виду |