CS : Data Structures

Transcription

1 CS : Data Structures Michael Schatz Sept 7, 2016 Lecture 2: Introduction to Interfaces

2 Course Webpage: Course Discussions: Welcome! Office Hours: 2:45pm 4pm, Malone 323 CA office hours throughout the week J Programming Language: Java with Checkstyle and JUnit Virtual Machine (Lubuntu) or CS acct. Accounts for Majors (CS/CE) & Minors: If you do not already have a personal CS departmental unix account, please complete an account request form ASAP. Check "Linux Undergrad" for account type. (Note - must be declared to be eligible.) Accounts for Others: We have specific course accounts already made up - you must complete one of these forms in class on Friday 9/2. CS Lab access: Students must see Steve DiBlasio, with your J-card, in Malone G61A to get CS Lab access. The CS Lab is Malone 122 and that's where course TA/ CAs will be available for help.

3 Assignment 1: Due Sept 10pm

4 What is a computer? [hardware] RAM Hard Drive Working Storage 8 GB (small, fast, expensive) Permanent Storage 1TB (big, slow, cheap) Processor Arithmetic, logic # cores, clock speed Display Human Interface Network Computer Interface Home: 10Mb/s, JHU: 1Gb/s

5 What is a computer? [software] Office Applications Presentations, Documents Simple statistics and plots Files / Data Papers, sequences, measurements Operating System Mission Control Windows, Mac, Unix, ios Scientific Applications Specialized Analysis Commercial Code / Scripts Research Applications Academic

6 Virtual Machines Powerful way for 1 physical computer to run >1 operating system Run Windows Apps on a Mac host, run Linux within a PC Key technology for cloud computing

7 VirtualBox Client application available for Mac, Windows, Linux Available to run our reference virtual machine running linux Guaranteed that your development environment matches testing environment Make sure to install the Extension Pack and Guest Additions too

8 VirtualBox: Display Errors If you have a distorted view, switch to text console and then back to GUI: Host + F1 followed by Host + F7 On Mac: Left-Command+Fn+F1 followed by Left-Command+Fn+F7

9 VirtualBox: Enable Networking Make sure Network Adapter is enabled, Attached to NAT

10 VirtualBox: Enabled Shared folders 1. Create folder on your host machine (/Users/mschatz/shared) 2. Set up the shared folder in the VirtualBox Settings 3. Mount: $ sudo mount -t vboxsf shared share 4. Now files in your shared folder will magically appear inside the virtual machine

11 Our first application inside VirtualBox

12 Working with the command line

13 Introduction to Eclipse

14 Introduction to Checkstyle

15 Introduction to Checkstyle $ checkstyle -c cs226_checks.xml HelloWorld.java

16 Checkstyle Eclipse Plugin

17 Interfaces

18 What other interfaces do you know? Cars Elevators Pedestrian crossings & street lights

19 What other interfaces do you know? Cars Elevators Pedestrian crossings & street lights Java API Description of how objects, classes, keywords behave Implementations available for many many different platforms The internet: TCP/IP stack defines the protocols for computers to talk to each other Implementations available for different platforms Pokemon Go Walking around, touching on items causing some reaction Closed implementation and interface How would you write a Pokemon bot?

20 Data Structures Lists Trees Graphs Single/Double Stacks/Queues/Deques Skip Binary, AVL Trees Heaps Self Balancing Graph Representations Traversing Union Find Building, searching, traversing, analyzing Make you big-data superheros J

21 Introduction to Java Interfaces Objects define their interaction with the outside world through the methods that they expose. Methods form the object's interface with the outside world; the buttons on the front of your television set, for example, are the interface between you and the electrical wiring on the other side of its plastic casing. You press the "power" button to turn the television on and off. [ ] An interface is a group of related methods with empty bodies. interface Counter { int value(); void up(); void down(); } + - specification: Counter has an integer value + button increments by 1 - button decrements by 1 Specification can be a separate documents or in the javadoc comments

22 One Possible Implementation: BasicCounter /** The most basic counter. */ public class BasicCounter implements Counter { // Current value of the counter. private int value; /** A counter that starts at 0 and increments/decrements by 1. */ public BasicCounter() public int value() { return this.value; public void up() { this.value += 1; public void down() { this.value -= 1; } <continues>

23 One Possible Implementation: BasicCounter <continues> /** Simple assert-based unit tests for this counter. Make sure you run BasicCounter with -enableassertions! We'll learn a much better approach to unit testing later. args Command line arguments. */ public static void main(string[] args) { Counter c = new BasicCounter(); assert c.value() == 0; c.up(); assert c.value() == 1; c.down(); assert c.value() == 0; c.down(); c.up(); c.up(); c.up(); assert c.value() == 2; }

24 Power of Interfaces Interfaces form a contract between the class and the outside world, and this contract is enforced at build time by the compiler. If your class claims to implement an interface, all methods defined by that interface must appear in its source code before the class will successfully compile. The power of interfaces is that there may be multiple implementations of the same abstract idea. Toyotas and Porsches have totally different designs but knowing the interface of one lets you know how to use the other In question 2 you are asked to implement several different versions of the counter that do slightly different things: multiple/divide rather than add/ subtract. These variants are formally described through an abstract data type the specifies the contract that the interface will follow. Importantly, the interface only controls the syntax of what is allowed, the ADT and implementation define the semantics (meaning) of the code.

25 Algebraic Specification of Abstract Data Types # Counter ADT Specification. # # This specification does NOT cover all counters from Assignment 1. It works # fine for BasicCounter and SquareCounter, but not for FlexibleCounter. There # are some extra comments to introduce the syntax as well. adt Counter # name of specification uses Integer # specification(s) this one needs (imports) defines Counter # type(s) defined by this specification operations # operations(s) defined in this specification new: ---> Counter # constructor, "convert" TO Counter up: Counter ---> Counter # mutators, make Counters from Counters down: Counter ---> Counter # (in Java they'd change their receiver!) value: Counter ---> Integer # observer, "convert" FROM Counter axioms # axioms for the operations defined above value(new()) >= 0 # value of a new Counter is >= 0 value(up(c)) > value(c) # value of up'd Counter is > value before value(down(c)) <= value(c) # value of down'd Counter is <= value before # Axioms should be read as universally quantified. For example, the second # axiom is "for all counters c, the value of up(c) is > the value of c" if # read out aloud. The "rule of thumb" for finding axioms is to combine all # constructors/mutators with all observers and then stare at that until we # figure it out. :-) # Axioms are enforced by asserts and other test cases!

26 Next Steps 1. Reflect on the magic and power of interfaces J 2. Check on Piazza 3. Download class virtual machine, get CS account and/or set up Linux! 4. Get comfortable with a editor (VI rules!) and/or an IDE (Eclipse for Java) 5. Get comfortable with checkstyle 6. Work on Assignment 1: Due Sunday Sept 10:00 pm

27 Welcome to CS Questions?