From b8ed4b775feff99a5be73632367b666d8a833fa3 Mon Sep 17 00:00:00 2001
From: Trevor Elliott <trevor@galois.com>
Date: Wed, 26 Jun 2013 11:48:12 -0700
Subject: Fix comment removal in double quotes

---
 src/js/fiveui/js/utils.js | 20 +++++++++++++++++++-
 1 file changed, 19 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/js/fiveui/js/utils.js b/src/js/fiveui/js/utils.js
index 204d961..9f4d2c6 100644
--- a/src/js/fiveui/js/utils.js
+++ b/src/js/fiveui/js/utils.js
@@ -98,6 +98,8 @@ var removeComments = function(data) {
   var state     = 0;
   var toEOL     = 1;
   var toEOC     = 2;
+  var inQUOTE   = 3;
+  var inDQUOTE  = 4;
 
   var sanitized = '';
   var len       = data.length;
@@ -120,8 +122,24 @@ var removeComments = function(data) {
         }
         break;
 
+      case inQUOTE:
+        if(data[e] == '\'') {
+          state = 0;
+        }
+        break;
+
+      case inDQUOTE:
+        if(data[e] == '"') {
+          state = 0;
+        }
+        break;
+
       default:
-        if(data[e] == '/') {
+        if(data[e] == '\'') {
+          state = inQUOTE;
+        } else if(data[e] == '"') {
+          state = inDQUOTE;
+        } else if(data[e] == '/') {
           if(data[e+1] == '/') {
             sanitized = sanitized + data.substring(s,e);
             state     = toEOL;
-- 
cgit v1.2.3