Next: , Previous: Class and Interface Specifications, Up: Class and Interface Specifications


4.1 Class and Interface Definitions

Classes and interfaces allow to define new types for Java (bytecode). They are quite similar: interfaces can be considered as a special kind of class definition with as main difference that method attributes do not contain a code attribute. In BML there is one exception to this: interfaces can contain model methods with implementation. Each type definition is stored in a separate class file, whose format is described in The Class File Format.

[Question for WU: model methods okay for interfaces?]