dcmp_0/src/java/Dcmp0.java
public Integer firstValue() {
                    if (this.firstValue != null)
                        return this.firstValue;
                    int _tmp = (int) (firstValueRaw().value());
                    this.firstValue = _tmp;
                    return this.firstValue;
                }
/**
                 * The first value in the sequence.
                 */
The first value in the sequence.
The first value in the sequence .
public Integer firstValue() {
                    if (this.firstValue != null)
                        return this.firstValue;
                    int _tmp = (int) (firstValueRaw().value());
                    this.firstValue = _tmp;
                    return this.firstValue;
                }
public Integer firstValue ( ) { if ( this . firstValue != null ) return this . firstValue ; int _tmp = ( int ) ( firstValueRaw ( ) . value ( ) ) ; this . firstValue = _tmp ; return this . firstValue ; }
The first value in the sequence.
The first value in the sequence .