
...
According
...
to
...
The Java
...
Language
...
Specification
...
When used as a primary expression, the keyword
this
denotes a value that is a reference to the object for which the instance method was invoked (§15.12), or to the object being constructed....The type of
this
is the class or interface type T within which the keywordthis
occurs....At run time, the class of the actual object referred to may be T, if T is a class type, or a class that is a subtype of T.
The this
reference is said to have escaped when it is made available beyond its current scope. Following are common ways by which the this
reference can escape:
Returning
this
from a nonprivate, overridable method that is invoked from the constructor of a class whose object is being constructed (for more information, see MET05-J. Ensure that constructors do not call overridable methods).- Returning
this
from a nonprivate method of a mutable class, which allows the caller to manipulate the object's state indirectly. This situation commonly occurs in method-chaining implementations (see VNA04-J. Ensure that calls to chained methods are atomic for more information). - Passing
this
as an argument to an alien method invoked from the constructor of a class whose object is being constructed. - Using inner classes. An inner class implicitly holds a reference to the instance of its outer class unless the inner class is declared static.
- Publishing by assigning
this
to a public static variable from the constructor of a class whose object is being constructed. - Throwing an exception from a constructor. Doing so may cause code to be vulnerable to a finalizer attack (see OBJ11-J. Be wary of letting constructors throw exceptions for more information).
- Passing internal object state to an alien method, which enables the method to retrieve the
this
reference of the internal member object.
This rule describes the potential consequences of allowing the this
reference to escape during object construction, including race conditions and improper initialization. For example, declaring a field final ordinarily ensures that all threads see the field in a fully initialized state; however, allowing the this
reference to escape during object construction can expose the field to other threads in an uninitialized or partially initialized state. TSM03-J. Do not publish partially initialized objects, which describes the guarantees provided by various mechanisms for safe publication, relies on conformance to this rule. Consequently, programs must not allow the this
reference to escape during object construction.
In general, it is important to detect cases in which the this
reference can leak out beyond the scope of the current context. In particular, public variables and methods should be carefully scrutinized.
Noncompliant Code Example (Publish before Initialization)
This noncompliant code example publishes the this
reference before initialization has concluded by storing it in a public static volatile class field. Consequently, other threads can obtain a partially initialized Publisher
instance.
Code Block | ||
---|---|---|
| ||
{{this}} \[[JLS 2005|AA. Bibliography#JLS 05]\]: {quote} When used as a primary expression, the keyword {{this}} denotes a value that is a reference to the object for which the instance method was invoked (§15.12), or to the object being constructed. The type of {{this}} is the class {{C}} within which the keyword {{this}} occurs. At run time, the class of the actual object referred to may be the class {{C}} or any subclass of {{C}}. {quote} The {{this}} reference is said to have escaped when it is made available beyond its current scope. Following are common ways by which the {{this}} reference can escape: * Returning {{this}} from a non-private, overridable method that is invoked from the constructor of a class whose object is being constructed. (For more information, see rule [MET05-J. Ensure that constructors do not call overridable methods].) {mc} subclasses! {mc} * Returning {{this}} from a nonprivate method of a mutable class, which allows the caller to manipulate the object's state indirectly. This commonly occurs in method-chaining implementations; see rule [VNA04-J. Ensure that calls to chained methods are atomic] for more information. * Passing {{this}} as an argument to an [_alien method_|BB. Definitions#alien method] invoked from the constructor of a class whose object is being constructed. * Using inner classes. An inner class implicitly holds a reference to the instance of its outer class unless the inner class is declared static. * Publishing by assigning {{this}} to a public static variable from the constructor of a class whose object is being constructed. * Throwing an exception from a constructor. Doing so may cause code to be vulnerable to a finalizer attack. See rule [OBJ11-J. Be wary of letting constructors throw exceptions] for more information. * Passing internal object state to an [_alien method_|BB. Definitions#alien method]. This enables the method to retrieve the {{this}} reference of the internal member object. This rule describes the potential consequences of allowing the {{this}} reference to escape during object construction, including race conditions and improper initialization. For example, declaring a field final ordinarily ensures that all threads see the field in a fully initialized state; however, allowing the {{this}} reference to escape during object construction can expose the field to other threads in an uninitialized or partially initialized state. Rule [TSM03-J. Do not publish partially initialized objects], which describes the guarantees provided by various mechanisms for safe publication, relies on conformance to this rule. Consequently, programs must not allow the {{this}} reference to escape during object construction. In general, it is important to detect cases in which the {{this}} reference can leak out beyond the scope of the current context. In particular, public variables and methods should be carefully scrutinized. h2. Noncompliant Code Example (Publish before Initialization) This noncompliant code example publishes the {{this}} reference before initialization has concluded by storing it in a public static volatile class field. Consequently, other threads can obtain a partially initialized {{Publisher}} instance. {code:bgColor=#FFcccc} final class Publisher { public static volatile Publisher published; int num; Publisher(int number) { published = this; // Initialization this.num = number; // ... } } {code} If the object initialization (and consequently, its construction) depends on a security check within the constructor, the security check can be bypassed when an untrusted caller obtains the partially initialized instance. See rule [OBJ11-J. Be wary of letting constructors throw exceptions] for more information. h2. Noncompliant Code Example (Nonvolatile Public Static Field) This noncompliant code example publishes the {{this}} reference in the last statement of the constructor. It remains vulnerable because the {{published}} field has public accessibility and the programmer has failed to declare it as volatile. {code:bgColor=#FFcccc} |
If an object's initialization (and consequently, its construction) depends on a security check within the constructor, the security check can be bypassed when an untrusted caller obtains the partially initialized instance (see OBJ11-J. Be wary of letting constructors throw exceptions for more information).
Noncompliant Code Example (Nonvolatile Public Static Field)
This noncompliant code example publishes the this
reference in the last statement of the constructor. It remains vulnerable because the published
field has public accessibility and the programmer has failed to declare it as volatile.
Code Block | ||
---|---|---|
| ||
final class Publisher {
public static Publisher published;
int num;
Publisher(int number) {
// Initialization
this.num = number;
// ...
published = this;
}
}
{code}
|
Because
...
the
...
field
...
is
...
nonvolatile
...
and
...
nonfinal,
...
the
...
statements
...
within
...
the
...
constructor
...
can
...
be
...
reordered
...
by
...
the
...
compiler
...
in
...
such
...
a
...
way
...
that
...
the
...
this
...
reference
...
is
...
published
...
before
...
the
...
initialization
...
statements
...
have
...
executed.
...
Compliant
...
Solution
...
(Volatile
...
Field
...
and
...
Publish
...
after
...
Initialization)
...
This
...
compliant
...
solution
...
both
...
declares
...
the
...
published
...
field
...
volatile
...
and
...
reduces
...
its
...
accessibility
...
to
...
package-private
...
so
...
that
...
callers
...
outside
...
the
...
current
...
package
...
scope
...
cannot
...
obtain
...
the
...
this
...
reference.
Code Block | ||||
---|---|---|---|---|
| =
| |||
} final class Publisher { static volatile Publisher published; int num; Publisher(int number) { // Initialization this.num = number; // ... published = this; } } {code} |
The
...
constructor
...
publishes
...
the this
reference after initialization has concluded. However, the caller that instantiates Publisher
must ensure that it cannot see the default value of the num
field before it is initialized; to do otherwise would violate TSM03-J. Do not publish partially initialized objects. Consequently, the field that holds the reference to Publisher
might need to be declared volatile in the caller.
Initialization statements may be reordered when the published
field is not declared volatile. The Java compiler, however, forbids declaring fields as both volatile and final.
The class Publisher
must also be final; otherwise, a subclass can call its constructor and publish the this
reference before the subclass's initialization has concluded.
Compliant Solution (Public Static Factory Method)
This compliant solution eliminates the internal member field and provides a newInstance()
factory method that creates and returns a Publisher
instance:
Code Block | ||
---|---|---|
| ||
{{this}} reference after initialization has concluded. However, the caller that instantiates {{Publisher}} must ensure that it cannot see the default value of the {{num}} field before it is initialized; to do otherwise would violate rule [TSM03-J. Do not publish partially initialized objects]. Consequently, the field that holds the reference to {{Publisher}} might need to be declared volatile in the caller. Initialization statements may be reordered when the {{published}} field is not declared volatile. The Java compiler, however, forbids declaring fields as both {{volatile}} and {{final}}. The class {{Publisher}} must also be {{final}}; otherwise, a subclass can call its constructor and publish the {{this}} reference before the subclass's initialization has concluded. h2. Compliant Solution (Public Static Factory Method) This compliant solution eliminates the internal member field and provides a {{newInstance()}} factory method that creates and returns a {{Publisher}} instance. {code:bgColor=#ccccff} final class Publisher { final int num; private Publisher(int number) { // Initialization this.num = number; } public static Publisher newInstance(int number) { Publisher published = new Publisher(number); return published; } } {code} This approach ensures that threads cannot see an inconsistent {{Publisher}} instance. The {{num}} field is also declared {{final}}, making the class immutable and consequently eliminating the possibility of obtaining a partially initialized object. h2. Noncompliant Code Example (Handlers) This noncompliant code example defines the {{ExceptionReporter}} interface: {code} |
This approach ensures that threads cannot see an inconsistent Publisher
instance. The num
field is also declared final, making the class immutable and consequently eliminating the possibility of obtaining a partially initialized object.
Noncompliant Code Example (Handlers)
This noncompliant code example defines the ExceptionReporter
interface:
Code Block |
---|
public interface ExceptionReporter {
public void setExceptionReporter(ExceptionReporter er);
public void report(Throwable exception);
}
{code}
|
This
...
interface
...
is
...
implemented
...
by
...
the
...
DefaultExceptionReporter
...
class,
...
which
...
reports
...
exceptions
...
after
...
filtering
...
out
...
any
...
sensitive
...
information (see ERR00-J.
...
...
...
...
...
...
...
...
for
...
more
...
information).
...
The
...
DefaultExceptionReporter
...
constructor
...
prematurely
...
publishes
...
the
...
this
...
reference
...
before
...
construction
...
of
...
the
...
object
...
has
...
concluded.
...
This
...
occurs
...
in
...
the
...
last
...
statement
...
of
...
the
...
constructor
...
(
...
er.setExceptionReporter(this)
...
),
...
which
...
sets
...
the
...
exception
...
reporter.
...
Because
...
it
...
is
...
the
...
last
...
statement
...
of
...
the
...
constructor,
...
this
...
may
...
be
...
misconstrued
...
as
...
benign.
Code Block | ||||
---|---|---|---|---|
| =
| |||
} // Class DefaultExceptionReporter public class DefaultExceptionReporter implements ExceptionReporter { public DefaultExceptionReporter(ExceptionReporter er) { // Carry out initialization // Incorrectly publishes the "this" reference er.setExceptionReporter(this); } // Implementation of setExceptionReporter() and report() } {code} The {{MyExceptionReporter |
The MyExceptionReporter
class subclasses DefaultExceptionReporter
with the intent of adding a logging mechanism that logs critical messages before reporting an exception.
Code Block | ||
---|---|---|
| ||
}} class subclasses {{DefaultExceptionReporter}} with the intent of adding a logging mechanism that logs critical messages before reporting an exception. {code:bgColor=#FFcccc} // Class MyExceptionReporter derives from DefaultExceptionReporter public class MyExceptionReporter extends DefaultExceptionReporter { private final Logger logger; public MyExceptionReporter(ExceptionReporter er) { super(er); // Calls superclass's constructor // Obtain the default logger logger = Logger.getLogger("com.organization.Log"); } public void report(Throwable t) { logger.log(Level.FINEST,"Loggable exception occurred", t); } } {code} The {{MyExceptionReporter}} constructor invokes the {{DefaultExceptionReporter}} |
The MyExceptionReporter
constructor invokes the DefaultExceptionReporter
superclass's
...
constructor
...
(a
...
mandatory
...
first
...
step),
...
which
...
publishes
...
the
...
exception
...
reporter
...
before
...
the
...
initialization
...
of
...
the
...
subclass
...
has
...
concluded.
...
Note
...
that
...
the
...
subclass
...
initialization
...
consists
...
of
...
obtaining
...
an
...
instance
...
of
...
the
...
default
...
logger.
...
Publishing
...
the
...
exception
...
reporter
...
is
...
equivalent
...
to
...
setting
...
it
...
to
...
receive
...
and
...
handle
...
exceptions
...
from
...
that
...
point
...
on.
...
Logging
...
will
...
fail
...
when
...
an
...
exception
...
occurs
...
before
...
the
...
call
...
to
...
Logger.getLogger()
...
in
...
the
...
MyExceptionReporter
...
subclass
...
because
...
dereferencing
...
the
...
uninitialized
...
logger
...
field
...
generates
...
a
...
NullPointerException
...
,
...
which
...
could
...
itself
...
be
...
consumed
...
by
...
the
...
reporting
...
mechanism
...
without
...
being
...
logged.
...
This
...
erroneous
...
behavior
...
results
...
from
...
the
...
...
...
between
...
an
...
oncoming
...
exception
...
and
...
the
...
initialization
...
of
...
MyExceptionReporter
...
.
...
If
...
the
...
exception
...
arrives too
...
soon,
...
it
...
will
...
find
...
the
...
MyExceptionReporter
...
object
...
in
...
an
...
inconsistent
...
state.
...
This
...
behavior
...
is
...
especially
...
counterintuitive
...
because
...
logger
...
has
...
been
...
declared
...
final
...
,
...
so
...
observing
...
an
...
uninitialized
...
value
...
would
...
be
...
unexpected.
...
Premature
...
publication
...
of
...
an
...
event
...
listener
...
causes
...
a
...
similar
...
problem;
...
the
...
listener
...
can
...
receive
...
event
...
notifications
...
before
...
the
...
subclass's
...
initialization
...
has
...
finished.
Compliant Solution
Rather than publishing the this
reference from the DefaultExceptionReporter
constructor, this compliant solution adds a publishExceptionReporter()
method to DefaultExceptionReporter
to permit setting the exception reporter. This method can be invoked on a subclass instance after the subclass's initialization has concluded.
Code Block | ||
---|---|---|
| ||
h2. Compliant Solution Rather than publishing the {{this}} reference from the {{DefaultExceptionReporter}} constructor, this compliant solution adds a {{publishExceptionReporter()}} method to {{DefaultExceptionReporter}} to permit setting the exception reporter. This method can be invoked on a subclass instance after the subclass's initialization has concluded. {code:bgColor=#ccccff} public class DefaultExceptionReporter implements ExceptionReporter { public DefaultExceptionReporter(ExceptionReporter er) { // ... } // Should be called after subclass's initialization is over public void publishExceptionReporter() { setExceptionReporter(this); // Registers this exception reporter } // Implementation of setExceptionReporter() and report() } {code} The {{MyExceptionReporter}} subclass inherits the {{ |
The MyExceptionReporter
subclass inherits the publishExceptionReporter()
...
method.
...
Callers
...
that
...
instantiate
...
MyExceptionReporter
...
can
...
use
...
the
...
resulting
...
instance
...
to
...
set
...
the
...
exception
...
reporter
...
after
...
initialization
...
is
...
complete.
Code Block | ||||
---|---|---|---|---|
| =
| |||
} // Class MyExceptionReporter derives from DefaultExceptionReporter public class MyExceptionReporter extends DefaultExceptionReporter { private final Logger logger; public MyExceptionReporter(ExceptionReporter er) { super(er); // Calls superclass's constructor logger = Logger.getLogger("com.organization.Log"); } // Implementations of publishExceptionReporter(), // setExceptionReporter() and report() // are inherited } {code} |
This
...
approach
...
ensures
...
that
...
the
...
reporter
...
cannot
...
be
...
set
...
before
...
the
...
constructor
...
has
...
fully
...
initialized
...
the
...
subclass
...
and
...
enabled
...
logging.
...
Noncompliant Code Example (Inner
...
Class)
...
Inner
...
classes
...
maintain
...
a
...
copy
...
of
...
the
...
this
...
reference
...
of
...
the
...
outer
...
object.
...
Consequently,
...
the
...
this
...
reference
...
could
...
leak
...
outside
...
the
...
scope
...
...
...
].
...
This
...
noncompliant
...
code
...
example
...
uses
...
a
...
different
...
implementation
...
of
...
the
...
DefaultExceptionReporter
...
class.
...
The
...
constructor
...
uses
...
an
...
anonymous
...
inner
...
class
...
to
...
publish
...
an
...
exception reporter.
Code Block | ||
---|---|---|
| ||
public class DefaultExceptionReporter implements ExceptionReporter reporter that invokes a {{filter()}} method. {code:bgColor=#FFcccc} public class DefaultExceptionReporter implements ExceptionReporter { public DefaultExceptionReporter(ExceptionReporter er) { er.setExceptionReporter(new DefaultExceptionReporterExceptionReporter(er) { public void report(Throwable t) { // report filter(t);exception } }); } //public Defaultvoid implementations of setExceptionReporter(ExceptionReporter er) and report() } {code} Other threads can see the {{this}} reference of the outer class because it is published by the inner class. Furthermore, the issue described in the noncompliant code example for handlers will resurface if the class is subclassed. h2. Compliant Solution Use a private constructor and a public static factory method to safely publish the exception reporter that invokes a {{filter()}} method from within the constructor \[[Goetz 2006|AA. Bibliography#Goetz 06]\]. {code:bgColor=#ccccff} { // register ExceptionReporter } }); } // Default implementations of setExceptionReporter() and report() } |
Other threads can see the this
reference of the outer class because it is published by the inner class. Furthermore, the issue described in the noncompliant code example for handlers will resurface if the class is subclassed.
Compliant Solution
Use a private constructor and a public static factory method to safely publish the exception reporter from within the constructor [Goetz 2006a]:
Code Block | ||
---|---|---|
| ||
public class DefaultExceptionReporter implements ExceptionReporter { private final DefaultExceptionReporterExceptionReporter defaultER; private DefaultExceptionReporter(ExceptionReporter excr) { defaultER = new DefaultExceptionReporterExceptionReporter(excr) { public void report(Throwable t) { filter(t);// Report exception } }; } public void setExceptionReporter(ExceptionReporter er) { // Register ExceptionReporter } }; } public static DefaultExceptionReporter newInstance( ExceptionReporter excr) { DefaultExceptionReporter der = new DefaultExceptionReporter(excr); excr.setExceptionReporter(der.defaultER); return der; } // Default implementations of setExceptionReporter() and report() } {code} |
Because
...
the
...
constructor
...
is
...
private,
...
untrusted
...
code
...
cannot
...
create
...
instances
...
of
...
the
...
class;
...
consequently,
...
the
...
this
reference cannot escape.
...
Using
...
a
...
public
...
static
...
factory
...
method
...
to
...
create
...
new
...
instances
...
also
...
protects
...
against
...
untrusted
...
manipulation
...
of
...
internal
...
object
...
state
...
and
...
publication
...
of
...
partially
...
initialized
...
objects (see TSM03-J.
...
...
...
...
...
...
...
for
...
additional
...
information
...
).
Noncompliant Code Example (Thread)
...
This
...
noncompliant
...
code
...
example
...
starts
...
a
...
thread
...
inside
...
the constructor:
Code Block | ||
---|---|---|
| ||
constructor. {code:bgColor=#FFcccc} final class ThreadStarter implements Runnable { public ThreadStarter() { Thread thread = new Thread(this); thread.start(); } @Override public void run() { // ... } } {code} |
The
...
new
...
thread
...
can
...
access
...
the
...
this
...
reference
...
of
...
the
...
current
...
object
...
...
...
],
...
[
...
...
Notably,
...
the
...
Thread()
...
constructor is alien to the ThreadStarter
class.
Compliant Solution (Thread)
This compliant solution creates and starts the thread in a method rather than in the constructor:
Code Block | ||
---|---|---|
| ||
is [alien|BB. Definitions#alien method] to the {{ThreadStarter}} class. h2. Compliant Solution (Thread) This compliant solution creates and starts the thread in a method rather than in the constructor. {code:bgColor=#ccccff} final class ThreadStarter implements Runnable { public ThreadStartervoid startThread() { // ... } public void startThread() { Thread thread = Thread thread = new Thread(this); thread.start(); } @Override public void run() { // ... } } {code} h2. Exceptions * |
Exceptions
TSM01-J-EX0:
...
It
...
is
...
safe
...
to
...
create
...
a
...
thread
...
in
...
the
...
constructor,
...
provided
...
the
...
thread
...
is
...
not
...
started
...
until
...
after
...
object
...
construction
...
is
...
complete,
...
because
...
a
...
call
...
to
...
start()
...
on
...
a
...
thread
...
...
any
...
actions
...
in
...
the
...
started
...
thread
...
[JLS 2015].
Even though this code example creates a thread that references this
in the constructor, the thread is started only when its start()
method is called from the startThread()
method [Goetz 2002], [Goetz 2006a].
Code Block | ||
---|---|---|
| ||
[JLS 2005|AA. Bibliography#JLS 05]\]. Even though this code example creates a thread that references {{this}} in the constructor, the thread is started only when its {{start()}} method is called from the {{startThread()}} method \[[Goetz 2002|AA. Bibliography#Goetz 02]\], \[[Goetz 2006|AA. Bibliography#Goetz 06]\]. {code:bgColor=#ccccff} final class ThreadStarter implements Runnable { Thread thread; public ThreadStarter() { thread = new Thread(this); } public void startThread() { thread.start(); } @Override public void run() { // ... } } {code} *TSM01 |
TSM01-J-EX1:
...
Use
...
of
...
the
...
ObjectPreserver
...
pattern
...
[
...
...
...
]
...
described
...
in
...
...
...
...
...
...
...
...
...
...
is
...
safe
...
and
...
is
...
permitted.
...
Risk
...
Assessment
...
Allowing
...
the
...
this
...
reference
...
to
...
escape
...
can
...
result
...
in
...
improper
...
initialization
...
and
...
runtime
...
exceptions.
Rule | Severity | Likelihood | Detectable | Repairable | Priority | Level |
---|---|---|---|---|---|---|
TSM01-J | Medium | Probable | Yes | No | P8 | L2 |
Automated Detection
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Parasoft Jtest |
| CERT.TSM01.CTRE | Do not let "this" reference escape during construction |
Bibliography
Section 3.2, "Publication and Escape" | |
Chapter 5, "Creational Patterns, Singleton" | |
[JLS 2015] | §15.8.3, "this " |
Issue Tracking
Tasklist | ||||
---|---|---|---|---|
| ||||
||Completed||Priority||Locked||CreatedDate||CompletedDate||Assignee||Name| || Rule || Severity || Likelihood || Remediation Cost || Priority || Level || | TSM01-J | medium | probable | high | {color:green}{*}P4{*}{color} | {color:green}{*}L3{*}{color} | h2. Bibliography | \[[JLS 2005|AA. Bibliography#JLS 05]\] | Keyword {{this}} | | \[[Goetz 2002|AA. Bibliography#Goetz 02]\] | | | \[[Goetz 2006|AA. Bibliography#Goetz 06]\] | Section 3.2, Publication and Escape | | \[[Grand 2002|AA. Bibliography#Grand 02]\] | Chapter 5, Creational Patterns, Singleton | h2. Issue Tracking {tasklist:Review List} ||Completed||Priority||Locked||CreatedDate||CompletedDate||Assignee||Name|| |T|M|F|1270219843973|1270221864972|svoboda|"*Inner classes* implicitly hold a reference to the instance of the outer class, unless the inner class is declared as static." => Change inner classes to "An inner class implicitly holds ... "| |T|M|F|12702201298711270219843973|12707559347901270221864972|rcssvoboda|"Note*Inner thatclasses* thisimplicitly codehold alsoa violates CON32-J. Protect accessible mutable static fields from untrusted code" => Not sure if I agree becausereference to the class is package-private and inaccessible to untrusted code| |T|M|F|1270733657099|1271021912028|rcs_mgr|"A Runnable object's constructor may construct a Thread object around itself, as long as the thread is not actually started in the Runnable object's constructor." => I still think this info is redundant.| {tasklist} ---- [!The CERT Oracle Secure Coding Standard for Java^button_arrow_left.png!|TSM00-J. Do not override thread-safe methods with methods that are not thread-safe] [!The CERT Oracle Secure Coding Standard for Java^button_arrow_up.png!|11. Thread-Safety Miscellaneous (TSM)] [!The CERT Oracle Secure Coding Standard for Java^button_arrow_right.png!|TSM02-J. Do not use background threads during class initialization] instance of the outer class, unless the inner class is declared as static." => Change inner classes to "An inner class implicitly holds ... "| |T|M|F|1270220129871|1270755934790|rcs|"Note that this code also violates CON32-J. Protect accessible mutable static fields from untrusted code" => Not sure if I agree because the class is package-private and inaccessible to untrusted code| |T|M|F|1270733657099|1271021912028|rcs_mgr|"A Runnable object's constructor may construct a Thread object around itself, as long as the thread is not actually started in the Runnable object's constructor." => I still think this info is redundant.| |
...