Implement %d filter

htmlcc/emitter/__init__.py

@@ -45,6 +45,11 @@ class Emitter:
 		
 		raise NotImplementedError()
 	
+	def output_variable_formatted(self, format_string: str, variable: str) -> None:
+		"""Emit code to output a variable, according to the format string"""
+		
+		raise NotImplementedError()
+	
 	def output_variable_urlencoded(self, variable: str) -> None:
 		"""Emit code to output a variable, as encoded URL component"""
 		

htmlcc/emitter/cgit.py

@@ -35,6 +35,9 @@ class CgitEmitter(Emitter):
 	def output_variable_as_text(self, variable: str) -> None:
 		self.emit(f'html_txt({variable});')
 	
+	def output_variable_formatted(self, format_string: str, variable: str) -> None:
+		self.emit(f'htmlf({self.escape_cstr(format_string)}, {variable});')
+	
 	def output_variable_urlencoded(self, variable: str) -> None:
 		self.emit(f'html_url_arg({variable});')
 	

htmlcc/parser.py

@@ -133,6 +133,10 @@ class Parser:
 			# Output as URL component
 			variable = variable[:-len('urlencode')].rstrip()[:-1].rstrip()
 			self.emitter.output_variable_urlencoded(variable)
+		elif variable.endswith('%d') and variable[:-len('%d')].rstrip().endswith('|'):
+			# Output as %d
+			variable = variable[:-len('%d')].rstrip()[:-1].rstrip()
+			self.emitter.output_variable_formatted('%d', variable)
 		else:
 			# No filter - output as text
 			self.emitter.output_variable_as_text(variable)