DSL ファイル内の when/condition ステートメントを別の when/condition ステートメントに再利用することは可能ですか?
たとえば、次の 2 つの条件があります。
[condition][]The client is invalid = Client( name == null || email == null )
[condition][]All the clients are invalid = forall( Client( name == null || email == null ) )
2 番目の条件は、 forallコマンドの最初の条件と比較するだけですが、内部のステートメントは等しいことに注意してください。これらの場合、最初の条件を 2 番目の条件に再利用したいと考えています。
出来ますか?どのように?ありがとうございました。