Commit 18f688ca authored by Maxime Lefrançois's avatar Maxime Lefrançois
Browse files

false error in ex: namespace when default version

parent a9c6a004

src/main/java/fr/emse/gitlab/saref/checkers/Clause_9_6_2_Checker.java

+15 −2
Original line number Original line Diff line number Diff line
@@ -34,7 +34,10 @@ import fr.emse.gitlab.saref.SAREFPipelineException; 
import fr.emse.gitlab.saref.entities.SAREFExample;

import fr.emse.gitlab.saref.entities.SAREFExample;

import fr.emse.gitlab.saref.entities.SAREFExtension;

import fr.emse.gitlab.saref.entities.SAREFExtension;

import fr.emse.gitlab.saref.entities.SAREFProject;

import fr.emse.gitlab.saref.entities.SAREFProject;

import fr.emse.gitlab.saref.entities.SAREFVersion;

import fr.emse.gitlab.saref.entities.SAREFVersionName;

import fr.emse.gitlab.saref.managers.RepositoryManager;

import fr.emse.gitlab.saref.managers.RepositoryManager;

import fr.emse.gitlab.saref.vocabs.SHACL;





/**

/**

 * Checks TS 103 673 Clause 9.6.2: Prefixes declaration

 * Checks TS 103 673 Clause 9.6.2: Prefixes declaration
@@ -102,9 +105,19 @@ public class Clause_9_6_2_Checker extends AbstractClauseChecker { 
		}

		}





		String exNamespace = prefixes.get(EX_PREFIX);

		String exNamespace = prefixes.get(EX_PREFIX);

		if (exNamespace != null && !exNamespace.equals(example.getNamespace())) {

		if (exNamespace != null) { 

			if(!versionName.equals(SAREFVersionName.DEFAULT)) {

				if(!exNamespace.equals(example.getNamespace())) {

					logError(getMessage(MESSAGE.namespace, example.getNamespace(), exNamespace));

					logError(getMessage(MESSAGE.namespace, example.getNamespace(), exNamespace));

				}

				}

			} else {

				String regex = "^" + example.getNamespace().replace(versionName.toString(), SAREFVersionName.REGEX_VERSION_NUMBER) + "$";

				if(!Pattern.matches(regex, exNamespace)) {

					String ver = example.getNamespace().replace(versionName.toString(), "<<some version>>");

					logError(getMessage(MESSAGE.namespace, ver, exNamespace));

				}

			}

		}





		// how to check MESSAGE.BASE ?

		// how to check MESSAGE.BASE ?

	}

	}