internal EpsgCrsCompound( int code, string name, EpsgArea area, bool deprecated, EpsgCrsDatumBased horizontal, EpsgCrsVertical vertical ) : base(code, name, area, deprecated) { Contract.Requires(code >= 0); Contract.Requires(!String.IsNullOrEmpty(name)); Contract.Requires(area != null); Contract.Requires(horizontal != null); Contract.Requires(vertical != null); Horizontal = horizontal; Vertical = vertical; }