Example #1
0
 internal EpsgCrsDatumBased(int code, string name, EpsgArea area, bool deprecated, EpsgCoordinateSystem cs)
     : base(code, name, area, deprecated)
 {
     Contract.Requires(code >= 0);
     Contract.Requires(!String.IsNullOrEmpty(name));
     Contract.Requires(area != null);
     Contract.Requires(cs != null);
     CoordinateSystem = cs;
 }
Example #2
0
 internal EpsgCrsGeocentric(int code, string name, EpsgArea area, bool deprecated, EpsgCoordinateSystem cs, EpsgDatumGeodetic geodeticDatum, EpsgCrsGeodetic baseCrs, int baseOperationCode)
     : base(code, name, area, deprecated, cs, geodeticDatum, baseCrs, baseOperationCode)
 {
     Contract.Requires(code >= 0);
     Contract.Requires(!String.IsNullOrEmpty(name));
     Contract.Requires(area != null);
     Contract.Requires(cs != null);
     Contract.Requires(geodeticDatum != null);
 }
Example #3
0
 internal EpsgCrsDatumBased(int code, string name, EpsgArea area, bool deprecated, EpsgCoordinateSystem cs)
     : base(code, name, area, deprecated)
 {
     Contract.Requires(code >= 0);
     Contract.Requires(!String.IsNullOrEmpty(name));
     Contract.Requires(area != null);
     Contract.Requires(cs != null);
     CoordinateSystem = cs;
 }
Example #4
0
 internal EpsgCrsVertical(int code, string name, EpsgArea area, bool deprecated, EpsgCoordinateSystem cs, EpsgDatumVertical 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);
     VerticalDatum = datum;
 }
Example #5
0
 internal EpsgCrsProjected(int code, string name, EpsgArea area, bool deprecated, EpsgCoordinateSystem cs, EpsgDatumGeodetic datum, EpsgCrsGeodetic baseCrs, int projectionCode)
     : base(code, name, area, deprecated, cs, datum, baseCrs, projectionCode)
 {
     Contract.Requires(code >= 0);
     Contract.Requires(!String.IsNullOrEmpty(name));
     Contract.Requires(area != null);
     Contract.Requires(baseCrs != null);
     Contract.Requires(cs != null);
     Contract.Requires(datum != null);
 }
Example #6
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 #7
0
 internal EpsgCrsGeographic(int code, string name, EpsgArea area, bool deprecated, EpsgCoordinateSystem cs, EpsgDatumGeodetic geodeticDatum, EpsgCrsGeodetic baseCrs, int baseOperationCode, EpsgCrsKind kind)
     : base(code, name, area, deprecated, cs, geodeticDatum, baseCrs, baseOperationCode)
 {
     Contract.Requires(code >= 0);
     Contract.Requires(!String.IsNullOrEmpty(name));
     Contract.Requires(area != null);
     Contract.Requires(cs != null);
     Contract.Requires(geodeticDatum != null);
     _kind = kind;
 }
Example #8
0
 internal EpsgCrsGeodetic(int code, string name, EpsgArea area, bool deprecated, EpsgCoordinateSystem cs, EpsgDatumGeodetic geodeticDatum, EpsgCrsGeodetic baseCrs, int baseOperationCode)
     : 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(geodeticDatum != null);
     GeodeticDatum     = geodeticDatum;
     BaseCrs           = baseCrs;
     BaseOperationCode = baseOperationCode;
 }
Example #9
0
 internal EpsgCrsProjected(int code, string name, EpsgArea area, bool deprecated, EpsgCoordinateSystem cs, EpsgDatumGeodetic datum, EpsgCrsGeodetic baseCrs, int projectionCode)
     : base(code, name, area, deprecated, cs, datum, baseCrs, projectionCode)
 {
     Contract.Requires(code >= 0);
     Contract.Requires(!String.IsNullOrEmpty(name));
     Contract.Requires(area != null);
     Contract.Requires(baseCrs != null);
     Contract.Requires(cs != null);
     Contract.Requires(datum != null);
 }