我想LocalDate在一个DATE列中存储一个并保持不变.这两个DATE和LocalDate是"本地"类型的定义.因此,时区的概念不应以任何方式干涉.
下面的代码是一个最小的示例,它创建DATE一个在内存数据库中包含列的表.maven工件com.h2database:h2:1.4.192必须位于类路径中.
首先,定义方法insert和retrieve:
static void insert(DataSource ds, String date) throws SQLException {
try (Connection conn = ds.getConnection();
Statement stmt = conn.createStatement()) {
stmt.execute("CREATE TABLE people (id BIGINT NOT NULL AUTO_INCREMENT"
+ ", born DATE NOT NULL, PRIMARY KEY (id) );");
stmt.execute("INSERT INTO people (born) VALUES ('" + date + "')");
}
}
static LocalDate retrieve(DataSource ds) throws SQLException {
try (Connection conn …可能是一个coq新手问题,但我找不到一个现成的解决方案,所以我会在这里请求参考.cocq版本是8.5pl2
我试着建立
coqfj.第一次make尝试失败,第37行出现了一些错误src/FJ/ClassTable.v.这个问题不是关于那个错误.
仔细看看,我打开ClassTable.v了emacs proofgeneral并按下C-c C-n,或者运行coqc src/FJ/ClassTable.v.结果是第1行出错:
File "./src/FJ/ClassTable.v", line 1, characters 15-23:
Error: Cannot find a physical path bound to logical path matching suffix FJ.
似乎导入require import FJ.Lists无法解决(尽管FJ用作前缀,而不是后缀).我注意到make已经创建了一个编译文件src/Lists.vo,应该由coqc选中.
如何告诉coqc它应该通过查看文件夹中的文件*.vo或*.v文件来解决这个"后缀" src？
我很惊讶java.sql.Date有一种方法toLocalDate().
java.util.Date或者java.time.Instant没有类似的方法.看来,在java.time中,ZoneId必须始终提供给获得"LocalFoo"或"OffsetBar".
来自javadoc java.sql.Date#toLocalDate():
将此Date对象转换为LocalDate.转换创建一个LocalDate,表示与本地时区中的此Date相同的日期值
哪个时区是"当地时区"？它是否依赖于数据库或JVM设置？