dcmp_0/src/java/Dcmp0.java
public Integer numAddresses() {
                    if (this.numAddresses != null)
                        return this.numAddresses;
                    int _tmp = (int) (numAddressesRaw().value());
                    this.numAddresses = _tmp;
                    return this.numAddresses;
                }
/**
                 * The number of addresses stored in this chunk.
                 * 
                 * This number must be greater than 0.
                 */
The number of addresses stored in this chunk.

This number must be greater than 0.
The number of addresses stored in this chunk . This number must be greater than 0 .
public Integer numAddresses() {
                    if (this.numAddresses != null)
                        return this.numAddresses;
                    int _tmp = (int) (numAddressesRaw().value());
                    this.numAddresses = _tmp;
                    return this.numAddresses;
                }
public Integer numAddresses ( ) { if ( this . numAddresses != null ) return this . numAddresses ; int _tmp = ( int ) ( numAddressesRaw ( ) . value ( ) ) ; this . numAddresses = _tmp ; return this . numAddresses ; }
The number of addresses stored in this chunk.
The number of addresses stored in this chunk .