Search for tag: "invariance"

4 Media

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
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 70 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