source/shapesexceptions.h

   1 /* This file is part of Shapes.
   2  *
   3  * Shapes is free software: you can redistribute it and/or modify
   4  * it under the terms of the GNU General Public License as published by
   5  * the Free Software Foundation, either version 3 of the License, or
   6  * any later version.
   7  *
   8  * Shapes is distributed in the hope that it will be useful,
   9  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  10  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  11  * GNU General Public License for more details.
  12  *
  13  * You should have received a copy of the GNU General Public License
  14  * along with Shapes.  If not, see <http://www.gnu.org/licenses/>.
  15  *
  16  * Copyright 2008, 2009, 2013, 2014, 2015 Henrik Tidefelt
  17  */
  18
  19 #pragma once
  20
  21 #include "Shapes_Ast_decls.h"
  22 #include "Shapes_Lang_decls.h"
  23 #include "Shapes_Kernel_decls.h"
  24 #include "Shapes_Exceptions_decls.h"
  25
  26 #include "sourcelocation.h"
  27 #include "corelocation.h"
  28 #include "identifier.h"
  29 #include "exitcodes.h"
  30 #include "methodid.h"
  31 #include "simplepdfo.h"
  32 #include "strrefdup.h" /* this is not needed in this file, but it is convenient to get these declarations for users of this file. */
  33 #include "pdfversion.h"
  34
  35 #include <exception>
  36 #include <iostream>
  37 #include <sstream>
  38 #include <list>
  39 #include <set>
  40 #include <map>
  41
  42
  43 namespace Shapes
  44 {
  45
  46   namespace Interaction
  47   {
  48
  49     class MessageString
  50     {
  51       const char * msg_;
  52       RefCountPtr< const char > msgMem_;
  53     public:
  54       MessageString( );
  55       MessageString( const char * msg );
  56       MessageString( const RefCountPtr< const char > & msg );
  57
  58       bool null( ) const { return msg_ == NULL; }
  59       void show( std::ostream & os ) const;
  60       void show( const std::string & eachLinePrefix, std::ostream & os ) const;
  61     };
  62
  63     std::ostream & operator << ( std::ostream & os, const MessageString & self );
  64
  65   }
  66
  67         namespace Exceptions
  68         {
  69                 extern const std::string additionalLinesPrefix;
  70
  71                 class Exception
  72                 {
  73                 public:
  74                         Exception( );
  75                         virtual ~Exception( );
  76                         virtual void display( std::ostream & os ) const = 0;
  77                         virtual Interaction::ExitCode exitCode( ) const = 0;
  78                         static const char * locsep;
  79                 };
  80
  81                 class NotImplemented : public Exception
  82                 {
  83                         const char * functionality_;
  84                 public:
  85                         NotImplemented( const char * functionality );
  86                         virtual ~NotImplemented( );
  87                         virtual void display( std::ostream & os ) const;
  88                         virtual Interaction::ExitCode exitCode( ) const { return Interaction::EXIT_NOT_IMPLEMENTED; }
  89                 };
  90
  91                 class StaticInconsistency : public Exception
  92                 {
  93                 protected:
  94                         const Ast::SourceLocation & primaryLoc_;
  95                 public:
  96                         StaticInconsistency( const Ast::SourceLocation & primaryLoc ) : primaryLoc_( primaryLoc ) { }
  97                         virtual ~StaticInconsistency( ) { }
  98                         const Ast::SourceLocation & loc( ) const { return primaryLoc_; }
  99                         virtual Interaction::ExitCode exitCode( ) const { return Interaction::EXIT_USER_ERROR; }
 100                 };
 101
 102                 class PostCondition : public Exception
 103                 {
 104                 protected:
 105                         const Ast::SourceLocation & primaryLoc_;
 106                 public:
 107                         PostCondition( const Ast::SourceLocation & primaryLoc ) : primaryLoc_( primaryLoc ) { }
 108                         virtual ~PostCondition( ) { }
 109                         const Ast::SourceLocation & loc( ) const { return primaryLoc_; }
 110                         virtual Interaction::ExitCode exitCode( ) const { return Interaction::EXIT_USER_ERROR; }
 111                 };
 112
 113                 class MiscellaneousStaticInconsistency : public StaticInconsistency
 114                 {
 115                         Interaction::MessageString msg_;
 116                 public:
 117                         MiscellaneousStaticInconsistency( const Ast::SourceLocation & loc, const Interaction::MessageString & msg );
 118                         virtual ~MiscellaneousStaticInconsistency( );
 119                         virtual void display( std::ostream & os ) const;
 120                 };
 121
 122                 class NamespaceDirectoryError : public StaticInconsistency
 123                 {
 124                         Interaction::MessageString msg_;
 125                 public:
 126                         NamespaceDirectoryError( const Ast::SourceLocation & loc, const Interaction::MessageString & msg );
 127                         virtual ~NamespaceDirectoryError( );
 128                         virtual void display( std::ostream & os ) const;
 129                 };
 130
 131                 class AmbiguousNamespaceDirectory : public StaticInconsistency
 132                 {
 133                         std::string previousName_;
 134                         std::string currentDir_;
 135                 public:
 136                         AmbiguousNamespaceDirectory( const std::string & previousName, const std::string & currentDir );
 137                         virtual ~AmbiguousNamespaceDirectory( );
 138                         virtual void display( std::ostream & os ) const;
 139                 };
 140
 141                 class NamespaceDirectoryLookupError : public StaticInconsistency
 142                 {
 143                 public:
 144                         enum Type{ NOT_FOUND, WRONG_TYPE, GLOBAL };
 145                 private:
 146                         Type type_;
 147                         Ast::NamespacePath namespacePath_;
 148                 public:
 149                         NamespaceDirectoryLookupError( const Ast::SourceLocation & loc, Type type, const Ast::NamespacePath::const_iterator & nsBegin, const Ast::NamespacePath::const_iterator & nsEnd );
 150                         NamespaceDirectoryLookupError( Type type, const Ast::NamespacePath::const_iterator & nsBegin, const Ast::NamespacePath::const_iterator & nsEnd );
 151                         virtual ~NamespaceDirectoryLookupError( );
 152                         virtual void display( std::ostream & os ) const;
 153                 };
 154
 155                 class NamespaceDirectoryFileError : public StaticInconsistency
 156                 {
 157                 public:
 158                         enum Type{ NOT_FOUND, WRONG_TYPE };
 159                 private:
 160                         Type type_;
 161                         Ast::NamespacePath namespacePath_;
 162                         std::string filename_;
 163                 public:
 164                         NamespaceDirectoryFileError( const Ast::SourceLocation & loc, Type type, const Ast::NamespacePath & namespacePath, const std::string & filename );
 165                         NamespaceDirectoryFileError( Type type, const Ast::NamespacePath & namespacePath, const std::string & filename );
 166                         virtual ~NamespaceDirectoryFileError( );
 167                         virtual void display( std::ostream & os ) const;
 168                 };
 169
 170                 class NamespaceDirectoryInvalidEntries : public StaticInconsistency
 171                 {
 172                         RefCountPtr< const Ast::NamespacePath > namespacePath_;
 173                   std::set< std::string > invalidEntries_;
 174                 public:
 175                         NamespaceDirectoryInvalidEntries( const RefCountPtr< const Ast::NamespacePath > & namespacePath, const std::set< std::string > & invalidEntries );
 176                         virtual ~NamespaceDirectoryInvalidEntries( );
 177                         virtual void display( std::ostream & os ) const;
 178                 };
 179
 180                 class NamespaceDirectoryCircularOrdering : public StaticInconsistency
 181                 {
 182                         RefCountPtr< const Ast::NamespacePath > namespacePath_;
 183                         std::string cycleEntry_;
 184                 public:
 185                         NamespaceDirectoryCircularOrdering( const RefCountPtr< const Ast::NamespacePath > & namespacePath, const std::string & cycleEntry );
 186                         virtual ~NamespaceDirectoryCircularOrdering( );
 187                         virtual void display( std::ostream & os ) const;
 188                 };
 189
 190                 class ScannerError : public StaticInconsistency
 191                 {
 192                         Interaction::MessageString msg_;
 193                 public:
 194                         ScannerError( const Ast::SourceLocation & loc, const Interaction::MessageString & msg );
 195                         virtual ~ScannerError( );
 196                         virtual void display( std::ostream & os ) const;
 197                 };
 198
 199                 class ParserError : public StaticInconsistency
 200                 {
 201                         Interaction::MessageString msg_;
 202                         bool justAWarning_;
 203                 public:
 204                         ParserError( const Ast::SourceLocation & loc, const Interaction::MessageString & msg, bool justAWarning = false );
 205                         virtual ~ParserError( );
 206                         virtual void display( std::ostream & os ) const;
 207                 };
 208
 209                 class MemberAlsoAbstract : public StaticInconsistency
 210                 {
 211                         const char * id_;
 212                         const Ast::SourceLocation & abstractLoc_;
 213                 public:
 214                         MemberAlsoAbstract( const Ast::SourceLocation & memberLoc, const char * id, const Ast::SourceLocation & abstractLoc );
 215                         virtual ~MemberAlsoAbstract( );
 216                         virtual void display( std::ostream & os ) const;
 217                 };
 218
 219                 class MemberAlreadyDeclared : public StaticInconsistency
 220                 {
 221                         const char * id_;
 222                         const Ast::SourceLocation & oldLoc_;
 223                 public:
 224                         MemberAlreadyDeclared( const Ast::SourceLocation & memberLoc, const char * id, const Ast::SourceLocation & oldLoc );
 225                         virtual ~MemberAlreadyDeclared( );
 226                         virtual void display( std::ostream & os ) const;
 227                 };
 228
 229                 class PublicGetSetInNonfinalClass : public StaticInconsistency
 230                 {
 231                         const char * id_;
 232                 public:
 233                         PublicGetSetInNonfinalClass( const Ast::SourceLocation & memberLoc, const char * id );
 234                         virtual ~PublicGetSetInNonfinalClass( );
 235                         virtual void display( std::ostream & os ) const;
 236                 };
 237
 238                 class TransformingMemberInNonfinalClass : public StaticInconsistency
 239                 {
 240                         const char * id_;
 241                 public:
 242                         TransformingMemberInNonfinalClass( const Ast::SourceLocation & memberLoc, const char * id );
 243                         virtual ~TransformingMemberInNonfinalClass( );
 244                         virtual void display( std::ostream & os ) const;
 245                 };
 246
 247                 class RepeatedFormal : public StaticInconsistency
 248                 {
 249                         const char * id_;
 250                 public:
 251                         RepeatedFormal( const Ast::SourceLocation & loc, const char * id );
 252                         virtual ~RepeatedFormal( );
 253                         virtual void display( std::ostream & os ) const;
 254                 };
 255
 256     class StateUninitializedUse : public StaticInconsistency
 257     {
 258       const Ast::PlacedIdentifier * id_;
 259       const Ast::Node * decl_;
 260     public:
 261       StateUninitializedUse( const Ast::SourceLocation & loc, const Ast::PlacedIdentifier * id, const Ast::Node * decl );
 262       virtual ~StateUninitializedUse( );
 263       virtual void display( std::ostream & os ) const;
 264     };
 265
 266                 class IllegalFreeStates : public StaticInconsistency
 267                 {
 268                         Ast::StateIDSet * freeStates_;
 269                         const char * reason_;
 270                 public:
 271                         IllegalFreeStates( const Ast::SourceLocation & loc, Ast::StateIDSet * freeStates, const char * reason );
 272                         virtual ~IllegalFreeStates( );
 273                         virtual void display( std::ostream & os ) const;
 274                 };
 275
 276                 class FreeStateIsAlsoPassed : public StaticInconsistency
 277                 {
 278                         Ast::StateID stateID_;
 279                 public:
 280                         FreeStateIsAlsoPassed( const Ast::SourceLocation & loc, Ast::StateID stateID );
 281                         virtual ~FreeStateIsAlsoPassed( );
 282                         virtual void display( std::ostream & os ) const;
 283                 };
 284
 285                 class RepeatedStateArgument : public StaticInconsistency
 286                 {
 287                         RefCountPtr< Ast::StateIDSet > passedStates_;
 288                 public:
 289                         RepeatedStateArgument( const Ast::SourceLocation & loc, const RefCountPtr< Ast::StateIDSet > & passedStates );
 290                         virtual ~RepeatedStateArgument( );
 291                         virtual void display( std::ostream & os ) const;
 292                 };
 293
 294                 class PassingStateOut : public StaticInconsistency
 295                 {
 296                         const char * id_;
 297                 public:
 298                         PassingStateOut( const Ast::SourceLocation & loc, const char * id );
 299                         virtual ~PassingStateOut( );
 300                         virtual void display( std::ostream & os ) const;
 301                 };
 302
 303                 class IntroducingExisting : public StaticInconsistency
 304                 {
 305                         Ast::PlacedIdentifier id_;
 306                 public:
 307                         IntroducingExisting( const Ast::SourceLocation & loc, const Ast::PlacedIdentifier & id );
 308                         virtual ~IntroducingExisting( );
 309                         virtual void display( std::ostream & os ) const;
 310                 };
 311
 312                 class NamespaceAliasCollision : public StaticInconsistency
 313                 {
 314                         const Ast::IdentifierTree * tree_;
 315                         const char * name_;
 316                 public:
 317                         NamespaceAliasCollision( const Ast::SourceLocation & loc, const Ast::IdentifierTree * tree, const char * name );
 318                         virtual ~NamespaceAliasCollision( );
 319                         virtual void display( std::ostream & os ) const;
 320                 };
 321
 322                 class EncapsulationIntroducingExisting : public StaticInconsistency
 323                 {
 324                         const char * id_;
 325                 public:
 326                         EncapsulationIntroducingExisting( const Ast::SourceLocation & loc, const char * id );
 327                         virtual ~EncapsulationIntroducingExisting( );
 328                         virtual void display( std::ostream & os ) const;
 329                 };
 330
 331                 class EncapsulationNamespaceAliasCollision : public StaticInconsistency
 332                 {
 333                         const char * id_;
 334                 public:
 335                         EncapsulationNamespaceAliasCollision( const Ast::SourceLocation & loc, const char * id );
 336                         virtual ~EncapsulationNamespaceAliasCollision( );
 337                         virtual void display( std::ostream & os ) const;
 338                 };
 339
 340                 class FreezingUndefined : public StaticInconsistency
 341                 {
 342                         Ast::PlacedIdentifier id_;
 343                 public:
 344                         FreezingUndefined( const Ast::SourceLocation & loc, const Ast::PlacedIdentifier & id );
 345                         virtual ~FreezingUndefined( );
 346                         virtual void display( std::ostream & os ) const;
 347                 };
 348
 349                 class UndefinedNamespace : public StaticInconsistency
 350                 {
 351                         Ast::NamespaceReference id_;
 352                 public:
 353                         UndefinedNamespace( const Ast::SourceLocation & loc, const Ast::NamespaceReference & id );
 354                         virtual ~UndefinedNamespace( );
 355                         virtual void display( std::ostream & os ) const;
 356                 };
 357
 358                 class ExpectedImmediate : public StaticInconsistency
 359                 {
 360                 public:
 361                         ExpectedImmediate( const Ast::SourceLocation & loc );
 362                         virtual ~ExpectedImmediate( );
 363                         virtual void display( std::ostream & os ) const;
 364                 };
 365
 366                 class IllegalImperative : public StaticInconsistency
 367                 {
 368                 public:
 369                         IllegalImperative( const Ast::SourceLocation & loc );
 370                         virtual ~IllegalImperative( );
 371                         virtual void display( std::ostream & os ) const;
 372                 };
 373
 374                 class FileReadOpenError : public Exception
 375                 {
 376                 public:
 377                         enum Type{ OPEN, STAT };
 378                 private:
 379                         const Ast::SourceLocation & loc_;
 380                         RefCountPtr< const char > filename_;
 381                         Type type_;
 382                         const std::string * sourceDir_;
 383                         const std::list< std::string > * searchPath_;
 384                 public:
 385                         FileReadOpenError( const Ast::SourceLocation & loc, RefCountPtr< const char > filename, const std::string * sourceDir, const std::list< std::string > * searchPath, Type type = OPEN );
 386                         virtual ~FileReadOpenError( );
 387                         virtual void display( std::ostream & os ) const;
 388                         virtual Interaction::ExitCode exitCode( ) const { return Interaction::EXIT_INPUT_FILE_ERROR; }
 389                 };
 390
 391                 class FileWriteOpenError : public Exception
 392                 {
 393                 private:
 394                         const Ast::SourceLocation & loc_;
 395                         RefCountPtr< const char > filename_;
 396                         const char * purpose_;
 397                 public:
 398                         FileWriteOpenError( const Ast::SourceLocation & loc, RefCountPtr< const char > filename, const char * purpose = 0 );
 399                         virtual ~FileWriteOpenError( );
 400                         virtual void display( std::ostream & os ) const;
 401                         virtual Interaction::ExitCode exitCode( ) const { return Interaction::EXIT_OUTPUT_FILE_ERROR; }
 402                 };
 403
 404                 class TeXSetupTooLate : public Exception
 405                 {
 406                         const Ast::SourceLocation & loc_;
 407                 public:
 408                         TeXSetupTooLate( const Ast::SourceLocation & loc );
 409                         virtual ~TeXSetupTooLate( );
 410                         virtual void display( std::ostream & os ) const;
 411                         virtual Interaction::ExitCode exitCode( ) const { return Interaction::EXIT_USER_ERROR; }
 412                 };
 413
 414                 class EmptyFinalPicture : public Exception
 415                 {
 416                 public:
 417                         EmptyFinalPicture( );
 418                         virtual ~EmptyFinalPicture( );
 419                         virtual void display( std::ostream & os ) const;
 420                         virtual Interaction::ExitCode exitCode( ) const { return Interaction::EXIT_USER_ERROR; }
 421                 };
 422
 423                 class RuntimeError : public Exception
 424                 {
 425                 protected:
 426                         const Ast::SourceLocation & loc_;
 427                 public:
 428                         RuntimeError( const Ast::SourceLocation & loc );
 429                         RuntimeError( Ast::Expression * expr );
 430                         const Ast::SourceLocation & getLoc( ) const;
 431                         virtual ~RuntimeError( );
 432                         virtual Interaction::ExitCode exitCode( ) const { return Interaction::EXIT_USER_ERROR; } /* This should be overridden when apropriate! */
 433                 };
 434
 435                 class CatchableError : public RuntimeError
 436                 {
 437                 public:
 438                         CatchableError( const Ast::SourceLocation & loc );
 439                         CatchableError( Ast::Expression * expr );
 440                         virtual ~CatchableError( );
 441                         virtual RefCountPtr< const Lang::Exception > clone( const Kernel::ContRef & cont ) const = 0;
 442                 };
 443
 444                 class UncaughtError : public RuntimeError
 445                 {
 446                         RefCountPtr< const Lang::Exception > ball_;
 447                 public:
 448                         UncaughtError( const RefCountPtr< const Lang::Exception > & ball );
 449                         virtual ~UncaughtError( );
 450                         virtual void display( std::ostream & os ) const;
 451                         virtual Interaction::ExitCode exitCode( ) const;
 452                         const RefCountPtr< const Lang::Exception > & ball( ) const { return ball_; }
 453                 };
 454
 455                 class UserError : public CatchableError
 456                 {
 457                         RefCountPtr< const Lang::Symbol > kind_;
 458                         RefCountPtr< const Lang::String > source_;
 459                         RefCountPtr< const Lang::Value > details_;
 460                         Interaction::MessageString message_;
 461                 public:
 462                         UserError( const RefCountPtr< const Lang::Symbol > & kind, const RefCountPtr< const Lang::String > & source, const RefCountPtr< const Lang::Value > & details, const Interaction::MessageString & message );
 463                         virtual ~UserError( );
 464                         virtual void display( std::ostream & os ) const;
 465                         virtual RefCountPtr< const Lang::Exception > clone( const Kernel::ContRef & cont ) const;
 466                         virtual Interaction::ExitCode exitCode( ) const { return Interaction::EXIT_USER_DETECTED_ERROR; }
 467                 };
 468
 469                 class InternalError : public RuntimeError
 470                 {
 471                 protected:
 472       Interaction::MessageString msg_;
 473                         bool justAWarning_;
 474                 public:
 475                         InternalError( const Ast::SourceLocation & loc, const Interaction::MessageString & msg, bool justAWarning = false );
 476                         InternalError( const Interaction::MessageString & msg, bool justAWarning = false );
 477                         InternalError( const std::ostringstream & msg, bool justAWarning = false );
 478                         virtual ~InternalError( );
 479                         virtual void display( std::ostream & os ) const;
 480                         virtual Interaction::ExitCode exitCode( ) const { return Interaction::EXIT_INTERNAL_ERROR; }
 481                 };
 482
 483                 class ExternalError : public CatchableError
 484                 {
 485       Interaction::MessageString msg_;
 486                         bool justAWarning_;
 487                 public:
 488                         ExternalError( const Interaction::MessageString & msg, bool justAWarning = false );
 489                         virtual ~ExternalError( );
 490                         virtual void display( std::ostream & os ) const;
 491                         virtual RefCountPtr< const Lang::Exception > clone( const Kernel::ContRef & cont ) const;
 492                         virtual Interaction::ExitCode exitCode( ) const { return Interaction::EXIT_EXTERNAL_ERROR; }
 493                         ExternalError * cloneTyped( ) const;
 494                 };
 495
 496                 class InternalErrorIn : public InternalError
 497                 {
 498                         Ast::PlacedIdentifier id_;
 499                 public:
 500                         InternalErrorIn( const Ast::PlacedIdentifier & id, const Interaction::MessageString & msg, bool justAWarning = false );
 501                         virtual ~InternalErrorIn( );
 502                         virtual void display( std::ostream & os ) const;
 503                         virtual Interaction::ExitCode exitCode( ) const { return Interaction::EXIT_INTERNAL_ERROR; }
 504                 };
 505
 506                 class TeXSetupHasChanged : public InternalError
 507                 {
 508                 public:
 509                         TeXSetupHasChanged( );
 510                         virtual ~TeXSetupHasChanged( );
 511                 };
 512
 513                 class MiscellaneousRequirement : public CatchableError
 514                 {
 515       Interaction::MessageString msg_;
 516                 public:
 517                         MiscellaneousRequirement( const Ast::SourceLocation & loc, const Interaction::MessageString & msg );
 518                         MiscellaneousRequirement( const Interaction::MessageString & msg );
 519                         virtual ~MiscellaneousRequirement( );
 520                         virtual void display( std::ostream & os ) const;
 521                         virtual RefCountPtr< const Lang::Exception > clone( const Kernel::ContRef & cont ) const;
 522                 };
 523
 524                 class HandlerError : public CatchableError
 525                 {
 526       Interaction::MessageString msg_;
 527                 public:
 528                         HandlerError( const Interaction::MessageString & msg );
 529                         virtual ~HandlerError( );
 530                         virtual void display( std::ostream & os ) const;
 531                         virtual RefCountPtr< const Lang::Exception > clone( const Kernel::ContRef & cont ) const;
 532                 };
 533
 534                 class PDFVersionError : public CatchableError
 535                 {
 536                         SimplePDF::PDF_Version::Version version_;
 537                         SimplePDF::PDF_Version::Version required_;
 538       Interaction::MessageString msg_;
 539                         bool justAWarning_;
 540                 public:
 541                         PDFVersionError( SimplePDF::PDF_Version::Version version, SimplePDF::PDF_Version::Version required, const Interaction::MessageString & msg, bool justAWarning = false );
 542                         virtual ~PDFVersionError( );
 543                         virtual void display( std::ostream & os ) const;
 544                         virtual RefCountPtr< const Lang::Exception > clone( const Kernel::ContRef & cont ) const;
 545                 };
 546
 547                 class RedefiningLexical : public RuntimeError
 548                 {
 549                         Ast::PlacedIdentifier id_;
 550                 public:
 551                         RedefiningLexical( const Ast::PlacedIdentifier & id );
 552                         virtual ~RedefiningLexical( );
 553                         virtual void display( std::ostream & os ) const;
 554                 };
 555
 556                 class RedefiningDynamic : public RuntimeError
 557                 {
 558                         Ast::PlacedIdentifier id_;
 559                 public:
 560                         RedefiningDynamic( const Ast::PlacedIdentifier & id );
 561                         virtual ~RedefiningDynamic( );
 562                         virtual void display( std::ostream & os ) const;
 563                 };
 564
 565                 class TypeMismatch : public RuntimeError
 566                 {
 567                         const char * hint_;
 568                         RefCountPtr< const char > valueType_;
 569                         RefCountPtr< const char > expectedType_;
 570                 public:
 571                         TypeMismatch( const Ast::SourceLocation & loc, const char * hint, RefCountPtr< const char > valueType, RefCountPtr< const char > expectedType );
 572                         TypeMismatch( const Ast::SourceLocation & loc, RefCountPtr< const char > valueType, RefCountPtr< const char > expectedType );
 573                         virtual ~TypeMismatch( );
 574                         virtual void display( std::ostream & os ) const;
 575                 };
 576
 577                 class ExpectedList : public RuntimeError
 578                 {
 579                         size_t index_;
 580                         RefCountPtr< const char > nonListType_;
 581                 public:
 582                         ExpectedList( const Ast::SourceLocation & loc, size_t index, RefCountPtr< const char > nonListType );
 583                         virtual ~ExpectedList( );
 584                         virtual void display( std::ostream & os ) const;
 585                 };
 586
 587                 class NonObjectMemberAssignment : public RuntimeError
 588                 {
 589                         RefCountPtr< const char > valueType_;
 590                 public:
 591                         NonObjectMemberAssignment( const Ast::SourceLocation & loc, RefCountPtr< const char > valueType );
 592                         virtual ~NonObjectMemberAssignment( );
 593                         virtual void display( std::ostream & os ) const;
 594                 };
 595
 596                 class ElementaryWithout : public RuntimeError
 597                 {
 598                 public:
 599                         enum Kind{ VALUE, STATE };
 600                         enum Ref{ FIELD, MUTATOR };
 601                 private:
 602                         Kind kind_;
 603                         Ref ref_;
 604                         RefCountPtr< const char > valueType_;
 605                 public:
 606                         ElementaryWithout( Kind kind, Ref ref, RefCountPtr< const char > valueType );
 607                         virtual ~ElementaryWithout( );
 608                         virtual void display( std::ostream & os ) const;
 609                 };
 610
 611                 class NonExistentMember : public RuntimeError
 612                 {
 613                         RefCountPtr< const char > valueType_;
 614                         const char * fieldID_;
 615                 public:
 616                         NonExistentMember( RefCountPtr< const char > valueType, const char * fieldID );
 617                         virtual ~NonExistentMember( );
 618                         virtual void display( std::ostream & os ) const;
 619                 };
 620
 621                 class NonExistentMutator : public RuntimeError
 622                 {
 623                         RefCountPtr< const char > valueType_;
 624                         const char * mutatorID_;
 625                 public:
 626                         NonExistentMutator( RefCountPtr< const char > valueType, const char * mutatorID );
 627                         virtual ~NonExistentMutator( );
 628                         virtual void display( std::ostream & os ) const;
 629                 };
 630
 631                 class NonExistentPosition : public RuntimeError
 632                 {
 633                         size_t pos_;
 634                         size_t maxPos_;
 635                 public:
 636                         NonExistentPosition( size_t pos, size_t maxPos );
 637                         virtual ~NonExistentPosition( );
 638                         virtual void display( std::ostream & os ) const;
 639                 };
 640
 641                 class UnaryPrefixNotApplicable : public RuntimeError
 642                 {
 643                         const Ast::Expression * expr_;
 644                         RefCountPtr< const char > valueType_;
 645                         RefCountPtr< const Interaction::CoreLocation > coreLoc_;
 646                 public:
 647                         UnaryPrefixNotApplicable( const Ast::SourceLocation & loc, const Ast::Expression * expr, RefCountPtr< const char > valueType );
 648                         virtual ~UnaryPrefixNotApplicable( );
 649                         void setCoreLocation( const RefCountPtr< const Interaction::CoreLocation > & coreLoc );
 650                         virtual void display( std::ostream & os ) const;
 651                 };
 652
 653                 class UnaryPostfixNotApplicable : public RuntimeError
 654                 {
 655                         const Ast::Expression * expr_;
 656                         RefCountPtr< const char > valueType_;
 657                         RefCountPtr< const Interaction::CoreLocation > coreLoc_;
 658                 public:
 659                         UnaryPostfixNotApplicable( const Ast::SourceLocation & loc, const Ast::Expression * expr, RefCountPtr< const char > valueType );
 660                         virtual ~UnaryPostfixNotApplicable( );
 661                         void setCoreLocation( const RefCountPtr< const Interaction::CoreLocation > & coreLoc );
 662                         virtual void display( std::ostream & os ) const;
 663                 };
 664
 665                 class BinaryInfixNotApplicable : public RuntimeError
 666                 {
 667                         const Ast::Expression * expr1_;
 668                         RefCountPtr< const char > valueType1_;
 669                         const Ast::Expression * expr2_;
 670                         RefCountPtr< const char > valueType2_;
 671                         RefCountPtr< const Interaction::CoreLocation > coreLoc_;
 672                 public:
 673                         BinaryInfixNotApplicable( const Ast::SourceLocation & loc, const Ast::Expression * expr1, RefCountPtr< const char > valueType1, const Ast::Expression * expr2, RefCountPtr< const char > valueType2 );
 674                         virtual ~BinaryInfixNotApplicable( );
 675                         void setCoreLocation( const RefCountPtr< const Interaction::CoreLocation > & coreLoc );
 676                         virtual void display( std::ostream & os ) const;
 677                 };
 678
 679                 class LookupUnknown : public StaticInconsistency
 680                 {
 681                         Ast::Identifier id_;
 682                         Ast::Identifier::Type type_;
 683                 public:
 684                         LookupUnknown( const Ast::SourceLocation & loc, const Ast::Identifier & id, Ast::Identifier::Type type );
 685                         virtual ~LookupUnknown( );
 686                         virtual void display( std::ostream & os ) const;
 687                 };
 688
 689                 class LookupUnknownPrivateAlias : public StaticInconsistency
 690                 {
 691                         Ast::PlacedIdentifier id_;
 692                         Ast::Identifier::Type type_;
 693                 public:
 694                         LookupUnknownPrivateAlias( const Ast::SourceLocation & loc, const Ast::PlacedIdentifier & id, Ast::Identifier::Type type );
 695                         virtual ~LookupUnknownPrivateAlias( );
 696                         virtual void display( std::ostream & os ) const;
 697                 };
 698
 699                 class StateBeyondFunctionBoundary : public StaticInconsistency
 700                 {
 701                         Ast::Identifier id_;
 702                 public:
 703                         StateBeyondFunctionBoundary( const Ast::SourceLocation & loc, const Ast::Identifier & id );
 704                         virtual ~StateBeyondFunctionBoundary( );
 705                         virtual void display( std::ostream & os ) const;
 706                 };
 707
 708                 class IntroducingExistingUnit : public StaticInconsistency
 709                 {
 710                         RefCountPtr< const char > id_;
 711                 public:
 712                         IntroducingExistingUnit( const Ast::SourceLocation & loc, RefCountPtr< const char > id );
 713                         virtual ~IntroducingExistingUnit( );
 714                         virtual void display( std::ostream & os ) const;
 715                 };
 716
 717                 class LookupUnknownUnit : public StaticInconsistency
 718                 {
 719                         RefCountPtr< const char > id_;
 720                 public:
 721                         LookupUnknownUnit( const Ast::SourceLocation & loc, RefCountPtr< const char > id );
 722                         virtual ~LookupUnknownUnit( );
 723                         virtual void display( std::ostream & os ) const;
 724                 };
 725
 726                 class OutOfRange : public CatchableError
 727                 {
 728       Interaction::MessageString msg_;
 729                 public:
 730                         OutOfRange( const Interaction::MessageString & msg );
 731                         OutOfRange( const Ast::SourceLocation & loc, const Interaction::MessageString & msg );
 732                         virtual ~OutOfRange( );
 733                         virtual void display( std::ostream & os ) const;
 734                         virtual RefCountPtr< const Lang::Exception > clone( const Kernel::ContRef & cont ) const;
 735                 };
 736
 737                 class FontProblem : public CatchableError
 738                 {
 739                         RefCountPtr< const Lang::Symbol > PostScript_name_;
 740       Interaction::MessageString msg_;
 741                         bool justAWarning_;
 742                 public:
 743                         FontProblem( const RefCountPtr< const Lang::Symbol > & PostScript_name, const Interaction::MessageString & msg, bool justAWarning = false );
 744                         FontProblem( const RefCountPtr< const Lang::Symbol > & PostScript_name, const Ast::SourceLocation & loc, const Interaction::MessageString & msg, bool justAWarning = false );
 745                         virtual ~FontProblem( );
 746                         virtual void display( std::ostream & os ) const;
 747                         virtual RefCountPtr< const Lang::Exception > clone( const Kernel::ContRef & cont ) const;
 748                 };
 749
 750                 class NonVoidStatement : public RuntimeError
 751                 {
 752                         RefCountPtr< const Lang::Value > val_;
 753                 public:
 754                         NonVoidStatement( const Ast::SourceLocation & loc, RefCountPtr< const Lang::Value > val );
 755                         virtual ~NonVoidStatement( );
 756                         virtual void display( std::ostream & os ) const;
 757                 };
 758
 759                 class UserArityMismatch : public RuntimeError
 760                 {
 761                 public:
 762                         enum Type{ VARIABLE, STATE };
 763                 private:
 764                         const Ast::SourceLocation & formalsLoc_;
 765                         const size_t functionArity_;
 766                         const size_t callArity_;
 767                         const Type type_;
 768                 public:
 769                         UserArityMismatch( const Ast::SourceLocation & callLoc, const Ast::SourceLocation & formalsLoc, size_t functionArity, size_t callArity, const Type type );
 770                         virtual ~UserArityMismatch( );
 771                         virtual void display( std::ostream & os ) const;
 772                 };
 773
 774                 class SinkRequired : public RuntimeError
 775                 {
 776                 private:
 777                         const Ast::SourceLocation & formalsLoc_;
 778                         const size_t formalsArity_;
 779                         const size_t callArity_;
 780                 public:
 781                         SinkRequired( const Ast::SourceLocation & formalsLoc, size_t formalsArity, size_t callArity );
 782                         virtual ~SinkRequired( );
 783                         virtual void display( std::ostream & os ) const;
 784                 };
 785
 786                 class NamedFormalMismatch : public RuntimeError
 787                 {
 788                 public:
 789                         enum Type{ VARIABLE, STATE };
 790                 private:
 791                         const Ast::SourceLocation & formalsLoc_;
 792                         RefCountPtr< const char > name_;
 793                         Type type_;
 794                 public:
 795                         NamedFormalMismatch( const Ast::SourceLocation & formalsLoc, RefCountPtr< const char > name, Type type );
 796                         virtual ~NamedFormalMismatch( );
 797                         virtual void display( std::ostream & os ) const;
 798                 };
 799
 800                 class NamedFormalAlreadySpecified : public RuntimeError
 801                 {
 802                 public:
 803                         enum Type{ VARIABLE, STATE };
 804                 private:
 805                         const Ast::SourceLocation & formalsLoc_;
 806                         RefCountPtr< const char > name_;
 807                         size_t pos_;
 808                         Type type_;
 809                 public:
 810                         NamedFormalAlreadySpecified( const Ast::SourceLocation & formalsLoc, RefCountPtr< const char > name, size_t pos, Type type );
 811                         virtual ~NamedFormalAlreadySpecified( );
 812                         virtual void display( std::ostream & os ) const;
 813                 };
 814
 815                 class MissingArguments : public RuntimeError
 816                 {
 817                         const Ast::SourceLocation & formalsLoc_;
 818                         RefCountPtr< const std::map< size_t, RefCountPtr< const char > > > missingVariables_;
 819                         RefCountPtr< const std::map< size_t, RefCountPtr< const char > > > missingStates_;
 820                 public:
 821                         MissingArguments( const Ast::SourceLocation & callLoc, const Ast::SourceLocation & formalsLoc, std::map< size_t, RefCountPtr< const char > > * missingVariables, std::map< size_t, RefCountPtr< const char > > * missingStates );
 822                         ~MissingArguments( );
 823                         virtual void display( std::ostream & os ) const;
 824                 };
 825
 826     class CoreArityMismatch : public RuntimeError
 827     {
 828       RefCountPtr< const Interaction::CoreLocation > coreLoc_;
 829       const size_t functionArityLow_;
 830       const size_t functionArityHigh_;
 831       const size_t callArity_;
 832     public:
 833       CoreArityMismatch( const RefCountPtr< const Interaction::CoreLocation > & coreLoc, size_t functionArity, size_t callArity );
 834       CoreArityMismatch( Interaction::CoreLocation * coreLoc, size_t functionArity, size_t callArity ); /* Transfers ownership. */
 835       CoreArityMismatch( const RefCountPtr< const Interaction::CoreLocation > & coreLoc, size_t functionArityLow, size_t functionArityHigh, size_t callArity );
 836       /* Convenience constructors for the most common use cases. */
 837       CoreArityMismatch( const Ast::PlacedIdentifier & coreId, size_t functionArity, size_t callArity );
 838       CoreArityMismatch( const Ast::PlacedIdentifier & coreId, size_t functionArityLow, size_t functionArityHigh, size_t callArity );
 839       CoreArityMismatch( const char * coreSyntax, size_t functionArity, size_t callArity );
 840       virtual ~CoreArityMismatch( );
 841       virtual void display( std::ostream & os ) const;
 842     };
 843
 844     class CoreNoNamedFormals : public RuntimeError
 845     {
 846       const char * what_;
 847     public:
 848       CoreNoNamedFormals( const char * what );
 849       virtual ~CoreNoNamedFormals( );
 850       virtual void display( std::ostream & os ) const;
 851     };
 852
 853     class CoreTypeMismatch : public RuntimeError
 854     {
 855       RefCountPtr< const Interaction::CoreLocation > coreLoc_;
 856       const Ast::SourceLocation & argLoc_;
 857       RefCountPtr< const char > valueType_;
 858       RefCountPtr< const char > expectedType_;
 859     public:
 860       CoreTypeMismatch( const Ast::SourceLocation & callLoc,
 861                         Interaction::CoreLocation * coreLoc, /* Transfers ownership. */
 862                         const Ast::SourceLocation & argLoc,
 863                         RefCountPtr< const char > valueType,
 864                         RefCountPtr< const char > expectedType );
 865       CoreTypeMismatch( const Ast::SourceLocation & callLoc,
 866                         const RefCountPtr< const Interaction::CoreLocation > & coreLoc,
 867                         Kernel::Arguments & args,
 868                         size_t argNo,
 869                         RefCountPtr< const char > expectedType );
 870       CoreTypeMismatch( const Ast::SourceLocation & callLoc,
 871                         Interaction::CoreLocation * coreLoc, /* Transfers ownership. */
 872                         Kernel::Arguments & args,
 873                         size_t argNo,
 874                         RefCountPtr< const char > expectedType );
 875       /* Convenience constructor for the most common use case. */
 876       CoreTypeMismatch( const Ast::SourceLocation & callLoc,
 877                         const Ast::PlacedIdentifier & coreId,
 878                         Kernel::Arguments & args,
 879                         size_t argNo,
 880                         RefCountPtr< const char > expectedType );
 881       virtual ~CoreTypeMismatch( );
 882       virtual void display( std::ostream & os ) const;
 883     };
 884
 885     class CoreDynamicTypeMismatch : public RuntimeError
 886     {
 887       RefCountPtr< const Interaction::CoreLocation > coreLoc_;
 888       Ast::PlacedIdentifier id_;
 889       RefCountPtr< const char > valueType_;
 890       RefCountPtr< const char > expectedType_;
 891     public:
 892       CoreDynamicTypeMismatch( const Ast::SourceLocation & callLoc,
 893                                const Ast::PlacedIdentifier & coreId,
 894                                const Ast::PlacedIdentifier & id,
 895                                RefCountPtr< const char > valueType,
 896                                RefCountPtr< const char > expectedType );
 897       virtual ~CoreDynamicTypeMismatch( );
 898       virtual void display( std::ostream & os ) const;
 899     };
 900
 901     class CoreStateTypeMismatch : public RuntimeError
 902     {
 903       RefCountPtr< const Interaction::CoreLocation > coreLoc_;
 904       const Ast::SourceLocation & argLoc_;
 905       RefCountPtr< const char > valueType_;
 906       RefCountPtr< const char > expectedType_;
 907     public:
 908       CoreStateTypeMismatch( const Ast::SourceLocation & callLoc,
 909                              const Ast::PlacedIdentifier & coreId,
 910                              const Ast::SourceLocation & argLoc,
 911                              RefCountPtr< const char > valueType,
 912                              RefCountPtr< const char > expectedType );
 913       virtual ~CoreStateTypeMismatch( );
 914       virtual void display( std::ostream & os ) const;
 915     };
 916
 917                 class ContinuationTypeMismatch : public RuntimeError
 918                 {
 919                         RefCountPtr< const char > valueType_;
 920                         RefCountPtr< const char > expectedType_;
 921                 public:
 922                         ContinuationTypeMismatch( const Kernel::Continuation * locationCont,
 923                                                                                                                                 RefCountPtr< const char > valueType,
 924                                                                                                                                 RefCountPtr< const char > expectedType );
 925                         virtual ~ContinuationTypeMismatch( );
 926                         virtual void display( std::ostream & os ) const;
 927                 };
 928
 929     class CoreOutOfRange : public CatchableError
 930     {
 931       RefCountPtr< const Interaction::CoreLocation > coreLoc_;
 932       size_t argNo_;
 933       const Ast::SourceLocation & argLoc_;
 934       Interaction::MessageString msg_;
 935     public:
 936       CoreOutOfRange( const Ast::SourceLocation & callLoc,
 937                       const Ast::PlacedIdentifier & coreId,
 938                       Kernel::Arguments & args,
 939                       size_t argNo,
 940                       const Interaction::MessageString & msg );
 941       CoreOutOfRange( const Ast::PlacedIdentifier & coreId, Kernel::Arguments & args, size_t argNo, const Interaction::MessageString & msg );
 942       CoreOutOfRange( const Ast::SourceLocation & callLoc,
 943                       const RefCountPtr< const Interaction::CoreLocation > & coreLoc,
 944                       Kernel::Arguments & args,
 945                       size_t argNo,
 946                       const Interaction::MessageString & msg );
 947       CoreOutOfRange( const RefCountPtr< const Interaction::CoreLocation > & coreLoc, Kernel::Arguments & args, size_t argNo, const Interaction::MessageString & msg );
 948       CoreOutOfRange( Interaction::CoreLocation * coreLoc, Kernel::Arguments & args, size_t argNo, const Interaction::MessageString & msg ); /* Transfers ownership. */
 949       virtual ~CoreOutOfRange( );
 950       virtual void display( std::ostream & os ) const;
 951       virtual RefCountPtr< const Lang::Exception > clone( const Kernel::ContRef & cont ) const;
 952     protected:
 953       void setMessage( const Interaction::MessageString & msg );
 954     };
 955
 956                 class UserOutOfRange : public CatchableError
 957                 {
 958                         RefCountPtr< const Lang::Symbol > kind_;
 959                         RefCountPtr< const Lang::String > source_;
 960                         RefCountPtr< const Lang::Integer > details_;
 961                         Interaction::MessageString message_;
 962                 public:
 963                         UserOutOfRange( const RefCountPtr< const Lang::Symbol > & kind, const RefCountPtr< const Lang::String > & source, const RefCountPtr< const Lang::Integer > & details, const Interaction::MessageString & message );
 964                         virtual ~UserOutOfRange( );
 965                         virtual void display( std::ostream & os ) const;
 966                         virtual RefCountPtr< const Lang::Exception > clone( const Kernel::ContRef & cont ) const;
 967                 };
 968
 969                 class UserTypeMismatch : public CatchableError
 970                 {
 971                         RefCountPtr< const Lang::Symbol > kind_;
 972                         RefCountPtr< const Lang::String > source_;
 973                         RefCountPtr< const Lang::Integer > details_;
 974                         RefCountPtr< const char > expectedType_;
 975                         RefCountPtr< const char > valueType_;
 976                 public:
 977                         UserTypeMismatch( const RefCountPtr< const Lang::Symbol > & kind, const RefCountPtr< const Lang::String > & source, const RefCountPtr< const Lang::Integer > & details, const RefCountPtr< const char > & expectedType, const RefCountPtr< const char > & valueType );
 978                         virtual ~UserTypeMismatch( );
 979                         virtual void display( std::ostream & os ) const;
 980                         virtual RefCountPtr< const Lang::Exception > clone( const Kernel::ContRef & cont ) const;
 981                 };
 982
 983     class CoreRequirement : public CatchableError
 984     {
 985       RefCountPtr< const Interaction::CoreLocation > coreLoc_;
 986       Interaction::MessageString msg_;
 987     public:
 988       CoreRequirement( const Interaction::MessageString & msg, const RefCountPtr< const Interaction::CoreLocation > & coreLoc, const Ast::SourceLocation & callLoc );
 989       CoreRequirement( const Interaction::MessageString & msg, Interaction::CoreLocation * coreLoc, const Ast::SourceLocation & callLoc ); /* Transfers ownership. */
 990       /* Convenience constructor for the most common use case. */
 991       CoreRequirement( const Interaction::MessageString & msg, const Ast::PlacedIdentifier & id, const Ast::SourceLocation & callLoc );
 992       virtual ~CoreRequirement( );
 993       virtual void display( std::ostream & os ) const;
 994       virtual RefCountPtr< const Lang::Exception > clone( const Kernel::ContRef & cont ) const;
 995     };
 996
 997     class BuildRequirement : public CatchableError
 998     {
 999       RefCountPtr< const Interaction::CoreLocation > coreLoc_;
1000       const char * dependency_;
1001     public:
1002       BuildRequirement( const char * dependency, const RefCountPtr< const Interaction::CoreLocation > & coreLoc, const Ast::SourceLocation & callLoc );
1003       /* Convenience constructor for the most common use case. */
1004       BuildRequirement( const char * dependency, const Ast::PlacedIdentifier & id, const Ast::SourceLocation & callLoc );
1005       virtual ~BuildRequirement( );
1006       virtual void display( std::ostream & os ) const;
1007       virtual RefCountPtr< const Lang::Exception > clone( const Kernel::ContRef & cont ) const;
1008     };
1009
1010                 class TeXLabelError : public RuntimeError
1011                 {
1012                         const Ast::SourceLocation & strLoc_;
1013                         bool quoted_;
1014                         const char * region_;
1015                         Interaction::MessageString summary_;
1016                         Interaction::MessageString details_;
1017                 public:
1018                         TeXLabelError( bool quoted, const char * region, const Interaction::MessageString & summary, const Interaction::MessageString & details, const Ast::SourceLocation & strLoc );
1019                         virtual ~TeXLabelError( );
1020                         virtual void display( std::ostream & os ) const;
1021                         virtual Interaction::ExitCode exitCode( ) const { return Interaction::EXIT_TEX_ERROR; }
1022                 };
1023
1024                 class StaticTeXLabelError : public StaticInconsistency
1025                 {
1026                         bool quoted_;
1027                         const char * region_;
1028                         Interaction::MessageString summary_;
1029                         Interaction::MessageString details_;
1030                 public:
1031                         StaticTeXLabelError( bool quoted, const char * region, const Interaction::MessageString & summary, const Interaction::MessageString & details, const Ast::SourceLocation & strLoc );
1032                         virtual ~StaticTeXLabelError( );
1033                         virtual void display( std::ostream & os ) const;
1034                         virtual Interaction::ExitCode exitCode( ) const { return Interaction::EXIT_TEX_ERROR; }
1035                 };
1036
1037                 class MultipleDynamicBind : public RuntimeError
1038                 {
1039                         const Ast::PlacedIdentifier * id_;
1040                         const Ast::SourceLocation & prevLoc_;
1041                 public:
1042                         MultipleDynamicBind( const Ast::PlacedIdentifier * id, const Ast::SourceLocation & loc, const Ast::SourceLocation & prevLoc );
1043                         virtual ~MultipleDynamicBind( );
1044                         virtual void display( std::ostream & os ) const;
1045                 };
1046
1047                 class UndefinedEscapeContinuation : public RuntimeError
1048                 {
1049                         const char * id_;
1050                 public:
1051                         UndefinedEscapeContinuation( const char * id, const Ast::SourceLocation & loc );
1052                         virtual ~UndefinedEscapeContinuation( );
1053                         virtual void display( std::ostream & os ) const;
1054                 };
1055
1056                 class DeadStateAccess : public RuntimeError
1057                 {
1058                 public:
1059                         DeadStateAccess( );
1060                         virtual ~DeadStateAccess( );
1061                         virtual void display( std::ostream & os ) const;
1062                 };
1063
1064                 class UnFreezable : public RuntimeError
1065                 {
1066                 public:
1067                         UnFreezable( );
1068                         virtual ~UnFreezable( );
1069                         virtual void display( std::ostream & os ) const;
1070                 };
1071
1072                 class UnPeekable : public RuntimeError
1073                 {
1074                 public:
1075                         UnPeekable( );
1076                         virtual ~UnPeekable( );
1077                         virtual void display( std::ostream & os ) const;
1078                 };
1079
1080                 class UninitializedAccess : public RuntimeError
1081                 {
1082                 public:
1083                         UninitializedAccess( );
1084                         virtual ~UninitializedAccess( );
1085                         virtual void display( std::ostream & os ) const;
1086                 };
1087
1088                 class DtMinError : public CatchableError
1089                 {
1090                         double dt_;
1091                 public:
1092                         DtMinError( double dt );
1093                         virtual ~DtMinError( );
1094                         virtual void display( std::ostream & os ) const;
1095                         virtual RefCountPtr< const Lang::Exception > clone( const Kernel::ContRef & cont ) const;
1096                         virtual Interaction::ExitCode exitCode( ) const { return Interaction::EXIT_TOLERANCE_ERROR; }
1097                 };
1098
1099                 class AffineTransformKillsPlane : public CatchableError
1100                 {
1101                         double sigma2_;
1102                 public:
1103                         AffineTransformKillsPlane( double sigma2 );
1104                         virtual ~AffineTransformKillsPlane( );
1105                         virtual void display( std::ostream & os ) const;
1106                         virtual RefCountPtr< const Lang::Exception > clone( const Kernel::ContRef & cont ) const;
1107                 };
1108
1109                 class MissingFontMetrics : public RuntimeError
1110                 {
1111                         RefCountPtr< const char > fontname_;
1112                         const std::list< std::string > * searchPath_;
1113                 public:
1114                         MissingFontMetrics( RefCountPtr< const char > fontname, const std::list< std::string > * searchPath );
1115                         virtual ~MissingFontMetrics( );
1116                         virtual void display( std::ostream & os ) const;
1117                         virtual Interaction::ExitCode exitCode( ) const { return Interaction::EXIT_EXTERNAL_ERROR; }
1118                 };
1119
1120                 class FontMetricsError : public RuntimeError
1121                 {
1122                         RefCountPtr< const char > fontname_;
1123                         Interaction::MessageString message_;
1124                 public:
1125                         FontMetricsError( const RefCountPtr< const char > & fontname, const Interaction::MessageString & message );
1126                         virtual ~FontMetricsError( );
1127                         virtual void display( std::ostream & os ) const;
1128                         virtual Interaction::ExitCode exitCode( ) const { return Interaction::EXIT_EXTERNAL_ERROR; }
1129                 };
1130
1131                 class InsertingEmptyPage : public CatchableError
1132                 {
1133                 public:
1134                         InsertingEmptyPage( const Ast::SourceLocation & loc );
1135                         virtual ~InsertingEmptyPage( );
1136                         virtual void display( std::ostream & os ) const;
1137                         virtual RefCountPtr< const Lang::Exception > clone( const Kernel::ContRef & cont ) const;
1138                 };
1139
1140                 class InvalidGraphKeyType : public InternalError
1141                 {
1142                 public:
1143                         InvalidGraphKeyType( );
1144                         virtual ~InvalidGraphKeyType( );
1145                 };
1146
1147                 class GraphKeyTypeMismatch : public TypeMismatch
1148                 {
1149                 public:
1150                         GraphKeyTypeMismatch( const Ast::SourceLocation & loc, const char * hint, RefCountPtr< const char > valueType );
1151                         virtual ~GraphKeyTypeMismatch( );
1152                         static RefCountPtr< const char > expectedType;
1153                         static RefCountPtr< const char > expectedTypeOrNode;
1154                         static RefCountPtr< const char > expectedTypeOrStructure;
1155                 };
1156
1157                 class InvalidGraphKey : public InternalError
1158                 {
1159                 public:
1160                         enum Type{ NODE, PARTITION };
1161                 public:
1162                         InvalidGraphKey( Type type );
1163                         virtual ~InvalidGraphKey( );
1164                 };
1165
1166                 class GraphKeyOutOfRange : public CoreOutOfRange
1167                 {
1168                 public:
1169                         enum Type{ NODE, PARTITION };
1170                 private:
1171                         Type type_;
1172                 public:
1173                         GraphKeyOutOfRange( Type type, const Ast::SourceLocation & callLoc, const Ast::PlacedIdentifier & coreId, Kernel::Arguments & args, size_t argNo );
1174                         GraphKeyOutOfRange( Type type, const Ast::SourceLocation & callLoc, const RefCountPtr< const Interaction::CoreLocation > & coreLoc, Kernel::Arguments & args, size_t argNo );
1175                         virtual ~GraphKeyOutOfRange( );
1176                 private:
1177                         void initMessage( Kernel::Arguments & args, size_t argNo );
1178                 };
1179
1180                 class InvalidGraphElement : public CatchableError
1181                 {
1182                 public:
1183                         enum Type{ NODE, EDGE };
1184                 private:
1185                         Type type_;
1186                 public:
1187                         InvalidGraphElement( Type type, const Ast::SourceLocation & loc );
1188                         virtual ~InvalidGraphElement( );
1189                         virtual void display( std::ostream & os ) const;
1190                         virtual RefCountPtr< const Lang::Exception > clone( const Kernel::ContRef & cont ) const;
1191                 };
1192
1193                 class EdgeTraceError : public CatchableError
1194                 {
1195                 public:
1196                         enum Type{ UNDIRECTED, TRACE, BACKTRACE };
1197                 private:
1198                         Type type_;
1199                         RefCountPtr< const Lang::Value > edgeKeyFrom_;
1200                         RefCountPtr< const Lang::Value > edgeKeyTo_;
1201                         RefCountPtr< const Lang::Value > nodeKey_;
1202                 public:
1203                         EdgeTraceError( Type type, const RefCountPtr< const Lang::Value > & edgeKeyFrom, const RefCountPtr< const Lang::Value > & edgeKeyTo, const RefCountPtr< const Lang::Value > & nodeKey, const Ast::SourceLocation & loc );
1204                         virtual ~EdgeTraceError( );
1205                         virtual void display( std::ostream & os ) const;
1206                         virtual RefCountPtr< const Lang::Exception > clone( const Kernel::ContRef & cont ) const;
1207                 };
1208
1209                 class GraphDomainError : public CatchableError
1210                 {
1211                 public:
1212                         enum Type{ DIRECTED, UNDIRECTED, LOOPS, PARALLEL };
1213                 private:
1214                         Type type_;
1215                         bool directed_;
1216                         RefCountPtr< const Lang::Value > edgeKeyFrom_;
1217                         RefCountPtr< const Lang::Value > edgeKeyTo_;
1218                 public:
1219                         GraphDomainError( Type type, bool directed, const RefCountPtr< const Lang::Value > & edgeKeyFrom, const RefCountPtr< const Lang::Value > & edgeKeyTo, const Ast::SourceLocation & loc );
1220                         virtual ~GraphDomainError( );
1221                         virtual void display( std::ostream & os ) const;
1222                         virtual RefCountPtr< const Lang::Exception > clone( const Kernel::ContRef & cont ) const;
1223                 };
1224
1225                 class InvalidGraphPartition : public CatchableError
1226                 {
1227                         RefCountPtr< const Lang::Value > partition_;
1228                         RefCountPtr< const Lang::SingleList > partitions_;
1229                 public:
1230                         InvalidGraphPartition( const RefCountPtr< const Lang::Value > & partition, const RefCountPtr< const Lang::SingleList > & partitions, const Ast::SourceLocation & loc );
1231                         virtual ~InvalidGraphPartition( );
1232                         virtual void display( std::ostream & os ) const;
1233                         virtual RefCountPtr< const Lang::Exception > clone( const Kernel::ContRef & cont ) const;
1234                 };
1235
1236                 class GraphPartitionViolation : public CatchableError
1237                 {
1238                         RefCountPtr< const Lang::Value > sourceKey_;
1239                         RefCountPtr< const Lang::Value > targetKey_;
1240                         RefCountPtr< const Lang::Value > partition_;
1241                 public:
1242                         GraphPartitionViolation( const RefCountPtr< const Lang::Value > & sourceKey, const RefCountPtr< const Lang::Value > & targetKey, const RefCountPtr< const Lang::Value > & partition, const Ast::SourceLocation & loc );
1243                         virtual ~GraphPartitionViolation( );
1244                         virtual void display( std::ostream & os ) const;
1245                         virtual RefCountPtr< const Lang::Exception > clone( const Kernel::ContRef & cont ) const;
1246                 };
1247
1248
1249                 class UndefinedCrossRef : public PostCondition
1250                 {
1251                 private:
1252                         RefCountPtr< const char > ref_;
1253                 public:
1254                         UndefinedCrossRef( const Ast::SourceLocation & loc, RefCountPtr< const char > ref );
1255                         virtual ~UndefinedCrossRef( );
1256                         virtual void display( std::ostream & os ) const;
1257                 };
1258
1259                 class InvocationError : public Exception
1260                 {
1261                         Interaction::MessageString msg_;
1262                         bool justAWarning_;
1263                 public:
1264                         InvocationError( const Interaction::MessageString & msg, bool justAWarning = false );
1265                         virtual ~InvocationError( );
1266                         virtual void display( std::ostream & os ) const;
1267                         virtual Interaction::ExitCode exitCode( ) const { return Interaction::EXIT_INVOCATION_ERROR; }
1268                 };
1269
1270                 class BadSetValueState : public InternalError
1271                 {
1272                 public:
1273                         BadSetValueState( );
1274                         virtual ~BadSetValueState( );
1275                 };
1276
1277         }
1278
1279         namespace NonLocalExit
1280         {
1281                 /* The exceptions in this namespace does not represent ordinary exception conditions in the program.
1282                  * Rather, they can be seen as alternative ways for particular functions to return.  Thus, the caller
1283                  * of such a function shall always take care of any such exceptions, and not let these be passed up.
1284                  * For this reason, the classes in this namespace does not inherit from Shapes::Exceptions::Exception.
1285                  */
1286
1287                 class NonLocalExitBase
1288                 {
1289                 public:
1290                         NonLocalExitBase( ){ }
1291                 };
1292
1293                 class DynamicBindingNotFound : public NonLocalExitBase
1294                 {
1295                 public:
1296                         DynamicBindingNotFound( ){ }
1297                 };
1298
1299                 class CrossDirectionOfParallel : public NonLocalExitBase
1300                 {
1301                 public:
1302                         CrossDirectionOfParallel( ){ }
1303                 };
1304
1305                 class NotThisType : public NonLocalExitBase
1306                 {
1307                 public:
1308                         NotThisType( ){ }
1309                 };
1310
1311         }
1312 }