release v1.1 final

- improved standard compliance ; compiles with msvc

Author: xamidi

.gitignore

@@ -7,6 +7,7 @@
 **/*.sh
 **/*.bat
 **/*.reg
+**/*.json
 
 # Sciebo temporary files
 **/*.~*
@@ -16,6 +17,11 @@
 .project
 .settings/
 
+# Visual Studio files
+.vs/
+*.sln
+*.vcxproj*
+
 # Non-development (or currently unused) directories
 icon/*
 !icon/icon.ico

__dependency_graph.dot

@@ -76,6 +76,7 @@ digraph {
 	main -> cstring [color=blue]
 	main -> ctime [color=blue]
 	main -> iostream [color=blue]
+	main -> process [color=blue]
 	main -> unistd [color=blue]
 	subgraph "cluster_D:/Dropbox/eclipse/pmGenerator" {
 		main

icon/icon.rc

@@ -1,3 +1 @@
 aaaa_icon ICON "icon.ico"
-
-#include <wx/msw/wx.rc>

main.cpp

@@ -6,7 +6,11 @@
 #include <cstring>
 #include <ctime>
 #include <iostream>
+#ifdef _MSC_VER
+#include <process.h>
+#else
 #include <unistd.h>
+#endif
 
 using namespace std;
 using namespace xamid::helper;
@@ -116,7 +120,7 @@ int main(int argc, char* argv[]) { // argc = 1 + N, argv = { <command>, <arg1>,
 				return printUsage("Missing parameter for \"-g\".");
 			try {
 				tasks.emplace_back(Task::Generate, stoi(argv[++i]), "", "", "", "", true, true, false, false, 0, 0);
-			} catch (exception& e) {
+			} catch (...) {
 				return printUsage("Invalid parameter \"" + string(argv[i]) + "\" for \"-g\".");
 			}
 			break;
@@ -211,7 +215,7 @@ int main(int argc, char* argv[]) { // argc = 1 + N, argv = { <command>, <arg1>,
 				return printUsage("Missing parameter for \"-x\".");
 			try {
 				get<10>(tasks.back()) = stoll(argv[++i]); // get<10> = cutX
-			} catch (exception& e) {
+			} catch (...) {
 				return printUsage("Invalid parameter \"" + string(argv[i]) + "\" for \"-x\".");
 			}
 			break;
@@ -222,7 +226,7 @@ int main(int argc, char* argv[]) { // argc = 1 + N, argv = { <command>, <arg1>,
 				return printUsage("Missing parameter for \"-y\".");
 			try {
 				get<11>(tasks.back()) = stoll(argv[++i]); // get<11> = cutY
-			} catch (exception& e) {
+			} catch (...) {
 				return printUsage("Invalid parameter \"" + string(argv[i]) + "\" for \"-y\".");
 			}
 			break;

metamath/DRuleParser.cpp

@@ -552,7 +552,7 @@ vector<pair<string, tuple<vector<shared_ptr<DlFormula>>, vector<string>, map<siz
 		};
 		auto updatePrimitives = [&]() {
 			for (set<shared_ptr<DlFormula>>::iterator it = usedPrimitives.begin(); it != usedPrimitives.end();)
-				if (it->unique()) { // default: used by freePrimitives or primitives
+				if (it->use_count() == 1) {
 					freePrimitives.emplace(*it);
 					it = usedPrimitives.erase(it);
 				} else
@@ -941,7 +941,7 @@ shared_ptr<DlFormula> DRuleParser::_parseEnclosedMmPlFormula(const string& strCo
 		string_view::size_type opEndOffset = source.find(' ', opBeginOffset);
 		if (opEndOffset == string_view::npos)
 			throw invalid_argument("DRuleParser::parseConsequent(): Invalid formula \"" + myFormula + "\". There should be a binary operator ending with ' '.");
-		binOp = string(source.begin() + opBeginOffset, opEndOffset - opBeginOffset);
+		binOp = string(source.data() + opBeginOffset, opEndOffset - opBeginOffset);
 		return opEndOffset;
 	};
 	auto applyUnaryOperators = [&](shared_ptr<DlFormula>& target, const vector<DlOperator>& unaryOperators) -> void {
@@ -968,7 +968,7 @@ shared_ptr<DlFormula> DRuleParser::_parseEnclosedMmPlFormula(const string& strCo
 		string_view::size_type varEndOffset = source.find(' ', varBeginOffset);
 		if (varEndOffset == string_view::npos)
 			throw invalid_argument("DRuleParser::parseConsequent(): Invalid formula \"" + myFormula + "\". Source should contain a variable ending with ' '.");
-		assignVariableTerm(target, string(varBegin, varEndOffset - varBeginOffset), unaryOperators);
+		assignVariableTerm(target, string(&*varBegin, varEndOffset - varBeginOffset), unaryOperators);
 		return varEndOffset;
 	};
 	auto readAndAssignEndingVariableTerm = [&](const string_view& source, shared_ptr<DlFormula>& target) -> void {