User Tools

Site Tools


basics:ex7

Intro Ex1 Ex2 Ex3 Ex4 Ex5 Ex6 Ex7

The Basics: Exercise 7

From the aspect Basics, declare that the class Application implements the interface Iterable<String>.

Employ the form declare parents: Type implements Type.

This will raise a compiler error since Application does not provide an implementation for the iterator() method prescribed by the interface. We will also provide an implementation for this method from the aspect.

First, declare a public field name of type String for the Application class, with the default value “MyApplication”.

The inter-type declaration of members (fields or methods) has the same syntax as the ordinary declarations of members, but the method or field name must be prefixed by name of the receiving class and a dot (.).

Next, add a method iterator() with return type Iterator<String>. This method will return an iterator over the values of the two fields of the Application class. To construct this iterator, you can employ the following snippet inside the method body:

java.util.Arrays.asList(name, "go: " + go).iterator();

The declaration of this method should resolve the previous compiler error. To test the new code, add a new class ApplicationTest with the following implementation:

public class ApplicationTest {
  public static void main(String[] arg) {
    Application t = new Application();
    t.name = "YourApplication";
    for(String s: t)
      System.out.println(s);
  }
}

To start this new main method, right-click on the class ApplicationTest and select Run AsJava/AspectJ Application.

Beside the expected output, you might see output from your previous advices when you run the code from class ApplicationTest. Review your previous code and try to understand why they also apply to the new behavior.

Continue with the Invariants track.

basics/ex7.txt · Last modified: 2021/02/05 13:49 by 127.0.0.1