Eclipse Community Forums: UML2 » Erroneous Constraint in 17.5.3 TemplateBinding

Home » Modeling » UML2 » Erroneous Constraint in 17.5.3 TemplateBinding

Erroneous Constraint in 17.5.3 TemplateBinding [message #626371]

Wed, 09 April 2008 05:24

Eclipse User

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

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

Goto Forum:

-=] Back to Top [=-

Current Time: Sun Aug 31 10:21:56 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter