internal EpsgCrsEngineering( int code, string name, EpsgArea area, bool deprecated, EpsgCoordinateSystem cs, EpsgDatumEngineering datum ) : base(code, name, area, deprecated, cs) { Contract.Requires(code >= 0); Contract.Requires(!String.IsNullOrEmpty(name)); Contract.Requires(area != null); Contract.Requires(cs != null); Contract.Requires(datum != null); EngineeringDatum = datum; }