| Marks the fact that a passed argument is also returned, as in
"a")
public double[] multInPlace(double[] a, double fact)
{
// ...
return a; //same ref!
}
This is an important hint and contract that may (CURRENTLY NOT IMPL) be verified by static checkers.
Note that this has no sense for basic types as {int, double, ...} and String, and immutable classes.
|