Inhalt. SWP - Programmiersprachen. Datentypen. Datentypen (II) Datentypen Beispiele (II) Datentypen - Beispiele

Transkript

1 Inhalt SWP - Programmiersprachen Datentypen Sichtbarkeit / Parameterübergabe Struktur / Programmorganisation Franz Wotawa Institut für Softwaretechnologie wotawa@ist.tugraz.at Parallelität Exceptions Verifikation Prog.sprachenkonzepte Aspects 2 Datentypen Datentypen (II) Jede Sprache verwendet implizit oder explizit Datentypen Unterscheidung: (strongly) typed languages weakly (un-) typed languages Zuordnung Datentypen zu Variablen Überprüfung der Datentypen Ableitung von Datentypen Anmerkung: Unterscheidung basiert auf Überprüfungen zur Compile-Time 3 4 Datentypen - Beispiele Datentypen Beispiele (II) SML (strongly typed) fun inc x = x + 1; Signature inc: int int Java (strongly typed) public int inc (x : int) { return x + 1; Smalltalk (untyped): Methode inc bei Klasse Integer inc ^self + 1; Andere untyped languages: Perl, Basic,.. Charakteristik: Meistens keine Variablendeklarationen! 5 6 1

2 Zusammenfassung Datentypen Sichtbarkeit Strongly-typed languages: Der zu einer Variablen zugeordnete Datentyp kann zur Compile-Time abgeleitet werden. Vorteil: Fehler können schon zur Compile- Time gefunden werden. Beispiel: 1. Der Aufruf abc inc in Smalltalk liefert einen Fehler zur Laufzeit, da die Funktion inc nicht für Strings definiert ist. 2. Der Java-Aufruf inc( abc ) liefert einen Fehler während der Compilierung. Welche Deklarationen sind wo sichtbar? Arten von Deklarationen: Variablen, Klassen, Funktionen, 7 8 Sichtbarkeit Beispiele (I) Sichtbarkeit Beispiele (II) main () { int a = 0; int b = 0; { int b = 1; { int a = 2; { int b = 3; Welche Deklaration ist in welchem Block gültig? program dynamic (input, output); var r: real; procedure show; begin write(r) end; procedure small; var r : real; begin r := 0.125; show end; begin r := 0.25; show; small; writeln; show; small; writeln; end Was liefert das Programm dynamic? 9 10 Parameterübergabe Call-by-Value Wie werden Parameter beim Aufruf übergeben? Beispiel: procedure exchange(i,j: integer); var x: integer; begin x := a[i]; a[i] := a[j]; a[j] := x end Alle aktuellen Parameter werden ausgewertet. Die Werte werden an die Parameter (Variablen) weitergegeben. Auch Pointer können als Wert übergeben werden

3 Call-by-Reference Call-by-Name Anstelle der Werte wird ein Pointer auf die Speicherstelle des aktuellen Parameters übergeben. Anmerkungen: Eigene Keywords zur Unterscheidung von Call-by-Value und Call-by-References (z.b. PASCAL: var) Arrays werden normalerweise als Referenz übergeben. Die Prozedur wird als Makro betrachtet. Der Body der Prozedur wird anstelle des Prozeduraufrufs substituiert. Alle Parameter der Prozedur werden durch die aktuellen Parameter ersetzt. Problem: exchange(i,a[i]) wird zu x := i; i := a[i]; a[i] := x Struktur von Programmen Implementierung vor der Strukturierten Programmierung Mikroebene 1. u := x; Statements, Blöcke, Funktionen, Prozeduren, Klassen, Makroebene Libraries, Components, Packages, 2. result := y; 3. if u = 0 goto 7; 4. result := result + 1; 5. u := u 1; 6. goto 3; 7. _ Implementierung Strukturierter Code Implementierungsunterschiede Funktionenaufrufe 1. u := x; 2. result := y; 3. while u!= 0 do 4. result := result + 1; 5. u := u 1; 6. end; 7. _ write(inc(x)); public int inc (x:int) { return x+1; 1: z := x; 2: goto 123; 3: goto 200; 123: z := z+1; 124: goto 3; 200: System call

4 Funktionen, Prozeduren,.. Module, Klassen, Stellen eine Zusammenfassung von Funktionalität dar, die eine eindeutige Schnittstelle aufweist. Charakteristika Schnittstelle Implementierung Problem: Schnittstelle und Implementierung hängen zusammen! Modul: Schnittstelle Implementierung (getrennt von der Schnittstelle) Kommunikation nur über die Schnittstelle. Modul hat einen Zustand (wie eine Klasse). Im Prinzip mehrere Implementierung zu einer Schnittstelle möglich Implementierung in Prog.sprachen Parametrisierte Strukturen Modulkonzept in MODULA Klassen OO-Sprachen z.b. Java public class LPredicate extends LObject { public String identifier; Instanzvariablen. LPredicate() { Konstruktoren arguments = new Vector(); identifier = null; Methoden public String tostring(){. Problem: Für verschiedene Datentypen benötigt man unterschiedliche Implementierungen (aufgrund des Typsystems). z.b. Funktoren in SML oder Templates in C Parametrisierte Strukturen - Beispiel Software Components Implementierung einer geordneten Liste Man braucht Ordnungsrelation, z.b., < für Zahlen. fun gt() Datentyp int mit > Relation > Ersetze jedes Vorkommnis von gt durch > 23 A component is a physical, replaceable part of a system that packages implementation, and confirms to and provides the realization of a set of interfaces. Unit of Reuse! Source File, ActiveX control, JavaBeans, Java servlets, Beinhalten viele Klassen und Interfaces 24 4

5 Software Components (II) Components SE-Aspekte <<designsubsystem>> design class interface <<trace>> {1:1 <<implementationsubsystem>> component Bereitstellung von Funktionalität durch Wohldefiniertes Interface Kapselung / Information Hiding Beschreibung (der Funktionalität) Ermöglicht Austausch von Komponenten Handel Automatische Erstellung von Programmen Packages, Libraries Packages und Prog.Sprachen.. Verwendungen: Zusammenfassen von Elemente mit ähnlicher Semantik Abgrenzung Semantische Bereiche Einheiten für Configuration Management Einheiten für das parallele Arbeiten Trennung von Name-Spaces z.b. in Java: Zugriff auf ein Element package myprojekt-parta; eines Packages. import java.util.enumeration; import java.util.vector;. Name Space (=? Package) Parallelität Wie können Tasks/Prozesse parallel gestartet und synchronisiert werden? In C: Kein Element der Sprache! In Java: Es gibt Teilaspekte (Keyword: synchronized bei Methoden), die in der Sprache sind. Sprachen, die Parallelität unterstützen sind z.b. Ada, VHDL, Beispiel - VHDL entity test is port(i : in bit, O: out bit); end test; behavior behav of test is signal S: bit; Prozesse arbeiten begin parallel! Synchronisierung p1: S <= not S after 10 ns; über Signale p2: O <= S xor I; end behav;

6 Exceptions Zweck von Exceptions Programm = Implementierung der gewünschten Eigenschaften (Funktionalitäten) 1. Schritt: Nur Berücksichtigung des gewünschten Verhaltens Aber: Fehlerhandling (z.b. falsche Benutzereingaben) muß ebenfalls berücksichtigt werden. Fehlerhandling kann bis zu 90 Prozent des Codes ausmachen (bei Steuerungsprogrammen)! Abfangen von unerwünschten Verhalten ohne (zu) großen Programmieraufwand. z.b.: Division durch 0 bei x = y / z; Falsche Benutzereingabe. Benutzer gibt keine Eingabe ein (= Leerstring) und läßt das Programm weiterlaufen. Funktion (z.b. I/O) liefert nicht immer das gewünschte Resultat Exceptions in Java Exceptions in Java (cont.) try-catch-finally Statement! Beispiel: try { Zusätzliches throw Statement um Exceptions durch Programme initiieren zu können. X = y / z catch (exception e) { System.err.println("Exception caught: " + e.getmessage()); Sollte NICHT als Ersatz für Control- Flow-Statements (if-then-else,) verwendet werden!!!! finally { /* Do nothing */ Verification Assertions Wie kann man Überprüfen das ein Programm hinsichtlich seiner Spezifikation funktioniert? Testfälle Formale Methoden Beweismethoden Direkte Überprüfung von Bedingungen im Code Wird nur von wenigen Programmiersprachen direkt bereitgestellt. Statement im Code, das zur Laufzeit ausgeführt wird und Bedingungen überprüft. z.b.: ASSERT in VHDL Beispiel: Ein Wert einer Variable muß bestimmte Eigenschaften haben. ASSERT x < 10 REPORT x is smaller than 10 SEVERITY error;

7 Design-by-Contract Beyond OOP? Methoden muß bestimmte Eigenschaften aufweisen PRE- und POST-Conditions sowie Dateninvarianten z.b. In Eiffel: require z!= 0 do x := y / z ensure y = x * z Es gibt Sichtweisen auf Programme, die nur schwer unter ein Konzept zu bringen sind. Bei OO-Design werden nur manche Aspekte berücksichtigt. Die fehlenden Aspekte können nur schwer integriert werden Beispiel Klasse Figure Different Aspects. Figure Point getx() gety() setx(int) sety(int) FigureElement Line getp1 getp2 setp1(point) setp2(point) DisplayUpdating ALTERNATIVE SICHTWEISE Design Sichtweise hinsichtlich der Zerlegung in Klassen und Erstellung einer Klassenhierarchie Design hinsichtlich Graphischer Elemente vs. Design hinsichtlich dem Tracking von Bewegungen AspectJ Vorteile von Aspects aspect SimpleTracing() { pointcut traced(): call(void Display.update()) call(void Display.repaint()); before(): traced() { println( Entering: + thisjoinpoint); void println (String str) {. Alternative Funktionalität wird zentral gespeichert, geschrieben, verändert,.. Es ist nicht notwendig zusätzlichen Code im Programm zu verteilen. Zusätzlicher Code kann einfach entfernt werden. Kann für Verifikation verwendet werden. Immer wenn eine Methode x aufgerufen wird, wird ein Überprüfung durchgeführt

8 Literatur zu Aspect-Oriented- Programming Zusammenfassung der VU Special Issue on AOP, Communication of the ACM, Oct. 2001, Vol. 44, No Lehrziele Syntax vs. Semantik von Programmiersprachen Programmiersprachendesign Syntax: Grammatiken, LL(1) Parsing (Operationale) Semantik, Programmiersprachenkonzepte Funktionale Sprachen Imperative Sprachen / Assignment Sprachen OO Sprachen Logische Programmiersprachen Klassifikation von Programmiersprachen hinsichtlich Ausdrucksstärke, 45 8