Example #1
0
 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;
 }
Example #2
0
 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;
 }