Sınıf :: Sözleşme Sınıf :: Sözleşme - Design-by-sözleşmesi OO Perl'de.
Şimdi İndirin

Sınıf :: Sözleşme Sıralama ve Özet

Sınıf :: Sözleşme Etiketler

Perl modülü sözleşme Tasarım-by-sözleşmesi 00 sözleşme sınıfı Sözleşme tasarımı

Sınıf :: Sözleşme Açıklama

Sınıf :: Sözleşme - Tasarım-by-Sözleşme Perl OO. Sınıf :: Sonuç - tasarım tarafından Sonuç Perl.SYNOPSIS paketi ClassName kullanımı Sınıf :: Sözleşme OO; Sözleşme {Inherits 'AnaSınıf'; nikelli çelik {...}; attr 'veri1'; attr 'veri2' => HASH; sınıf attr 'paylaşılan' => SCALAR; ctor 'yeni'; Yöntemin 'yontemadi'; {...} pre; failmsg 'Hata mesajı'; İleti { ... }; failmsg 'Hata mesajı'; impl {...}; Yöntemin 'nextmethod'; impl {...}; sınıf yöntemi 'sharedmeth'; impl {...}; # Vs.}; BackgroundDesign-by-sözleşme bir yazılım sistemi belirttiği her modül açıkça neyi girişi (veya veri veya argümanlar) gerektiriyorsa ve ne çıkışı (veya bilgi veya sonuçlar) içeri üretmek için garanti ettiği bir yazılım mühendisliği tekniğidir response.These özellikler bir modül ve kullanımları bunu o istemci yazılımı arasında bir sözleşme "maddeleri" oluştururlar. giriş gereksinimleri tarafından istemci yazılımı Abides ise modül garanti doğru çıktı üretmek için. Bu nedenle bir modül her etkileşimi bu maddeler doğrulayarak, sistemin genel davranışı güvenle predicted.Design tarafından sözleşme olduğu bir sözleşme açık derleme ya da çalışma zamanı denetler sokulmasıyla modüler tasarım teknikleri yararlarını güçlendirir olabilir. Bu kontroller genellikle nesne yönelimli dilde bulunan ve bu özellikler bu tür C assert deyimi gibi basit doğrulama ifadeleri farklılık gösterdiğini tipik classes.Note önceden koşulları ve yöntemleri üzerine sonrası koşulları ve değişmezler olarak uygulanır. Koşullar ve değişmezler bir sınıfının özellikleri vardır ve çoğu zaman tasarım tarafından sözleşme sistemlerinde üretim kodu seçici devre dışı kontrol olanağı olan sağlanır türetilmiş classes.An ek kapasite tarafından devralınır. Bu sözleşme test nihai system.Adding tasarım bazında sözleşme PerlThe Class için performansı üzerinde etki yapmadan, uygulanması sırasında yürütülecek sağlar :: Sözleşme modülü gibi çok (bir sınıf için yöntem ve özelliklerini belirlemek için bir çerçeve sağlar sınıf tanımını mevcut) sınıf :: Struct, Class :: MethodMaker modülleri ve sınıf :: oluşturun. Sınıf :: Sonuç yöntem ve özellikler tanımlanabilir hem nesne-başına ve sınıf sağlar. Özellikler, scalar- olabilir, array- hash- veya nesne based.Class :: diğer sınıf dağılımı modüllerinden Sonuç farklıdır (Sınıf :: oluşturmak hariç) aynı zamanda sınıfları değişmez koşullar belirtmek olanağı sağlar ki, olabilir ve öncesi ve yöntemleri ve niteliklerini sonrası koşullar. Bu maddelere hepsi tamamen devredilebilir ve seçici olarak devre dışı bırakılabilir. daha da önemlisi - - Bunu bir temizleyici, daha basit şartname sözdizimi ve sahip olduğu diğer tüm modüllere ayrılır ve böylece sağlanması, nesne niteliklerini enkapsülasyonu zorlar sınıf sözleşme subverted.Defining classesClass :: Sözleşme açık bir sözdizimi sağlar olamayacağını bir sınıfın niteliklerini, yöntemleri ve kurucuları tanımlamak için. sınıf kendisi sözleşme altprogramı kullanılarak tanımlanır. Bir altprogram başvuru veya bir blok - sözleşme tek bir argüman alır. Bu blok kez yürütülür ve sonuçlar oluşturmak ve çeşitli akım paket içinde sınıfının bileşenleri yüklemek için kullanılır: Kuyruk paketi; Sözleşme {class Kuyruğu içinde şartname burada ve yöntemleri nitelikleri}; Gereksinimler: · Perl

Sınıf :: Sözleşme İlgili Yazılım