在XSLT 1.0中格式化24小时的最佳方法是什么？

我很难找到采用时间格式的好方法,并且很容易确定它是否有效,然后生成一个使用XSLT 1.0进行格式化的结果元素.

给出以下xml:

    2300

生成生成的xml会很棒:

    23:00

但是,如果源xml包含无效的24小时时间格式,则生成的dstTime元素应为空.

例如,当无效的源xml如下:

    NOON

生成的xml应该是:

问题是,什么是可以编写以产生所需结果的最佳XSLT 1.0片段？希望是保持它非常简单,而不必解析每一段时间(即如果可能,模式匹配将是甜蜜的).

XSLT 1.0中没有任何正则表达式,所以我担心模式匹配是不可能的.

我不清楚是否23:00合法？如果是,请尝试:

如果不是,那么四位数是唯一合法的东西: