Next: Encoding of BML in Class File Format, Previous: Predicates and Specification Expressions, Up: Top