Chapter 7
Signature Declarations
A signature is to a
capsule as an interface is to a class. A signature is the equivalent of an interface in
object-oriented programming. It contains one or more abstract procedure signatures.
Each procedure signature has a return type, a name, and zero or more formal
parameters. This syntax is similar to interfaces in Java, except that for simplicity
we do not allow signature inheritance. Capsules may implement multiple
interfaces.
Let us extract a signature from the BankAccount capsule from above:
Listing 7.1: A signature for bank accounts
To have the BankAccount make use of this signature we write:
Listing 7.2: Implementing a signature
/* since both methods of declared in the signature where
already present in the original source code this is
the only line that needs modification. */
capsule BankAccount implements BankAccountSig{
double balance;
=> {
balance = 100.0;
}
void deposit(double money) {
balance += money;
}
void withdraw(double money) {
if(balance - money < 0) {
throw new InvalidTransactionException();
}
balance -= money;
}
}
already present in the original source code this is
the only line that needs modification. */
capsule BankAccount implements BankAccountSig{
double balance;
=> {
balance = 100.0;
}
void deposit(double money) {
balance += money;
}
void withdraw(double money) {
if(balance - money < 0) {
throw new InvalidTransactionException();
}
balance -= money;
}
}