src/verify.h

   1 /*
   2     Copyright (C) 2018-2021 Carl Hetherington <cth@carlh.net>
   3
   4     This file is part of libdcp.
   5
   6     libdcp is free software; you can redistribute it and/or modify
   7     it under the terms of the GNU General Public License as published by
   8     the Free Software Foundation; either version 2 of the License, or
   9     (at your option) any later version.
  10
  11     libdcp is distributed in the hope that it will be useful,
  12     but WITHOUT ANY WARRANTY; without even the implied warranty of
  13     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14     GNU General Public License for more details.
  15
  16     You should have received a copy of the GNU General Public License
  17     along with libdcp.  If not, see <http://www.gnu.org/licenses/>.
  18
  19     In addition, as a special exception, the copyright holders give
  20     permission to link the code of portions of this program with the
  21     OpenSSL library under certain conditions as described in each
  22     individual source file, and distribute linked combinations
  23     including the two.
  24
  25     You must obey the GNU General Public License in all respects
  26     for all of the code used other than OpenSSL.  If you modify
  27     file(s) with this exception, you may extend this exception to your
  28     version of the file(s), but you are not obligated to do so.  If you
  29     do not wish to do so, delete this exception statement from your
  30     version.  If you delete this exception statement from all source
  31     files in the program, then also delete it here.
  32 */
  33
  34 #ifndef LIBDCP_VERIFY_H
  35 #define LIBDCP_VERIFY_H
  36
  37 #include <boost/filesystem.hpp>
  38 #include <boost/function.hpp>
  39 #include <boost/optional.hpp>
  40 #include <string>
  41 #include <vector>
  42
  43 /* Something in windows.h defines this */
  44 #undef ERROR
  45
  46 namespace dcp {
  47
  48 class VerificationNote
  49 {
  50 public:
  51         /* I've been unable to make mingw happy with ERROR as a symbol, so
  52            I'm using a VERIFY_ prefix here.
  53         */
  54         enum class Type {
  55                 ERROR,
  56                 BV21_ERROR, ///< may not always be considered an error, but violates a "shall" requirement of Bv2.1
  57                 WARNING
  58         };
  59
  60         /** Codes for errors or warnings from verifying DCPs.
  61          *
  62          *  The names should (in general) answer the question "what is wrong?" with an answer that begins "There is a ..."
  63          *  e.g. "There is a INCORRECT_CPL_HASH"
  64          *       "There is a MISSING_ASSET"
  65          *
  66          *  In general the pattern should be <negative-adjective> <noun>.
  67          *  Some <negative-adjective>s are:
  68          *
  69          *  - INCORRECT: something, which could have any value, is wrong.
  70          *  - INVALID: something, which should only be one of a set of values, is not in the set, or some preformatted
  71          *             quantity (e.g. XML) is in the wrong format.
  72          *  - MISMATCHED: two things, which should be the same, are not.
  73          *  - EMPTY: something, which should have a value, has no value.
  74          *  - MISSING: something, which should be present, is not.
  75          *  - FAILED: some part of the verification failed in some serious way.
  76          *
  77          *  Comments should clarify meaning and also say which of the optional fields (e.g. file)
  78          *  are filled in when this code is used.
  79          */
  80         enum class Code {
  81                 /** An error when reading the DCP.
  82                  *  note contains (probably technical) details.
  83                  */
  84                 FAILED_READ,
  85                 /** The hash of the CPL in the PKL does not agree with the CPL file.
  86                  *  note contains CPL ID.
  87                  *  file contains CPL filename.
  88                  */
  89                 MISMATCHED_CPL_HASHES,
  90                 /** Frame rate given in a reel for the main picture is not 24, 25, 30, 48, 50 or 60.
  91                  *  note contains the invalid frame rate as "<numerator>/<denominator>"
  92                  */
  93                 INVALID_PICTURE_FRAME_RATE,
  94                 /** The hash of a main picture asset does not agree with the PKL file.
  95                  *  file contains the picture asset filename.
  96                  */
  97                 INCORRECT_PICTURE_HASH,
  98                 /** The hash of a main picture is different in the CPL and PKL.
  99                  *  file contains the picture asset filename.
 100                  */
 101                 MISMATCHED_PICTURE_HASHES,
 102                 /** The hash of a main sound asset does not agree with the PKL file.
 103                  *  file contains the sound asset filename.
 104                  */
 105                 INCORRECT_SOUND_HASH,
 106                 /** The hash of a main sound is different in the CPL and PKL.
 107                  *  file contains the sound asset filename.
 108                  */
 109                 MISMATCHED_SOUND_HASHES,
 110                 /** An assetmap's <Path> entry is empty. */
 111                 EMPTY_ASSET_PATH,
 112                 /** A file mentioned in an asset map cannot be found.
 113                  *  file contains the filename that is missing.
 114                  */
 115                 MISSING_ASSET,
 116                 /** The DCP contains both SMPTE and Interop-standard components */
 117                 MISMATCHED_STANDARD,
 118                 /** Some XML fails to validate against the XSD/DTD.
 119                  *  note contains the (probably technical) details.
 120                  *  file contains the invalid filename.
 121                  *  line contains the line number.
 122                  */
 123                 INVALID_XML,
 124                 /** No ASSETMAP{.xml} was found */
 125                 MISSING_ASSETMAP,
 126                 /** An asset's IntrinsicDuration is less than 1 second.
 127                  *  note contains asset ID.
 128                  */
 129                 INVALID_INTRINSIC_DURATION,
 130                 /** An asset's Duration is less than 1 second.
 131                  *  note contains asset ID.
 132                  */
 133                 INVALID_DURATION,
 134                 /** The JPEG2000 data in at least one picture frame is larger than the equivalent of 250Mbit/s.
 135                  *  file contains the picture asset filename.
 136                  */
 137                 INVALID_PICTURE_FRAME_SIZE_IN_BYTES,
 138                 /** The JPEG2000 data in at least one picture frame is larger than the equivalent of 230Mbit/s.
 139                  *  file contains the picture asset filename.
 140                  */
 141                 NEARLY_INVALID_PICTURE_FRAME_SIZE_IN_BYTES,
 142                 /** An asset that the CPL requires is not in this DCP; the DCP may be a VF.
 143                  *  note contains the asset ID.
 144                  */
 145                 EXTERNAL_ASSET,
 146                 /** DCP is Interop, not SMPTE [Bv2.1_6.1] */
 147                 INVALID_STANDARD,
 148                 /** A language or territory does not conform to RFC 5646 [Bv2.1_6.2.1].
 149                  *  note contains the invalid language.
 150                  */
 151                 INVALID_LANGUAGE,
 152                 /** A picture asset does not have one of the required Bv2.1 sizes (in pixels) [Bv2.1_7.1].
 153                  *  note contains the incorrect size as "<width>x<height>"
 154                  *  file contains the asset filename.
 155                  */
 156                 INVALID_PICTURE_SIZE_IN_PIXELS,
 157                 /** A picture asset is 2K but is not at 24, 25 or 48 fps as required by Bv2.1 [Bv2.1_7.1].
 158                  *  note contains the invalid frame rate as "<numerator>/<denominator>"
 159                  *  file contains the asset filename.
 160                  */
 161                 INVALID_PICTURE_FRAME_RATE_FOR_2K,
 162                 /** A picture asset is 4K but is not at 24fps as required by Bv2.1 [Bv2.1_7.1]
 163                  *  note contains the invalid frame rate as "<numerator>/<denominator>"
 164                  *  file contains the asset filename.
 165                  */
 166                 INVALID_PICTURE_FRAME_RATE_FOR_4K,
 167                 /** A picture asset is 4K but is 3D which is not allowed by Bv2.1 [Bv2.1_7.1]
 168                  *  note contains the invalid frame rate as "<numerator>/<denominator>"
 169                  *  file contains the asset filename.
 170                  */
 171                 INVALID_PICTURE_ASSET_RESOLUTION_FOR_3D,
 172                 /** A closed caption's XML file is larger than 256KB [Bv2.1_7.2.1].
 173                  *  note contains the invalid size in bytes.
 174                  *  file contains the asset filename.
 175                  */
 176                 INVALID_CLOSED_CAPTION_XML_SIZE_IN_BYTES,
 177                 /** Any timed text asset's total files is larger than 115MB [Bv2.1_7.2.1]
 178                  *  note contains the invalid size in bytes.
 179                  *  file contains the asset filename.
 180                  */
 181                 INVALID_TIMED_TEXT_SIZE_IN_BYTES,
 182                 /** The total size of all a timed text asset's fonts is larger than 10MB [Bv2.1_7.2.1]
 183                  *  note contains the invalid size in bytes.
 184                  *  file contains the asset filename.
 185                  */
 186                 INVALID_TIMED_TEXT_FONT_SIZE_IN_BYTES,
 187                 /** Some SMPTE subtitle XML has no <Language> tag [Bv2.1_7.2.2]
 188                  *  file contains the asset filename.
 189                  */
 190                 MISSING_SUBTITLE_LANGUAGE,
 191                 /** Not all subtitle assets specify the same <Language> tag [Bv2.1_7.2.2] */
 192                 MISMATCHED_SUBTITLE_LANGUAGES,
 193                 /** Some SMPTE subtitle XML has no <StartTime> tag [Bv2.1_7.2.3]
 194                  *  file contains the asset filename.
 195                  */
 196                 MISSING_SUBTITLE_START_TIME,
 197                 /** Some SMPTE subtitle XML has a non-zero <StartTime> tag [Bv2.1_7.2.3]
 198                  *  file contains the asset filename.
 199                  */
 200                 INVALID_SUBTITLE_START_TIME,
 201                 /** The first subtitle or closed caption happens before 4s into the first reel [Bv2.1_7.2.4] */
 202                 INVALID_SUBTITLE_FIRST_TEXT_TIME,
 203                 /** At least one subtitle is less than the minimum of 15 frames suggested by [Bv2.1_7.2.5] */
 204                 INVALID_SUBTITLE_DURATION,
 205                 /** At least one pair of subtitles are separated by less than the the minimum of 2 frames suggested by [Bv2.1_7.2.5] */
 206                 INVALID_SUBTITLE_SPACING,
 207                 /** There are more than 3 subtitle lines in at least one place [Bv2.1_7.2.7] */
 208                 INVALID_SUBTITLE_LINE_COUNT,
 209                 /** There are more than 52 characters in at least one subtitle line [Bv2.1_7.2.7] */
 210                 NEARLY_INVALID_SUBTITLE_LINE_LENGTH,
 211                 /** There are more than 79 characters in at least one subtitle line [Bv2.1_7.2.7] */
 212                 INVALID_SUBTITLE_LINE_LENGTH,
 213                 /** There are more than 3 closed caption lines in at least one place [Bv2.1_7.2.6] */
 214                 INVALID_CLOSED_CAPTION_LINE_COUNT,
 215                 /** There are more than 32 characters in at least one closed caption line [Bv2.1_7.2.6] */
 216                 INVALID_CLOSED_CAPTION_LINE_LENGTH,
 217                 /** The audio sampling rate must be 48kHz [Bv2.1_7.3].
 218                  *  note contains the invalid frame rate.
 219                  *  file contains the asset filename.
 220                  */
 221                 INVALID_SOUND_FRAME_RATE,
 222                 /** The CPL has no <AnnotationText> tag [Bv2.1_8.1]
 223                  *  note contains the CPL ID.
 224                  *  file contains the CPL filename.
 225                  */
 226                 MISSING_CPL_ANNOTATION_TEXT,
 227                 /** The <AnnotationText> is not the same as the <ContentTitleText> [Bv2.1_8.1]
 228                  *  note contains the CPL ID.
 229                  *  file contains the CPL filename.
 230                  */
 231                 MISMATCHED_CPL_ANNOTATION_TEXT,
 232                 /** At least one asset in a reel does not have the same duration as the others */
 233                 MISMATCHED_ASSET_DURATION,
 234                 /** If one reel has a MainSubtitle, all must have them */
 235                 MISSING_MAIN_SUBTITLE_FROM_SOME_REELS,
 236                 /** If one reel has at least one ClosedCaption, all reels must have the same number of ClosedCaptions */
 237                 MISMATCHED_CLOSED_CAPTION_ASSET_COUNTS,
 238                 /** MainSubtitle in reels must have <EntryPoint> Bv2.1_8.3.2
 239                  *  note contains the asset ID
 240                  */
 241                 MISSING_SUBTITLE_ENTRY_POINT,
 242                 /** MainSubtitle <EntryPoint> must be zero Bv2.1_8.3.2
 243                  *  note contains the asset ID
 244                  */
 245                 INCORRECT_SUBTITLE_ENTRY_POINT,
 246                 /** Closed caption in reels must have <EntryPoint> Bv2.1_8.3.2
 247                  *  note contains the asset ID
 248                  */
 249                 MISSING_CLOSED_CAPTION_ENTRY_POINT,
 250                 /** Closed caption MainSubtitle <EntryPoint> must be zero Bv2.1_8.3.2
 251                  *  note contains the asset ID
 252                  */
 253                 INCORRECT_CLOSED_CAPTION_ENTRY_POINT,
 254                 /** <Hash> must be present for assets in CPLs.
 255                  * note contains the asset ID
 256                  */
 257                 MISSING_HASH,
 258                 /** If ContentKind is Feature there must be a FFEC marker */
 259                 MISSING_FFEC_IN_FEATURE,
 260                 /** If ContentKind is Feature there must be a FFMC marker */
 261                 MISSING_FFMC_IN_FEATURE,
 262                 /** There should be a FFOC */
 263                 MISSING_FFOC,
 264                 /** There should be a LFOC */
 265                 MISSING_LFOC,
 266                 /** The FFOC should be 1.
 267                  *  note contains the incorrect value.
 268                  */
 269                 INCORRECT_FFOC,
 270                 /** The LFOC should be the last frame in the reel
 271                  *  note contains the incorrect value.
 272                  */
 273                 INCORRECT_LFOC,
 274                 /** There must be a <CompositionMetadataAsset>
 275                  *  note contains the CPL ID.
 276                  *  file contains the CPL filename.
 277                  */
 278                 MISSING_CPL_METADATA,
 279                 /** CPL metadata should contain <VersionNumber> of 1, at least
 280                  *  note contains the CPL ID.
 281                  *  file contains the CPL filename.
 282                  */
 283                 MISSING_CPL_METADATA_VERSION_NUMBER,
 284                 /** There must be an <ExtensionMetadata> in <CompositionMetadataAsset> Bv2.1_8.6.3
 285                  *  note contains the CPL ID.
 286                  *  file contains the CPL filename.
 287                  */
 288                 MISSING_EXTENSION_METADATA,
 289                 /** <ExtensionMetadata> must have a particular form Bv2.1_8.6.3
 290                  *  note contains details of what's wrong
 291                  *  file contains the CPL filename.
 292                  */
 293                 INVALID_EXTENSION_METADATA,
 294                 /** CPLs containing encrypted content must be signed Bv2.1_8.7
 295                  *  note contains the CPL ID.
 296                  *  file contains the CPL filename.
 297                  */
 298                 UNSIGNED_CPL_WITH_ENCRYPTED_CONTENT,
 299                 /** PKLs containing encrypted content must be signed Bv2.1_8.7
 300                  *  note contains the PKL ID.
 301                  *  file contains the PKL filename.
 302                  */
 303                 UNSIGNED_PKL_WITH_ENCRYPTED_CONTENT,
 304                 /** If a PKL has one CPL its <ContentTitleText> must be the same as the PKL's <AnnotationText>.
 305                  *  note contains the PKL ID.
 306                  *  file contains the PKL filename.
 307                  */
 308                 MISMATCHED_PKL_ANNOTATION_TEXT_WITH_CPL,
 309                 /** If any content is encrypted, everything must be encrypted */
 310                 PARTIALLY_ENCRYPTED,
 311         };
 312
 313         VerificationNote (Type type, Code code)
 314                 : _type (type)
 315                 , _code (code)
 316         {}
 317
 318         VerificationNote (Type type, Code code, std::string note)
 319                 : _type (type)
 320                 , _code (code)
 321                 , _note (note)
 322         {}
 323
 324         VerificationNote (Type type, Code code, boost::filesystem::path file)
 325                 : _type (type)
 326                 , _code (code)
 327                 , _file (file)
 328         {}
 329
 330         VerificationNote (Type type, Code code, std::string note, boost::filesystem::path file)
 331                 : _type (type)
 332                 , _code (code)
 333                 , _note (note)
 334                 , _file (file)
 335         {}
 336
 337         VerificationNote (Type type, Code code, std::string note, boost::filesystem::path file, uint64_t line)
 338                 : _type (type)
 339                 , _code (code)
 340                 , _note (note)
 341                 , _file (file)
 342                 , _line (line)
 343         {}
 344
 345         Type type () const {
 346                 return _type;
 347         }
 348
 349         Code code () const {
 350                 return _code;
 351         }
 352
 353         boost::optional<std::string> note () const {
 354                 return _note;
 355         }
 356
 357         boost::optional<boost::filesystem::path> file () const {
 358                 return _file;
 359         }
 360
 361         boost::optional<uint64_t> line () const {
 362                 return _line;
 363         }
 364
 365 private:
 366         Type _type;
 367         Code _code;
 368         /** Further information about the error, if applicable */
 369         boost::optional<std::string> _note;
 370         /** Path of file containing the error, if applicable */
 371         boost::optional<boost::filesystem::path> _file;
 372         /** Error line number within _file, if applicable */
 373         boost::optional<uint64_t> _line;
 374 };
 375
 376 std::vector<VerificationNote> verify (
 377         std::vector<boost::filesystem::path> directories,
 378         boost::function<void (std::string, boost::optional<boost::filesystem::path>)> stage,
 379         boost::function<void (float)> progress,
 380         boost::filesystem::path xsd_dtd_directory
 381         );
 382
 383 std::string note_to_string (dcp::VerificationNote note);
 384
 385 bool operator== (dcp::VerificationNote const& a, dcp::VerificationNote const& b);
 386
 387 std::ostream& operator<<(std::ostream& s, dcp::VerificationNote const& note);
 388
 389 }
 390
 391 #endif