Method Detail

• getRMAssertion

  public static RMAssertion getRMAssertion(RMAssertion defaultValue,
                           Message message)

  Returns an RMAssertion that is compatible with the default value and all RMAssertions pertaining to the message (can never be null).

  Parameters:

  rma - the default value

  message - the message

  Returns:

  the compatible RMAssertion

• intersect

  public static RMAssertion intersect(RMAssertion a,
                      RMAssertion b)

• equals

  public static boolean equals(RMAssertion a,
               RMAssertion b)