Et1 Test Harness: Interface Classes
This is the Deployment Version (runs from built code). Go to the Developer's Version (runs from source code).
Supported Platforms:
Verification Targets:
  1. Generally, the interface class provided by Et1.oLang.oLang.Class.getInterface should work just like interfaces in Java.

    Specific instructions:
    1. Click the 'Run Test' button. If the test passes, the Et1 interface class facility is working properly.
    2. If desired, edit the inputs to produce errors. An exception will be thrown whenever the result deviates from Java's basic interface rules.
      • Detail: For example, the test checks to make sure that some inherited values add up to the string, "Design by contract (via interfaces) is important." Also, the class hierarchy is checked to make sure that all methods specified by interfaces are implemented (arity is not currently checked), and that all methods in the interfaces have empty implementations.

    Detail: Interfaces are listed as an array parameter to Et1.oLang.oLang.Class.getClass, after the class definition object. The parameter is the third parameter to Et1.oLang.oLang.Class.getClass.

    Known Issues

    No major issues. The only issues are minor ones with finals. For details see the issues with finals that are listed under "Known Issues" in the Final Values Test Harness.


Input: Part A

The superclass:

Input: Part B

An interface that another interface extends:

Input: Part C

The first interface to be implemented:

Input: Part D

The second interface to be implemented:

Input: Part E

The concrete class (to instantiate):

Output: Test Result