5
Bir program çalıştırıp çalıştırmadığımı biliyorum, muhtemelen bir şekilde ifade edecek: her değişkenden ne beklediği. Ben vs. örneğin Android kodunun her sayfasının üzerinde okuyunca Ama başıma belirlemek istiyorum:Android kodunda, bir programın bir değişkenden beklediği özellikleri ne önerir?
- nasıl
sizeveyalengthbir android programı bir dize dizisi olmaya beklediği belirleyebilir? integerveyadoublebir olsun, pozitif veya negatif olması bekleniyor?
vs. bu konuda
Yardım çok takdir edilecektir.
Erm kendi kaynak yorumlarınızı ve belgeleri:
Eğer bu kılavuzu takip edebilirsiniz Android Studio kullanıyorsanız varsayarsak? Bu, Android'e özgü değil, sadece Java kodudur. –
Ön koşullara/bitiş şartlarına ve değişmezlere atıfta bulunuyorsunuz. Kullanabileceğiniz bazı ek açıklamalar vardır ve bunları belgelemek veya uygulamak için kullanabileceğiniz diğer kütüphaneler vardır. Bkz. Http://stackoverflow.com/questions/6816298/is-there-an-beautiful-way-to-assert-pre-conditions-in-java-methods –