草庐IT

java - 方法参数的编译时验证

coder 2024-04-01 原文

我在这里发现了一些类似的问题，但不完整的答案并没有帮助，而且比澄清任何事情都产生了更多的困惑，所以这是我尝试提出一个更有条理的问题，并希望得到能帮助更多用户的答案。

我的简化示例:我有一个具有两个不同构造函数的 Java 类

public class ObjectOfInterest {
  public ObjectOfInterest(String string, Integer int) { ... }
  public ObjectOfInterest(String string1, String string2) { ... }
  ...
}

我需要对这些构造函数的调用进行一些编译时验证。参数 string2 必须是一些文字，我想根据内容将调用标记为警告(即发出警告，当它不是文字或文字格式不正确时)。

不幸的是，使用 Eclipse 在 Java 中进行验证的文档不容易理解，有时已经过时，在我看来最常见的是不完整，而且似乎没有足够短的工作示例可以在教程中使用。

我的目标: 第一步:我想要一个 validator ，用警告标记对两个参数版本的调用 - 只是为了从某个地方开始并了解基础知识。

到目前为止我发现了什么: 我见过的几个例子使 public class MyValidator implements IValidator, ISourceValidator 其中 IValidator 需要实现一个方法 public void validate(IValidationContext arg0, IReporter arg1)抛出 ValidationException 并且似乎来自旧版本的验证框架(有时我发现只是带有注释 useless 的空方法)，并且 ISourceValidator 需要实现一个方法 public void validate(IRegion arg0, IValidationContext arg1, IReporter arg2) - 这似乎是最新版本。

然后你必须添加一些扩展点到一些plugin.xml(我不是很清楚这个plugin.xml在哪里)。

暗中刺刀:完全不清楚如何使用 IRegion、IValidationContext 和 IReporter - 也许我完全走错了路，但我能得到什么？如何在验证中找到该构造函数的调用？

在第一步变得更加清晰之后，我会扩展这个问题。展望 future ，我想添加快速修复构造函数的两个 String 版本的可能性，并以这种方式操作代码 - 但这至少提前了两步，稍后会详细介绍。

最佳答案

首先，我必须要说的是，您正在尝试超越普通的 Java 编程。在编译时没有正常的验证方法，除非使用普通类型可以实现。

您想要做的也超出了使用注解处理器所能做的。注释处理器是一种半标准的处理器，因为它们是标准化的并且是 Java 框架的一部分。它们是在编译期间运行的类，它们将类和方法的签名作为输入，并可用于验证和代码生成。

如果您仍然要这样做有异常的方法，但是:

Eclipse 插件解决方案

您尝试的解决方案似乎是编写一个使用 Eclipse Java 工具进行验证的 Eclipse 插件。这应该可行，我不知道它有多容易，并且验证仅适用于使用 Eclipse 的用户。

检查器解决方案

根据我(有限)的知识，最好的工具是:

Checker Framework 用于静态分析。

它正是用于您想要做的事情。它似乎有据可查且易于设置。例如，它用于对正则表达式语法进行无效性分析和编译时验证。有一个tutorial这听起来很像你的东西。手册中有一章关于creating a new checker .

用这个做一个解决方案可能会花费很多时间和精力，但我也觉得它看起来很有趣!

关于java - 方法参数的编译时验证，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/42644170/

java方法strongcodesectioneclipsevalidation

有关java - 方法参数的编译时验证的更多相关文章

  1. ruby - 如何使用 Nokogiri 的 xpath 和 at_xpath 方法 - 2

    我正在学习如何使用Nokogiri，根据这段代码我遇到了一些问题:require'rubygems'require'mechanize'post_agent=WWW::Mechanize.newpost_page=post_agent.get('http://www.vbulletin.org/forum/showthread.php?t=230708')puts"\nabsolutepathwithtbodygivesnil"putspost_page.parser.xpath('/html/body/div/div/div/div/div/table/tbody/tr/td/div

  2. ruby - 如何从 ruby​​ 中的字符串运行任意对象方法？ - 2

    总的来说，我对ruby​​还比较陌生，我正在为我正在创建的对象编写一些rspec测试用例。许多测试用例都非常基础，我只是想确保正确填充和返回值。我想知道是否有办法使用循环结构来执行此操作。不必为我要测试的每个方法都设置一个assertEquals。例如:describeitem,"TestingtheItem"doit"willhaveanullvaluetostart"doitem=Item.new#HereIcoulddotheitem.name.shouldbe_nil#thenIcoulddoitem.category.shouldbe_nilendend但我想要一些方法来使用

  3. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法？ - 2

    类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

  4. ruby - Facter::Util::Uptime:Module 的未定义方法 get_uptime (NoMethodError) - 2

    我正在尝试设置一个puppet节点，但ruby​​gems似乎不正常。如果我通过它自己的二进制文件(/usr/lib/ruby/gems/1.8/gems/facter-1.5.8/bin/facter)在cli上运行facter，它工作正常，但如果我通过由ruby​​gems(/usr/bin/facter)安装的二进制文件，它抛出:/usr/lib/ruby/1.8/facter/uptime.rb:11:undefinedmethod`get_uptime'forFacter::Util::Uptime:Module(NoMethodError)from/usr/lib/ruby

  5. ruby-on-rails - 如何验证 update_all 是否实际在 Rails 中更新 - 2

    给定这段代码defcreate@upgrades=User.update_all(["role=?","upgraded"],:id=>params[:upgrade])redirect_toadmin_upgrades_path,:notice=>"Successfullyupgradeduser."end我如何在该操作中实际验证它们是否已保存或未重定向到适当的页面和消息？ 最佳答案 在Rails3中，update_all不返回任何有意义的信息，除了已更新的记录数(这可能取决于您的DBMS是否返回该信息)。http://ar.ru

  6. ruby - 具有身份验证的私有(private) Ruby Gem 服务器 - 2

    我想安装一个带有一些身份验证的私有(private)Rubygem服务器。我希望能够使用公共(public)Ubuntu服务器托管内部gem。我读到了http://docs.rubygems.org/read/chapter/18.但是那个没有身份验证-如我所见。然后我读到了https://github.com/cwninja/geminabox.但是当我使用基本身份验证(他们在他们的Wiki中有)时，它会提示从我的服务器获取源。所以。如何制作带有身份验证的私有(private)Rubygem服务器？这是不可能的吗？谢谢。编辑:Geminabox问题。我尝试“捆绑”以安装新的gem..

  7. Ruby 方法() 方法 - 2

    我想了解Ruby方法methods()是如何工作的。我尝试使用“ruby方法”在Google上搜索，但这不是我需要的。我也看过ruby​​-doc.org，但我没有找到这种方法。你能详细解释一下它是如何工作的或者给我一个链接吗？更新我用methods()方法做了实验，得到了这样的结果:'labrat'代码classFirstdeffirst_instance_mymethodenddefself.first_class_mymethodendendclassSecond使用类#returnsavailablemethodslistforclassandancestorsputsSeco

  8. ruby-on-rails - 如果为空或不验证数值，则使属性默认为 0 - 2

    我希望我的UserPrice模型的属性在它们为空或不验证数值时默认为0。这些属性是tax_rate、shipping_cost和price。classCreateUserPrices8,:scale=>2t.decimal:tax_rate,:precision=>8,:scale=>2t.decimal:shipping_cost,:precision=>8,:scale=>2endendend起初，我将所有3列的:default=>0放在表格中，但我不想要这样，因为它已经填充了字段，我想使用占位符。这是我的UserPrice模型:classUserPrice回答before_val

  9. ruby-on-rails - Rails 3.2.1 中 ActionMailer 中的未定义方法 'default_content_type=' - 2

    我在我的项目中添加了一个系统来重置用户密码并通过电子邮件将密码发送给他，以防他忘记密码。昨天它运行良好(当我实现它时)。当我今天尝试启动服务器时，出现以下错误。=>BootingWEBrick=>Rails3.2.1applicationstartingindevelopmentonhttp://0.0.0.0:3000=>Callwith-dtodetach=>Ctrl-CtoshutdownserverExiting/Users/vinayshenoy/.rvm/gems/ruby-1.9.3-p0/gems/actionmailer-3.2.1/lib/action_mailer

  10. ruby-on-rails - 如何在 ruby​​ 中使用两个参数异步运行 exe？ - 2

    exe应该在我打开页面时运行。异步进程需要运行。有什么方法可以在ruby​​中使用两个参数异步运行exe吗？我已经尝试过ruby​​命令-system()、exec()但它正在等待过程完成。我需要用参数启动exe，无需等待进程完成是否有任何ruby​​gems会支持我的问题？ 最佳答案 您可以使用Process.spawn和Process.wait2:pid=Process.spawn'your.exe','--option'#Later...pid,status=Process.wait2pid您的程序将作为解释器的子进程执行。除

随机推荐