add getRepr() and toString() on RelevantState

Author: erik-krogh

java/ql/lib/semmle/code/java/security/regexp/NfaUtils.qll

@@ -968,7 +968,11 @@ module PrefixConstruction<isCandidateSig/1 isCandidate> {
       exists(State s | isCandidate(s) | getRoot(s.getRepr()) = getRoot(this.getRepr()))
     }
 
-    string toString() { result = "RelevantState" }
+    /** Gets a string representation for this state in a regular expression. */
+    string toString() { result = State.super.toString() }
+
+    /** Gets the term represented by this state. */
+    RegExpTerm getRepr() { result = State.super.getRepr() }
   }
 }
 

javascript/ql/lib/semmle/javascript/security/regexp/NfaUtils.qll

@@ -968,7 +968,11 @@ module PrefixConstruction<isCandidateSig/1 isCandidate> {
       exists(State s | isCandidate(s) | getRoot(s.getRepr()) = getRoot(this.getRepr()))
     }
 
-    string toString() { result = "RelevantState" }
+    /** Gets a string representation for this state in a regular expression. */
+    string toString() { result = State.super.toString() }
+
+    /** Gets the term represented by this state. */
+    RegExpTerm getRepr() { result = State.super.getRepr() }
   }
 }
 

python/ql/lib/semmle/python/security/regexp/NfaUtils.qll

@@ -968,7 +968,11 @@ module PrefixConstruction<isCandidateSig/1 isCandidate> {
       exists(State s | isCandidate(s) | getRoot(s.getRepr()) = getRoot(this.getRepr()))
     }
 
-    string toString() { result = "RelevantState" }
+    /** Gets a string representation for this state in a regular expression. */
+    string toString() { result = State.super.toString() }
+
+    /** Gets the term represented by this state. */
+    RegExpTerm getRepr() { result = State.super.getRepr() }
   }
 }
 

ruby/ql/lib/codeql/ruby/security/regexp/NfaUtils.qll

@@ -968,7 +968,11 @@ module PrefixConstruction<isCandidateSig/1 isCandidate> {
       exists(State s | isCandidate(s) | getRoot(s.getRepr()) = getRoot(this.getRepr()))
     }
 
-    string toString() { result = "RelevantState" }
+    /** Gets a string representation for this state in a regular expression. */
+    string toString() { result = State.super.toString() }
+
+    /** Gets the term represented by this state. */
+    RegExpTerm getRepr() { result = State.super.getRepr() }
   }
 }