Z++
Z++ (pronounced zed plus plus) is an object-oriented extension to the Z specification language.
Z++ allows for the definition of classes, and the relation of classes through inheritance, association, or aggregation. The primary construct of Z++ is a class. A Z++ class consists of a number of clauses which are optional.
Z++ class structure
CLASS ClassName [OWNS List_of_attributes] [FUNCTIONS constant_definitions] [TYPE type_declaration] [ENTENDS list_of_super_classes] [OPERATIONS list_of_state_change_operations_definitions] [RETURNS list_of_query_operations_definitions] [ACTIONS all_operations_declarations] [INVARIANT predicates] [HISTORY RTL_predicates] END CLASS
gollark: Dropping per-file headers entirely would make various things nicer, but also probably decrease the format's resilience to cryoapiaristic entities.
gollark: Also, filenames are not fixed-length, thusly things.
gollark: I want to avoid actually writing parsing code as much as practical.
gollark: Specifically, moving the per-file headers to go *after* the files or perhaps entirely removing them, and length-prefixing both actual file content and the per-file metadata.
gollark: <@309787486278909952> Given various difficulties with implementing another implementation of the decompressor, I'm thinking about some changes.
See also
References
This article is based on material taken from the Free On-line Dictionary of Computing prior to 1 November 2008 and incorporated under the "relicensing" terms of the GFDL, version 1.3 or later.
- Lano, K.C., Z++, an Object-Oriented Extension to Z. Z User Workshop, Oxford 1990, Springer, Workshops in Computing, 1991, pp. 151–172.
- Lano, K.C., Formal Object-Oriented Development. Springer-Verlag, London, 1995.
- AAOB - Thesis 2009.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.