Json: Provide better error messages for wrong types

test/cmdlineTests/standard_wrong_type_auxiliary_input.json

@@ -0,0 +1,11 @@
+{
+	"language": "Solidity",
+	"sources":
+	{
+		"A":
+		{
+			"content": "pragma solidity >=0.0; contract C { function f() public pure {} }"
+		}
+	},
+	"auxiliaryInput": [1, 2, 3]
+}

test/cmdlineTests/standard_wrong_type_auxiliary_input.json.exit

@@ -0,0 +1 @@
+0

test/cmdlineTests/standard_wrong_type_auxiliary_input.json.stdout

@@ -0,0 +1,2 @@
+{"errors":[{"component":"general","formattedMessage":"\"auxiliaryInput\" must be an object","message":"\"auxiliaryInput\" must be an object","severity":"error","type":"JSONError"}]}
+

test/cmdlineTests/standard_wrong_type_auxiliary_input_smtlib2responses.json

@@ -0,0 +1,20 @@
+{
+	"language": "Solidity",
+	"sources": {
+		"fileA": {
+			"content": "contract A { }"
+		}
+	},
+	"settings": {
+		"outputSelection": {
+			"fileA": {
+				"A": [ "abi", "devdoc", "userdoc", "evm.bytecode", "evm.assembly", "evm.gasEstimates", "evm.legacyAssembly", "metadata" ],
+				"": [ "legacyAST" ]
+			}
+		}
+	},
+	"auxiliaryInput":
+	{
+		"smtlib2responses": "not an object"
+	}
+}

test/cmdlineTests/standard_wrong_type_auxiliary_input_smtlib2responses.json.exit

@@ -0,0 +1 @@
+0

test/cmdlineTests/standard_wrong_type_auxiliary_input_smtlib2responses.json.stdout

@@ -0,0 +1 @@
+{"errors":[{"component":"general","formattedMessage":"\"auxiliaryInput.smtlib2responses\" must be an object.","message":"\"auxiliaryInput.smtlib2responses\" must be an object.","severity":"error","type":"JSONError"}]}

test/cmdlineTests/standard_wrong_type_auxiliary_input_smtlib2responses_member.json

@@ -0,0 +1,23 @@
+{
+	"language": "Solidity",
+	"sources": {
+		"fileA": {
+			"content": "contract A { }"
+		}
+	},
+	"settings": {
+		"outputSelection": {
+			"fileA": {
+				"A": [ "abi", "devdoc", "userdoc", "evm.bytecode", "evm.assembly", "evm.gasEstimates", "evm.legacyAssembly", "metadata" ],
+				"": [ "legacyAST" ]
+			}
+		}
+	},
+	"auxiliaryInput":
+	{
+		"smtlib2responses":
+		{
+			"abc": ["not a string"]
+		}
+	}
+}

test/cmdlineTests/standard_wrong_type_auxiliary_input_smtlib2responses_member.json.exit

@@ -0,0 +1 @@
+0

test/cmdlineTests/standard_wrong_type_auxiliary_input_smtlib2responses_member.json.stdout

@@ -0,0 +1 @@
+{"errors":[{"component":"general","formattedMessage":"\"smtlib2Responses.abc\" must be a string.","message":"\"smtlib2Responses.abc\" must be a string.","severity":"error","type":"JSONError"}]}

test/cmdlineTests/standard_wrong_type_metadata.json

@@ -0,0 +1,19 @@
+{
+	"language": "Solidity",
+	"sources":
+	{
+		"A":
+		{
+			"content": "pragma solidity >=0.0; contract C { function f() public pure {} }"
+		}
+	},
+	"settings":
+	{
+		"optimizer": {
+			"enabled": true,
+			"runs": 200
+		},
+		"evmVersion": "byzantium",
+		"metadata": ["meta1", "meta2", "meta3"]
+	}
+}

test/cmdlineTests/standard_wrong_type_metadata.json.exit

@@ -0,0 +1 @@
+0

test/cmdlineTests/standard_wrong_type_metadata.json.stdout

@@ -0,0 +1 @@
+{"errors":[{"component":"general","formattedMessage":"\"settings.metadata\" must be an object","message":"\"settings.metadata\" must be an object","severity":"error","type":"JSONError"}]}

test/cmdlineTests/standard_wrong_type_optimizer.json

@@ -0,0 +1,18 @@
+{
+	"language": "Solidity",
+	"sources":
+	{
+		"A":
+		{
+			"content": "pragma solidity >=0.0; contract C { function f() public pure {} }"
+		}
+	},
+	"settings":
+	{
+		"optimizer": 1,
+		"evmVersion": "byzantium",
+		"metadata": {
+			"useLiteralContent": true
+		}
+	}
+}

test/cmdlineTests/standard_wrong_type_optimizer.json.exit

@@ -0,0 +1 @@
+0

test/cmdlineTests/standard_wrong_type_optimizer.json.stdout

@@ -0,0 +1 @@
+{"errors":[{"component":"general","formattedMessage":"\"settings.optimizer\" must be an object","message":"\"settings.optimizer\" must be an object","severity":"error","type":"JSONError"}]}

test/cmdlineTests/standard_wrong_type_output_selection.json

@@ -0,0 +1,11 @@
+{
+	"language": "Solidity",
+	"sources": {
+		"fileA": {
+			"content": "contract A { }"
+		}
+	},
+	"settings": {
+		"outputSelection": "not an object"
+	}
+}

test/cmdlineTests/standard_wrong_type_output_selection.json.exit

@@ -0,0 +1 @@
+0

test/cmdlineTests/standard_wrong_type_output_selection.json.stdout

@@ -0,0 +1 @@
+{"errors":[{"component":"general","formattedMessage":"\"settings.outputSelection\" must be an object","message":"\"settings.outputSelection\" must be an object","severity":"error","type":"JSONError"}]}

test/cmdlineTests/standard_wrong_type_output_selection_contract.json

@@ -0,0 +1,16 @@
+{
+	"language": "Solidity",
+	"sources": {
+		"fileA": {
+			"content": "contract A { }"
+		}
+	},
+	"settings": {
+		"outputSelection": {
+			"fileA": {
+				"A": "it's a contract, but not an array!",
+				"": [ "legacyAST" ]
+			}
+		}
+	}
+}

test/cmdlineTests/standard_wrong_type_output_selection_contract.json.exit

@@ -0,0 +1 @@
+0

test/cmdlineTests/standard_wrong_type_output_selection_contract.json.stdout

@@ -0,0 +1 @@
+{"errors":[{"component":"general","formattedMessage":"\"settings.outputSelection.fileA.A\" must be a string array","message":"\"settings.outputSelection.fileA.A\" must be a string array","severity":"error","type":"JSONError"}]}

test/cmdlineTests/standard_wrong_type_output_selection_file.json

@@ -0,0 +1,13 @@
+{
+	"language": "Solidity",
+	"sources": {
+		"fileA": {
+			"content": "contract A { }"
+		}
+	},
+	"settings": {
+		"outputSelection": {
+			"fileA": "awesome file!"
+		}
+	}
+}

test/cmdlineTests/standard_wrong_type_output_selection_file.json.exit

@@ -0,0 +1 @@
+0

test/cmdlineTests/standard_wrong_type_output_selection_file.json.stdout

@@ -0,0 +1 @@
+{"errors":[{"component":"general","formattedMessage":"\"settings.outputSelection.fileA\" must be an object","message":"\"settings.outputSelection.fileA\" must be an object","severity":"error","type":"JSONError"}]}

test/cmdlineTests/standard_wrong_type_output_selection_output.json

@@ -0,0 +1,16 @@
+{
+	"language": "Solidity",
+	"sources": {
+		"fileA": {
+			"content": "contract A { }"
+		}
+	},
+	"settings": {
+		"outputSelection": {
+			"fileA": {
+				"A": [ 1, 2, 3 ,4],
+				"": [ "legacyAST" ]
+			}
+		}
+	}
+}

test/cmdlineTests/standard_wrong_type_output_selection_output.json.exit

@@ -0,0 +1 @@
+0

test/cmdlineTests/standard_wrong_type_output_selection_output.json.stdout

@@ -0,0 +1 @@
+{"errors":[{"component":"general","formattedMessage":"\"settings.outputSelection.fileA.A\" must be a string array","message":"\"settings.outputSelection.fileA.A\" must be a string array","severity":"error","type":"JSONError"}]}

test/cmdlineTests/standard_wrong_type_remappings.json

@@ -0,0 +1,17 @@
+{
+	"language": "Solidity",
+	"sources": {
+		"fileA": {
+			"content": "contract A { }"
+		}
+	},
+	"settings": {
+		"outputSelection": {
+			"fileA": {
+				"A": [ "abi", "devdoc", "userdoc", "evm.bytecode", "evm.assembly", "evm.gasEstimates", "evm.legacyAssembly", "metadata" ],
+				"": [ "legacyAST" ]
+			}
+		},
+		"remappings": "not an object"
+	}
+}

test/cmdlineTests/standard_wrong_type_remappings.json.exit

@@ -0,0 +1 @@
+0

test/cmdlineTests/standard_wrong_type_remappings.json.stdout

@@ -0,0 +1 @@
+{"errors":[{"component":"general","formattedMessage":"\"settings.remappings\" must be an array of strings.","message":"\"settings.remappings\" must be an array of strings.","severity":"error","type":"JSONError"}]}

test/cmdlineTests/standard_wrong_type_remappings_entry.json

@@ -0,0 +1,17 @@
+{
+	"language": "Solidity",
+	"sources": {
+		"fileA": {
+			"content": "contract A { }"
+		}
+	},
+	"settings": {
+		"outputSelection": {
+			"fileA": {
+				"A": [ "abi", "devdoc", "userdoc", "evm.bytecode", "evm.assembly", "evm.gasEstimates", "evm.legacyAssembly", "metadata" ],
+				"": [ "legacyAST" ]
+			}
+		},
+		"remappings": [1, 2 ,3 ,4]
+	}
+}

test/cmdlineTests/standard_wrong_type_remappings_entry.json.exit

@@ -0,0 +1 @@
+0

test/cmdlineTests/standard_wrong_type_remappings_entry.json.stdout

@@ -0,0 +1 @@
+{"errors":[{"component":"general","formattedMessage":"\"settings.remappings\" must be an array of strings","message":"\"settings.remappings\" must be an array of strings","severity":"error","type":"JSONError"}]}

test/cmdlineTests/standard_wrong_type_root.json

@@ -0,0 +1 @@
+["abc"]

test/cmdlineTests/standard_wrong_type_root.json.exit

@@ -0,0 +1 @@
+0

test/cmdlineTests/standard_wrong_type_root.json.stdout

@@ -0,0 +1 @@
+{"errors":[{"component":"general","formattedMessage":"Input is not a JSON object.","message":"Input is not a JSON object.","severity":"error","type":"JSONError"}]}

test/cmdlineTests/standard_wrong_type_settings.json

@@ -0,0 +1,23 @@
+{
+	"language": "Solidity",
+	"sources":
+	{
+		"A":
+		{
+			"content": "pragma solidity >=0.0; contract C { function f() public pure {} }"
+		}
+	},
+	"settings":
+	[
+		{
+			"optimizer": {
+				"enabled": true,
+				"runs": 200
+			},
+			"evmVersion": "byzantium",
+			"metadata": {
+				"useLiteralContent": true
+			}
+		}
+	]
+}

test/cmdlineTests/standard_wrong_type_settings.json.exit

@@ -0,0 +1 @@
+0

test/cmdlineTests/standard_wrong_type_settings.json.stdout

@@ -0,0 +1 @@
+{"errors":[{"component":"general","formattedMessage":"\"settings\" must be an object","message":"\"settings\" must be an object","severity":"error","type":"JSONError"}]}

test/cmdlineTests/standard_wrong_type_source.json

@@ -0,0 +1,12 @@
+{
+	"language": "Solidity",
+	"sources":
+	{
+		"A": "not an object :o",
+		"B": [1, 2, 3],
+		"C":
+		{
+			"content": "pragma solidity >=0.0; contract C { function f() public pure {} }"
+		}
+	}
+}

test/cmdlineTests/standard_wrong_type_source.json.exit

@@ -0,0 +1 @@
+0

test/cmdlineTests/standard_wrong_type_source.json.stdout

@@ -0,0 +1 @@
+{"errors":[{"component":"general","formattedMessage":"\"sources.A\" must be an object","message":"\"sources.A\" must be an object","severity":"error","type":"JSONError"}]}

test/cmdlineTests/standard_wrong_type_sources.json

@@ -0,0 +1,4 @@
+{
+	"language": "Solidity",
+	"sources": ["source1", "source2", "source3"]
+}

test/cmdlineTests/standard_wrong_type_sources.json.exit

@@ -0,0 +1 @@
+0

test/cmdlineTests/standard_wrong_type_sources.json.stdout

@@ -0,0 +1 @@
+{"errors":[{"component":"general","formattedMessage":"\"sources\" is not a JSON object.","message":"\"sources\" is not a JSON object.","severity":"error","type":"JSONError"}]}