From 596fdab71b8bd116e20e33647d68f1d7a567696e Mon Sep 17 00:00:00 2001
From: Andreas Stöckel <astoecke@techfak.uni-bielefeld.de>
Date: Mon, 2 Mar 2015 00:34:15 +0100
Subject: Wrote isUserDefinedToken function which checks whether a token is a
 valid user defined token and added unit tests

---
 src/core/common/Utils.hpp | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

(limited to 'src/core/common/Utils.hpp')

diff --git a/src/core/common/Utils.hpp b/src/core/common/Utils.hpp
index 82a8f8c..25a4de5 100644
--- a/src/core/common/Utils.hpp
+++ b/src/core/common/Utils.hpp
@@ -102,6 +102,25 @@ public:
 	 */
 	static bool isNamespacedIdentifier(const std::string &name);
 
+	/**
+	 * Returns true if the given characters form a valid user-defined token.
+	 * This function returns true under the following circumstances:
+	 * <ul>
+	 *   <li>The given token is not empty</li>
+	 *   <li>The given token starts and ends with a non-alphanumeric character
+	 *       </li>
+	 *   <li>The token is none of the following character sequences (which are
+	 *       special in OSML):
+	 *      <ul>
+	 *        <li>'{', '}' or any combined repetition of these characters</li>
+	 *        <li>'\', '{!', '<\', '\>'</li>
+	 *        <li>'%', '%{', '}%'</li>
+	 *      </ul>
+	 *   </li>
+	 * </ul>
+	 */
+	static bool isUserDefinedToken(const std::string &token);
+
 	/**
 	 * Returns true if the given character is a linebreak character.
 	 */
-- 
cgit v1.2.3