Generics in Java and Beyond
|
|
- Gwendoline Lucas
- 5 years ago
- Views:
Transcription
1 Generics in Java and Beyond Martin Buechi 2001 by Martin Büchi 1
2 Overview Generics Abstraction of generic concepts. C++ templates (STL), parameterized types, ML polymorphic data types and functions, Beta virtual types First usage: CLU 1977 Talk overview Introduction to generic programming Implementation techniques for generics Generics in JDK 1.5 (2003) 2
3 Stack: Generic Pattern & Generics class Stack { if(t.isinstanceof(o)) void push(object o) { Object pop() { public Stack(Class t) {this.t = t; private Class t; // stack of String Stack s = new Stack(); st.push( Hello ); st.push(new Object()); // ok exception unnecessary cast s = (String)st.pop(); run-time exception class Stack<A> { void push(a o) { A pop() { // stack of String Stack<String> s = new Stack<String>(); st.push( Hello ); st.push(new Object()); // compile-time error s = st.pop(); // no cast needed 3
4 Bounded Polymorphism interface Priority { int getpriority(); class A implements Priority { public int getpriority() { class PriorityQueue<E implements Priority> { E queue[]; void insert(e e) { if(e.getpriority() < queue[i].getpriority()) { PriorityQueue<A> p = new PriorityQueue<A>(); p.insert(new A()); 4
5 F-Bounded Polymorphism interface Comparable<I> { boolean lessthan(i o); class A implements Comparable<A> { public boolean lessthan(a o) { class SortedList<E implements Comparable<E>> { E list[]; void insert(e e) { if(e.lessthan(list[i])) { 5
6 Mix-Ins interface LessAndEqual<I> { boolean lessthan(i o); boolean equal(i o); class A implements LessAndEqual { class Relations<C implements LessAndEqual<C>> extends C { boolean lessthanequal(relations<c> a) { return lessthan(a) equal(a); Relations<A> x = new Relations<A>(); Relations<A> y = new Relations<A>(); if(x.lessthanequal(y)) { 6
7 Parameterized Methods public final class Std { public static <T implements Comparable> T min(t a, T b) { if(a.compareto(b) <= 0) return a; else return b; public class Main { public static void main(string[] args) { Integer b1 = new Integer(2); Integer b2 = new Integer(5); Integer bmin = Std.min(b1, b2); Date d1 = new Date(101, 05, 10); Date d2 = new Date(101, 03, 8); Date dmin = Std.min(d1, d2); System.out.println("The minimums are: " + bmin + " and " + dmin); 7
8 Bounds: Name vs Structural Subtyping class PriorityQueue<E implements Priority> { e.getpriority() class A implements Priority { int getpriority() { class B { int getpriority() { //ok PriorityQueue<A> p = new PriorityQueue<A>(); // compile-time error with name equivalence, ok with structural equivalence PriorityQueue<B> p = new PriorityQueue<B>(); class PriorityQueue<E where {int getpriority();> { 8
9 Insufficient Bounds: Duplicates/Overriding Duplicate methods class C<A implements I> { int m(a s) {return 1; int m(string s) {return 2; Instantiation C<String> illegal: two methods m(string). Overriding error class C<A implements I> extends A { int m() {return 1; class X implements I { void m() { Instantiation C<X> illegal: int m() cannot override void m(). Negative type information would be a solution 9
10 Insufficient Bounds: Instance Creation class C<A implements I> { void f() { A a = new A(); Actual parameter must be a concrete class abstract class X implements I { C<X> x = new C<X>() Actual parameter must have an accessible default constructor class Y implements I {Y(int i) {; C<Y> y = new C<Y>() Bound is insufficient Instantiation that satisfies bound visible from interface may be illegal. 10
11 Subtyping Subtyping of parameterized class implies subtyping class Collection<A> { class Set<A> extends Collection<A> { Collection<X> x = new Set<X> Instantion with subtype does not imply subtyping class Collection<A> { class Y extends X { Collection<Y> y = new Collection<Y>; Collection<X> x = y; // compile-time error x.insert(new X()); // would violate soundness Y[] y = new Y[10]; X[] x = y; // legal x[0] = new X(); //ArrayStoreExc. 11
12 Implementation: Textual Substitution Generic declaration treated as textual macro Source code necessary for instantiation Big and fast Every instantiation consumes secondary & primary storage Speed optimization possible at compile time (limited usefulness) Full reflective inquiry support Package-based accessibility too restrictive Instantiation of generic class p.x accessing package-protected class p.y with package-protected class q.z is not possible Runs on current JVM Reflection does not reveal genericity (Generic class, instantiation parameters(s)) C++ templates based on textual substitution 12
13 Implementation: Heterogeneous Translation Generic class compiled into extended class file Compilation of generic class produces generic class file Normal class file generated upon instantiation Rest as textual substitution 13
14 Implementation: Load-Time Instantiation Compilation of generic class into class file with extensions for compiler and loader Class loader creates instantiations Change of class loader required, but not of verifier/interpreter (security) Small in secondary, big at run-time, pretty fast Only one class file in secondary storage, fast to transmit (applets) Run-time memory needed for each instantiation Run-time (loader, JIT, adaptive) speed optimizations possible Full reflection Package-based accessibility too restrictive Generic class p.x accessing package-protected class p.y instantiated with package-protected class q.z is not possible Minimal changes to JVM required 14
15 Implementation: Generic JVM Compilation of generic class into class file with extensions for compiler and JVM JVM loads, verifies, and executes generic class file Change of JVM, including verifier/interpreter (security) Small in secondary, small at run-time, pretty fast Only one class file in secondary storage, fast to transmit (applets) JVM can optimize run-time memory vs. speed Full reflection Big change to JVM required 15
16 Implementation: Homogeneous Translation Compilation of generic class into class file with extensions for compiler only Formal type parameters replaced by bound Loss of type safety at run time (e.g., can push Object on stack of Strings) Small and slow Only one class file in secondary storage, fast to transmit (applets) Only one instance at run time No speed optimizations possible (small problem for reference types) Speed penalty due to casts Limited reflection Runs on current JVM 16
17 Generics in Java Last minute consideration by Gosling and Joy Scrapped due to time pressure, immature proposal, complexity Several proposals to add (ECOOP, OOPSLA) Java Community Process JSR14 Most wanted language feature in Bug Parade Most likely in JDK 1.5 in 2003 Based on GJ Published in OOPSLA 1998 Basis for javac in JDK 1.3 GJ contains generic version of Collection API Binary freely available for download 17
18 GJ: Overview F-bounded polymorphism No mix-ins (parameter as superclass) No change of the virtual machine Homogeneous translation Little support for reflection No instantiation with primitive types No non-type parameters (functors, constants, ) Solves the generic legacy problem 18
19 GJ: Old Code and New Generic Libraries Compilation: replacement of parameter by bound // GJ source class PQ<E implements Priority> { E queue[]; E removefirst() { PQ<A> p = new PQ<A>(); p.insert(new A()); A a = p.removefirst(); Combination with old code // Equivalent byte-code for JVM class PQ { Priority queue[]; Priority removefirst() { PQ p = new PQ(); p.insert(new A()) A a = (A)p.removeFirst(); For JVM, generic code is like code adhering to generic pattern Code compiled for non-generic version of Collection API works with compilation of generic API Compilation of new generic instantiations Class file extension contains bound and parameter 19
20 GJ: Retrofitting Old Code Retrofitting of non-generic binary code // Non-generic class // only binary available // PriorityQueue.class class PriorityQueue { Priority queue[]; Priority removefirst() { // Typing information for retrofitting // No/dummy implementation // PriorityQueue.java class PriorityQueue<E implements Priority> { E queue[]; E removefirst() {return null; gjc PriorityQueue.java -retro PathOfClassFile Adds generic type information from PriorityQueue.java to PriorityQueue.class. Does not change byte code used by JVM, only adds information for correct compilation of instantiations of generic class. Current GJ comes with retrofitted Collection API 20
21 Try It! JDK 1.5 now: GJ C++ templates (STL) Unbounded For the brave: gbeta Generics in form of virtual types. Run-time instantiation of generics 21
22 Read More! Genericity in Java Java Specification Request 14: Bank, Liskov, and Myers. Parameterized Types and Java. POPL 97. Thorup. Genericity in Java with Virtual Types. ECOOP 97. Agesen, Freund, and Mitchell. Adding Type Parameterization to the Java Language. OOPSLA 97. Bracha, Odersky, Stoutamire, and Wadler. Making the future safe for the past: Adding Genericity to the Java Programming Language. OOPSLA 98. Cartwright and Steele. Compatible Genericity with Run-time Types for the Java Programming Language. OOPSLA 98. Type theory Fisher and Mitchell. The Development of Type Systems for Object- Oriented Languages. Theory and Practice of Object Systems, 1(3):
23 Summary & Conclusions Generics are useful Reuse through instantiation of generic concept More compile-time error checking and fewer run-time exceptions Fewer casts: easier to write and faster to execute Implementations Different tradeoffs with respect to secondary and primary memory, speed, safety, reflection accuracy, and need for changes to the JVM. Generics in Java Official support in JDK 1.5, scheduled for 2003 GJ available now, generated code interoperable with normal Java 23
Generic programming in OO Languages
CS 242 2012 Generic programming in OO Languages Reading Text: Sections 9.4.1 and 9.4.3 J Koskinen, Metaprogramming in C++, Sections 2 5 Gilad Bracha, Generics in the Java Programming Language Questions
More informationParametric Polymorphism for Java: A Reflective Approach
Parametric Polymorphism for Java: A Reflective Approach By Jose H. Solorzano and Suad Alagic Presented by Matt Miller February 20, 2003 Outline Motivation Key Contributions Background Parametric Polymorphism
More informationGeneralizing Collection Classes Using Generics with other Java 1.5 Features Integration of Generics with Previous Releases User built generic classes
Java Generics 1 Concepts Generalizing Collection Classes Using Generics with other Java 1.5 Features Integration of Generics with Previous Releases User built generic classes 2 What Are Generics? Generics
More informationSafe Instantiation in Generic Java
Safe Instantiation in Generic Java January 31, 2003 Abstract This paper presents the safe-instantiation principle a new design principle for evaluating extensions of Java with support for generic types.
More informationComparison and Analysis to Extending a Existing Programming Language to Support Generics
Comparison and Analysis to Extending a Existing Programming Language to Support Generics Shu-Chun Weng Computer Science and Software Engineering Department National Taiwan University No.1, Sec. 4, Roosevelt
More informationPolymorphism. CMSC 330: Organization of Programming Languages. Two Kinds of Polymorphism. Polymorphism Overview. Polymorphism
CMSC 330: Organization of Programming Languages Polymorphism Polymorphism Definition Feature that allows values of different data types to be handled using a uniform interface Applicable to Functions Ø
More informationA Parameterized Type System for Race-Free Java Programs
A Parameterized Type System for Race-Free Java Programs Chandrasekhar Boyapati Martin Rinard Laboratory for Computer Science Massachusetts Institute of Technology {chandra, rinard@lcs.mit.edu Data races
More informationClasses, subclasses, subtyping
1 CSCE 314: Programming Languages Dr. Flemming Andersen Classes, subclasses, subtyping 2 3 Let me try to explain to you, what to my taste is characteristic for all intelligent thinking. It is, that one
More informationIntroduction to Programming Using Java (98-388)
Introduction to Programming Using Java (98-388) Understand Java fundamentals Describe the use of main in a Java application Signature of main, why it is static; how to consume an instance of your own class;
More informationDiscussion. Type 08/12/2016. Language and Type. Type Checking Subtypes Type and Polymorphism Inheritance and Polymorphism
Type Joseph Spring Discussion Languages and Type Type Checking Subtypes Type and Inheritance and 7COM1023 Programming Paradigms 1 2 Type Type denotes the kind of values that programs can manipulate: Simple
More informationGenerics, Type Safety, and Dynamic Data Structures
Generics, Type Safety, and Dynamic Data Structures 1 Reminders No classes, labs, recitations next week (gobble gobble) Consulting hours Monday only Project 8 (the final one!) is out start early Milestone
More informationOutline. Java Models for variables Types and type checking, type safety Interpretation vs. compilation. Reasoning about code. CSCI 2600 Spring
Java Outline Java Models for variables Types and type checking, type safety Interpretation vs. compilation Reasoning about code CSCI 2600 Spring 2017 2 Java Java is a successor to a number of languages,
More informationIntroduction to Visual Basic and Visual C++ Introduction to Java. JDK Editions. Overview. Lesson 13. Overview
Introduction to Visual Basic and Visual C++ Introduction to Java Lesson 13 Overview I154-1-A A @ Peter Lo 2010 1 I154-1-A A @ Peter Lo 2010 2 Overview JDK Editions Before you can write and run the simple
More informationPARAMETRIC POLYMORPHISM
PARAMETRIC POLYMORPHISM Java C#! Parametric polymorphism: " Java Generics and Generic C# for.net! The idea: the compiler is able to check parametric classes just looking at their definilon 1 Java Generics
More informationCS2113 Lab: Collections 10/29/2018
CS2113 Lab: Collections Yawei Wang 10/29/2018 Install and Use IntelliJ on Mac or Window If you haven t installed JDK before, go to https://www.oracle.com/technetwork/java/javaseproducts/downloads/in dex.html
More informationOn the Algorithm for Specializing Java Programs with Generic Types
On the Algorithm for Specializing Java Programs with Generic Types Daniel Selifonov, Nathan Dahlberg, Elena Machkasova Computer Science Discipline University of Minnesota Morris Morris MN, 56267 selif004,dahlb061,elenam@umn.edu
More informationLaboratoriodiProgrammazione III
LaboratoriodiProgrammazione III Lezione 15: Portabilità e Sicurezza, Java Massimo Tivoli Origins of the language James Gosling and others at Sun, 1990 95 Oak language for set top box small networked device
More informationINF 212 ANALYSIS OF PROG. LANGS Type Systems. Instructors: Crista Lopes Copyright Instructors.
INF 212 ANALYSIS OF PROG. LANGS Type Systems Instructors: Crista Lopes Copyright Instructors. What is a Data Type? A type is a collection of computational entities that share some common property Programming
More informationAtelier Java - J1. Marwan Burelle. EPITA Première Année Cycle Ingénieur.
marwan.burelle@lse.epita.fr http://wiki-prog.kh405.net Plan 1 2 Plan 3 4 Plan 1 2 3 4 A Bit of History JAVA was created in 1991 by James Gosling of SUN. The first public implementation (v1.0) in 1995.
More informationINF 212/CS 253 Type Systems. Instructors: Harry Xu Crista Lopes
INF 212/CS 253 Type Systems Instructors: Harry Xu Crista Lopes What is a Data Type? A type is a collection of computational entities that share some common property Programming languages are designed to
More informationSafe Runtime Downcasts With Ownership Types
Safe Runtime Downcasts With Ownership Types Chandrasekhar Boyapati, Robert Lee, and Martin Rinard Laboratory for Computer Science Massachusetts Institute of Technology 200 Technology Square, Cambridge,
More informationCS 11 java track: lecture 1
CS 11 java track: lecture 1 Administrivia need a CS cluster account http://www.cs.caltech.edu/ cgi-bin/sysadmin/account_request.cgi need to know UNIX www.its.caltech.edu/its/facilities/labsclusters/ unix/unixtutorial.shtml
More informationThe Java Programming Language
The Java Programming Language Slide by John Mitchell (http://www.stanford.edu/class/cs242/slides/) Outline Language Overview History and design goals Classes and Inheritance Object features Encapsulation
More informationFunctional Programming in Java. CSE 219 Department of Computer Science, Stony Brook University
Functional Programming in Java CSE 219, Stony Brook University What is functional programming? There is no single precise definition of functional programming (FP) We should think of it as a programming
More information6. Parametric Types and Virtual Types
6. Parametric Types and Virtual Types For many programming scenarios, subtype polymorphism is not the best choice. Often more precise type systems are desirable: Types with parameters Specialization of
More informationOutline. Object Oriented Programming. Course goals. Staff. Course resources. Assignments. Course organization Introduction Java overview Autumn 2003
Outline Object Oriented Programming Autumn 2003 2 Course goals Software design vs hacking Abstractions vs language (syntax) Java used to illustrate concepts NOT a course about Java Prerequisites knowledge
More informationChapter 5: Procedural abstraction. Function procedures. Function procedures. Proper procedures and function procedures
Chapter 5: Procedural abstraction Proper procedures and function procedures Abstraction in programming enables distinction: What a program unit does How a program unit works This enables separation of
More informationC# Adds Useful Features
C# Adds Useful Features Events and delegates are included to handle asynchronous actions (like keyboard or mouse actions). Properties allow user-defined read and write actions for fields. You can add get
More informationCSE P 501 Compilers. Java Implementation JVMs, JITs &c Hal Perkins Winter /11/ Hal Perkins & UW CSE V-1
CSE P 501 Compilers Java Implementation JVMs, JITs &c Hal Perkins Winter 2008 3/11/2008 2002-08 Hal Perkins & UW CSE V-1 Agenda Java virtual machine architecture.class files Class loading Execution engines
More information1 Shyam sir JAVA Notes
1 Shyam sir JAVA Notes 1. What is the most important feature of Java? Java is a platform independent language. 2. What do you mean by platform independence? Platform independence means that we can write
More informationIntroduction to C++ Introduction to C++ Dr Alex Martin 2013 Slide 1
Introduction to C++ Introduction to C++ Dr Alex Martin 2013 Slide 1 Inheritance Consider a new type Square. Following how we declarations for the Rectangle and Circle classes we could declare it as follows:
More informationCS 231 Data Structures and Algorithms, Fall 2016
CS 231 Data Structures and Algorithms, Fall 2016 Dr. Bruce A. Maxwell Department of Computer Science Colby College Course Description Focuses on the common structures used to store data and the standard
More information1.1. Annotations History Lesson - C/C++
1. Additions Thanks to Dr. James Heliotis. He started it all :) See also here: and see also here: and here: You need to use the tools from the Java release candidate 1 % bash % export PATH=/usr/local/j2sdk1.5.0-rc1/bin:$PATH
More informationJam: A Smooth Extension With Java Mixins
Jam: A Smooth Extension With Java Mixins Davide Ancona, Giovanni Lagorio, Ellena Zucca Presentation created by Left-out Jam abstract syntax Formal definitions of Jam static semantics Formal definitions
More informationAbstract Data Types. Stack. January 26, 2018 Cinda Heeren / Geoffrey Tien 1
Abstract Data Types Stack January 26, 2018 Cinda Heeren / Geoffrey Tien 1 Abstract data types and data structures An Abstract Data Type (ADT) is: A collection of data Describes what data are stored but
More informationCompiling Techniques
Lecture 10: Introduction to 10 November 2015 Coursework: Block and Procedure Table of contents Introduction 1 Introduction Overview Java Virtual Machine Frames and Function Call 2 JVM Types and Mnemonics
More informationModulo I Java Generics
Modulo I Java Generics Prof. Ismael H F Santos April 05 Prof. Ismael H. F. Santos - ismael@tecgraf.puc-rio.br 1 Ementa Modulo I - Tópicos em JAVA Generics (incompleto!) April 05 Prof. Ismael H. F. Santos
More informationThe Java Collections Framework. Chapters 7.5
The Java s Framework Chapters 7.5 Outline Introduction to the Java s Framework Iterators Interfaces, Classes and Classes of the Java s Framework Outline Introduction to the Java s Framework Iterators Interfaces,
More informationCS 520 Theory and Practice of Software Engineering Fall 2018
Today CS 520 Theory and Practice of Software Engineering Fall 2018 Object Oriented (OO) Design Principles September 13, 2018 Code review and (re)design of an MVC application (and encapsulation) Polymorphism
More informationGeneric Programming in C++, Delphi and Java
Generic Programming in C++, Delphi and Java Xu Wen-Sheng, Xue Jin-Yun College of Computer Information Engineering, Jiangxi Normal University, Nanchang 330027, China Key Laboratory for Computer Science,
More informationChapter 13 Object Oriented Programming. Copyright 2006 The McGraw-Hill Companies, Inc.
Chapter 13 Object Oriented Programming Contents 13.1 Prelude: Abstract Data Types 13.2 The Object Model 13.4 Java 13.1 Prelude: Abstract Data Types Imperative programming paradigm Algorithms + Data Structures
More informationCSCI-142 Exam 1 Review September 25, 2016 Presented by the RIT Computer Science Community
CSCI-12 Exam 1 Review September 25, 2016 Presented by the RIT Computer Science Community http://csc.cs.rit.edu 1. Provide a detailed explanation of what the following code does: 1 public boolean checkstring
More informationType Checking and Type Equality
Type Checking and Type Equality Type systems are the biggest point of variation across programming languages. Even languages that look similar are often greatly different when it comes to their type systems.
More informationObject Oriented Programming: In this course we began an introduction to programming from an object-oriented approach.
CMSC 131: Chapter 28 Final Review: What you learned this semester The Big Picture Object Oriented Programming: In this course we began an introduction to programming from an object-oriented approach. Java
More informationGraphical Interface and Application (I3305) Semester: 1 Academic Year: 2017/2018 Dr Antoun Yaacoub
Lebanese University Faculty of Science Computer Science BS Degree Graphical Interface and Application (I3305) Semester: 1 Academic Year: 2017/2018 Dr Antoun Yaacoub 2 Crash Course in JAVA Classes A Java
More informationCS 430 Spring Mike Lam, Professor. Data Types and Type Checking
CS 430 Spring 2015 Mike Lam, Professor Data Types and Type Checking Type Systems Type system Rules about valid types, type compatibility, and how data values can be used Benefits of a robust type system
More informationJava Design Goals. Lecture 32: Java. Java Original implementations slow! Exceptions & Subtyping. - void method readfiles() throws IOException {...}!
Java Design Goals Lecture 32: Java CSC 131 Fall, 2014 Kim Bruce Portability across platforms Reliability Safety (no viruses) Dynamic Linking Multithreaded execution Simplicity and Familiarity Efficiency
More informationTwo approaches to writing interfaces
Two approaches to writing interfaces Interface projected from implementation: No separate interface Compiler extracts from implementation (CLU, Java class, Haskell) When code changes, must extract again
More informationCSE Lecture 7: Polymorphism and generics 16 September Nate Nystrom UTA
CSE 3302 Lecture 7: Polymorphism and generics 16 September 2010 Nate Nystrom UTA 2 Polymorphism poly = many morph = shape Allow a variable to contain values with different types 3 Subtype polymorphism
More informationSelf Type Constructors. Atsushi Igarashi Kyoto University Joint work with Chieri Saito
Self Type Constructors Atsushi Igarashi Kyoto University Joint work with Chieri Saito 1 My Research Interests Type systems for static ananysis Linear types, resource usage analysis, etc. for object-oriented
More informationOOPs Concepts. 1. Data Hiding 2. Encapsulation 3. Abstraction 4. Is-A Relationship 5. Method Signature 6. Polymorphism 7. Constructors 8.
OOPs Concepts 1. Data Hiding 2. Encapsulation 3. Abstraction 4. Is-A Relationship 5. Method Signature 6. Polymorphism 7. Constructors 8. Type Casting Let us discuss them in detail: 1. Data Hiding: Every
More informationAssumptions. History
Assumptions A Brief Introduction to Java for C++ Programmers: Part 1 ENGI 5895: Software Design Faculty of Engineering & Applied Science Memorial University of Newfoundland You already know C++ You understand
More informationProgramming. Syntax and Semantics
Programming For the next ten weeks you will learn basic programming principles There is much more to programming than knowing a programming language When programming you need to use a tool, in this case
More informationAgenda CS121/IS223. Reminder. Object Declaration, Creation, Assignment. What is Going On? Variables in Java
CS121/IS223 Object Reference Variables Dr Olly Gotel ogotel@pace.edu http://csis.pace.edu/~ogotel Having problems? -- Come see me or call me in my office hours -- Use the CSIS programming tutors Agenda
More informationConcepts of Programming Languages
Concepts of Programming Languages Lecture 10 - Object-Oriented Programming Patrick Donnelly Montana State University Spring 2014 Patrick Donnelly (Montana State University) Concepts of Programming Languages
More informationJava Identifiers, Data Types & Variables
Java Identifiers, Data Types & Variables 1. Java Identifiers: Identifiers are name given to a class, variable or a method. public class TestingShastra { //TestingShastra is an identifier for class char
More informationGetting started with Java
Getting started with Java by Vlad Costel Ungureanu for Learn Stuff Programming Languages A programming language is a formal constructed language designed to communicate instructions to a machine, particularly
More informationJava TM Introduction. Renaud Florquin Isabelle Leclercq. FloConsult SPRL.
Java TM Introduction Renaud Florquin Isabelle Leclercq FloConsult SPRL http://www.floconsult.be mailto:info@floconsult.be Java Technical Virtues Write once, run anywhere Get started quickly Write less
More informationGenerics/Templates. Steven R. Bagley
Generics/Templates Steven R. Bagley Code reuse Often we implement a class Only to find that next week, we need to reuse it with just a slight tweak Collections, Containers are good examples class CIntStack
More informationCOE318 Lecture Notes Week 3 (Week of Sept 17, 2012)
COE318 Lecture Notes: Week 3 1 of 8 COE318 Lecture Notes Week 3 (Week of Sept 17, 2012) Announcements Quiz (5% of total mark) on Wednesday, September 26, 2012. Covers weeks 1 3. This includes both the
More information5/23/2015. Core Java Syllabus. VikRam ShaRma
5/23/2015 Core Java Syllabus VikRam ShaRma Basic Concepts of Core Java 1 Introduction to Java 1.1 Need of java i.e. History 1.2 What is java? 1.3 Java Buzzwords 1.4 JDK JRE JVM JIT - Java Compiler 1.5
More informationDepartment of Computer Science, 2 Elizabeth Drive. Stanford University r Chelmsford, MA 01824
Adding Type Parameterization to the Java Language Ole Agesen Stephen N. $reund* John C. Mitchell*. Sun Microsystems Laboratories Department of Computer Science, 2 Elizabeth Drive Stanford University r
More informationIntroduction to Java
Introduction to Java Module 1: Getting started, Java Basics 22/01/2010 Prepared by Chris Panayiotou for EPL 233 1 Lab Objectives o Objective: Learn how to write, compile and execute HelloWorld.java Learn
More informationINSTRUCTIONS TO CANDIDATES
NATIONAL UNIVERSITY OF SINGAPORE SCHOOL OF COMPUTING MIDTERM ASSESSMENT FOR Semester 2 AY2017/2018 CS2030 Programming Methodology II March 2018 Time Allowed 90 Minutes INSTRUCTIONS TO CANDIDATES 1. This
More informationJava TM. Multi-Dispatch in the. Virtual Machine: Design and Implementation. Computing Science University of Saskatchewan
Multi-Dispatch in the Java TM Virtual Machine: Design and Implementation Computing Science University of Saskatchewan Chris Dutchyn (dutchyn@cs.ualberta.ca) September 22, 08 Multi-Dispatch in the Java
More information6. Generic and Virtual Types
6. Generic and Virtual Types For many programming scenarios, subtype polymorphism is not the best choice. Often more precise type systems are desirable: Types with parameters Specialization of used types
More informationCOMP200 GENERICS. OOP using Java, from slides by Shayan Javed
1 1 COMP200 GENERICS OOP using Java, from slides by Shayan Javed 2 ArrayList and Java Generics 3 Collection A container object that groups multiple objects 4 Collection A container object that groups multiple
More informationSemantic Analysis. Outline. The role of semantic analysis in a compiler. Scope. Types. Where we are. The Compiler Front-End
Outline Semantic Analysis The role of semantic analysis in a compiler A laundry list of tasks Scope Static vs. Dynamic scoping Implementation: symbol tables Types Static analyses that detect type errors
More informationCS 520 Theory and Practice of Software Engineering Fall 2017
CS 520 Theory and Practice of Software Engineering Fall 2017 OO design principles September 14, 2017 Today Code review and (re)design of an MVC application OO design principles Information hiding (and
More informationOperators and Expressions
Operators and Expressions Conversions. Widening and Narrowing Primitive Conversions Widening and Narrowing Reference Conversions Conversions up the type hierarchy are called widening reference conversions
More informationArgument Passing All primitive data types (int etc.) are passed by value and all reference types (arrays, strings, objects) are used through refs.
Local Variable Initialization Unlike instance vars, local vars must be initialized before they can be used. Eg. void mymethod() { int foo = 42; int bar; bar = bar + 1; //compile error bar = 99; bar = bar
More information13 th Windsor Regional Secondary School Computer Programming Competition
SCHOOL OF COMPUTER SCIENCE 13 th Windsor Regional Secondary School Computer Programming Competition Hosted by The School of Computer Science, University of Windsor WORKSHOP I [ Overview of the Java/Eclipse
More informationIntroduction to Programming (Java) 2/12
Introduction to Programming (Java) 2/12 Michal Krátký Department of Computer Science Technical University of Ostrava Introduction to Programming (Java) 2008/2009 c 2006 2008 Michal Krátký Introduction
More informationCS121/IS223. Object Reference Variables. Dr Olly Gotel
CS121/IS223 Object Reference Variables Dr Olly Gotel ogotel@pace.edu http://csis.pace.edu/~ogotel Having problems? -- Come see me or call me in my office hours -- Use the CSIS programming tutors CS121/IS223
More informationLecture 1: Overview of Java
Lecture 1: Overview of Java What is java? Developed by Sun Microsystems (James Gosling) A general-purpose object-oriented language Based on C/C++ Designed for easy Web/Internet applications Widespread
More informationObject-oriented Programming. Object-oriented Programming
2014-06-13 Object-oriented Programming Object-oriented Programming 2014-06-13 Object-oriented Programming 1 Object-oriented Languages object-based: language that supports objects class-based: language
More informationGeneric types. Announcements. Raw ArrayLists. Generic types (cont.) Creating a raw ArrayList: Accessing a raw ArrayList:
Announcements PS 3 is ready Midterm exam 1: Tuesday, April 11, in class Closed book but one sheet, both sides, of A4 paper is allowed Today s topic: Generics (parameterized types) Readings for this slide
More informationClosed book but one sheet, both sides, of A4 paper is allowed. Section 2.5 of the text Generics in the Java Programming Languages by Gilad Bracha
Announcements PS 3 is ready Midterm exam 1: Tuesday, April 11, in class Closed book but one sheet, both sides, of A4 paper is allowed Today s topic: Generics (parameterized types) Readings for this slide
More informationTypes and Type Inference
CS 242 2012 Types and Type Inference Notes modified from John Mitchell and Kathleen Fisher Reading: Concepts in Programming Languages, Revised Chapter 6 - handout on Web!! Outline General discussion of
More informationCT 229 Object-Oriented Programming Continued
CT 229 Object-Oriented Programming Continued 24/11/2006 CT229 Summary - Inheritance Inheritance is the ability of a class to use the attributes and methods of another class while adding its own functionality
More informationThe role of semantic analysis in a compiler
Semantic Analysis Outline The role of semantic analysis in a compiler A laundry list of tasks Scope Static vs. Dynamic scoping Implementation: symbol tables Types Static analyses that detect type errors
More informationCompiler Construction 2009/2010 Polymorphic Types and Generics
Compiler Construction 2009/2010 Polymorphic Types and Generics Peter Thiemann January 10, 2010 Outline 1 Polymorphic Types and Generics 2 Parametric Polymorphism 3 Polymorphic Type Checking 4 Translation
More information182 review 1. Course Goals
Course Goals 182 review 1 More experience solving problems w/ algorithms and programs minimize static methods use: main( ) use and overload constructors multiple class designs and programming solutions
More informationC. E. McDowell August 25, Baskin Center for. University of California, Santa Cruz. Santa Cruz, CA USA. abstract
Unloading Java Classes That Contain Static Fields C. E. McDowell E. A. Baldwin 97-18 August 25, 1997 Baskin Center for Computer Engineering & Information Sciences University of California, Santa Cruz Santa
More informationContents. I. Classes, Superclasses, and Subclasses. Topic 04 - Inheritance
Contents Topic 04 - Inheritance I. Classes, Superclasses, and Subclasses - Inheritance Hierarchies Controlling Access to Members (public, no modifier, private, protected) Calling constructors of superclass
More informationInheritance and object compatibility
Inheritance and object compatibility Object type compatibility An instance of a subclass can be used instead of an instance of the superclass, but not the other way around Examples: reference/pointer can
More informationINDEX. A SIMPLE JAVA PROGRAM Class Declaration The Main Line. The Line Contains Three Keywords The Output Line
A SIMPLE JAVA PROGRAM Class Declaration The Main Line INDEX The Line Contains Three Keywords The Output Line COMMENTS Single Line Comment Multiline Comment Documentation Comment TYPE CASTING Implicit Type
More informationShort Notes of CS201
#includes: Short Notes of CS201 The #include directive instructs the preprocessor to read and include a file into a source code file. The file name is typically enclosed with < and > if the file is a system
More informationCSCI 135 Exam #2 Fundamentals of Computer Science I Fall 2013
CSCI 135 Exam #2 Fundamentals of Computer Science I Fall 2013 Name: This exam consists of 6 problems on the following 6 pages. You may use your two-sided hand-written 8 ½ x 11 note sheet during the exam.
More informationData types. Definitions Aggregate constructors User-defined type definitions Types and storage Types and subtypes Type systems and type checking
Data types Definitions Aggregate constructors User-defined type definitions Types and storage Types and subtypes Type systems and type checking Ghezzi&Jazayeri: Ch 3 1 Data types Definition: a set of values
More informationDynamic Instantiation-Checking Components
Dynamic Instantiation-Checking Components Nigamanth Sridhar Electrical and Computer Engineering Cleveland State University 318 Stilwell Hall, 2121 Euclid Ave Cleveland OH 44113 n.sridhar1@csuohio.edu ABSTRACT
More informationCSC207H: Software Design. Java + OOP. CSC207 Winter 2018
Java + OOP CSC207 Winter 2018 1 Why OOP? Modularity: code can be written and maintained separately, and easily passed around the system Information-hiding: internal representation hidden from the outside
More informationCMSC 341. Nilanjan Banerjee
CMSC 341 Nilanjan Banerjee http://www.csee.umbc.edu/~nilanb/teaching/341/ Announcements Just when you thought Shawn was going to teach this course! On a serious note: register on Piazza I like my classes
More informationAdvanced Java Concepts Unit 3: Stacks and Queues
Advanced Java Concepts Unit 3: Stacks and Queues Stacks are linear collections in which access is completely restricted to just one end, called the top. Stacks adhere to a last-in, first-out protocol (LIFO).
More informationJava for Non Majors Spring 2018
Java for Non Majors Spring 2018 Final Study Guide The test consists of 1. Multiple choice questions - 15 x 2 = 30 points 2. Given code, find the output - 3 x 5 = 15 points 3. Short answer questions - 3
More informationJava Security. Compiler. Compiler. Hardware. Interpreter. The virtual machine principle: Abstract Machine Code. Source Code
Java Security The virtual machine principle: Source Code Compiler Abstract Machine Code Abstract Machine Code Compiler Concrete Machine Code Input Hardware Input Interpreter Output 236 Java programs: definitions
More informationCS201 - Introduction to Programming Glossary By
CS201 - Introduction to Programming Glossary By #include : The #include directive instructs the preprocessor to read and include a file into a source code file. The file name is typically enclosed with
More informationFast Track to Core Java 8 Programming for OO Developers (TT2101-J8) Day(s): 3. Course Code: GK1965. Overview
Fast Track to Core Java 8 Programming for OO Developers (TT2101-J8) Day(s): 3 Course Code: GK1965 Overview Java 8 Essentials for OO Developers is a three-day, fast-paced, quick start to Java 8 training
More informationConformance. Object-Oriented Programming Spring 2015
Conformance Object-Oriented Programming 236703 Spring 2015 1 What s Conformance? Overriding: replace method body in sub-class Polymorphism: subclass is usable wherever superclass is usable Dynamic Binding:
More informationAgenda. Objects and classes Encapsulation and information hiding Documentation Packages
Preliminaries II 1 Agenda Objects and classes Encapsulation and information hiding Documentation Packages Inheritance Polymorphism Implementation of inheritance in Java Abstract classes Interfaces Generics
More information