Açıklamanın Ne Zaman ve Nereye Uygulanacağını Belirtme
Ek açıklama koşullu olduğunda Çözümleyicisi'ne belirtmek için diğer ek açıklamaları gerektirebilir.Zaman uyumlu veya zaman uyumsuz bir değişkeni bir işlev varsa, örneğin, işlev şu şekilde davranır: zaman uyumlu durumda her zaman sonunda başarılı, ancak hemen başarılı olamaz zaman uyumsuz durumda, bir hata bildirir.Eş zamanlı olarak işlev çağrıldığında, bunu döndürülmez çünkü sonuç değerini denetleme kodu Çözümleyicisi için hiçbir değer sağlar.Ancak, zaman uyumsuz olarak işlevi çağrılır ve işlev sonucunu işaretlenmemiş olduğundan, önemli bir hata oluşabilir.Bu örnek kullanma durumu gösterilmiştir _When_ ek açıklama — bu makalenin sonraki bölümlerinde açıklanan — denetimini etkinleştirmek için.
Yapısal ek açıklamaları
Ek açıklamalar ne zaman ve nerede uygulamak denetlemek için aşağıdaki yapısal ek açıklamaları kullanın.
Açıklama Notları |
Tanımlama |
|---|---|
_At_(expr, anno-list) |
exprbir lvalue gözüken bir ifadesidir.Ek açıklamaları, anno-list olarak adlandırılan nesneye uygulanan expr.İçinde her eklenti için anno-list, expr pre-condition ek açıklama pre-condition yorumlanır ve post-condition ise post-condition ek açıklamayı yorumlanır yorumlanır. |
_At_buffer_(expr, iter, elem-count, anno-list) |
exprbir lvalue gözüken bir ifadesidir.Ek açıklamaları, anno-list olarak adlandırılan nesneye uygulanan expr.İçinde her eklenti için anno-list, expr pre-condition ek açıklamayı önkoşulu yorumlanır ve post-condition ise post-condition ek açıklamayı yorumlanır yorumlanır. iterek açıklama için kapsamlı bir değişken adıdır (inclusive, anno-list).iterörtülü bir türü olan long.Aynı adlı değişkenleri kapsayan herhangi bir kapsam içinde değerlendirme gizlidir. elem-counttamsayı sonucunu bir ifadesidir. |
_Group_(anno-list) |
Ek açıklamaları, anno-list tümü, her ek açıklama için uygulanan Grup ek açıklama uygulandığı herhangi bir niteleyici sahibi olarak kabul edilir. |
_When_(expr, anno-list) |
exprdönüştürülebilir bir ifade bool.Sıfır olduğunda (true), belirtilen ek açıklamaları anno-list uygun olarak kabul edilir. Varsayılan değer olarak her eklenti için anno-list, expr ek açıklama önkoşulu, ek açıklamayı bir post-condition ise, çıkış değerlerini kullanarak olarak, giriş değerleri kullanarak olarak yorumlanır.Varsayılan geçersiz kılmak için kullanabileceğiniz _Old_ giriş değerleri kullanılması gerektiğini belirtmek için post-condition değerlendirmek, iç. .gif "Not") Not
Farklı ek açıklamalar kullanılarak gruplarındaki sonucu olarak etkinleştirilmesini _When_ değişmez bir değer varsa — örneğin, *pLength— çünkü söz konusu hesaplanan sonucunu expr önkoşulu değerlendirilmiş sonucu post-condition de farklılık gösterebilir.
|
Ayrıca bkz.
Başvuru
İşlev Parametrelerini ve Dönüş Değerlerini Açıklama
Yapıları ve Sınıfları Yorumlama
Kilitlenme Davranışını Yorumlama
En İyi Yöntemler ve Örnekler (SAL)