2

我正在努力实现我想要实施的验证。我想验证以 update 开头的服务中的每个方法都必须具有 @Transactional 注释。到目前为止，我已经提出了一个概念，它为我提供了服务类中以更新开头的方法（例如 updateInvoice）。但我不知道如何构建一个约束来选择没有@Transaction 注释的方法。

4

2 回答 2

3

我建议定义一些代表您的关键元素的概念来定义对它们的约束，即

您的服务：

<concept id="service:ServiceClass">
  <description>Adds a label "Service" to every class annotated by "@com.mycompany.services.Service"</description>
  <cypher><![CDATA[
  MATCH
    (service:Type:Class)-[:ANNOTATED_BY]->()-[:OF_TYPE]->(serviceAnnotationType)
  SET
    service:Service
  WHERE
    serviceAnnotationType.fqn = "com.mycompany.services.Service"
  RETURN
    service   
  ]]>
  </cypher>
</concept>

您的交易方式：

<concept id="service:TransactMethod">
  <description>Adds a label "Transact" to every method annotated by "@com.mycompany.services.Transact"</description>
  <cypher><![CDATA[
  MATCH
    (method:Method)-[:ANNOTATED_BY]->()-[:OF_TYPE]->(transactAnnotationType)
  SET
    method:Transact
  WHERE
    transactAnnotationType.fqn = "com.mycompany.services.Transact"
  RETURN
    method   
  ]]>
  </cypher>
</concept>

你的约束：

<constraint id="service:AllUpdateMethodsMustBeTransacted">
  <requiresConcept refId="service:ServiceClass" />
  <requiresConcept refId="service:TransactMethod" />
  <description>All update methods must be transacted</description>
  <cypher><![CDATA[
  MATCH
    (service:Service:Class)-[:DECLARES]->(updateMethod:Method)
  WHERE
    updateMethod.name =~ "update.*" // even this could be extracted to a concept
    and not updateMethod:Transact
  RETURN
    updateMethod
  ]]>
  </cypher>
</constraint >

这种方法有几个优点：

  • 您现在获得了更多规则，但它们中的每一个都具有更好的可读性（尤其是约束），因为您使用的是您为设计定义的术语
  • 对于其他约束，您很可能也需要“服务”和“交易”的概念 - 现在只需使用标签
  • 如果你正在创建一个 Maven 站点，你会得到一份关于你设计中所有概念的报告（即当前确实存在哪些服务实现）
于 2015-10-01T07:13:43.237 回答
1

以下似乎有效：

match
   (aType:Type:Class)-[:ANNOTATED_BY]->()-[:OF_TYPE]->(anAnnotationType:Type),
   (aType:Type)-[:DECLARES]->(aMethod:Method)
optional match
   (aMethod)-[:ANNOTATED_BY]->()-[:OF_TYPE]->(tType:Type)
with anAnnotationType, aMethod, tType
where
    anAnnotationType.fqn = "com.mycompany.services.Service" 
    and aMethod.name =~ "update.*"
    and ((tType is null) or not (tType.fqn = "com.mycompany.services.Transact"))
return
    aMethod.name, tType
于 2015-09-30T17:09:20.977 回答