python 正则表达式在两个字符串之间进行匹配

Question

我有以下字符串:

property some_property_name;
    @(posedge some_clock) disable iff (some_other_signal)
    signalA &&  signalB || !($isunknown(some_other_signal)) &&
    |->  !($isunknown(should_not_match_this))
endproperty

more_random_code

property some_other_property_name;
    @(posedge some_clock) disable iff (some_other_signal)
    signalA &&  signalB || \*!($isunknown(dont_match_if_commented_out))*\ &&
    more_random_stuff ||
    random_stuff
    |->  some_other_expression
endproperty

property next_property_name;
    @(posedge some_clock) disable iff (some_other_signal)
    signalA &&  signalB || !($isunknown(some_other_signal)) &&
    |->  some_other_expression && expressions_etc
endproperty

我想匹配 !($isunknown(.*)) 之间的“@(thoughtge”和“|->”。我尝试的正则表达式是:

(?<=@\(posedge ) ([^*]!\(\$isunknown\(.*\)[^*]) (?=(.*\n.*)*\|->)

但它与任何内容都不匹配，我不明白为什么。

Answer 1

我会使用类似的东西

(?<=@\(posedge).*?(\!\(\$isunknown\(.*?\)\)).*?\|->

Debuggex Demo

与 re.DOTALL标记以便您的 . 表达式包含换行符。