Precondition#toString() method has an extra comma

[GoogleCodeExporter]

The method toString in the class Precondition appends unnecessary comma at the 
end. 

Try this umple model:
class Test {

  Integer att1;
  Integer att2;
  Integer att3;

  int method() {
    [pre: att1 >= 0&& att2 > 0&& att3 >0]

     return 0;
  }
}

The constraint message in the generated method implementation will be:
"Please provide a valid att1, att2, att3, "

This unnecessary comma at the end happens because of the toString method.

Please use labels and text to provide additional information.
N/A

Original issue reported on code.google.com by ahmedvc@gmail.com on 28 Jun 2014 at 4:54

[GoogleCodeExporter]

Original comment by ahmedvc@gmail.com on 9 Jul 2014 at 10:06

[GoogleCodeExporter]

Original comment by TimothyCLethbridge on 24 Jul 2014 at 2:57

• Changed state: Fixed