# [sc34wg3] TMCL: 4.4.10 NameConstraint

Robert Barta rho at devc.at
Thu Feb 14 23:30:50 EST 2008

Relative to

http://kill.devc.at/system/files/tmcl.pdf

4.4.10 How is this intended?

A topicname constraint provides a way to constrain the type and
cardinality of topic names for instances of a given topic type.

So should ALL names of a certain class be of this name type? So that
there can never be a name type used not allowed. And such names occur
at least M and at most N times in that topic?

Or (more likely) should at least M and at most N times a name of this
given type be used for a topic of a certain class?

The latter would be

every $t in // $$type satisfies at least$$cardmin$n in $t / name satisfies$t >> types == $$nametype & at most$$cardmax $n in$t / name
satisfies \$t >> types == $$nametype or shorter every t in //$$type
satisfies
at least $$cardmin n in t /$$nametype
satisfies exist 1
& at most  $$cardmax n in t /$$nametype
satisfies exist 1

--

And a better (documented) example would help.

--

And what should the * mean in TMCL

NameConstraint (...., *, ....)

?

\rho