Modulo:Software
Istruzioni per l'usoQuesto è un modulo scritto in Lua. Le istruzioni che seguono sono contenute nella sottopagina Modulo:Software/man (modifica · cronologia)
Sandbox: Modulo:Software/sandbox (modifica · cronologia) · Sottopagine: lista · Test: Modulo:Software/test (modifica · cronologia · Esegui)
Modulo Lua per integrare le informazioni espresse nel Template:Software con le informazioni provenienti da Wikidata.
Se alcuni linguaggi sono assenti è un problema di configurazione.
In seguito l'uso di alcune sotto-funzioni.
Uso
isFreeSoftware
{{#invoke:Software|isFreeSoftware}}
Valori di ritorno:
sì: è software liberono: è software proprietarionil: nessuna informazione per determinarlo
isFreeSoftware e Wikidata
A livello implementativo questa funzione cerca di uniformare alcune delle molte modalità con cui si può esprimere questa informazione in Wikidata.
Per quanto riguarda essere software libero:
- Il template {{Software}} ha
SoftwareLibero=sì? - La voce è istanza di (P31) software libero (Q341) / software open-source (Q1130645)?
- Fra le licenze di questa voce espresse in licenza (P275) ce n'è una istanza di (P31) di licenza di software libero (Q3943414)? (funzione parser dispendiosa, vedi #Albero licenze Wikidata)
Per quanto riguarda essere software proprietario:
- Il template {{Software}} ha
SoftwareLibero=no? - La voce è istanza di (P31) software proprietario (Q218616) / freeware (Q178285)?
- Fra le licenze di questa voce espresse in licenza (P275) ce n'è una sottoclasse di (P279) di licenza proprietaria (Q3238057)? (funzione parser dispendiosa, vedi #Albero licenze Wikidata)
specifiesALanguage
{{#invoke:Software|specifiesALanguage}}
sì: vi sono linguaggi espressi da Wikidata o specificati da {{Software|Linguaggio}}no: in caso contrario
shouldHaveALanguage
{{#invoke:Software|shouldHaveALanguage}}
Valori di ritorno:
sì: questa voce dovrebbe (o potrebbe) mostrare l'etichetta dei linguaggi di programmazione. Vale per i software liberi o se vi sono linguaggi specificati.no: la voce non dovrebbe (o non potrebbe) mostrare l'etichetta dei linguaggi di programmazione. Capita per software proprietario senza linguaggi noti.
- TODO
- Da novembre 2018 questa funzione è inutilizzata e potrebbe essere rimossa.
languages
{{#invoke:Software|languages}}
Stampa i linguaggi di programmazione unendo i valori dal template con i valori da Wikidata dalla proprietà linguaggio di programmazione (P277) e categorizzando:
- Categoria:Software libero senza linguaggio
- La voce dovrebbe mostrare linguaggi perché è un software libero, ma non lo fa.
- Categoria:P277 uguale su Wikidata
- I linguaggi specificati nel template sono presenti identici in Wikidata.
- Categoria:P277 letta da Wikidata
- Il template mostra linguaggi esclusivamente grazie a Wikidata.
- Categoria:P277 differente su Wikidata
- Il template ha linguaggi che Wikidata non ha (o viceversa).
- Categoria:P277 assente su Wikidata
- Il template ha linguaggi, Wikidata no.
- Categoria:Linguaggio di programmazione da Wikidata non previsto
- Capita quando in Wikidata c'è un linguaggio assente nella configurazione.
Software per linguaggio di programmazione
languageCategories
{{#invoke:Software|languageCategories}}
Categorizza la voce in base ai suoi linguaggi di programmazione espressi in Wikidata (usata internamente in #languages).
Software per linguaggio di programmazione
licenseCategories
{{#invoke:Software|licenseCategories}}
Categorizza la voce in base alle licenze con cui è distribuito il software.
Software per licenza
Considerazioni implementative
Albero licenze Wikidata
Ricostruzione dell'albero inverso delle licenze presenti in Wikidata:
Albero delle licenze
- licenza (Q207621)
Albero GNU GPL
Notare che GNU General Public License (Q7603) è reputato con i medesimi valori sia per istanza di (P31) che per sottoclasse di (P279), in quanto per alcuni è considerata una vera e propria licenza, mentre per altri una sottoclasse di licenze. d:Talk:Q308915.
- GNU General Public License (Q7603)
- istanza di (P31)
Albero BSD
Albero caso peggiore
Attualmente il "caso peggiore" per identificare un'istanza di (P31) licenza di software libero (Q3943414) sembra essere il seguente (albero in cascata):
GNU Affero General Public License, versione 3 (o successive) (Q27020062) :
- istanza di (P31)
- GNU Affero General Public License, versione 3 (Q27017232)
- 1ª sotto-richiesta:
- istanza di (P31)
- GNU Affero General Public License (Q1131681)
- 2ª sotto-richiesta:
- istanza di (P31)
- GNU General Public License (Q7603)
- 3ª sotto-richiesta:
- istanza di (P31)
- licenza di software libero (Q3943414)
È perciò possibile limitare un massimo livello di ricorsione a 3 fintanto che questa struttura rimane invariata.
Configurazione
Per cambiare il modo in cui è mostrato un linguaggio o una licenza, prova a guardare in Wikidata tale linguaggio o tale licenza. Considera anche che se il nome in Wikidata è troppo lungo, è scelto il nome in breve (P1813).
Per aggiungere una categoria di un linguaggio, o una licenza, vedi Modulo:Software/Configurazione.
Note storiche
Fino a marzo 2017 per cambiare il wikilink alla voce del linguaggio o mostrare banalmente "C" al posto di "C (linguaggio)" occorreva modificare il Template:Software/Linguaggio considerando complesse sotto-inclusioni del Template:Software/L. Inoltre ora non occorre più mantenere parallelamente la documentazione in Template:Software#Linguaggi perchè è generata. Prima era Template:Software/Linguaggio/man.
Risoluzione dei problemi
Se il template {{Software}} ha l'errore «non in lista» significa che:
- Potrebbe essere un errore di battitura, si veda quella lista.
- Se non è un errore di battitura ma manca un linguaggio rilevante, vedere Modulo:Software/Configurazione.
Pagine correlate
local mWikidata = require('Modulo:Wikidata')
local getArgs = require('Modulo:Arguments').getArgs
local conf = mw.loadData('Modulo:Software/Configurazione')
local p = {}
--------------------------------------------------------------------------------
local UNKNOWN = -1 -- Non è possibile identificare la licenza
local FREE = 1 -- È una licenza di software libero
local PROPRIETARY = 2 -- È una licenza di software proprietario
local MAX_RECURSION = 4 -- [[Modulo:Software/man#Considerazioni implementative]]
-------------------------------- Sgabuzzino ------------------------------------
-- TODO Spostare in Modulo:Wikidata
function p._subclassOf(args)
local statements = mWikidata._getProperty({'P279', from = args.from, formatting = 'raw'}, true)
if statements then
for _, statement in ipairs(statements) do
for _, entityId in ipairs(args) do
if statement == entityId then
return true
end
end
end
end
return false
end
--[[
* @param v bool
* @return string
]]
local function yesNo(v)
return v and 'sì' or 'no'
end
--[[
* @param v bool
* @return string|nil
]]
local function yesNoNil(v)
if v == nil then
return nil
end
return yesNo(v)
end
--[[
* Poi non ditemi che PHP fa schifo. asd.
* 00:28, 28 feb 2017 Valerio Bozzolan
]]
local function count(t)
local i = 0
for _,__ in pairs(t) do
i = i + 1
end
return i
end
--[[
* Restituisce una tabella completa di proprietà non formattate.
* @return {}|nil
* ]]
local function rawProperties(from, property)
return mWikidata._getProperty({property, from = from, formatting = 'raw'}, true)
end
------------------------------- Frontend ---------------------------------------
function p.isFreeSoftware(frame)
return yesNoNil( p._isFreeSoftware(frame) )
end
function p.shouldHaveALanguage(frame)
return yesNo( p._shouldHaveALanguage(frame) )
end
function p.hasAFreeLicense(frame)
return yesNoNil( p._hasAFreeLicense(frame) )
end
function p.hasAProprietaryLicense(frame)
return yesNoNil( p._hasAProprietaryLicense(frame) )
end
function p.specifiesALanguage(frame)
return yesNo( p._specifiesALanguage(frame) )
end
--[[
* Categorizzazione.
* @return string|nil
* ]]
function p.categories(frame)
if not p._categorize(frame) then
return
end
return p.licenseCategories()
end
function p.licenseCategories()
local s = ''
for i, l in pairs( p._licenses() ) do
l = mWikidata._formatStatement(l, {formatting = 'raw'})
catpart = config.licenseCategory[l]
if catpart then
s = s .. string.format("[[Categoria:Software in licenza %s]]", catpart)
end
end
return s
end
function p.licenses(frame)
local s = ''
for i, l in pairs( p._licenses() ) do
local space = i == 1 and '' or '<br />'
s = s .. space .. mWikidata._formatStatement(l, {formatting = 'raw'})
end
return s
end
function p.languages(frame)
local s = ''
--[[
* Argomenti ereditati dal Template:Software e da Wikidata
]]
local args = frame and getArgs(frame)
local categorizza = args['Categorie']
local libero = p.isFreeSoftware(frame)
--[[
* Linguaggi dal Template:Software e da Wikidata
]]
local tl_has = p._templateHasLanguages(frame) and true or false
local tl_languages = p._getTemplateLanguages(frame)
local wd_languages = mWikidata._getClaims('P277')
local altri = args['LinguaggioAltri']
-- È il namespace principale?
local nszero = mw.title.getCurrentTitle().namespace == 0
-- Tutti i linguaggi sono identificati?
local allFound = true
-- Il template si è arricchito grazie a Wikidata?
local improved = false
-- Il template non mostra alcun linguaggio?
local noLanguages = not tl_has
if wd_languages then
for i, language in pairs(wd_languages) do
local wikidataID = mWikidata._formatStatement(language, {formatting = 'raw'})
language = conf.wikidataToLanguageSlug[wikidataID]
if language then
if tl_languages[language] == nil then
-- 'c' = 'nota linguaggio c'
tl_languages[language] = ''
noLanguages = false
improved = true
end
else
allFound = false
end
end
if nszero then
if improved then
if tl_has then
-- Wikidata ha migliorato il template e il template aveva già altri valori
s = s .. '[[Categoria:Linguaggio di programmazione differente da Wikidata]]'
else
-- Wikidata ha migliorato il template che era vuoto
s = s .. '[[Categoria:Linguaggio di programmazione letto da Wikidata]]'
end
else
-- No, `#var` non fa quello che uno si aspetterebbe
if p._templateHasExtraInformations(frame) or count(tl_languages) > count(wd_languages) then
-- Nel template c'è qualcosa in più rispetto a Wikidata
s = s .. '[[Categoria:Linguaggio di programmazione differente da Wikidata]]'
else
-- Non ha migliorato niente perchè sono gli stessi valori
s = s .. '[[Categoria:Linguaggio di programmazione uguale a Wikidata]]'
end
end
end
else
if tl_has and nszero then
-- solo se il template specifica linguaggi ma Wikidata no
s = s .. '[[Categoria:Linguaggio di programmazione assente su Wikidata]]'
end
end
if noLanguages and nszero then
if p._isFreeSoftware(frame) then
s = s .. '[[Categoria:Software libero senza linguaggio]]'
else
s = s .. '[[Categoria:Software senza linguaggio]]'
end
end
if not allFound and nszero then
s = s .. '[[Categoria:Linguaggio di programmazione da Wikidata non previsto]]'
end
local i = 0
for language, note in pairs(tl_languages) do
local glue = i > 0 and '<br />' or ''
s = s .. glue .. frame:expandTemplate{
title = 'Software/Linguaggio',
args = {language, categorizza, libero}
} .. note
i = i + 1
end
if altri then
s = s .. altri
end
return s
end
-------------------------------- Backend ---------------------------------------
--[[
* Riassumendo. La voce è software libero?
*
* @return true|false|nil
]]
function p._isFreeSoftware(frame)
local is_wd = p._isFreeSoftwareByWikidata()
local isnt_wd = p._isProprietarySoftwareByWikidata()
local is_tp = p._isFreeSoftwareByTemplate(frame)
local is = nil
if is_wd then
is = true
end
if isnt_wd then
is = false
end
if is_tp ~= nil then
is = is_tp
end
--if is_wd == true and isnt_wd == true then
-- Wikidata nonsense
--end
--if is_wd == true and is_tp == true then
-- Local same as Wikidata
--
--if (is_wd == true and is_tp == false) or (isnt_wd == true and is_tp == false) then
-- Free different from Wikidata
--
--if (is_wd ~= nil or isnt_wd ~= nil) and is_tp == false then
-- Free/proprietary read from Wikidata
--
return is
end
--[[
* Spesso la voce è definita in Wikidata come istanza di software libero.
* Per quanto riguarda Wikipedia è comodo.
* Per quanto riguarda Wikidata è ridondante col campo licenza P275.
*
* @return true|false
]]
function p._isFreeSoftwareByWikidata()
-- Q341 free software
-- Q1130645 open-source software
return mWikidata._instanceOf({'Q341', 'Q1130645'}) or p._hasAFreeLicense()
end
--[[
* Spesso la voce è definita in Wikidata come istanza di software proprietario.
* Per quanto riguarda Wikipedia è comodo.
* Per quanto riguarda Wikidata è ridondante col campo licenza P275.
*
* @return true|false
]]
function p._isProprietarySoftwareByWikidata()
-- Q218616 proprietary software
-- Q178285 freeware TODO: impropria, subclass of precedente
return mWikidata._instanceOf({'Q218616', 'Q178285'}) or p._hasAProprietaryLicense()
end
--[[
* Banale lettura di `SoftwareLibero = sì/no` nel template {{Software}}
*
* @return nil|true|false
--]]
function p._isFreeSoftwareByTemplate(frame)
local is = nil
local args = frame and getArgs(frame)
local v = args['SoftwareLibero']
if v then
local yep = {['sì'] = true, ['si'] = true, ['no'] = false}
v = yep[ mw.ustring.lower(v) ]
end
return v
end
--[[
* Riassumendo. La voce dovrebbe specificare un linguaggio?
*
* @return true|nil
]]
function p._shouldHaveALanguage(frame)
return p._isFreeSoftware(frame) or p._specifiesALanguage(frame)
end
--[[
* C'è un linguaggio?
*
* @return truly|nil
]]
function p._specifiesALanguage(frame)
local args = frame and getArgs(frame)
return p._templateHasLanguages(frame) or mWikidata._getClaims('P277')
end
--[[
* Il template ha il campo "Linguaggio"?
*
* @return truly|nil
]]
function p._templateHasLanguages(frame)
local args = frame and getArgs(frame)
return args['Linguaggio'] or args['NotaLinguaggio'] or args['LinguaggioAltri']
end
--[[
* Il template ha valori non unibili a Wikidata?
*
* @return truly|nil
]]
function p._templateHasExtraInformations(frame)
local args = frame and getArgs(frame)
return args['LinguaggioAltri'] or args['NotaLinguaggio'] or args['NotaLinguaggio2'] or args['NotaLinguaggio3']
end
--[[
* Per mantenere retrocompatibilità con la possibilità di avere più codici.
*
* Esempio:
* 'cpp' → 'c++'
* 'c++' → 'c++'
*
* @see Template:Software/Linguaggio
* @return string
]]
function p._preferredLanguageSlug(slug)
if slug then
slug = string.lower(slug)
end
return conf.languageSlugAlias[slug] or slug
end
--[[
* I codici dei linguaggi del template {{Software}}.
*
* @return string[] = 'c' => 'nota linguaggio c', 'c++' = '', ..
]]
function p._getTemplateLanguages(frame)
local languages = {}
local args = frame and getArgs(frame)
local v = args['Linguaggio']
if v then
languages[ p._preferredLanguageSlug(v) ] = args['NotaLinguaggio'] or ''
end
for i=1,3 do
v = args['Linguaggio' .. i]
if v then
languages[ p._preferredLanguageSlug(v) ] = args['NotaLinguaggio' .. i] or ''
end
end
return languages
end
--[[
* Questa licenza è una classe radice identificabile?
*
* @param license string
* @return FREE|PROPRIETARY|UNKNOWN
* ]]
function p._singleLicenseType(license)
-- Q3943414 free software license
-- Q14624820 non-free software license
-- Q218616 proprietary software
--[[
* Approfonditi studi da punti di vista non neutrali hanno evidenziato come
* le prossime tre righe riassumino l'*unica* parte piacevole del Lua.
]]
return license == 'Q3943414' and FREE
or (license == 'Q14624820' or license == 'Q218616') and PROPRIETARY
or UNKNOWN
end
--[[
* Fra queste licenze c'è una classe radice identificabile?
*
* @param license string
* @return FREE|PROPRIETARY|UNKNOWN
* ]]
function p._findLicenseType(licenses)
local type = UNKNOWN
for _, license in pairs(licenses) do
type = p._singleLicenseType(license)
if type ~= UNKNOWN then
break
end
end
return type
end
--[[
* Ottiene la tipologia di una qualsiasi licenza software.
*
* Una licenza è identificabile grazie a Wikidata scorrendo ricorsivamente
* l'albero di licenze madri fino ad arrivare ad una classe radice identificabile.
*
* Questo può sembrare spaventoso, in verità sembra piuttosto efficiente,
* portando l'utilizzo medio di funzioni parser dispendiose a +2/+3.
*
* In ogni caso il limite delle funzioni parser dispendiose è 500,
* mentre si ipotizza che questa funzione possa provocarne al massimo +5/+6
* per casi peggiori.
*
* @see Modulo:Software/man#Considerazioni implementative
* @param string license
* @param int i Livello di
* @return UNKNOWN|FREE|PROPRIETARY
]]
local _licenseType_ = {} --cache
function p._licenseType(license, i)
i = i or 0
if _licenseType_[license] == nil then
-- È una licenza radice?
local type = p._singleLicenseType(license)
local license_instances = {}
if type == UNKNOWN then
-- In `istance of` c'è una licenza radice?
license_instances = rawProperties(license, 'P31')
if license_instances then
type = p._findLicenseType(license_instances)
end
end
local license_classes = {}
if type == UNKNOWN then
-- In `subclass of` c'è una licenza radice?
license_classes = rawProperties(license, 'P279')
if license_classes then
type = p._findLicenseType(license_classes)
end
end
if i <= MAX_RECURSION then
-- Risali `istance of`
if type == UNKNOWN then
if license_instances then
for _, license_instance in pairs(license_instances) do
type = p._licenseType(license_instance, i + 1)
if type ~= UNKNOWN then
break
end
end
end
end
-- Risali `subclass of`
if type == UNKNOWN then
if type == UNKNOWN and license_classes then
for _, license_class in pairs(license_classes) do
type = p._licenseType(license_class, i + 1)
if type ~= UNKNOWN then
break
end
end
end
end
-- Non si ha altro su cui aggrapparsi
end
_licenseType_[license] = type
end
return _licenseType_[license]
end
--[[
* Licenze da Wikidata.
*
* @return table|nil
]]
local _licenses_cache = false
function p._licenses()
if _licenses_cache == false then
_licenses_cache = mWikidata._getClaims('P275') or {}
end
return _licenses_cache
end
--[[
* Ha una licenza di un certo tipo?
*
* @param type FREE|PROPRIETARY|UNKNOWN
* @return true|false
]]
function p._hasALicenseOfType(type)
for _, l in pairs( p._licenses() ) do
l = mWikidata._formatStatement(l, {formatting = 'raw'})
if p._licenseType(l) == type then
return true
end
end
return false
end
--[[
* La voce ha almeno una licenza di software libero?
*
* @return true|false
]]
function p._hasAFreeLicense()
return p._hasALicenseOfType(FREE)
end
--[[
* La voce ha almeno una licenza di software proprietario?
*
* @return true|false
]]
function p._hasAProprietaryLicense()
return p._hasALicenseOfType(PROPRIETARY)
end
--------------------------- Non usate. Perchè? Boh. ----------------------------
--[[
* Albero inverso di Modulo:Software/Configurazione
*
* 'cpp' → 'Q2407'
* @return string|nil
]]
local _languageSlugToWikidata = {}
function p._languageSlugToWikidata(slug)
if next(_languageSlugToWikidata) == nil then
for q,l in pairs(conf.wikidataToLanguageSlug) do
_languageSlugToWikidata[l] = q
end
end
return _languageSlugToWikidata[ p._preferredLanguageSlug(slug) ]
end
--[[
* Usata solo per debug.
]]
function p.languageSlugToWikidata(frame)
return p._languageSlugToWikidata( getArgs(frame)[1] )
end
--[[
* Categorizzare?
*@return true|false
]]
function p._categorize(frame)
local args = frame and getArgs(frame)
local v = args['Categorie']
if v then
return mw.ustring.lower(v) ~= 'no'
end
return true
end
return p