you can use the android support annotations

@Size

to notate the contract but static verification is usually nil. I would imagine it would work with static values but that is pure speculation