More issues being idenified via interpreter.validate()

1 files changed, 316 insertions, 0 deletions

diff --git a/test/src/test-issue-reporting.cpp b/test/src/test-issue-reporting.cpp
new file mode 100644
index 0000000..5de3366
--- /dev/null
+++ b/test/src/test-issue-reporting.cpp
@@ -0,0 +1,316 @@
+#include "uscxml/config.h"
+#include "uscxml/Interpreter.h"
+#include <glog/logging.h>
+
+using namespace uscxml;
+
+std::set<std::string> issueLocationsForXML(const std::string xml) {
+	Interpreter interpreter = Interpreter::fromXML(xml);
+	std::list<InterpreterIssue> issues = interpreter.validate();
+	
+	std::set<std::string> issueLocations;
+	
+	for (std::list<InterpreterIssue>::iterator issueIter = issues.begin(); issueIter != issues.end(); issueIter++) {
+		std::cout << *issueIter << std::endl;
+		issueLocations.insert(issueIter->xPath);
+	}
+	return issueLocations;
+}
+
+int main(int argc, char** argv) {
+
+	google::InitGoogleLogging(argv[0]);
+	google::LogToStderr();
+
+	int iterations = 1;
+
+	while(iterations--) {
+
+		if (1) {
+			// State has no 'id' attribute
+			const char* xml =
+			"<scxml datamodel=\"ecmascript\">"
+			"	<state>"
+			"		<transition/>"
+			" </state>"
+			"</scxml>";
+
+			std::set<std::string> issueLocations = issueLocationsForXML(xml);
+			assert(issueLocations.find("/scxml[1]/state[1]") != issueLocations.end());
+			assert(issueLocations.size() == 1);
+		}
+
+		if (1) {
+			// Duplicate state with id
+			const char* xml =
+			"<scxml datamodel=\"ecmascript\">"
+			"	<state id=\"start\" />"
+			" <state id=\"start\" />"
+			"</scxml>";
+			
+			std::set<std::string> issueLocations = issueLocationsForXML(xml);
+			assert(issueLocations.find("//state[@id=\"start\"]") != issueLocations.end());
+			assert(issueLocations.size() == 1);
+		}
+
+		if (1) {
+			// Transition has non-existant target state
+			
+			const char* xml =
+			"<scxml datamodel=\"ecmascript\">"
+			"	<state id=\"start\">"
+			"		<transition target=\"done\" />"
+			" </state>"
+			"</scxml>";
+			
+			std::set<std::string> issueLocations = issueLocationsForXML(xml);
+			assert(issueLocations.find("//state[@id=\"start\"]/transition[1]") != issueLocations.end());
+			assert(issueLocations.size() == 1);
+		}
+
+		
+		if (1) {
+			// Transition can never be optimally enabled (conditionless, eventless)
+			
+			const char* xml =
+			"<scxml datamodel=\"ecmascript\">"
+			"	<state id=\"start\">"
+			"		<transition target=\"done\" />"
+			"		<transition target=\"done\" />"
+			" </state>"
+			" <final id=\"done\" />"
+			"</scxml>";
+			
+			std::set<std::string> issueLocations = issueLocationsForXML(xml);
+			assert(issueLocations.find("//state[@id=\"start\"]/transition[2]") != issueLocations.end());
+			assert(issueLocations.size() == 1);
+		}
+
+		if (1) {
+			// Transition can never be optimally enabled (conditionless, more events)
+			
+			const char* xml =
+			"<scxml datamodel=\"ecmascript\">"
+			"	<state id=\"start\">"
+			"		<transition event=\"error\" target=\"done\" />"
+			"		<transition event=\"error.bar error.foo\" />"
+			" </state>"
+			" <final id=\"done\" />"
+			"</scxml>";
+			
+			std::set<std::string> issueLocations = issueLocationsForXML(xml);
+			assert(issueLocations.find("//state[@id=\"start\"]/transition[2]") != issueLocations.end());
+			assert(issueLocations.size() == 1);
+		}
+
+		
+		if (1) {
+			// Initial attribute has invalid target state
+			
+			const char* xml =
+			"<scxml datamodel=\"ecmascript\" initial=\"foo\">"
+			"</scxml>";
+			
+			std::set<std::string> issueLocations = issueLocationsForXML(xml);
+			assert(issueLocations.find("/scxml[1]") != issueLocations.end());
+			assert(issueLocations.size() == 1);
+		}
+
+		if (1) {
+			// Invoke with unknown type
+			
+			const char* xml =
+			"<scxml datamodel=\"ecmascript\">"
+			"	<state id=\"start\">"
+			"		<invoke type=\"non-existant\" />"
+			" </state>"
+			"</scxml>";
+			
+			std::set<std::string> issueLocations = issueLocationsForXML(xml);
+			assert(issueLocations.find("//state[@id=\"start\"]/invoke[1]") != issueLocations.end());
+			assert(issueLocations.size() == 1);
+		}
+
+		if (1) {
+			// Send to unknown IO Processor
+			
+			const char* xml =
+			"<scxml datamodel=\"ecmascript\">"
+			"	<state id=\"start\">"
+			"		<onentry>"
+			"			<send type=\"non-existant\" />"
+			"		</onentry>"
+			" </state>"
+			"</scxml>";
+			
+			std::set<std::string> issueLocations = issueLocationsForXML(xml);
+			assert(issueLocations.find("//state[@id=\"start\"]/onentry[1]/send[1]") != issueLocations.end());
+			assert(issueLocations.size() == 1);
+		}
+
+		if (1) {
+			// SCXML document requires unknown datamodel
+			
+			const char* xml =
+			"<scxml datamodel=\"non-existant\">"
+			"</scxml>";
+			
+			std::set<std::string> issueLocations = issueLocationsForXML(xml);
+			assert(issueLocations.find("/scxml[1]") != issueLocations.end());
+			assert(issueLocations.size() == 1);
+		}
+
+		if (1) {
+			// Unknown executable content element
+			
+			const char* xml =
+			"<scxml datamodel=\"ecmascript\">"
+			"	<state id=\"start\">"
+			"		<onentry>"
+			"			<nonexistant />"
+			"		</onentry>"
+			" </state>"
+			"</scxml>";
+			
+			std::set<std::string> issueLocations = issueLocationsForXML(xml);
+			assert(issueLocations.find("//state[@id=\"start\"]/onentry[1]/nonexistant[1]") != issueLocations.end());
+			assert(issueLocations.size() == 1);
+		}
+
+		if (1) {
+			// Syntax error in script
+			
+			const char* xml =
+			"<scxml datamodel=\"ecmascript\">"
+			"	<script>"
+			"   $wfwegr^ "
+			" </script>"
+			"</scxml>";
+			
+			std::set<std::string> issueLocations = issueLocationsForXML(xml);
+			assert(issueLocations.find("/scxml[1]/script[1]") != issueLocations.end());
+			assert(issueLocations.size() == 1);
+		}
+
+		if (1) {
+			// Syntax error in cond attribute
+			
+			const char* xml =
+			"<scxml datamodel=\"ecmascript\">"
+			"	<state id=\"start\">"
+			"		<onentry>"
+			"			<if cond=\"%2345\">"
+			"			<elseif cond=\"%2345\" />"
+			"			</if>"
+			"		</onentry>"
+			"		<transition cond=\"%2345\" />"
+			" </state>"
+			"</scxml>";
+			
+			std::set<std::string> issueLocations = issueLocationsForXML(xml);
+			assert(issueLocations.find("//state[@id=\"start\"]/transition[1]") != issueLocations.end());
+			assert(issueLocations.find("//state[@id=\"start\"]/onentry[1]/if[1]") != issueLocations.end());
+			assert(issueLocations.find("//state[@id=\"start\"]/onentry[1]/if[1]/elseif[1]") != issueLocations.end());
+			assert(issueLocations.size() == 3);
+		}
+
+		if (1) {
+			// Syntax error in expr attribute
+			
+			const char* xml =
+			"<scxml datamodel=\"ecmascript\">"
+			"	<datamodel>"
+			"		<data id=\"foo\" expr=\"%2345\" />"
+			"	</datamodel>"
+			"	<state id=\"start\">"
+			"		<onentry>"
+			"			<log expr=\"%2345\" />"
+			"			<assign location=\"foo\" expr=\"%2345\" />"
+			"			<send>"
+			"				<param expr=\"%2345\" />"
+			"				<content expr=\"%2345\" />"
+			"			</send>"
+			"		</onentry>"
+			" </state>"
+			"</scxml>";
+			
+			std::set<std::string> issueLocations = issueLocationsForXML(xml);
+			assert(issueLocations.find("//state[@id=\"start\"]/onentry[1]/log[1]") != issueLocations.end());
+			assert(issueLocations.find("//data[@id=\"foo\"]") != issueLocations.end());
+			assert(issueLocations.find("//state[@id=\"start\"]/onentry[1]/assign[1]") != issueLocations.end());
+			assert(issueLocations.find("//state[@id=\"start\"]/onentry[1]/send[1]/content[1]") != issueLocations.end());
+			assert(issueLocations.find("//state[@id=\"start\"]/onentry[1]/send[1]/param[1]") != issueLocations.end());
+			assert(issueLocations.size() == 5);
+		}
+
+		if (1) {
+			// Syntax error with foreach
+			
+			const char* xml =
+			"<scxml datamodel=\"ecmascript\">"
+			"	<state id=\"start\">"
+			"		<onentry>"
+			"			<foreach item=\"%2345\" index=\"%2345\" array=\"%2345\">"
+			"			</foreach>"
+			"		</onentry>"
+			" </state>"
+			"</scxml>";
+			
+			std::set<std::string> issueLocations = issueLocationsForXML(xml);
+			assert(issueLocations.find("//state[@id=\"start\"]/onentry[1]/foreach[1]") != issueLocations.end());
+			assert(issueLocations.size() == 1);
+		}
+
+		if (1) {
+			// Syntax error with send
+			
+			const char* xml =
+			"<scxml datamodel=\"ecmascript\">"
+			"	<state id=\"start\">"
+			"		<onentry>"
+			"			<send eventexpr=\"%2345\" targetexpr=\"%2345\" typeexpr=\"%2345\" idlocation=\"%2345\" delayexpr=\"%2345\" />"
+			"		</onentry>"
+			" </state>"
+			"</scxml>";
+			
+			std::set<std::string> issueLocations = issueLocationsForXML(xml);
+			assert(issueLocations.find("//state[@id=\"start\"]/onentry[1]/send[1]") != issueLocations.end());
+			assert(issueLocations.size() == 1);
+		}
+
+		if (1) {
+			// Syntax error with invoke
+			
+			const char* xml =
+			"<scxml datamodel=\"ecmascript\">"
+			"	<state id=\"start\">"
+			"		<invoke typeexpr=\"%2345\" srcexpr=\"%2345\" idlocation=\"%2345\" />"
+			" </state>"
+			"</scxml>";
+			
+			std::set<std::string> issueLocations = issueLocationsForXML(xml);
+			assert(issueLocations.find("//state[@id=\"start\"]/invoke[1]") != issueLocations.end());
+			assert(issueLocations.size() == 1);
+		}
+
+		if (1) {
+			// Syntax error with cancel
+			
+			const char* xml =
+			"<scxml datamodel=\"ecmascript\">"
+			"	<state id=\"start\">"
+			"		<onentry>"
+			"			<cancel sendidexpr=\"%2345\" />"
+			"		</onentry>"
+			" </state>"
+			"</scxml>";
+			
+			std::set<std::string> issueLocations = issueLocationsForXML(xml);
+			assert(issueLocations.find("//state[@id=\"start\"]/onentry[1]/cancel[1]") != issueLocations.end());
+			assert(issueLocations.size() == 1);
+		}
+
+	}
+
+	return EXIT_SUCCESS;
+}
\ No newline at end of file