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; }
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); }
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; }
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); }
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; }
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; }
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; }