# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1652799915 -7200
# Node ID d76ac22f35716de0861bf7da36edb43862d0c88d
# Parent  76c1725f4467852b95841f78ebd02b7fc159d448
util.stanza: Document error conditions in Teal definition

Gets you nice error messages if you make a typo in with error_reply()

diff -r 76c1725f4467 -r d76ac22f3571 teal-src/util/stanza.d.tl
--- a/teal-src/util/stanza.d.tl	Sun May 15 22:41:17 2022 +0200
+++ b/teal-src/util/stanza.d.tl	Tue May 17 17:05:15 2022 +0200
@@ -4,6 +4,39 @@
 	type childtags_iter = function () : stanza_t
 	type maptags_cb = function ( stanza_t ) : stanza_t
 
+
+	enum stanza_error_type
+		"auth"
+		"cancel"
+		"continue"
+		"modify"
+		"wait"
+	end
+	enum stanza_error_condition
+		"bad-request"
+		"conflict"
+		"feature-not-implemented"
+		"forbidden"
+		"gone"
+		"internal-server-error"
+		"item-not-found"
+		"jid-malformed"
+		"not-acceptable"
+		"not-allowed"
+		"not-authorized"
+		"policy-violation"
+		"recipient-unavailable"
+		"redirect"
+		"registration-required"
+		"remote-server-not-found"
+		"remote-server-timeout"
+		"resource-constraint"
+		"service-unavailable"
+		"subscription-required"
+		"undefined-condition"
+		"unexpected-request"
+	end
+
 	record stanza_t
 		name : string
 		attr : { string : string }
@@ -35,7 +68,7 @@
 		pretty_print : function ( stanza_t ) : string
 		pretty_top_tag : function ( stanza_t ) : string
 
-		get_error : function ( stanza_t ) : string, string, string, stanza_t
+		get_error : function ( stanza_t ) : stanza_error_type, stanza_error_condition, string, stanza_t
 		indent : function ( stanza_t, integer, string ) : stanza_t
 	end
 
@@ -53,7 +86,7 @@
 	message : function ( { string : string }, string ) : stanza_t
 	iq : function ( { string : string } ) : stanza_t
 	reply : function ( stanza_t ) : stanza_t
-	error_reply : function ( stanza_t, string, string, string, string )
+	error_reply : function ( stanza_t, stanza_error_type, stanza_error_condition, string, string ) : stanza_t
 	presence : function ( { string : string } ) : stanza_t
 	xml_escape : function ( string ) : string
 	pretty_print : function ( string ) : string