Search for tag: "preconditions"

14 Media

06:04 Lesson 25.4 The raise Statement Lesson 25.4 The raise Statement	Lesson 25.4 The raise Statement Up until now, the only way that we knew how to create an error is with an assert statement. But these always create errors with the type AssertionError. In this video we show how to create errors… error statement object range integer errors precondition thing statements assertion function air custom expression rays bug enforcement foo preconditions division From Hannah Lee 59 plays Content Categories Instructional Recordings Creation Date November 12, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
07:20 Lesson 24.2 The isinstance Function Lesson 24.2 The isinstance Function	Lesson 24.2 The isinstance Function In this video, we show that we can solve the problem of strict typing by using the isinstance function. This function will be our preferred way for enforcing preconditions going forward. instance employee fraction function subclass executive class object fractions int types preconditions definition string module expression classes python power statement From Hannah Lee 57 plays Content Categories Instructional Recordings Creation Date November 12, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
05:52 Lesson 24.1 Strict Typing Lesson 24.1 Strict Typing	Lesson 24.1 Strict Typing Whenever we have enforced preconditions, we have always used the type function. In this video we show why that is a problem, particularly when we want to use an object argument that is a subclass of… fraction operations int typing denominator thing multiplication problem class preconditions series subclasses error fractions subclass definition lot assertion power sense From Hannah Lee 51 plays Content Categories Instructional Recordings Creation Date November 12, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
04:57 Lesson 21.6 Immutable Attributes Lesson 21.6 Immutable Attributes	Lesson 21.6 Immutable Attributes Getters and setters have another advantage in that they allow us to completely disable to any changes to an attribute. This allows us to separate attributes into mutable and immutable attributes,… attribute person turtle setter attributes setters getters initializer class things definition preconditions getter alright underscore distinction error fact statement assignment From Hannah Lee 75 plays Content Categories Instructional Recordings Creation Date October 29, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
07:37 Lesson 21.4 Invariant Enforcement Lesson 21.4 Invariant Enforcement	Lesson 21.4 Invariant Enforcement We know how to enforce preconditions, but how do we force invariants for our attributes? As we see in this video, we do it much the same as for preconditions. But that is because we are going to… preconditions methods class attributes precondition statements invariance method hour purpose object getter programmer minute initializer attribute setter problem invariants values From Hannah Lee 86 plays Content Categories Instructional Recordings Creation Date October 29, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
09:12 Lesson 21.3 Interface Implementation Lesson 21.3 Interface Implementation	Lesson 21.3 Interface Implementation Once you have the interface to a class, it is time to start writing code. As we see in this video, the idea is much the same as writing functions. However, attributes – and specifically… class minutes method invariant hours object attributes specification invariance preconditions function parameter hour invariants methods percent initializer attribute precondition responsibility From Hannah Lee 77 plays Content Categories Instructional Recordings Creation Date October 29, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
03:13 Lesson 20.4 Classes Specifications Lesson 20.4 Classes Specifications	Lesson 20.4 Classes Specifications Classes are something we can define. That means we need a specification to tell us what it means for a definition to be correct. In this video we cover the basics of a class specification, and show… class function attributes specification summary definition invariant boss attribute worker object specifications string invariance definitions preconditions variance conditions pre parameters From Hannah Lee 72 plays Content Categories Instructional Recordings Creation Date October 27, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
09:07 Lesson 17.3 Recursion and the Call Stack Lesson 17.3 Recursion and the Call Stack	Lesson 17.3 Recursion and the Call Stack Because a recursive function calls itself, it will have multiple call frames on the call stack. In this video we show exactly why we should be concerned about this and why it will affect our function… fibonacci call recursion python base frames definition things frame wheels training error factorial function stack module cases preconditions memory loops From Hannah Lee 122 plays Content Categories Instructional Recordings Creation Date October 19, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
50:42 Zoom Oct. 8. Asserts and Error Handling Zoom Oct. 8. Asserts and Error Handling	Zoom Oct. 8. Asserts and Error Handling In this session we review how we read error messages in Python. We also show how to both create errors and how to recover from them.Once again, we will spend a significant amount of this class on… error exam assignment string function alright lot call majority things thing questions letters helper question lab net preconditions fact quotes From Hannah Lee 21 plays Content Categories Instructional Recordings Creation Date October 10, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
08:24 Lesson 13.6 Assert Helpers Lesson 13.6 Assert Helpers	Lesson 13.6 Assert Helpers Sometimes we absolutely need to enforce all of our preconditions, and we cannot live with the compromises of the previous video. In this video we show how to use top-down design to give us more… space function spaces string words precondition preconditions currency helper middle word format statement thing exchange asserts stuff character end beginning From Hannah Lee 46 plays Content Categories Instructional Recordings Creation Date October 10, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
04:54 Lesson 11.6 Attribute Invariants Lesson 11.6 Attribute Invariants	Lesson 11.6 Attribute Invariants When you work on Assignment 3, you will discover that the color objects have some significant restrictions on how they can be used. These restrictions are called attribute invariants, and they are… object preconditions class attributes invariance classes function color documentation cs intro invariants rgb invariant float dot integers values webpage objects From Hannah Lee 67 plays Content Categories Instructional Recordings Creation Date October 01, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
04:47 Lesson 7.4 Preconditions Categories Lesson 7.4 Preconditions Categories	Lesson 7.4 Preconditions Categories In this video, we break our preconditions up into categories. The primary reason for this is to help us analyze a specification. It will also become extremely imporant when we talk about enforcement… precondition float restriction string operations sense specification variable condition pre function language restrictions languages definition tools text x. values preconditions From Hannah Lee 52 plays Content Categories Instructional Recordings Creation Date September 23, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
04:12 Lesson 7.3 Preconditions Lesson 7.3 Preconditions	Lesson 7.3 Preconditions The one thing that we have not talked about yet are the preconditions in a specification. However, as this video shows, they are arguably the most important part of the specification. They are what… function precondition person specification developer microsoft preconditions definer float specifications fault tools developers string hand return centigrade call parameter grade From Hannah Lee 56 plays Content Categories Instructional Recordings Creation Date September 23, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
42:27 CS2110-FA17-05 Session 05 CS2110-FA17-05 Session 05	CS2110-FA17-05 Session 05 2017-09-05 00:00:00+00 computing terminology assertion color earth implementation java programming language visible class infographics person videonote writing inside field philosophical terminology design signal processing programming constructs functionality constructor tests class-based programming languages theoretical computer science method (computer programming) materialize statistical terminology fall 2017 diagrams anti-patterns political science terms formal methods straightforward caption complete method preconditions systems theory logic in computer science library science block parameter thing statement write declaration variable (computer programming) geography linguistics debugging computer science p.c. variable superclass subclass object cell biology super From [email protected] 230 plays