Skip to main content


Eclipse Community Forums

      Home
Home » Modeling » UML2 » Erroneous Constraint in 17.5.3 TemplateBinding
Erroneous Constraint in 17.5.3 TemplateBinding [message #477213] Wed, 09 April 2008 05:24 Go to next message
Eclipse UserFriend
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
Re: Erroneous Constraint in 17.5.3 TemplateBinding [message #477214 is a reply to message #477213] Wed, 09 April 2008 06:31 Go to previous messageGo to next message
Eclipse UserFriend
Felix Dorner wrote:

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

And also in the second constraint:

"[2] A binding contains at most one parameter substitution for each formal template parameter of the target template signature.
template.parameter->forAll(p | parameterSubstitution->select(b | b.formal = p)->size() <= 1)"
Re: Erroneous Constraint in 17.5.3 TemplateBinding [message #477220 is a reply to message #477213] Wed, 09 April 2008 10:55 Go to previous messageGo to next message
Eclipse UserFriend
Hey yourself :-)

.... Yes I think your are correct.


- James.


"Felix Dorner" <felix_do@web.de> wrote in message
news:fti217$cq1$1@build.eclipse.org...
> 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
Re: Erroneous Constraint in 17.5.3 TemplateBinding [message #477221 is a reply to message #477214] Wed, 09 April 2008 10:59 Go to previous message
Eclipse UserFriend
.... I think you are correct here aswell.


"Felix Dorner" <felix_do@web.de> wrote in message
news:fti5un$lro$1@build.eclipse.org...
> Felix Dorner wrote:
>
>> I guess "template" should be replaced by "signature" here.
>
> And also in the second constraint:
>
> "[2] A binding contains at most one parameter substitution for each formal
> template parameter of the target template signature.
> template.parameter->forAll(p | parameterSubstitution->select(b | b.formal
> = p)->size() <= 1)"
>
Re: Erroneous Constraint in 17.5.3 TemplateBinding [message #626372 is a reply to message #477213] Wed, 09 April 2008 06:31 Go to previous message
Eclipse UserFriend
Felix Dorner wrote:

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

And also in the second constraint:

"[2] A binding contains at most one parameter substitution for each formal template parameter of the target template signature.
template.parameter->forAll(p | parameterSubstitution->select(b | b.formal = p)->size() <= 1)"
Re: Erroneous Constraint in 17.5.3 TemplateBinding [message #626378 is a reply to message #477213] Wed, 09 April 2008 10:55 Go to previous message
Eclipse UserFriend
Hey yourself :-)

.... Yes I think your are correct.


- James.


"Felix Dorner" <felix_do@web.de> wrote in message
news:fti217$cq1$1@build.eclipse.org...
> 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
Re: Erroneous Constraint in 17.5.3 TemplateBinding [message #626379 is a reply to message #477214] Wed, 09 April 2008 10:59 Go to previous message
Eclipse UserFriend
.... I think you are correct here aswell.


"Felix Dorner" <felix_do@web.de> wrote in message
news:fti5un$lro$1@build.eclipse.org...
> Felix Dorner wrote:
>
>> I guess "template" should be replaced by "signature" here.
>
> And also in the second constraint:
>
> "[2] A binding contains at most one parameter substitution for each formal
> template parameter of the target template signature.
> template.parameter->forAll(p | parameterSubstitution->select(b | b.formal
> = p)->size() <= 1)"
>
Previous Topic:Error after applying the stereotype EClass to a Class
Next Topic:Re: Derive constraints
Goto Forum:
  


Current Time: Sun Aug 31 04:37:32 EDT 2025

Powered by FUDForum. Page generated in 0.03997 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top

Sign up to our Newsletter

A fresh new issue delivered monthly