Formattering av OO termer_澳门葡京手机版app下载

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
...