internal EpsgDatum(ushort code, string name, EpsgArea area)
{
Contract.Requires(!String.IsNullOrEmpty(name));
Contract.Requires(area != null);
_code = code;
Name = name;
Area = area;
}
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 EpsgCrs(int code, string name, EpsgArea area, bool deprecated)
{
Contract.Requires(code >= 0);
Contract.Requires(!String.IsNullOrEmpty(name));
Contract.Requires(area != null);
_code = code;
Name = name;
_area = area;
_deprecated = deprecated;
}
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 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;
}
internal EpsgDatumEngineering(ushort code, string name, EpsgArea area)
: base(code, name, area)
{
Contract.Requires(!String.IsNullOrEmpty(name));
Contract.Requires(area != null);
}
protected EpsgDatumContracts(string name, EpsgArea area)
: base(0, name, area)
{
Contract.Requires(!String.IsNullOrEmpty(name));
Contract.Requires(area != null);
}
internal static EpsgDatumVertical Create(ushort code, string name, EpsgArea area)
{
return new EpsgDatumVertical(code, name, area);
}
internal EpsgDatumGeodetic(ushort code, string name, EpsgEllipsoid spheroid, EpsgPrimeMeridian primeMeridian, EpsgArea area)
: base(code, name, area)
{
Contract.Requires(spheroid != null);
Contract.Requires(primeMeridian != null);
Contract.Requires(area != null);
Contract.Requires(!String.IsNullOrEmpty(name));
Spheroid = spheroid;
PrimeMeridian = primeMeridian;
_basicWgs84Transformation = new Lazy<Helmert7Transformation>(FindBasicWgs84Transformation, LazyThreadSafetyMode.ExecutionAndPublication);
}
internal static EpsgDatumEngineering Create(ushort code, string name, EpsgArea area)
{
return new EpsgDatumEngineering(code, name, area);
}
