Re: [Gzz] Storm interfaces

[Benja Fallenstein]

Tuomas Lukka wrote:

> > > What part is difficult? I can explain that here so Tuukka also gets it for
> > > his documentation.
> > >
> > >      
> > I don't understand the .uml format, and I don't understand the tags I 
> > have to put in the javadoc.
> >    
>
> Ok, 1. There are no tags in javadoc now: that's the older system.

Ah, that helps ;-)

> 2. UML file format: simple python-like space-oriented syntax: define
>  objects and connect them.
>  

Yes, I understood that much. But... Ok, let's walk through one 
step-by-step (core.uml):

- What is "jlinkpackage gzz"?
- What is "jlink"?
- What is "naryassoc"?
- How does the "assoc" command work? -- Guess: "assoc CLASS1 [compos] 
multi(NUMBER1) - multi(NUMBER2) CLASS2", meaning: connect CLASS1 to 
CLASS2, where NUMBER1 and NUMBER2 are 1, 7, 2..5, 0..*, * etc. But how 
does this interact with role() and naryassoc?
- It seems that you can assign some things to variables, e.g. assocs. 
What does it mean to write "foo = assoc xyz" instead of just "assoc 
xyz"? Or, are these MP linear equations, not assignments? If so, again, 
what do they mean/what are they for?
- What does "otq = qual" mean and why are there parameters to this 
assignment (fields)?

- Benja