Eclipse Community Forums: UML2 » Erroneous Constraint in 17.5.3 TemplateBinding

Help

Home

Home » Modeling » UML2 » Erroneous Constraint in 17.5.3 TemplateBinding

Show: Today's Messages :: Show Polls :: Message Navigator

Erroneous Constraint in 17.5.3 TemplateBinding [message #626371]

Wed, 09 April 2008 09:24

Felix Dorner

Messages: 676
Registered: July 2009

Senior Member

Hey,

17.5.3 TemplateBinding, p.621:

"[1] Each parameter substitution must refer to a formal template parameter of the target template signature.
parameterSubstitution->forAll(b | template.parameter->includes(b.formal))"

I guess "template" should be replaced by "signature" here.

Felix

Report message to a moderator

Previous Topic:	profile from two meta-model
Next Topic:	Error in 17.5.7 Classifier

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Thu Apr 25 13:28:21 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter