you can use the android support annotations `@Size...

# android

[trevjones]

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