Wyznaczanie klas dziedziczonych w Javie. Aleksander Nałęczyński

HTML
DOWNLOAD

Wielkość: px

Rozpocząć pokaz od strony:

Download "Wyznaczanie klas dziedziczonych w Javie. Aleksander Nałęczyński"

Zofia Skowrońska
8 lat temu
Przeglądów:

1 Wyznaczanie klas dziedziczonych w Javie Aleksander Nałęczyński

2 Klasy zagnieżdżone Klasa zagnieżdżona to klasa, która jest składową (member( member) ) innej klasy. Klasa A dziedzicząca z klasy C otrzymuje własną kopię pól i metod z C Klasy A i B zagnieżdżone w klasie C korzystają wspólnie z tych samych pól i metod z klasy C

3 Klasy zagnieżdżone Kiedy używamy klas zagnieżdżonych? Gdy klasa ma sens tylko w kontekście klasy otaczającej, np. klasa kursora w kontekście klasy określającej komponent tekstowy. W API Javovym często występują klasy zagnieżdżone Component.AccessibleAWTComponent.AccessibleAWTFocusHandler

4 Statyczne klasy zagnieżdżone Klasy zagnieżdżone mogą być oznaczone jako statyczne (nested( static class) Możemy dowolnie tworzyć instancje statycznych klas zagnieżdżonych

5 Klasy wewnętrzne Niestatyczne klasy zagnieżdżone nazywamy klasami wewnętrznymi (inner( class) Instancja klasy wewnętrznej jest ściśle związana z instancją klasy otaczającej. Klasy wewnętrzne nie mogą mieć własnych składowych typu static, ale mogą je odziedziczyć

6 Klasy wewnętrzne Instancje klasy wewnętrznej można tworzyć tylko, jeśli istnieje instancja klasy otaczającej jeśli chcemy tworzyć je poza kodem klasy otaczającej, używamy składni: <nazwa instancji>.new <konstruktor>;

7 Jak to wygląda w UMLu? class A { class B {...

8 Klasy zagnieżdżone Można również deklarować klasy zagnieżdżone wewnątrz treści metod oraz jako klasy anonimowe

9 Przykład klasa wewnętrzna class Counter { int i; class Listener implements ActionListener { public void actionperformed(actionevent e) { i++; void listento(button B) { b.addactionlistener(new Listener());

10 Przykład anonimowa klasa wewnętrzna class Counter { int i; void listento(button B) { b.addactionlistener(new ActionListener(){ public void actionperformed(actionevent e) { i++; );

11 private, protected, public Klasy zagnieżdżone mają dostęp do wszystkich pól klasy otaczającej również tych oznaczonych jako private UWAGA w pierwszej wersji prezentacji znalazło się tutaj nieprawdziwe zdanie o podklasach klas zagnieżdżonych przepraszam za błąd

12 Problem class A { class B { class A { class C extends A { class D { class A { class E extends D.A { Po której klasie dziedziczy klasa C? A klasa E?

13 Rozwiązanie On correctness & completeness of an algorithm determining inherited classes and on uniqueness of solutions - Hans Langmaack, Andrzej Salwicki, Marek Warpechowski

14 Struktura klas Classes zbiór klas zadeklarowanych w programie plus Root i Object Id zbiór identyfikatorów klas Paths zbiór ciągów identyfikatorów rozdzielonych kropkami

15 Oznaczenia decl: Classes {Root -> > Classes decl(k) oznacza klasę zawierającą K name: Classes {Root -> > Id name(k) oznacza nazwę klasy K, name(root) jest niezdefiniowane, name(object) = Object ext: Classes {Root, Object -> > Paths ext(k) oznacza ścieżkę rozszerzenia wpisaną w tekście programu

16 Właściwości struktury klas decl(object) = Root para <Classes, decl> jest drzewem, którego korzeniem jest Root Jeśli K M i decl(k) = decl(m), to name(k) name(m)

17 Definicja funkcji bind Funkcja bind określa, do której klasy się odwołujemy używając identyfikatora klasy w tekście programu bind(ε in K) = Object bind(c in K) = (inh i decl j (K)).C ).C gdzie para (j,i) jest najmniejszą parą w porządku leksykograficznym taką, że klasa (inh i decl j (K)).C ).C jest zdefiniowana

18 Definicja funkcji bind bind(x.c in K) = (inh i (bind(x in K))).C gdzie i jest najmniejszą liczbą taką, że klasa (inh i (bind(x in K))).C jest zdefiniowana

19 Definicja relacji dep Definicja intuicyjna - <K,C> dep wtw gdy do obliczenia inh(k) potrzebujemy obliczonego inh(c) dep = {<K, bind(ext(k) i in decl(k)))> : 0 < i length(ext(k)) gdzie ext(k) i oznacza prefiks ext(k) długości i

20 Funkcja dziedziczenia Szukamy funkcji inh: Classes {Root, Object -> > Classes Dla każdej klasy K {Root, Object inh(k) = bind(ext(k) in decl(k)) to znaczy, że e określamy klasę,, po której dziedziczy K na podstawie tego, jak jest wiązana ścieżka ext(k) w klasie otaczającej. cej. Indukowana relacja dep nie może e mieć cykli

21 Algorytm Visited := {Root; Object; inh := Ø; while Visited Classes do Candidates := {K : decl(k) Visited K Visited if ( K Candidates) bind(ext(k) in decl(k)) Visited then let K be a Candidate found in the above test; M := bind(ext(k) in decl(k)); inh := inh {< K,M >; Visited := Visited {K else Error endif endwhile

22 class A { class B { class A { class C extends A { class D { class A { class E extends D.A { A B A C D E A

23 class A { class B { class A { class C extends A { class D { class A { class E extends D.A { A B A C D E A

24 class A { class B { class A { class C extends A { class D { class A { class E extends D.A { Object A B A C D E A

25 class A { class B { class A { class C extends A { class D { class A { class E extends D.A { Object A B A C D E A

26 class A { class B { class A { class C extends A { class D { class A { class E extends D.A { Object A B A C D E A

27 class A { class B { class A { class C extends A { class D { class A { class E extends D.A { Object A B A C D E A

28 class A { class B { class A { class C extends A { class D { class A { class E extends D.A { Object A B A C D E A

29 class A { class B { class A { class C extends A { class D { class A { class E extends D.A { Object A B A C D E A

30 class A { class B { class A { class C extends A { class D { class A { class E extends D.A { Object A B A C D E A

31 class A extends B.C { class B extends A.D { class G { class D { class C extends G { class I { class C { class D extends I{ Object A B G I D C C D

32 class A extends B.C { class B extends A.D { class G { class D { class C extends G { class I { class C { class D extends I{ Object A B G I D C C D

33 class A extends B.C { class B extends A.D { class G { class D { class C extends G { class I { class C { class D extends I{ Object A B G I D C C D

34 class A extends B.C { class B extends A.D { class G { class D { class C extends G { class I { class C { class D extends I{ Object A B G I D C C D

35 class A extends B.C { class B extends A.D { class G { class D { class C extends G { class I { class C { class D extends I{ A Object B G D I C C D

36 class A extends B.C { class B extends A.D { class G { class D { class C extends G { class I { class C { class D extends I{ A Object B G D I C C D

37 class A extends B.C { class B extends A.D { class G { class D { class C extends G { class I { class C { class D extends I{ A Object B G D I C C D

38 class A extends B.C { class B extends A.D { class G { class D { class C extends G { class I { class C { class D extends I{ A Object B G D I C C D

39 class A extends B.C { class B extends A.D { class G { class D { class C extends G { class I { class C { class D extends I{ A Object B G D I C C D Error!

40 class A extends B.C { class B extends A.D { class G { class D { class C extends G { class I { class C { class D extends I{ A Object B G D I C W relacji dep jest cykl: <A,B> dep i <B,A> dep Istnieją dwa możliwe rozwiązania: 1. inh(a) = G$D$C, inh(b) = G$D 2. inh(a) = I$C, inh(b) = I$C$D C Error! D

Podobne dokumenty

Programowanie obiektowe

Programowanie obiektowe IV. Interfejsy i klasy wewnętrzne Małgorzata Prolejko OBI JA16Z03 Plan Właściwości interfejsów. Interfejsy a klasy abstrakcyjne. Klonowanie obiektów. Klasy wewnętrzne. Dostęp do