can
This method will be used in conjunction with NoConstraintPropagation. It is run during transaction verification when the contract is not annotated with NoConstraintPropagation. When constraints propagation is enabled, constraints set on output states need to follow certain rules with regards to constraints of input states.
Rules:
It is allowed for output states to inherit the exact same constraint as the input states.
The AlwaysAcceptAttachmentConstraint is not allowed to transition to a different constraint, as that could be used to hide malicious behaviour.
Anything (except the AlwaysAcceptAttachmentConstraint) can be transitioned to a HashAttachmentConstraint.
You can transition from the WhitelistedByZoneAttachmentConstraint to the SignatureAttachmentConstraint only if all signers of the JAR are required to sign in the future.