Formattering av OO termer_亚博娱乐官网_亚博pt手机客户端登录

peterol
2025-08-29T13:41:43.701Z
type:structured-message
www.uio.no

Termer i objekt-orienterte systemer kan fort bli uleselige hvis de ikke blir vist p? en "fin" m?te. Jeg har et litt grovt forslag til hvordan man f?r man fin output p? OO termer. Legg til f?lgende tre "format (...)" attributter til modulen CONFIGURATION nederst i filen "prelude.maude", som hos meg da blir:

mod CONFIGURATION is
sorts Attribute AttributeSet .
subsort Attribute < AttributeSet .
op none : -> AttributeSet [ctor] .
op _,_ : AttributeSet AttributeSet -> AttributeSet
[format (o m nssssssso o) ctor assoc comm id: none] .

sorts Oid Cid Object Msg Portal Configuration .
subsort Object Msg Portal < Configuration .
op <_:_|_> : Oid Cid AttributeSet -> Object [ctor object
...