Add checks for library layout incompatibility with library.properties configuration

Some of the library.properties configurations are only supported for libraries with a "recursive" layout.

Author: per1234

check/checkconfigurations/checkconfigurations.go

@@ -161,6 +161,36 @@ var configurations = []Type{
 		ErrorModes:      nil,
 		CheckFunction:   checkfunctions.LibraryPropertiesDependsFieldNotInIndex,
 	},
+	{
+		ProjectType:     projecttype.Library,
+		Category:        "library.properties",
+		Subcategory:     "dot_a_linkage field",
+		ID:              "",
+		Brief:           `"true" with "1.5" library format`,
+		Description:     `dot_a_linkage feature is only supported for the "1.5" or "recursive" library format.`,
+		MessageTemplate: `library.properties dot_a_linkage field enabled but library is not in "1.5" format. See: https://arduino.github.io/arduino-cli/latest/library-specification/#source-code`,
+		DisableModes:    nil,
+		EnableModes:     []checkmode.Type{checkmode.All},
+		InfoModes:       nil,
+		WarningModes:    []checkmode.Type{checkmode.Permissive},
+		ErrorModes:      []checkmode.Type{checkmode.Default},
+		CheckFunction:   checkfunctions.LibraryPropertiesDotALinkageFieldTrueWithFlatLayout,
+	},
+	{
+		ProjectType:     projecttype.Library,
+		Category:        "library.properties",
+		Subcategory:     "precompiled field",
+		ID:              "",
+		Brief:           "precompiled with flat layout",
+		Description:     `precompiled feature is only supported for the "1.5" or "recursive" library format.`,
+		MessageTemplate: `library.properties precompiled field value {{.}}, is not supported with "1.0" format. See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format`,
+		DisableModes:    nil,
+		EnableModes:     []checkmode.Type{checkmode.All},
+		InfoModes:       nil,
+		WarningModes:    []checkmode.Type{checkmode.Permissive},
+		ErrorModes:      []checkmode.Type{checkmode.Default},
+		CheckFunction:   checkfunctions.LibraryPropertiesPrecompiledFieldEnabledWithFlatLayout,
+	},
 	{
 		ProjectType:     projecttype.Sketch,
 		Category:        "structure",

check/checkdata/library.go

@@ -25,6 +25,7 @@ import (
 	"github.com/arduino/arduino-check/project"
 	"github.com/arduino/arduino-check/project/library/libraryproperties"
 	"github.com/arduino/arduino-check/result/feedback"
+	"github.com/arduino/arduino-cli/arduino/libraries"
 	"github.com/arduino/go-paths-helper"
 	"github.com/arduino/go-properties-orderedmap"
 	"github.com/ory/jsonschema/v3"
@@ -33,6 +34,8 @@ import (
 
 // Initialize gathers the library check data for the specified project.
 func InitializeForLibrary(project project.Type, schemasPath *paths.Path) {
+	var err error
+
 	libraryProperties, libraryPropertiesLoadError = libraryproperties.Properties(project.Path)
 	if libraryPropertiesLoadError != nil {
 		logrus.Errorf("Error loading library.properties from %s: %s", project.Path, libraryPropertiesLoadError)
@@ -42,6 +45,18 @@ func InitializeForLibrary(project project.Type, schemasPath *paths.Path) {
 		libraryPropertiesSchemaValidationResult = libraryproperties.Validate(libraryProperties, schemasPath)
 	}
 
+	loadedLibrary, err = libraries.Load(project.Path, libraries.User)
+	if err != nil {
+		logrus.Errorf("Error loading library from %s: %s", project.Path, err)
+		loadedLibrary = nil
+		sourceHeaders = nil
+	} else {
+		sourceHeaders, err = loadedLibrary.SourceHeaders()
+		if err != nil {
+			panic(err)
+		}
+	}
+
 	if libraryManagerIndex == nil { // Only download the Library Manager index once
 		url := "http://downloads.arduino.cc/libraries/library_index.json"
 		httpResponse, err := http.Get(url)
@@ -84,6 +99,20 @@ func LibraryPropertiesSchemaValidationResult() map[compliancelevel.Type]*jsonsch
 	return libraryPropertiesSchemaValidationResult
 }
 
+var loadedLibrary *libraries.Library
+
+// LoadedLibrary returns the library object generated by Arduino CLI.
+func LoadedLibrary() *libraries.Library {
+	return loadedLibrary
+}
+
+var sourceHeaders []string
+
+// SourceHeaders returns the list of library source header filenames discovered by Arduino CLI.
+func SourceHeaders() []string {
+	return sourceHeaders
+}
+
 var libraryManagerIndex map[string]interface{}
 
 // LibraryManagerIndex returns the Library Manager index data.

check/checkfunctions/library.go

@@ -25,6 +25,7 @@ import (
 	"github.com/arduino/arduino-check/check/checkdata/schema/compliancelevel"
 	"github.com/arduino/arduino-check/check/checkresult"
 	"github.com/arduino/arduino-check/configuration"
+	"github.com/arduino/arduino-cli/arduino/libraries"
 	"github.com/arduino/go-properties-orderedmap"
 	"github.com/sirupsen/logrus"
 )
@@ -140,6 +141,42 @@ func LibraryPropertiesDependsFieldNotInIndex() (result checkresult.Type, output
 	return checkresult.Pass, ""
 }
 
+// LibraryPropertiesDotALinkageFieldTrueWithFlatLayout checks whether a library using the "dot_a_linkage" feature has the required recursive layout type.
+func LibraryPropertiesDotALinkageFieldTrueWithFlatLayout() (result checkresult.Type, output string) {
+	if checkdata.LoadedLibrary() == nil {
+		return checkresult.NotRun, ""
+	}
+
+	_, ok := checkdata.LibraryProperties().GetOk("dot_a_linkage")
+	if !ok {
+		return checkresult.NotRun, ""
+	}
+
+	if checkdata.LoadedLibrary().DotALinkage && checkdata.LoadedLibrary().Layout == libraries.FlatLayout {
+		return checkresult.Fail, ""
+	}
+
+	return checkresult.Pass, ""
+}
+
+// LibraryPropertiesPrecompiledFieldEnabledWithFlatLayout checks whether a precompiled library has the required recursive layout type.
+func LibraryPropertiesPrecompiledFieldEnabledWithFlatLayout() (result checkresult.Type, output string) {
+	if checkdata.LoadedLibrary() == nil || checkdata.LibraryPropertiesLoadError() != nil {
+		return checkresult.NotRun, ""
+	}
+
+	precompiled, ok := checkdata.LibraryProperties().GetOk("precompiled")
+	if !ok {
+		return checkresult.NotRun, ""
+	}
+
+	if checkdata.LoadedLibrary().Precompiled && checkdata.LoadedLibrary().Layout == libraries.FlatLayout {
+		return checkresult.Fail, precompiled
+	}
+
+	return checkresult.Pass, ""
+}
+
 // nameInLibraryManagerIndex returns whether there is a library in Library Manager index using the given name.
 func nameInLibraryManagerIndex(name string) bool {
 	libraries := checkdata.LibraryManagerIndex()["libraries"].([]interface{})

check/checkfunctions/library_test.go

@@ -92,3 +92,25 @@ func TestLibraryPropertiesDependsFieldNotInIndex(t *testing.T) {
 
 	checkCheckFunction(LibraryPropertiesDependsFieldNotInIndex, testTables, t)
 }
+
+func TestLibraryPropertiesDotALinkageFieldTrueWithFlatLayout(t *testing.T) {
+	testTables := []checkFunctionTestTable{
+		{"Unable to load", "InvalidLibraryProperties", checkresult.NotRun, ""},
+		{"Flat layout", "DotALinkageFlat", checkresult.Fail, ""},
+		{"Recursive layout", "DotALinkage", checkresult.Pass, ""},
+	}
+
+	checkCheckFunction(LibraryPropertiesDotALinkageFieldTrueWithFlatLayout, testTables, t)
+}
+
+func TestLibraryPropertiesPrecompiledFieldEnabledWithFlatLayout(t *testing.T) {
+	testTables := []checkFunctionTestTable{
+		{"Unable to load", "InvalidLibraryProperties", checkresult.NotRun, ""},
+		{"Flat layout", "PrecompiledFlat", checkresult.Fail, "^true$"},
+		{"Recursive layout", "Precompiled", checkresult.Pass, ""},
+		{"Recursive, not precompiled", "NotPrecompiled", checkresult.NotRun, ""},
+		{"Flat, not precompiled", "NotPrecompiledFlat", checkresult.NotRun, ""},
+	}
+
+	checkCheckFunction(LibraryPropertiesPrecompiledFieldEnabledWithFlatLayout, testTables, t)
+}

check/checkfunctions/testdata/libraries/DotALinkage/library.properties

@@ -0,0 +1,10 @@
+name=DotALinkage
+version=1.0.0
+author=Cristian Maglie <c.maglie@example.com>, Pippo Pluto <pippo@example.com>
+maintainer=Cristian Maglie <c.maglie@example.com>
+sentence=A library that makes coding a web server a breeze.
+paragraph=Supports HTTP1.1 and you can do GET and POST.
+category=Communication
+url=http://example.com/
+architectures=avr
+dot_a_linkage=true

check/checkfunctions/testdata/libraries/DotALinkage/src/DotALinkage.h

@@ -0,0 +1,10 @@
+name=DotALinkageFlat
+version=1.0.0
+author=Cristian Maglie <c.maglie@example.com>, Pippo Pluto <pippo@example.com>
+maintainer=Cristian Maglie <c.maglie@example.com>
+sentence=A library that makes coding a web server a breeze.
+paragraph=Supports HTTP1.1 and you can do GET and POST.
+category=Communication
+url=http://example.com/
+architectures=avr
+dot_a_linkage=true

check/checkfunctions/testdata/libraries/DotALinkageFlat/DotALinkageFlat.h

@@ -0,0 +1,10 @@
+name=NotPrecompiled
+version=1.0.0
+author=Cristian Maglie <c.maglie@example.com>, Pippo Pluto <pippo@example.com>
+maintainer=Cristian Maglie <c.maglie@example.com>
+sentence=A library that makes coding a web server a breeze.
+paragraph=Supports HTTP1.1 and you can do GET and POST.
+category=Communication
+url=http://example.com/
+architectures=avr
+includes=Recursive.h

check/checkfunctions/testdata/libraries/DotALinkageFlat/library.properties

@@ -0,0 +1,9 @@
+name=NotPrecompiledFlat
+version=1.0.0
+author=Cristian Maglie <c.maglie@example.com>, Pippo Pluto <pippo@example.com>
+maintainer=Cristian Maglie <c.maglie@example.com>
+sentence=A library that makes coding a web server a breeze.
+paragraph=Supports HTTP1.1 and you can do GET and POST.
+category=Communication
+url=http://example.com/
+architectures=avr

check/checkfunctions/testdata/libraries/NotPrecompiled/library.properties

@@ -0,0 +1,11 @@
+name=Precompiled
+version=1.0.0
+author=Cristian Maglie <c.maglie@example.com>, Pippo Pluto <pippo@example.com>
+maintainer=Cristian Maglie <c.maglie@example.com>
+sentence=A library that makes coding a web server a breeze.
+paragraph=Supports HTTP1.1 and you can do GET and POST.
+category=Communication
+url=http://example.com/
+architectures=avr
+includes=Recursive.h
+precompiled=true

check/checkfunctions/testdata/libraries/NotPrecompiled/src/NotPrecompiled.h

@@ -0,0 +1,10 @@
+name=PrecompiledFlat
+version=1.0.0
+author=Cristian Maglie <c.maglie@example.com>, Pippo Pluto <pippo@example.com>
+maintainer=Cristian Maglie <c.maglie@example.com>
+sentence=A library that makes coding a web server a breeze.
+paragraph=Supports HTTP1.1 and you can do GET and POST.
+category=Communication
+url=http://example.com/
+architectures=avr
+precompiled=true