שפות תכנות רבות מספקות תמיכה מובנית לבדיקת טענות נכונות (assertions), המאפשרות לבדוק את העמידה בתנאים של החוזה. עם זאת, גישת ה"תכנות לפי חוזה" רואה בחוזים חשיבות מכרעת לתקינות התוכנה, כך שהם אמורים להיות חלק כבר בתהליך התכנון. למעשה, התומכים בתכנות לפי חוזים, כותבים את ה-assertions לפני המימוש העיקרי של התוכנה. (ראו: פיתוח מונחה-בדיקות).
רעיון ה"חוזה" יורד עד לרמת המתודה/פרוצדורה. החוזה עבור מתודה מסוימת יתאר בדרך כלל את הפרטים הבאים:
בשימוש בירושה, המחלקה היורשת מורשית להרפות את התנאים המוקדמים (אבל לא להקשות אותם), והיא רשאית להקשיח את התנאים המאוחרים (אבל לא להחליש אותם).
כל היחסים בין מחלקות הם בין מחלקות "לקוח" לבין מחלקות "ספק". מחלקת לקוח מחויבת לבצע את הקריאות לשירותים של הספק כך שהמצב של הספק לא יופר על ידי קריאת הלקוח. עם זאת, הספק מחויב לספק "מצב החזרה" ונתונים שאינם מפרים את דרישות המצב של הלקוח. לדוגמה, חוצץ הנתונים (buffer) של הספק יכול לדרוש שהנתונים אכן ימצאו בחוצץ בזמן קריאה לשירות מחיקה של נתונים. בהמשך, הספק מבטיח ללקוח שכאשר שירות המחיקה מסיים את העבודה, הנתונים אכן ימחקו מהחוצץ. חוזים אחרים מגדירים את "קבועי המחלקה". קבוע המחלקה מבטיח (למחלקה המקומית) כי בסיום הריצה של כל אחד מהשירותים, המצב של המחלקה יישמר במסגרת טווח מוגדר מראש של מצבים.
כאשר משתמשים בחוזים, הספק לא אמור לנסות לוודא שתנאי החוזה מתממשים; הרעיון הכללי הוא שבמקרה של חריגה מתנאי החוזה, הקוד אמור "להכשל חזק", ווידוא החוזה אמור להיות רק "רשת הביטחון". ה"כישלון החזק" בשיטת התכנות לפי חוזים מקל על ניפוי שגיאות כאשר ההתנהגות הצפויה של כל שגרה מפורטת בצורה ברורה. זהו הבדל בולט לעומת שיטה דומה הנקראת defensive programming ("תכנות מתגונן"), בה הספק אחראי על ההחלטה מה לעשות כאשר אחד מהתנאים המוקדמים מופר. בדרך כלל, הספק זורק חריגה (exception) על מנת להודיע ללקוח שאחד מהתנאים המוקדמים אינו מתקיים. בשני המקרים - "תכנות לפי חוזה" ו"תכנות מתגונן" - הלקוח אמור להחליט כיצד הוא מגיב למצב כזה. תכנות לפי חוזה מקל על עבודת הספק.
תכנות לפי חוזה מסייע גם בשימוש חוזר (reuse) בקוד, מאחר שהחוזה עבור כל יחידת קוד מתועד במלואו. החוזים של מודול מסוים יכולים להחשב כסוג של דוקומנטציה של ההתנהגות עבור מודול זה.
השפעה על ביצועים.
תנאי החוזה לעולם לא אמורים להיות מופרים בזמן הריצה של תוכנה נקייה מבאגים. לפיכך, החוזים נבדקים בדרך כלל רק ב-debug mode, בזמן הפיתוח של התוכנה. מאוחר יותר, בשחרור התוכנה, מבטלים את בדיקות החוזה על מנת לשפר את הביצועים.
בשפות תכנות רבות, חוזים ממומשים עם בדיקות נכונות (asserts). כברירת מחדל, בדיקות אלה לא עוברות הידור ב-release mode ב-++C/C, ומבוטלות באופן דומה ב-C#/Java. זה מבטל את עלויות זמן הריצה של שימוש בחוזים בגרסת ה-release.
יחס לבדיקות תוכנה.
תכנות לפי חוזה אינו מחליף שיטות רגילות לבדיקות תוכנה כדוגמת בדיקות יחידה, בדיקות אינטגרציה ובדיקות מערכת. ליתר דיוק, השיטה משלימה לבדיקות תוכנה חיצוניות על ידי הוספת בדיקות-עצמיות פנימיות שניתן להפעיל הן עבור בדיקות נפרדות והן בתוכנה המוגמרת בזמן שלב הבדיקות. היתרון בבדיקות עצמיות פנימיות הוא בכך שהן יכולות לגלות שגיאות לפני שהן מופיעות בצורה של תוצאות שגויות הנראות ללקוח. זה מוביל לגילוי שגיאות מוקדם וספציפי יותר.
פטריק בוורלי
פטריק בוורלי (באנגלית: Patrick Beverley; נולד ב-12 ביולי 1988) הוא כדורסלן אמריקאי המשחק בקבוצת לוס אנג'לס לייקרס מליגת ה-NBA. גובהו של בוורלי 1.85 מטרים, והוא משחק בעמדת הרכז.
קריירה במכללות.
בעונתו הראשונה של בוורלי באוניברסיטת ארקנסו הוא הוביל את הקבוצה בנקודות (13.9 למשחק), בחטיפות (1.7 למשחק) ובאחוזי קליעה מהשלוש (42%) ומהעונשין (89%). כמו כן מסר 3.1 אסיסטים והוריד 4.5 ריבאונדים למשחק. הוא פתח ב-34 מתוך 35 המשחקים שלו וקלע בספרות כפולות ב-24 משחקים. את שיא הקריירה שלו במכללה רשם במשחק הבכורה, כשקלע 29 נקודות, להם הוסיף 5 אסיסטים ו-5 ריבאונדים. בעונתו השנייה קלע 12.1 נקודות והוריד 6.1 ריבאונדים בממוצע למשחק. בשל יכולתו הטובה הוא היה מועמד לתואר השחקן המצטיין של המכללות, אך סולק מהקבוצה לאחר שנתפס מרמה בלימודים.
קריירה מקצועית.
אירופה.
בשנת 2008 חתם בוורלי בקבוצת בי.סי. דניפרו האוקראינית, ובעונתו היחידה בקבוצה העמיד ממוצעים של 16.7 נקודות, 3.6 אסיסטים ו-7.0 ריבאונדים למשחק. במהלך העונה נבחר למשחק האולסטאר של הליגה האוקראינית וזכה בתחרות ההטבעות.
בשנת 2009 העמיד עצמו בוורלי לבחירה בדראפט ה-NBA, ונבחר על ידי קבוצת לוס אנג'לס לייקרס בבחירה ה-42, אך העדיף להמשיך לשחק באירופה. ב-26 באוגוסט 2009 חתם באולימפיאקוס היוונית, בה שיתף פעולה עם ג'וש צ'ילדרס ולינאס קלייזה. בעונת זכה עם אולימפיאקוס בגביע הליגה היווני והגיע עמה לגמר היורוליג, בו הפסידה לברצלונה, ולגמר אליפות הליגה היוונית, בו הפסידו לפנאתינייקוס. בינואר 2011 חתם בוורלי בספרטק סנקט פטרבורג, ובסיום עונת 2011/2012, לאחר שזכה בתואר ה-"MVP של היורוקאפ", עזב את הקבוצה.
יוסטון רוקטס.
ב-7 בינואר 2013 חתם בוורלי ביוסטון רוקטס מליגת ה-NBA, והועבר מיידית לקבוצת הבת שלה בליגת הפיתוח, "ריו גרנדה ואלי". ב-15 בינואר 2013 ערך את הופעת הבכורה שלו ב-NBA במשחק נגד הלוס אנג'לס קליפרס, בו הוא רשם 3 נקודות, אסיסט אחד וחטיפה אחת. לאורך העונה החל בוורלי לקבל יותר דקות משחק כרכז המחליף של ג'רמי לין, ובפלייאוף 2013 תפס את מקומו של לין כרכז הפותח של הקבוצה. במשחק השני של הפלייאוף, מול אוקלהומה סיטי ת'אנדר, רשם בוורלי משחק שיא עם 16 נקודות, 12 ריבאונדים ו-6 אסיסטים בהפסד 105-102.
בעונת מילא את תפקיד הרכז הפותח של הרוקטס באופן קבוע, ונבחר בסיום העונה לחמישיית ההגנה השנייה של העונה. בעונה הבאה, במסגרת סוף-שבוע האולסטאר זכה באתגר הכישורים לאחר שגבר על ברנדון נייט בגמר התחרות. במרץ 2015 נפצע בשורש כף היד, ונאלץ להחמיץ את המשך אותה עונה.
ביולי 2015 חתם על הארכת חוזה ביוסטון ל-4 עונות נוספות עבור כ-23 מיליון דולר. בשתי העונות הבאות ניפק ממוצעים סולידיים לצידו של ג'יימס הארדן, שהתקפת הקבוצה נעה יותר ויותר סביבו. בשתיהן פספס 26 משחקים במצטבר עקב פציעות.
לוס אנג'לס קליפרס.
לקראת עונת הועבר ללוס אנג'לס קליפרס, לצד לו ויליאמס, מונטרז הארל וארבעה שחקנים נוספים, בתמורה לכריס פול. ב-22 בנובמבר 2017, לאחר 11 משחקים במדי הקליפרס, עבר ניתוח ארתרוסקופיה בברכו הימנית, ונאלץ להחמיץ את המשך העונה.
ביולי 2019 חתם בקבוצה על הארכת חוזה ל-4 עונות נוספות, עבור כ-40 מיליון דולר.
מינסוטה טימברוולבס.
באוגוסט 2021 הועבר עם ראז'ון רונדו ודניאל אוטורו בטרייד לממפיס גריזליס, תמורת אריק בלדסו, ומספר ימים לאחר מכן הועבר בטרייד נוסף למינסוטה טימברוולבס, תמורת ג'רט קולבר וחואן הרננגומס.
לוס אנג'לס לייקרס.
ב-1 ביולי 2022 הועבר בטרייד גדול לג'אז כחלק מעסקת ההעברה של רודי גובר בדרך ההפוכה לטימברוולבס.
זמן קצר לאחר מכן, ב-25 באוגוסט הועבר בטרייד מהג'אז ללייקרס בו טיילן הורטון-טאקר וסטנלי ג'ונסון עשו את הדרך ההפוכה לג'אז.
גנסיקלויר
Vancomycin
Sulfonamides
חיים משה כ&quot;ץ
חיים משה כ"ץ (לעיתים נכתב משה חיים כ"ץ או הימן כ"ץ; 18 בדצמבר 1884 - 26 באוגוסט 1965) היה פרדסן וסוחר קרקעות בארץ ישראל, מייסד שכונת פרדס כץ בבני ברק הקרויה על שמו. ב-1938 הקים, בתאום עם הארגון הצבאי הלאומי, בית ספר פרטי לטיסה, שהכשיר בשני קורסים טייסים מחברי הארגון.
חייו.
כ"ץ נולד ב-1884 בפולין, בעיירה רוזאני שבפלך לומז'ה, ליצחק כ"ץ ואשתו פרידה לבית גולדברג. למד בחדר ובישיבה. ב-1903 היגר לארצות הברית, שם היה סוחר ויצרן שמלות. כ"ץ היה אב לשלושה וחבר בארגון הבונים החופשיים בלשכת ברקאי מס. 3077 בחסות המזרח הגדול של צרפת.
פרדס כ"ץ.
כ"ץ עלה לארץ ישראל ב-1926 ורכש פרדס בשטח 173 דונם על אם הדרך מתל אביב לפתח תקווה, צפונית לבני ברק. בעקבות המשבר הכלכלי העולמי של 1929 נעקרו חלקים מן הפרדס, והחל מאוקטובר 1933 הוצעו בו מגרשים לבניה פרטית. בשלב השני של הקמת השכונה, בנובמבר 1934, ניתן לה השם תל אפרים, על שם בנו של כ"ץ, אפרים (פרדי) כ"ץ. ביתו של כ"ץ בשטח הפרדס הושכר ביולי 1936 למחלקת הבריאות של ממשלת המנדט, והוקם בו בית חולים ממשלתי למחלות מידבקות.
זיכרון רוטשילד.
ב-1934 רכש כ"ץ שטח של 400 דונם מערביי מג'דל יאבא, וב-1935 פעל להקים בו יישוב בשם זיכרון רוטשילד. הפעולה עוררה מחלוקת, בגלל ניסיון קודם של מועצת פועלי פתח תקווה לרכוש את אותו שטח. באוגוסט 1935 הודיעה החברה על מציאת מים בקידוח באתר, ששמו הוסב ל"ראש העין" ועל הקמת מבנה לדואר. בתחילת 1936 נסללו במקום כבישים פנימיים בעבודות שנעשו על ידי פועלי פתח תקווה דרך מועצת פועלי פתח תקווה. התוכנית לא מומשה, ככל הנראה בגלל פרוץ המרד הערבי הגדול. ב-1952 הוקם באותו מקום קיבוץ עינת.
בית ספר לטיסה.