小编Tom*_*omR的帖子

我试图使用包来反馈 JSON请求体的传入PUT请求,org.codehaus.jackson我收到错误消息The request sent by the client was syntactically incorrect.如何在Pivotal TC服务器日志中获取更详细的日志/错误消息,例如catalina.log？

我已将以下行添加到logging.properties:

org.codehaus.level = FINEST

但NO从信息org.codehaus虽然显示网页上的错误信息会显示在我的日志.也许codehaus不支持Java日志记录,我应该配置J4Log或类似的另一个日志记录工具？

我的Jackson版本是1.9.13,我使用的是Spring Tools Suite的 Pivotal tc服务器(3.8).

我试图从C#应用程序调用Web服务,但我得到例外:

InvalidOperationException 
client found response content type of 'text/html; charset=utf-8', but expected 'text/xml'

如何查看请求并响应URL的消息？我的服务在桌面上运行,但客户端在Windows Mobile CE 6.x上运行,移动设备使用usb连接到Dektop.事实上,这就是为什么我没有在Wireshark或Fiddler中看到HTTP流量的原因(我已经尝试了两种).服务工作 - 我可以使用Postman检查它(方法返回正确和有意义的结果XML).

我想了解https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/library/Sequents/Sequents/Sequents.html和https://www.cl.cam.ac.uk /research/hvg/Isabelle/dist/library/Sequents/Sequents/ILL.html我对理解基本项目的含义有疑问,即:

类型o,seq'

nonterminals seq,seqobj,seqcont？

这些类型和非终结者是否有一些"现实世界"的对应物？Sequent由函数[o,seq'] => seq'表示,所以,o和seq'可能没有任何真实的对应物？

我正在阅读"Isabelle的逻辑"(特别是第4章),LNCS 828,Isabelle/Isar参考手册(特别是8.2和8.5关于mixfix符号和语法定义),但我无法理解这些符号的含义因此我无法移动向前.任何指导都会非常有帮助!

我试图在Isabelle/HOL中实现单形逻辑http://www.sciencedirect.com/science/article/pii/S1570868314000573作为对象逻辑,但是所有东西都与"现实世界"如此脱节(数学是如何形成的)在纸上完成).

如何从外部软件调用校对助理Coq？Coq有一些API吗？Coq命令行界面是否足够丰富以传递文件中的参数并在文件中接收响应？我对Java或C++桥感兴趣.

这是合法的问题.Coq不是通常的商业软件,人们可以期待开发人员友好的API.我对Isabelle/HOL有类似的问题,这是一个非常简单的答案的合法问题.

React 使用 Flux 架构，并且在https://reactjs.org/docs/thinking-in-react.html 中说 React 有两个模型 -state和props. 并且在 React https://reactjs.org/community/model-management.html 中有一些关于模型管理的建议- 但所有这些似乎都是为了增强 Flux 的一些附加层。我正在寻求答案的大问题是：

• 我应该在 React 中定义模型类吗？即如果我有 Customer 类的概念，那么我可以：1) 将 Customer 的属性直接state/props定义为2) 将 Customer 的属性定义为state.customer/props.customer; 3) 分别定义一些 JavaScript 模板/类Customer，简单地说，state.customer/props.customer就是类型Customer，不要在state/props. 我觉得 3) 是正确的方法，不是吗？
• 如果第三个选项（前一点）是正确的方法，那么我如何定义Customer模板以及如何定义state.customer/props.customer该模板？我可以在一些序列化、一些模型验证任务中使用这些模板，我也可以在 ReactNative 项目中使用。

我正在关注教程http://www.tutorials.kode-blog.com/laravel-5-angularjs-tutorial并且我设法为我的控制器编写了类似的方法：

public function update(Request $request, $id) {
    $employee = Employee::find($id);

    $employee->name = $request->input('name');
    //...
    $employee->save();

    return "Sucess updating user #" . $employee->id;
}

在教程中认为此代码有效，但实际上 var_dump($request->input) 给出了 NULL。那么 - 我应该使用什么 $request 变量来获取请求的正文？我做了 var_dump($request) 但结构太大了。实际上，我对本教程持怀疑态度 -我们真的需要列出标准更新程序中的所有字段吗？

我在package.json中有以下代码:

 "dependencies": {
    "@angular/common": "~2.0.1",
    "@angular/compiler": "~2.0.1",
    "@angular/core": "~2.0.1",
    "@angular/forms": "~2.0.1",
    "@angular/http": "~2.0.1",
    "@angular/platform-browser": "~2.0.1",
    "@angular/platform-browser-dynamic": "~2.0.1",
    "@angular/router": "~3.0.1",
    "@angular/upgrade": "~2.0.1",
    "angular-in-memory-web-api": "~0.1.1",
    "bootstrap": "^3.3.7",
    "core-js": "^2.4.1",
    "reflect-metadata": "^0.1.8",
    "rxjs": "5.0.0-beta.12",
    "systemjs": "0.19.39",
    "zone.js": "^0.6.25"
  },

我从一个教程中得到了这个文件.现在我看到我需要转移到后来的Angular 2版本.在Angular 2项目页面上说,2.4.0是最新的Angular 2版本.这很好 - 但是如何获得与2.4.0兼容的所有必要模块的版本？例如,路由器有3.0.1,普通有2.0.1.新版本号应该是什么？

我通常将验证逻辑实现为：

procedure TMyDM.IBQueryAMOUNTValidate(
  Sender: TField);
begin
  inherited;
  if Sender.AsFloat>100
    then raise Exception.Create('Amount is too large!');
end;

问题是 - 是否有机会不引发Exception（OnValidate停止进一步处理），而是默默地恢复 中的原始值OnValidate并继续OnChange，以及由/CheckBrowseMode调用的所有 GUI 更新？CheckBrowseModePost

当然，我知道我总是可以用处理的逻辑替换OnValidate逻辑，但在我看来，如果我坚持使用 ，代码会更干净。OnChangeOldValueNewValueOnValidate

我正在计划SWI Prolog程序(语义自然语言解析器),它具有庞大而动态的事实集(具有大约30.000个条目的词典).是否可以将这些事实存储在外部数据库中.由于其他要求,我正在考虑Apache TinkerPop/JanusGraph/Cassandra作为我的数据库,但我也对SQL/JDBC/ODBC数据库支持感到满意.

我正在更新 Delphi (Delphi 2009) 代码，它只使用TCriticalSection.Acquire/Release对，而不是Enter/Release or Leave对。我的问题是 -Acquire和之间有什么区别Enter？

Delphi 文档相当晦涩——它甚至试图说，没有区别：

http://docs.embarcadero.com/products/rad_studio/delphiAndcpp2009/HelpUpdate2/EN/html/delphivclwin32/!!MEMBERTYPE_Methods_SyncObjs_TCriticalSection.html

Acquire：将临界区绑定到调用线程。调用 Acquire 以阻止所有其他线程获取此临界区，直到调用 Release 或 Leave 方法。Acquire 的作用与 Enter 方法相同。

Enter：当调用线程进入线程敏感部分时阻塞其他线程。调用 Enter 以阻止所有其他线程进入受此临界区保护的代码，直到调用 Leave 或 Release 方法。Enter 调用 Acquire 方法将临界区绑定到调用线程。

我想要方法TryAcquire，但没有这样的方法，所以 - 我正在考虑Acquire用TryEnter... Sleep...循环替换我的所有调用，这是受 TryEnter 调用努力的数量限制。但可以肯定的是什么会hapen，我应该知道的区别Acquire和Enter？这是什么区别？为什么有两种不同的方法？