public interface SPSMessageSpaceVerifier
| Modifier and Type | Method and Description |
|---|---|
default void |
doMessageChecks(PlainText plainText,
int expectedMessageLength,
org.cryptimeleon.math.structures.groups.Group expectedGroup)
Checks if the given plainText matches the structure expected by the scheme
and throws detailed exception if the plainText fails any check.
|
default void doMessageChecks(PlainText plainText, int expectedMessageLength, org.cryptimeleon.math.structures.groups.Group expectedGroup) throws java.lang.IllegalArgumentException
For this default implementation, the following properties of the parameter plainText are checked:
* plainText is of type MessageBlock.
* The amount of PlainTexts matches expectedMessageLength.
* The elements stored in plainText are of type GroupElementPlainText.
* The elements stored in said GroupElementPlainTexts are \in expectedGroup
java.lang.IllegalArgumentException