dcmp_0/src/java/Dcmp0.java
public Integer repeatCountM1() {
                    if (this.repeatCountM1 != null)
                        return this.repeatCountM1;
                    int _tmp = (int) (repeatCountM1Raw().value());
                    this.repeatCountM1 = _tmp;
                    return this.repeatCountM1;
                }
/**
                 * The number of times to repeat the value,
                 * minus one.
                 * 
                 * This value must not be negative.
                 */
The number of times to repeat the value,
minus one.

This value must not be negative.
The number of times to repeat the value minus one . This value must not be negative .
public Integer repeatCountM1() {
                    if (this.repeatCountM1 != null)
                        return this.repeatCountM1;
                    int _tmp = (int) (repeatCountM1Raw().value());
                    this.repeatCountM1 = _tmp;
                    return this.repeatCountM1;
                }
public Integer repeatCountM1 ( ) { if ( this . repeatCountM1 != null ) return this . repeatCountM1 ; int _tmp = ( int ) ( repeatCountM1Raw ( ) . value ( ) ) ; this . repeatCountM1 = _tmp ; return this . repeatCountM1 ; }
The number of times to repeat the value,
 minus one.
The number of times to repeat the value minus one .