Eiffel正则表达式验证

Question

如何为某个字符串创建正则表达式？你能在断言（代码的前提部分）中做到这一点吗？

我一直在谷歌搜索，但找不到任何令人信服的东西。

问题是这样的：

向 DEPARTMENT（我们正在处理的类）创建过程添加一个前提条件，以确保电话号码有效。存在三种可能的有效电话号码格式。有效的电话号码由以下之一组成：

• 八位数字（第一位非零、
• 前导零）、单个非零位区号，然后是八位数字（第一位非零） 它是非零的
• 一个前导“+”，后跟两位数的国家/地区代码，然后是一个非零数字 区号，然后是八位数字，其中第一位非零

验证电话号码时，将忽略任何嵌入的空格。

可以接受但不是必需的，将 PHONE_NUMBER 类添加到系统中作为 解决这个问题。

Answer 1

有几个不同的问题需要回答：

1. 如何检查给定字符串是否与 Eiffel 中指定的正则表达式匹配？可以使用 Gobo 库中的 RX_PCRE_MATCHER 类。 compile 功能允许设置所需的正则表达式，recognizes 功能允许测试字符串是否与其匹配。

2. 如何为给定的电话号码规范编写正则表达式？像 "(|0[1-9]|\+[0-9]{2}[1-9])[1-9][0-8]{7}" 应该尽管我还没有检查过。可以在正则表达式本身中考虑中间空格，但通过在输入字符串上应用 prune_all (' ') 在传递到正则表达式匹配器之前删除它们要容易得多。

3. 如何向创建过程添加前提条件以验证参数是否满足？假设我们根据前面的项目构建了一个函数 is_phone_number，它接受一个 STRING 并返回一个 BOOLEAN，指示指定的字符串是否表示有效的字符串电话号码。一个简单的解决方案是编写

   make（电话：STRING）
       要求
           is_phone_number（电话）
       ...
   

   并且在类 DEPARTMENT 本身中有一个功能 is_phone_number。但这阻止我们在调用此创建过程之前检查指定的字符串是否代表电话号码。因此，将 is_phone_number 移动到 DEPARTMENT 类将继承的 PHONE_NUMBER_VALIDATOR 类是有意义的。 ，如果PHONE_NUMBER需要根据指定规则验证字符串，它可以继承PHONE_NUMBER_VALIDATOR并重用is_phone_number功能。

Answer 2

Halikal 实际上解决了这个问题，但直到现在才分享...

这适用于 eiffelStudio 6.2（注意 - 这是 gobo）

http://se.inf.ethz.ch/old/people/leitner/gobo_guidelines/naming_conventions.html

有效的电话号码由以下之一组成：

• 八位数字，其中第一位非零，
• 前导零，单个非零数字区号，
  然后是八位数字，其中第一位非零，
• 前导 + 后跟两位国家/地区代码，
  然后是一个非零数字的区号，然后是八位数字，
  第一个非零

验证电话号码时，将忽略任何嵌入的空格。

require                  -- 040 is ascii hex space
valid_phone: 
  match(phone, "^\040*[1-9]\040*([0-9]\040*){7}$") = TRUE or
  match(phone, "^\040*0\040*([1-9]\040*){2}([0-9]\040*){7}$") = TRUE or
  match(phone, "^\040*\+\040*([0-9]\040*){2}([1-9]\040*){2}([0-9]\040*){7}$") = TRUE


feature --Regular Expression check
  match(text: STRING; pattern: STRING): BOOLEAN is
        -- checks whether 'text' matches a regular expression 'pattern'
    require
      text /= Void
      pattern /= Void
    local
      dfa: LX_DFA_REGULAR_EXPRESSION         --There's the Trick!
      do
        create dfa.make
        dfa.compile(pattern, True)           --There's the Trick!
        check      -- regex must be compiled before we can use it
          dfa.is_compiled;
        end
        Result := dfa.matches(text)
     -- debug: make sure of which pattern
        if dfa.matches (text) then
          io.putstring(text + " matches " + pattern + "%N")
        end
      end
  end