Abstrakte Wikipedia/Darstellung von Fehlern

{
 "value": "test"
}

{
 "Z6K1": "test"
}

{
 "type": "Error",
 "error type": "not well-formed error",
 "error value": {
  "type": {
   "type": "Function call",
   "function": "Errortype to type",
   "errortype": "not well-formed error"
  },
  "error type": "missing Z1K1",
  "error value": {
   "type": {
    "type": "Function call",
    "function": "Errortype to type",
    "errortype": "missing Z1K1"
   },
   "object": {
    "type": "Quote",
    "quotation": {
     "value": "test"
    }
   }
  }
 }
}

{
 "Z1K1": "Z5",
 "Z5K1": "Z502",
 "Z5K2": {
  "Z1K1": {
   "Z1K1": "Z7",
   "Z7K1": "Z885",
   "Z885K1": "Z502"
  },
  "Z502K1": "Z523",
  "Z502K2": {
   "Z1K1": {
    "Z1K1": "Z7",
    "Z7K1": "Z885",
    "Z885K1": "Z523"
   },
   "Z523K1": {
    "Z1K1": "Z99",
    "Z99K1": {
     "Z6K1": "test"
    }
   }
  }
 }
}

{
 "type": "Error type",
 "keys": [
  {
   "type": "Key",
   "value type": "Quote",
   "key id": "Z523K1",
   "label": {
    "type": "Multilingual text",
    "texts": [
     {
      "type": "Monolingual text",
      "language": "English",
      "text": "object"
     }
    ]
   }
  }
 ]
}

{
 "Z1K1": "Z50",
 "Z50K1": [
  {
   "Z1K1": "Z3",
   "Z3K1": "Z99",
   "Z3K2": "Z523K1",
   "Z3K3": {
    "Z1K1": "Z12",
    "Z12K1": [
     {
      "Z1K1": "Z11",
      "Z11K1": "Z1002",
      "Z11K2": "object"
     }
    ]
   }
  }
 ]
}

{
 "type": {
  "type": "Function call",
  "function": "Errortype to type",
  "errortype": "Missing Z1K1"
 }
}

{
 "Z1K1": {
  "Z1K1": "Z7",
  "Z7K1": "Z885",
  "Z885K1": "Z523"
 }
}

{
  "Z1K1": "Z7",
  "Z7K1": "Z885",
  "Z885K1": "Z523"
}

{
 "type": "Type",
 "identity": {
  "Z1K1": "Z7",
  "Z7K1": "Z885",
  "Z885K1": "Z523"
 },
 "keys": [
  {
   "type": "Key",
   "value type": "Quote",
   "key id": "Z523K1",
   "label": {
    "type": "Multilingual text",
    "texts": [
     {
      "type": "Monolingual text",
      "language": "English",
      "text": "object"
     }
    ]
   }
  }
 ],
 "validator": "Z101"
}

{
 "Z1K1": "Z4",
 "Z4K1": {
  "Z1K1": "Z7",
  "Z7K1": "Z885",
  "Z885K1": "Z523"
 },
 "Z4K2": [
  {
   "Z1K1": "Z3",
   "Z3K1": "Z99",
   "Z3K2": "Z523K1",
   "Z3K3": {
    "Z1K1": "Z12",
    "Z12K1": [
     {
      "Z1K1": "Z11",
      "Z11K1": "Z1002",
      "Z11K2": "object"
     }
    ]
   }
  }
 ],
 "Z4K3": "Z101"
}

{
 "Z1K1": "Z12",
 "Z12K1": [
  {
   "Z1K1": "Z11",
   "Z11K1": "Z1002",
   "Z11K2": "true"
  },
  {
   "Z1K1": "Z11",
   "Z11K1": "Z1002",
   "Z11K2": false
  }
 ]
}

{
 "Z1K1": "Z5",
 "Z5K1": "Z502",       // Root error. Z502: "Not wellformed" error
 "Z5K2": {
  "Z1K1": "Z502",
  "Z502K1": "Z526",    // What's the internal error? Z526 
  "Z502K2": {          // Okay, let's see it.
   "Z1K1": "Z5",
   "Z5K1": "Z526",      // Z526: "Key value not wellformed" error
   "Z5K2": {
    "Z1K1": "Z526",
    "Z526K1": "Z12K1",  // Which is the non-valid key? "Z12K1"
    "Z526K2": {         // Sure, but why?
     "Z1K1": "Z5",
     "Z5K1": "Z522",   // Z522: "Array element not wellformed" error
     "Z5K2": {
      "Z1K1": "Z522",
      "Z522K1": "1",   // Which element is not valid? The one with index "1"
      "Z522K2": {      // Okay. But, why?!
       "Z1K1": "Z5",
       "Z5K1": "Z526",      // Z526: "Key value not wellformed" error
       "Z5K2": {
        "Z1K1": "Z526",
        "Z526K1": "Z11K2",  // Which is the non valid key this time? "Z11K2"
        "Z526K2": {         // Can I know why?
         "Z1K1": "Z5",
         "Z5K1": "Z521",   // Z521: "ZObjects must not be a number or Boolean or null" error
         "Z5K2": {
          "Z1K1": "Z521",
          "Z521K1": {      // What's the offending value?
           "Z1K1": "Z99",
           "Z99K1": false  // Here, this one.
          }
         }
        }
       }
      }
     }
    }
   }
  }
 }
}

{
	"Z1K1": "Z3",
    "Z3K1": "Z6",
	"Z3K2": 34
}

{
 "Z1K1": "Z5",
 "Z5K1": "Z502",      // Root error of type Z502: "Not wellformed"
 "Z5K2": {
  "Z1K1": "Z502",
  "Z502K1": "Z509",   // What's the internal error? "Z509"
  "Z502K2": {         // Okay, let's see it.
   "Z1K1": "Z5",
   "Z5K1": "Z509",    // Z509: "List of errors" error
   "Z5K2": {
    "Z1K1": "Z509",
    "Z509K1": [       // What errors were found?
     {
      "Z1K1": "Z5",       // First error from the list:
      "Z5K1": "Z526",     // Non terminal error of type Z526: "Key value not wellformed"
      "Z5K2": {
       "Z1K1": "Z526",
       "Z526K1": "Z3K2",  // Which is the non valid key? "Z3K2"
       "Z526K2": {        // Why?
        "Z1K1": "Z5",
        "Z5K1": "Z521",   // Z521: "ZObjects must not be a number or Boolean or null" error
        "Z5K2": {
         "Z1K1": "Z521",
         "Z521K1": {      // What's the offending value?
          "Z1K1": "Z99",
          "Z99K1": 34     // Here, this value is wrong.
         }
        }
       }
      }
     },
     {
      "Z1K1": "Z5",       // Second error from the list:
      "Z5K1": "Z511",     // Terminal error of type Z511: "Key not found"
      "Z5K2": {
       "Z1K1": "Z511",
       "Z511K1": "Z3K3",  // Which is the missing key? "Z3K3"
       "Z511K2": {        // Where is it missing from?
        "Z1K1": "Z99",
        "Z99K1": {        // From here.
         "Z1K1": "Z3",
         "Z3K1": "Z6",
         "Z3K2": 34
        }
       }
      }
     }
    ]
   }
  }
 }
}

{
 "Z1K1": "Z3",
 "Z3K1": "Z6",
 "Z3K2": "Z1000K1",
 "Z3K3": {
  "Z1K1": "Z12",
  "Z12K1": [
   {
    "Z1K1": "Z11"
   }
  ]
 }
}

{
 "Z1K1": "Z5",
 "Z5K1": "Z502",     // Root error of type Z502: "Not wellformed"
 "Z5K2": {
  "Z1K1": "Z502",
  "Z502K1": "Z526",  // What's the internal error? Z526 
  "Z502K2": {        // Okay, let's see it.
   "Z1K1": "Z5",
   "Z5K1": "Z526",         // Non terminal error of type Z526: "Key value not wellformed"
   "Z5K2": {
    "Z1K1": "Z526",
    "Z526K1": "Z3K3",      // Which is the non-valid key? "Z3K3"
    "Z526K2": {            // Okay, why?
     "Z1K1": "Z5",
     "Z5K1": "Z526",       // Non terminal error of type Z526: "Key value not wellformed"
     "Z5K2": {
      "Z1K1": "Z526",
      "Z526K1": "Z12K1",   // Which is the non-valid key? "Z12K1"
      "Z526K2": {          // Again, why?
       "Z1K1": "Z5",
       "Z5K1": "Z522",     // Non terminal error of type Z522: "Array element not wellformed"
       "Z5K2": {
        "Z1K1": "Z522",
        "Z522K1": "0",     // Which element is not valid? The one with index "0"
        "Z522K2": {        // What's wrong with it?
         "Z1K1": "Z5",
         "Z5K1": "Z509",   // Z509: "List of errors" error
         "Z5K2": {
          "Z1K1": "Z509",
          "Z509K1": [
           {
            "Z1K1": "Z5",        // First error from the list, a terminal one:
            "Z5K1": "Z511",      // Z511: "Key not found" error
            "Z5K2": {
             "Z1K1": "Z511",
             "Z511K1": "Z11K1",  // Which is the missing key? "Z11K1"
             "Z511K2": {         // Where is it missing from?
              "Z1K1": "Z99",
              "Z99K1": {         // From here.
               "Z1K1": "Z11"
              }
             }
            }
           },
           {
            "Z1K1": "Z5",        // Second error from the list, also a terminal one:
            "Z5K1": "Z511",      // Z511: "Key not found" error
            "Z5K2": {
             "Z1K1": "Z511",
             "Z511K1": "Z11K2",  // Which is the missing key? "Z11K2"
             "Z511K2": {         // Where is it missing from?
              "Z1K1": "Z99",
              "Z99K1": {         // From here.
               "Z1K1": "Z11"
              }
             }
            }
           }
          ]
         }
        }
       }
      }
     }
    }
   }
  }
 }
}

{
  "Z1K1": "Z2",            // We create a persisted object
  "Z2K1": {                // With Zid Z0, as it will be automatically assigned
    "Z1K1": "Z6",
    "Z6K1": "Z0"
  },
  "Z2K2": {
    "Z1K1": "Z50",
    "Z50K1": [             // One key in the array under Z50K1
      {
        "Z1K1": "Z3",
        "Z3K1": "Z50",
        "Z3K2": "Z0K1",    // The Zid part of the key also is Z0
        "Z3K3": {          // With the label describing the key
          "Z1K1": "Z12",
          "Z12K1": [
            {
              "Z1K1": "Z11",
              "Z11K1": "Z1002",
              "Z11K2": "erroneous date"
            }
          ]
        }
      }
    ]
  },
  "Z2K3": {
    "Z1K1": "Z12",
    "Z12K1": [
      {
        "Z1K1": "Z11",
        "Z11K1": "Z1002",
        "Z11K2": "Incorrect date"    // And a label describing the error
      }
    ]
  }
}

{
    "wikilambda_edit": {
        "success": "",
        "articleId": 1095,
        "title": "Z10000",
        "page": "Z10000"
    }
}

{
 "type": "Function call",
 "function": "Trigger metadata",
 "error": {
  "type": "Error",
  "error type": "not well-formed error",
  "error value": {
   ...
  }
 }
}

{
 "Z1K1": "Z7",
 "Z7K1": "Z820",
 "Z820K1": {
  "Z1K1": "Z5",
  "Z5K1": "Z502",
  "Z5K2": {
   ...
  }
 }
}

ZID	Scope	Arguments	Name
Z500	global	error information (Z1)	Generic error
Z501	global	error message (Z6), input (Z6)	JSON syntax error
Z502	global	subtype (Z50), value (Z5)	Not wellformed
Z503	executor	feature name (Z6)	Not implemented yet
Z504	global	ZID (Z6)	ZID not found
Z505	executor	expected (Z6), actual (Z6), args (Z10)	Number of arguments mismatch
Z506	executor	expected (Z4), actual (Z4), arg (Z1), propagated error (Z5)	Argument type mismatch
Z507	executor	function call (Z7), propagated error (Z5)	Error in evaluation
Z508	executor	key (Z39), object (Z99)	Competing keys
Z509	global	errors (Z10)	List of errors
Z510	-	-	NIL
Z511	global	key (Z39), object (Z99)	Key not found
Z512	global	expected result (Z99), actual result (Z99)	Test failed
Z513	executor	object (Z99)	Resolved persistent object without value
Z514	executor	implementation (Z14)	Built-in does not exist
Z515	executor	implementation (Z14)	Built-in ID is erroneous
Z516	executor	argument (Z18), bad value (Z99)	Argument value error
Z517	executor	expected type (Z4), actual type (Z4), returned value (Z1), propagated error (Z5)	Return type mismatch
Z518	executor	expected type (Z4), object (Z1), propagated error (Z5)	Object type mismatch
Z519	global	object (Z1)	Undefined list type
Z520	global	object (Z1)	Wrong list type
Z521	global	offending value (Z99)	ZObjects must not be a number or Boolean or null
Z522	global	index of offending element (Z6), propagated error (Z5)	Array element not wellformed
Z523	global	object (Z99)	Missing Z1K1
Z524	global	value (Z99)	Z1K1 must not be a string or array
Z525	global	key (Z6)	Invalid key
Z526	global	key (Z39), propagated error (Z5)	Key value not wellformed
Z527			🆓
Z528			🆓
Z529			🆓
Z530			🆓
Z531	global	object (Z99)	Z6 must have 2 keys
Z532	global	object (Z99)	Z6 without a Z6K1
Z533	global	value of Z6K1 (Z99)	Z6K1 must be a string
Z534	global	object (Z99)	Z9 must have 2 keys
Z535	global	object (Z99)	Z9 without a Z9K1
Z536	global	value of Z9K1 (Z99)	Z9K1 must be a string
Z537	global	value of Z9K1 (Z99)	Z9K1 must look like a reference
Z538	extension	page title (Z6)	Wrong namespace
Z539	extension	page title (Z6)	Wrong content type
Z540	extension	language code (Z6)	Invalid language code
Z541	extension	language code (Z6)	Language code not found
Z542	extension	expected type (Z4), actual type (Z4)	Unexpected ZObject type
Z543	extension	type name (Z6)	Type not found
Z544	extension	type ZID (Z6), type name (Z6), existing type name (Z6)	Conflicting type names
Z545	extension	type ZID (Z6), type name (Z6), existing type ZID (Z6)	Conflicting type ZIDs
Z546	extension	type ZID (Z6), type name (Z6)	Built-in type not found
Z547	global	input (Z99)	Invalid format
Z548	global	error message (Z6), input (Z99)	Invalid JSON
Z549	global	reference value (Z6)	Invalid reference
Z550	global	reference value (Z6)	Unknown reference
Z551	global	key (Z39), expected type (Z6), actual type (Z6)	Schema type mismatch
Z552	global	index of offending element (Z6), expected type (Z4), actual content (Z99)	Array element type mismatch
Z553	global	root zobject (Z99)	Disallowed root type
Z554	extension	clashing ZID (Z6), language (Z6)	Label for a given language clashes with another ZObject's label
Z555	extension	ZID (Z6), page title (Z6)	Unmatching ZID and page title
Z556	extension	title (Z6)	Invalid page title
Z557	extension	message (Z6)	User does not have permission to edit
Z558	global	programming language (Z6)	Invalid programming language
Z559	extension	-	User not permitted to evaluate function
Z560	orchestrator	evaluation result (Z99)	Invalid evaluation result
Z561	evaluator	propagated error (Z5)	Invalid evaluation request
Z562	evaluator	missing property (Z6)	Incomplete evaluation request
Z563	evaluator	call (Z6)	Call by non-reentrant executor
Z564	executor	contents (Z6)	Invalid executor response
Z565	executor	missing property (Z6)	Incomplete executor request
Z566			🆓
Z567			🆓
Z568			🆓
Z569			🆓
Z570	orchestrator	orchestrator rate limit (Z6)	Reached rate limit in orchestrator
Z571	evaluator	evaluator rate limit (Z6)	Reached rate limit in evaluator
Z572	orchestrator	recursion limit (Z6), function name (Z6)	Reached recursion limit in orchestrator
Z573	evaluator	recursion limit (Z6), function name (Z6)	Reached recursion limit in evaluator
Z574	orchestrator	time limit (Z6)	Reached time limit in orchestrator
Z575	evaluator	time limit (Z6)	Reached time limit in evaluator

Abstrakte Wikipedia/Darstellung von Fehlern

Contents

Motivation und Begründung

Z5/Fehler

Z50/Fehlertypen

Instanzen von Fehlertypen

Verschachtelung von Fehlern

Arbeit mit Z509/Liste von Fehlern

Vordefinierte Fehlertypen

Erstellung deines eigenen Fehlertyps

Meldung eines Fehlers in deiner Implementierung

Code

Komposition