EiffelProgrammingLanguage.ppt

Eiffel Programming Language; Chad Frommeyer CSC 407/507 Fall 2005 Dr. Richard Fox;History;Overview;Overview (Continued);Hello World;Basic Instructions;Assignment;Object Creation;Data Types;Reference Types;Expanded Types;Routine/Function Call;Conditional;Looping/Iteration;Choice/Switch/Case;Generic Classes;Creation Routines/Constructors;Exception Handling;Exception Handling (Cont.);Design By Contract;Assertion Monitoring;Sample DBC;Sample DBC (Cont.);Object Oriented;Object Oriented (Cont.);Polymorphism;Inheritance;Inheritance (Cont.);Inheritance (Cont.);Inheritance (Cont.);In-Class Documentation;class ACCOUNT feature balance: INTEGER -- Attribute owner: PERSON minimum_balance: INTEGER is 1000 open (who: PERSON) is -- Routine -- Assign the account to owner who. do owner := who end deposit (sum: INTEGER) is -- Deposit sum into the account. do add (sum) end withdraw (sum: INTEGER) is -- Withdraw sum from the account. do add (-sum) end may_withdraw (sum: INTEGER): BOOLEAN is -- Function -- Is there enough money to withdraw sum? do Result := (balance = sum + minimum_balance) –- Return value end feature {NONE} add (sum: INTEGER) is –- Private/Secret Routine -- Add sum to the balance. do balance := balance + sum end end -- class ACCOUNT ;Bibliography