मुझे पता है कि मैं एक प्रोग्राम चलाता हूं, यह संभवतः एक तरफ या किसी अन्य को व्यक्त करेगा: प्रत्येक चर से यह क्या उम्मीद कर रहा है। लेकिन मैं जब मैं एंड्रॉयड कोड आदि जैसे: के प्रत्येक पृष्ठ पर पढ़कर सुना अपने दम पर निर्धारित करने के लिए करना चाहते हैं:एंड्रॉइड कोड के भीतर, एक चर से एक प्रोग्राम की अपेक्षा की जाने वाली विशेषताओं का क्या सुझाव है?
- मैं कैसे निर्धारित कर सकते हैं क्या
size
याlength
एक Android कार्यक्रम होने के लिए एक स्ट्रिंग सरणी उम्मीद कर रही है? - एक
integer
याdouble
हैं, सकारात्मक या नकारात्मक होने की उम्मीद है?
आदि इस संबंध में
मदद की बहुत सराहना की जाएगी।
एर्म ... अपने स्वयं के स्रोत टिप्पणियों और प्रलेखन:
आप एंड्रॉयड स्टूडियो का उपयोग कर रहे आप इस गाइड का पालन कर सकते मान लिया जाये? यह एंड्रॉइड के लिए विशिष्ट नहीं है, यह सिर्फ जावा कोड है। –
आप पूर्व शर्त/पोस्टकंडिशन और इनवेरिएंट का जिक्र कर रहे हैं। ऐसी कुछ टिप्पणियां हैं जिनका आप उपयोग कर सकते हैं और ऐसे अन्य पुस्तकालय हैं जिनका उपयोग आप दस्तावेज़ या इन्हें लागू करने के लिए कर सकते हैं। Http://stackoverflow.com/questions/6816298/is-there-an-beautiful-way-to-assert-pre-conditions-in-java-methods –