RegExp::isEmpty is now correct if called on unoptimized regexp. closes #15

alib/src/regexp/Alternation.cpp

@@ -106,5 +106,13 @@ bool Alternation::containsEmptyString() const {
 	return false;
 }
+bool Alternation::isEmpty() const {
+	for(const auto& e : getElements())
+		if(!e->isEmpty())
+			return true;
+
+	return false;
+}
+
 } /* namespace regexp */

alib/src/regexp/Alternation.h

@@ -55,6 +55,11 @@ public:
 	 * @copydoc RegExpElement::containsEmptyString() const
 	 */
 	bool containsEmptyString() const;
+
+	/**
+	 * @copydoc RegExpElement::isEmpty() const
+	 */
+	bool isEmpty() const;
 };
 } /* namespace regexp */

alib/src/regexp/Concatenation.cpp

@@ -95,11 +95,19 @@ bool Concatenation::operator==(const Concatenation& other) const {
 }
 bool Concatenation::containsEmptyString() const {
-	for( const auto& e : getElements())
+	for(const auto& e : getElements())
 		if( ! e->containsEmptyString())
 			return false;
 	return true;
 }
+bool Concatenation::isEmpty() const {
+	for(const auto& e : getElements())
+		if(!e->isEmpty())
+			return false;
+
+	return true;
+}
+
 } /* namespace regexp */

alib/src/regexp/Concatenation.h

@@ -54,6 +54,11 @@ public:
 	 * @copydoc RegExpElement::containsEmptyString() const
 	 */
 	bool containsEmptyString() const;
+
+	/**
+	 * @copydoc RegExpElement::isEmpty() const
+	 */
+	bool isEmpty() const;
 };
 } /* namespace regexp */

alib/src/regexp/Iteration.cpp

@@ -97,5 +97,9 @@ bool Iteration::containsEmptyString() const {
 	return true;
 }
+bool Iteration::isEmpty() const {
+	return false;
+}
+
 } /* namespace regexp */

alib/src/regexp/Iteration.h

@@ -62,6 +62,11 @@ public:
 	 * @copydoc RegExpElement::containsEmptyString() const
 	 */
 	bool containsEmptyString() const;
+
+	/**
+	 * @copydoc RegExpElement::isEmpty() const
+	 */
+	bool isEmpty() const;
 };
 } /* namespace regexp */

alib/src/regexp/RegExp.cpp

@@ -71,7 +71,7 @@ void RegExp::setRegExp(RegExpElement* regExp) {
 }
 bool RegExp::isEmpty() const {
-	return regExp == NULL || dynamic_cast<const RegExpEmpty*>(regExp);
+	return regExp == NULL || regExp->isEmpty();
 }
 bool RegExp::containsEmptyString() const {

alib/src/regexp/RegExpElement.h

@@ -59,6 +59,11 @@ public:
 	 * @return true if this subtree of regexp matches empty string (epsilon)
 	 */
 	virtual bool containsEmptyString() const = 0;
+
+	/**
+	 * @return true if this subtree describes empty language
+	 */
+	virtual bool isEmpty() const = 0;
 };
 } /* namespace regexp */

alib/src/regexp/RegExpEmpty.cpp

@@ -57,5 +57,9 @@ bool RegExpEmpty::containsEmptyString() const {
 	return false;
 }
+bool RegExpEmpty::isEmpty() const {
+	return true;
+}
+
 } /* namespace regexp */

alib/src/regexp/RegExpEmpty.h

@@ -41,6 +41,11 @@ public:
 	 * @copydoc RegExpElement::containsEmptyString() const
 	 */
 	bool containsEmptyString() const;
+
+	/**
+	 * @copydoc RegExpElement::isEmpty() const
+	 */
+	bool isEmpty() const;
 };
 } /* namespace regexp */

alib/src/regexp/RegExpEpsilon.cpp

@@ -53,5 +53,9 @@ bool RegExpEpsilon::containsEmptyString() const {
 	return true;
 }
+bool RegExpEpsilon::isEmpty() const {
+	return false;
+}
+
 } /* namespace regexp */

alib/src/regexp/RegExpEpsilon.h

@@ -42,6 +42,11 @@ public:
 	 * @copydoc RegExpElement::containsEmptyString() const
 	 */
 	bool containsEmptyString() const;
+
+	/**
+	 * @copydoc RegExpElement::isEmpty() const
+	 */
+	bool isEmpty() const;
 };
 } /* namespace regexp */

alib/src/regexp/RegExpSymbol.cpp

@@ -58,6 +58,10 @@ bool RegExpSymbol::containsEmptyString() const {
 	return false;
 }
+bool RegExpSymbol::isEmpty() const {
+	return false;
+}
+
 const string& RegExpSymbol::getSymbol() const {
 	return this->symbol;
 }

alib/src/regexp/RegExpSymbol.h

@@ -46,8 +46,13 @@ public:
 	 * @copydoc RegExpElement::containsEmptyString() const
 	 */
 	bool containsEmptyString() const;
-	
+
 	const string& getSymbol() const;
+
+	/**
+	 * @copydoc RegExpElement::isEmpty() const
+	 */
+	bool isEmpty() const;
 };
 } /* namespace regexp */