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

prefix ex: in examples

parent 6ff73c0d

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

+2 −2
Original line number Diff line number Diff line
@@ -102,8 +102,8 @@ public class Clause_9_6_2_Checker extends AbstractClauseChecker { 
		}



		String exNamespace = prefixes.get(EX_PREFIX);

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

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

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

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

		}



		// how to check MESSAGE.BASE ?

src/main/resources/messages/Clause_9_6_2_Checker.properties

+1 −1
Original line number Diff line number Diff line 
different=If a prefix declaration has prefix `%s`, then the namespace shall be equal to `<%s>`. Got: `<%s>`. See Clause 9.6.2 in TS 103 673.

expect=The ontology document shall contain namespace %s with corresponding prefix %s. 

base=If the ontology document contains a base declaration, then the base declaration shall be equal to %s.

namespace=If the ontology document contains a prefix `ex`, then the namespace shall be equal to `%s`
 
 No newline at end of file
 
namespace=If the ontology document contains a prefix `ex`, then the namespace shall be equal to `%s`. Got: `%s`
 
 No newline at end of file