@Target
@Inherited
@Retention
@Target
public NoConstraintPropagation
This annotation should only be added to interface Contract
classes.
If the annotation is present, then we assume that Contract.verify
will ensure that the output states have an acceptable constraint.
If the annotation is missing, then the default - secure - constraint propagation logic is enforced by the platform.
interface Contract
,
Contract.verify