小编fac*_*dop的帖子

如何从SML中的日期列表中获取最早的日期?

我在这项任务中遇到了一些麻烦.这就是教授所要求的:

编写最旧的函数,该函数获取日期列表并评估 (int*int*int)选项.如果列表没有日期,则评估为NONE;如果日期d是列表中最早的日期,则评估为NONE.

我知道如何创建函数并对如何使用日期列表有所了解,但我不知道如何"存储"最旧的值以将其与日期列表的尾部进行比较.这是我提交的内容(它不起作用,它总是检索第一个日期,但我真的很想知道答案)

fun oldest (datelist : (int * int * int) list) =
    if null datelist
    then NONE
    else if null (tl datelist) then
    SOME (hd datelist)
    else let val date = if is_older (hd datelist, hd (tl datelist)) then SOME (hd datelist) else SOME (hd (tl datelist))
     in oldest(tl datelist)
     end
Run Code Online (Sandbox Code Playgroud)

sml

2
推荐指数
1
解决办法
736
查看次数

如何使用 Spring 的 PayloadValidatingInterceptor 验证多个 XSD 模式

我有一个带有多个 XSD 模式的 Spring Boot 项目(我使用的是 Spring-WS)。

如果我使用 Spring 的 PayloadValidatingInterceptor 来验证请求和响应,它只适用于最新的设置模式。

例如:

public void addInterceptors(List<EndpointInterceptor> interceptors) {
    PayloadValidatingInterceptor validatingInterceptor = new PayloadValidatingInterceptor();
    validatingInterceptor.setValidateRequest(true);
    validatingInterceptor.setValidateResponse(true);
    validatingInterceptor.setXsdSchema(getFirstSchema());
    validatingInterceptor.setXsdSchema(getSecondSchema());
    interceptors.add(validatingInterceptor);
    super.addInterceptors(interceptors);
}
Run Code Online (Sandbox Code Playgroud)

此代码段将使 Spring 仅验证第二个模式,而不是第一个。我尝试创建多个 PayloadValidatingInterceptors 以使用 super.addInterceptors(interceptors); 添加它们,但它也不起作用。我能找到的唯一响应(使用 Java 而不是 XML)来自 2009 年:

https://jira.spring.io/browse/SWS-481

有谁知道基于 Java 的解决方案来验证来自同一项目中多个 XSD 的请求和响应?

java xsd wsdl spring-ws spring-boot

0
推荐指数
1
解决办法
3796
查看次数

标签 统计

java ×1

sml ×1

spring-boot ×1

spring-ws ×1

wsdl ×1

xsd ×1