Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -24,3 +24,4 @@ dist-ssr
*.sw?
.vercel
vercel.json
emsdk
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -90,7 +90,7 @@ model-checker/
├── public/ # Static assets and Python files
│ ├── locales/ # Translation files
│ ├── python/ # Python scripts
│ └── pyodideWorker.js # Web worker for Pyodide
│ └── pyodideWorkerClean.js # Web worker for Pyodide
├── src/ # Source code
│ ├── assets/ # Images and assets
│ ├── components/ # React components
Expand Down
1 change: 1 addition & 0 deletions emsdk
Submodule emsdk added at eff90c
91 changes: 79 additions & 12 deletions public/locales/de/translation.json
Original file line number Diff line number Diff line change
Expand Up @@ -116,6 +116,7 @@
"report-format-description": "Wählen Sie eines oder beide Berichtsformate. HTML-Berichte können direkt angezeigt und gedruckt werden, während BCF-Berichte in BIM-Kollaborationstools verwendet werden können.",
"view-html": "HTML",
"download-bcf": "BCF",
"downloadHtmlTooltip": "HTML-Bericht herunterladen",
"select-report-format": "Bitte wählen Sie mindestens ein Berichtsformat aus",
"report": {
"summary": "Zusammenfassung",
Expand All @@ -127,6 +128,8 @@
"name": "Name",
"description": "Beschreibung",
"warning": "Warnung",
"failureReason": "Fehlergrund",
"specNotApplyToVersion": "Spezifikation gilt nicht für diese IFC-Version",
"globalId": "Globale ID",
"tag": "Kennzeichnung",
"reportBy": "Bericht von",
Expand All @@ -138,14 +141,38 @@
"skipped": "ÜBERSPRUNGEN"
},
"errorMessages": {
"propertySetNotExist": "Der erforderliche Eigenschaftssatz existiert nicht",
"propertySetNotExist": "Der erforderliche PropertySet existiert nicht",
"dataShallBeProvided": "Daten müssen im Datensatz bereitgestellt werden",
"propertyNotExist": "Die erforderliche Eigenschaft existiert nicht",
"invalidValue": "hat einen ungültigen Wert",
"notInRange": "liegt nicht im erlaubten Bereich",
"notFound": "wurde nicht gefunden",
"doesNotHave": "hat keine",
"missingProperty": "fehlt die erforderliche Eigenschaft"
"missingProperty": "fehlt die erforderliche Eigenschaft",
"attributeValueDoesNotMatch": "Der Attributwert \"{{value}}\" entspricht nicht der Anforderung",
"doesNotMatchRequirement": "entspricht nicht der Anforderung",
"entityClassDoesNotMeet": "Die Entitätsklasse \"{{actual}}\" erfüllt nicht die erforderliche IFC-Klasse",
"predefinedTypeDoesNotMeet": "Der vordefinierte Typ \"{{actual}}\" erfüllt nicht den erforderlichen Typ",
"requiredAttributeNotExist": "Das erforderliche Attribut existiert nicht",
"attributeValueEmpty": "Der Attributwert \"{{actual}}\" ist leer",
"invalidAttributeName": "Ein ungültiger Attributname wurde in der IDS angegeben",
"attributeShouldNotMeet": "Der Attributwert hätte die Anforderung nicht erfüllen dürfen",
"noClassification": "Die Entität hat keine Klassifizierung",
"referencesDoNotMatch": "Die Referenzen \"{{actual}}\" entsprechen nicht den Anforderungen",
"systemsDoNotMatch": "Die Systeme \"{{actual}}\" entsprechen nicht den Anforderungen",
"classificationShouldNotMeet": "Die Klassifizierung hätte die Anforderung nicht erfüllen dürfen",
"noRelationship": "Die Entität hat keine Beziehung",
"relationshipIncorrectEntities": "Die Entität hat eine Beziehung mit falschen Entitäten: \"{{actual}}\"",
"relationshipIncorrectPredefinedType": "Die Entität hat eine Beziehung mit falschem vordefinierten Typ: \"{{actual}}\"",
"relationshipShouldNotMeet": "Die Beziehung hätte die Anforderung nicht erfüllen dürfen",
"propertySetDoesNotContain": "Der PropertySet enthält nicht die erforderliche Eigenschaft",
"propertyDataTypeMismatch": "Der Datentyp \"{{actual}}\" der Eigenschaft entspricht nicht dem erforderlichen Datentyp \"{{dataType}}\"",
"propertyValueDoesNotMatch": "Der Eigenschaftswert \"{{actual}}\" entspricht nicht den Anforderungen",
"propertyValuesDoNotMatch": "Die Eigenschaftswerte \"{{actual}}\" entsprechen nicht den Anforderungen",
"propertyShouldNotMeet": "Die Eigenschaft hätte die Anforderung nicht erfüllen dürfen",
"noMaterial": "Die Entität hat kein Material",
"materialDoesNotMatch": "Die Materialnamen und -kategorien \"{{actual}}\" entsprechen nicht der Anforderung",
"materialShouldNotMeet": "Das Material hätte die Anforderung nicht erfüllen dürfen"
},
"interface": {
"passed": "erfüllt",
Expand All @@ -156,32 +183,72 @@
"elementsPassedPrefix": "Elemente erfüllt",
"applicability": "Anwendbarkeit",
"all": "Alle",
"data": "Daten"
"data": "Daten",
"allEntityData": "Alle {{entity}} Daten",
"matchesPattern": "entspricht dem Muster {{pattern}}",
"equals": "ist {{value}}",
"oneOf": "ist einer von: {{values}}",
"range": "liegt zwischen {{min}} und {{max}}",
"greaterOrEqual": "ist grösser oder gleich {{value}}",
"greaterThan": "ist grösser als {{value}}",
"lessOrEqual": "ist kleiner oder gleich {{value}}",
"lessThan": "ist kleiner als {{value}}"
},
"phrases": {
"moreOfSameType": "... {{count}} weitere vom gleichen Elementtyp ({{type}} mit Kennzeichnung {{tag}} und Globaler ID {{id}}) nicht angezeigt ...",
"moreElementsNotShown": "... {{count}} weitere {{type}} Elemente nicht angezeigt von insgesamt {{total}} ..."
},
"ids": {
"section": {
"loadBearing": "Tragende Struktur"
"sections": {
"projectDesignation": "Projektbezeichnung",
"projectPerimeter": "Projektperimeter",
"buildingDesignation": "Gebäudebezeichnung",
"storeyDesignation": "Geschossbezeichnung"
},
"description": {
"shouldHaveLoadBearing": "Alle Structure Elements sollte haben eine tragende Struktur"
"entities": {
"IfcProject": "Projekt",
"IfcSite": "Grundstück",
"IfcBuilding": "Gebäude",
"IfcBuildingStorey": "Geschoss"
},
"pattern": {
"nameShallBe": "Der Name muss {{value}} sein",
"fields": {
"name": "Name",
"description": "Beschreibung",
"phase": "Phase"
},
"propertySets": {
"Pset_PropertyAgreement": "Eigenschaftsvereinbarung",
"Cust_Site": "Standort-Eigenschaften"
},
"patterns": {
"nameShallBe": "{{field}} muss {{value}} sein",
"descriptionRequired": "Die Beschreibung muss angegeben werden",
"propertyRequired": "{{property}} muss im Eigenschaftssatz {{propertySet}} angegeben werden",
"propertyValue": "{{property}} muss {{value}} im Eigenschaftssatz {{propertySet}} sein",
"enumRequired": "Eine der Aufzählungswerte {{values}} muss im Eigenschaftssatz {{propertySet}} angegeben werden"
"propertyRequired": "{{property}} muss im PropertySet {{propertySet}} angegeben werden",
"propertyValue": "{{property}} muss {{value}} im PropertySet {{propertySet}} sein",
"dataRequired": "Die Daten zu {{property}} müssen {{value}} sein und im PropertySet {{propertySet}} enthalten sein",
"enumRequired": "{{field}} muss einer der folgenden Werte sein: {{values}}",
"propertyInSet": "Eigenschaft {{property}} im PropertySet {{propertySet}}",
"propertyWithValue": "Eigenschaft {{property}} im PropertySet {{propertySet}} mit Wert {{value}}"
},
"enumerations": {
"51_0": "51.0",
"52_0": "52.0",
"53_0": "53.0",
"untergeschoss": "Untergeschoss",
"erdgeschoss": "Erdgeschoss",
"obergeschoss": "Obergeschoss",
"zwischengeschoss": "Zwischengeschoss",
"dach": "Dach",
"u01": "U01",
"da": "DA"
}
}
},
"console": {
"loading": {
"pyodide": "Pyodide wird geladen...",
"pyodideSuccess": "Pyodide erfolgreich geladen",
"idsFile": "IDS-Datei wird gelesen...",
"translations": "Übersetzungen werden geladen...",
"packages": "Erforderliche Pakete werden installiert...",
"micropipPatch": "Micropip wird für Kompatibilitätsprüfungen angepasst...",
Expand Down
41 changes: 39 additions & 2 deletions public/locales/en/translation.json
Original file line number Diff line number Diff line change
Expand Up @@ -124,6 +124,7 @@
"report-format-description": "Select one or both report formats. HTML reports can be viewed and printed directly, while BCF reports can be used in BIM collaboration tools.",
"view-html": "HTML",
"download-bcf": "BCF",
"downloadHtmlTooltip": "Download HTML report",
"select-report-format": "Please select at least one report format",
"report": {
"summary": "Summary",
Expand All @@ -135,6 +136,8 @@
"name": "Name",
"description": "Description",
"warning": "Warning",
"failureReason": "Failure Reason",
"specNotApplyToVersion": "specification does not apply to this IFC version",
"globalId": "GlobalId",
"tag": "Tag",
"reportBy": "Report by",
Expand All @@ -146,14 +149,38 @@
"skipped": "SKIPPED"
},
"errorMessages": {
"propertySetNotExist": "The required property set does not exist",
"propertySetNotExist": "The required PropertySet does not exist",
"dataShallBeProvided": "data shall be provided in the dataset",
"propertyNotExist": "The required property does not exist",
"invalidValue": "has an invalid value",
"notInRange": "is not in the allowed range",
"notFound": "was not found",
"doesNotHave": "does not have",
"missingProperty": "is missing the required property"
"missingProperty": "is missing the required property",
"attributeValueDoesNotMatch": "The attribute value \"{{value}}\" does not match the requirement",
"doesNotMatchRequirement": "does not match the requirement",
"entityClassDoesNotMeet": "The entity class \"{{actual}}\" does not meet the required IFC class",
"predefinedTypeDoesNotMeet": "The predefined type \"{{actual}}\" does not meet the required type",
"requiredAttributeNotExist": "The required attribute did not exist",
"attributeValueEmpty": "The attribute value \"{{actual}}\" is empty",
"invalidAttributeName": "An invalid attribute name was specified in the IDS",
"attributeShouldNotMeet": "The attribute value should not have met the requirement",
"noClassification": "The entity has no classification",
"referencesDoNotMatch": "The references \"{{actual}}\" do not match the requirements",
"systemsDoNotMatch": "The systems \"{{actual}}\" do not match the requirements",
"classificationShouldNotMeet": "The classification should not have met the requirement",
"noRelationship": "The entity has no relationship",
"relationshipIncorrectEntities": "The entity has a relationship with incorrect entities: \"{{actual}}\"",
"relationshipIncorrectPredefinedType": "The entity has a relationship with incorrect predefined type: \"{{actual}}\"",
"relationshipShouldNotMeet": "The relationship should not have met the requirement",
"propertySetDoesNotContain": "The PropertySet does not contain the required property",
"propertyDataTypeMismatch": "The property's data type \"{{actual}}\" does not match the required data type of \"{{dataType}}\"",
"propertyValueDoesNotMatch": "The property value \"{{actual}}\" does not match the requirements",
"propertyValuesDoNotMatch": "The property values \"{{actual}}\" do not match the requirements",
"propertyShouldNotMeet": "The property should not have met the requirement",
"noMaterial": "The entity has no material",
"materialDoesNotMatch": "The material names and categories of \"{{actual}}\" does not match the requirement",
"materialShouldNotMeet": "The material should not have met the requirement"
},
"interface": {
"passed": "passed",
Expand All @@ -166,6 +193,15 @@
"all": "All",
"data": "data"
},
"allEntityData": "All {{entity}} data",
"matchesPattern": "matches the pattern {{pattern}}",
"equals": "is {{value}}",
"oneOf": "is one of: {{values}}",
"range": "is between {{min}} and {{max}}",
"greaterOrEqual": "is greater than or equal to {{value}}",
"greaterThan": "is greater than {{value}}",
"lessOrEqual": "is less than or equal to {{value}}",
"lessThan": "is less than {{value}}",
"phrases": {
"moreOfSameType": "... {{count}} more of the same element type ({{type}} with Tag {{tag}} and GlobalId {{id}}) not shown ...",
"moreElementsNotShown": "... {{count}} more {{type}} elements not shown out of {{total}} total ..."
Expand All @@ -190,6 +226,7 @@
"loading": {
"pyodide": "Loading Pyodide...",
"pyodideSuccess": "Pyodide loaded successfully",
"idsFile": "Reading IDS file content...",
"translations": "Loading translations...",
"packages": "Installing required packages...",
"micropipPatch": "Patching micropip for compatibility check bypass...",
Expand Down
46 changes: 41 additions & 5 deletions public/locales/fr/translation.json
Original file line number Diff line number Diff line change
Expand Up @@ -117,6 +117,7 @@
"report-format-description": "Sélectionnez un ou plusieurs formats de rapport. Les rapports HTML peuvent être consultés et imprimés directement, tandis que les rapports BCF peuvent être utilisés dans les outils de collaboration BIM.",
"view-html": "HTML",
"download-bcf": "BCF",
"downloadHtmlTooltip": "Télécharger le rapport HTML",
"select-report-format": "Veuillez sélectionner au moins un format de rapport",
"report": {
"summary": "Résumé",
Expand All @@ -128,6 +129,8 @@
"name": "Nom",
"description": "Description",
"warning": "Avertissement",
"failureReason": "Raison de l'échec",
"specNotApplyToVersion": "la spécification ne s'applique pas à cette version IFC",
"globalId": "ID Global",
"tag": "Étiquette",
"reportBy": "Rapport par",
Expand All @@ -139,14 +142,38 @@
"skipped": "IGNORÉ"
},
"errorMessages": {
"propertySetNotExist": "L'ensemble de propriétés requis n'existe pas",
"propertySetNotExist": "Le PropertySet requis n'existe pas",
"dataShallBeProvided": "Les données doivent être fournies dans l'ensemble de données",
"propertyNotExist": "La propriété requise n'existe pas",
"invalidValue": "a une valeur invalide",
"notInRange": "n'est pas dans la plage autorisée",
"notFound": "n'a pas été trouvé",
"doesNotHave": "n'a pas de",
"missingProperty": "la propriété requise est manquante"
"missingProperty": "la propriété requise est manquante",
"attributeValueDoesNotMatch": "La valeur de l'attribut \"{{value}}\" ne correspond pas à l'exigence",
"doesNotMatchRequirement": "ne correspond pas à l'exigence",
"entityClassDoesNotMeet": "La classe d'entité \"{{actual}}\" ne répond pas à la classe IFC requise",
"predefinedTypeDoesNotMeet": "Le type prédéfini \"{{actual}}\" ne répond pas au type requis",
"requiredAttributeNotExist": "L'attribut requis n'existait pas",
"attributeValueEmpty": "La valeur de l'attribut \"{{actual}}\" est vide",
"invalidAttributeName": "Un nom d'attribut invalide a été spécifié dans l'IDS",
"attributeShouldNotMeet": "La valeur de l'attribut n'aurait pas dû répondre à l'exigence",
"noClassification": "L'entité n'a pas de classification",
"referencesDoNotMatch": "Les références \"{{actual}}\" ne correspondent pas aux exigences",
"systemsDoNotMatch": "Les systèmes \"{{actual}}\" ne correspondent pas aux exigences",
"classificationShouldNotMeet": "La classification n'aurait pas dû répondre à l'exigence",
"noRelationship": "L'entité n'a pas de relation",
"relationshipIncorrectEntities": "L'entité a une relation avec des entités incorrectes : \"{{actual}}\"",
"relationshipIncorrectPredefinedType": "L'entité a une relation avec un type prédéfini incorrect : \"{{actual}}\"",
"relationshipShouldNotMeet": "La relation n'aurait pas dû répondre à l'exigence",
"propertySetDoesNotContain": "Le PropertySet ne contient pas la propriété requise",
"propertyDataTypeMismatch": "Le type de données \"{{actual}}\" de la propriété ne correspond pas au type de données requis \"{{dataType}}\"",
"propertyValueDoesNotMatch": "La valeur de la propriété \"{{actual}}\" ne correspond pas aux exigences",
"propertyValuesDoNotMatch": "Les valeurs de la propriété \"{{actual}}\" ne correspondent pas aux exigences",
"propertyShouldNotMeet": "La propriété n'aurait pas dû répondre à l'exigence",
"noMaterial": "L'entité n'a pas de matériau",
"materialDoesNotMatch": "Les noms et catégories de matériau \"{{actual}}\" ne correspondent pas à l'exigence",
"materialShouldNotMeet": "Le matériau n'aurait pas dû répondre à l'exigence"
},
"interface": {
"passed": "réussi",
Expand All @@ -159,6 +186,15 @@
"all": "Tous",
"data": "Données"
},
"allEntityData": "Toutes les données {{entity}}",
"matchesPattern": "correspond au modèle {{pattern}}",
"equals": "est {{value}}",
"oneOf": "est l'un de : {{values}}",
"range": "est entre {{min}} et {{max}}",
"greaterOrEqual": "est supérieur ou égal à {{value}}",
"greaterThan": "est supérieur à {{value}}",
"lessOrEqual": "est inférieur ou égal à {{value}}",
"lessThan": "est inférieur à {{value}}",
"phrases": {
"moreOfSameType": "... {{count}} autres du même type d'élément ({{type}} avec l'étiquette {{tag}} et l'ID global {{id}}) non affichés ...",
"moreElementsNotShown": "... {{count}} autres éléments {{type}} non affichés sur un total de {{total}} ..."
Expand All @@ -173,9 +209,9 @@
"pattern": {
"nameShallBe": "Le nom doit être {{value}}",
"descriptionRequired": "La description doit être fournie",
"propertyRequired": "{{property}} doit être fourni dans l'ensemble de propriétés {{propertySet}}",
"propertyValue": "{{property}} doit être {{value}} dans l'ensemble de propriétés {{propertySet}}",
"enumRequired": "L'une des valeurs d'énumération {{values}} doit être fournie dans l'ensemble de propriétés {{propertySet}}"
"propertyRequired": "{{property}} doit être fourni dans le PropertySet {{propertySet}}",
"propertyValue": "{{property}} doit être {{value}} dans le PropertySet {{propertySet}}",
"enumRequired": "L'une des valeurs d'énumération {{values}} doit être fournie dans le PropertySet {{propertySet}}"
}
}
},
Expand Down
Loading
Loading