Issue 14545: Variable needs initialization in InputPinActivation::receiveOffer (fuml-ftf)
Source: Model Driven Solutions (Mr. Ed Seidewitz, ed-s(at)modeldriven.com)
Nature: Uncategorized Issue
Severity: 
Summary: Specification: Semantics of a Foundational Subset for Executable UML Models (ptc/2008-11-03)
Subclause:  8.6.2.2.5 InputPinActivation

 

In the method for InputPinActivation::receiveOffer, the declaration “boolean ready;” should have an initialization, per the requirements of Annex A.


Resolution: Actually, the offending declaration is in the method for isReady, not receiveOffer. It should have an initialization.
Revised Text: In Subclause 8.6.2.2.5, at the beginning of the InputPinActivation::isReady code, replace:

boolean ready;
if (!super.isReady()) {
    ready = false;
} else {
…
with:

boolean ready = super.isReady;
if (ready) {
…

Actions taken:
October 8, 2009: received issue
July 23, 2010: closed issue
Discussion: 

End of Annotations:=====
ubject: Variable needs initialization in InputPinActivation::receiveOffer
Date: Thu, 8 Oct 2009 16:26:15 -0400
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: 
Thread-Topic: Variable needs initialization in InputPinActivation::receiveOffer
thread-index: AcpIVZWO8tx2dXnRSJiSWC/CxIMGgw==
From: "Ed Seidewitz" <ed-s@modeldriven.com>
To: <Issues@omg.org>


Specification: Semantics of a Foundational Subset for Executable UML Models (ptc/2008-11-03)
Subclause:  8.6.2.2.5 InputPinActivation

 

In the method for InputPinActivation::receiveOffer, the declaration .boolean ready;. should have an initialization, per the requirements of Annex A.