From fe12d24e207c74fde7aff22180d9e8e4fbe9c277 Mon Sep 17 00:00:00 2001 From: Boris Verkhovskiy Date: Sat, 20 Apr 2024 08:06:48 -0700 Subject: [PATCH] lint --- .github/workflows/lint.yml | 18 ++++++++++++++++++ it-it/logtalk-it.html.markdown | 2 +- 2 files changed, 19 insertions(+), 1 deletion(-) create mode 100644 .github/workflows/lint.yml diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml new file mode 100644 index 00000000..257678e9 --- /dev/null +++ b/.github/workflows/lint.yml @@ -0,0 +1,18 @@ +name: Node.js CI + +on: + push: + branches: [master] + pull_request: + branches: [master] + +jobs: + lint: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + - uses: ruby/setup-ruby@ec02537da5712d66d4d50a0f33b7eb52773b5ed1 + with: + ruby-version: '3.2' + - run: gem install mdl + - run: mdl . --ignore-front-matter -r MD011,MD023,MD027,MD028,MD037 diff --git a/it-it/logtalk-it.html.markdown b/it-it/logtalk-it.html.markdown index 5cc53e6f..093eadb9 100644 --- a/it-it/logtalk-it.html.markdown +++ b/it-it/logtalk-it.html.markdown @@ -114,7 +114,7 @@ Error = error( yes ``` -Un punto fondamentale da capire è che le direttive che specificano il predicato nello scope specificano la semantica di chiamata (_calling_) del predicato, e non la semantica di definizione (_definition_). Ad esempio, se un oggetto ha il ruolo di una classe e dichiara un predicato privato, tale predicato può essere definito nelle sue sottoclassi e nelle istanze * ma * può essere chiamato solo nelle sue istanza (_from_) dalla classe. +Un punto fondamentale da capire è che le direttive che specificano il predicato nello scope specificano la semantica di chiamata (_calling_) del predicato, e non la semantica di definizione (_definition_). Ad esempio, se un oggetto ha il ruolo di una classe e dichiara un predicato privato, tale predicato può essere definito nelle sue sottoclassi e nelle istanze *ma* può essere chiamato solo nelle sue istanza (_from_) dalla classe. # Definizione e implementazione di un protocollo