?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Updating the changelog in the VERSION file, and version_sync.
[shapes.git] / source / shapesexceptions.cc
blob39415ba6ce8c3bd08b51b59376a2cc7cb232c253
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 Henrik Tidefelt
17 */
18
19 #include "shapesexceptions.h"
20 #include "ast.h"
21 #include "astclass.h"
22 #include "globals.h"
23 #include "functiontypes.h"
24
25 using namespace Shapes;
26 using namespace std;
27
28
29 const std::string Exceptions::additionalLinesPrefix = "| ";
30
31 namespace Shapes
32 {
33 namespace Exceptions
34 {
35 void prefixEachLine( const std::string & prefix, std::istream & src, std::ostream & dst );
36 void prefixEachLine( const std::string & prefix, const RefCountPtr< const char > & src, std::ostream & dst );
37 }
38 }
39
40 Exceptions::NotImplemented::NotImplemented( const char * _functionality )
41 : functionality( _functionality )
42 { }
43
44 Exceptions::NotImplemented::~NotImplemented( )
45 { }
46
47 void
48 Exceptions::NotImplemented::display( std::ostream & os ) const
49 {
50 os << "Under construction: " << functionality << " is not implemented." << std::endl ;
51 }
52
53 const char * Exceptions::Exception::locsep = ": ";
54
55 Exceptions::Exception::Exception( )
56 { }
57
58 Exceptions::Exception::~Exception( )
59 { }
60
61 Exceptions::MiscellaneousRequirement::MiscellaneousRequirement( RefCountPtr< const char > msg )
62 : Exceptions::CatchableError( Ast::THE_UNKNOWN_LOCATION ), msg_( msg.getPtr( ) ), msgMem_( msg )
63 { }
64
65 Exceptions::MiscellaneousRequirement::MiscellaneousRequirement( const char * msg )
66 : Exceptions::CatchableError( Ast::THE_UNKNOWN_LOCATION ), msg_( msg ), msgMem_( NullPtr< const char >( ) )
67 { }
68
69 Exceptions::MiscellaneousRequirement::~MiscellaneousRequirement( )
70 { }
71
72 void
73 Exceptions::MiscellaneousRequirement::display( ostream & os ) const
74 {
75 os << "Failed to meet requirement: " << msg_ << std::endl ;
76 }
77
78 RefCountPtr< const Lang::Exception >
79 Exceptions::MiscellaneousRequirement::clone( const Kernel::ContRef & cont ) const
80 {
81 static RefCountPtr< const Lang::Symbol > kind( new Lang::Symbol( "misc" ) );
82 std::ostringstream os;
83 display( os );
84 return RefCountPtr< const Lang::Exception >( new Lang::Exception( this->getLoc( ),
85 kind,
86 RefCountPtr< const Lang::String >( new Lang::String( "(core, generic)", true ) ),
87 Lang::THE_VOID,
88 strrefdup( os ),
89 cont,
90 this->exitCode( ) ) );
91 }
92
93
94 Exceptions::HandlerError::HandlerError( RefCountPtr< const char > _msg )
95 : Exceptions::CatchableError( Ast::THE_UNKNOWN_LOCATION ), msg( _msg )
96 { }
97
98 Exceptions::HandlerError::HandlerError( const char * _msg )
99 : Exceptions::CatchableError( Ast::THE_UNKNOWN_LOCATION ), msg( strrefdup( _msg ) )
100 { }
101
102 Exceptions::HandlerError::~HandlerError( )
103 { }
104
105 void
106 Exceptions::HandlerError::display( ostream & os ) const
107 {
108 os << "Error handler message: " << msg << std::endl ;
109 }
110
111 RefCountPtr< const Lang::Exception >
112 Exceptions::HandlerError::clone( const Kernel::ContRef & cont ) const
113 {
114 static RefCountPtr< const Lang::Symbol > kind( new Lang::Symbol( "misc" ) );
115 std::ostringstream os;
116 display( os );
117 return RefCountPtr< const Lang::Exception >( new Lang::Exception( this->getLoc( ),
118 kind,
119 RefCountPtr< const Lang::String >( new Lang::String( "(default error handler)", true ) ),
120 Lang::THE_VOID,
121 strrefdup( os ),
122 cont,
123 this->exitCode( ) ) );
124 }
125
126
127 Exceptions::MiscellaneousStaticInconsistency::MiscellaneousStaticInconsistency( const Ast::SourceLocation & loc, RefCountPtr< const char > _msg )
128 : Exceptions::StaticInconsistency( loc ), msg( _msg )
129 { }
130
131 Exceptions::MiscellaneousStaticInconsistency::~MiscellaneousStaticInconsistency( )
132 { }
133
134 void
135 Exceptions::MiscellaneousStaticInconsistency::display( ostream & os ) const
136 {
137 os << "Misc error: " << msg << std::endl ;
138 }
139
140
141 Exceptions::ScannerError::ScannerError( const Ast::SourceLocation & loc, RefCountPtr< const char > _msg )
142 : Exceptions::StaticInconsistency( loc ), msg( _msg )
143 { }
144
145 Exceptions::ScannerError::~ScannerError( )
146 { }
147
148 void
149 Exceptions::ScannerError::display( ostream & os ) const
150 {
151 os << "Scanner error: " << msg << std::endl ;
152 }
153
154
155 Exceptions::ParserError::ParserError( const Ast::SourceLocation & loc, RefCountPtr< const char > _msg )
156 : Exceptions::StaticInconsistency( loc ), msg( _msg )
157 { }
158
159 Exceptions::ParserError::~ParserError( )
160 { }
161
162 void
163 Exceptions::ParserError::display( ostream & os ) const
164 {
165 os << "Parser error: " << msg << std::endl ;
166 }
167
168
169 Exceptions::MemberAlsoAbstract::MemberAlsoAbstract( const Ast::SourceLocation & _memberLoc, const char * _id, const Ast::SourceLocation & _abstractLoc )
170 : Exceptions::StaticInconsistency( _memberLoc ), memberLoc( _memberLoc ), id( _id ), abstractLoc( _abstractLoc )
171 { }
172
173 Exceptions::MemberAlsoAbstract::~MemberAlsoAbstract( )
174 { }
175
176 void
177 Exceptions::MemberAlsoAbstract::display( ostream & os ) const
178 {
179 os << "The member " << id << " is also declared abstract, at " << abstractLoc << "." << std::endl ;
180 }
181
182
183 Exceptions::MemberAlreadyDeclared::MemberAlreadyDeclared( const Ast::SourceLocation & _memberLoc, const char * _id, const Ast::SourceLocation & _oldLoc )
184 : Exceptions::StaticInconsistency( _memberLoc ), memberLoc( _memberLoc ), id( _id ), oldLoc( _oldLoc )
185 { }
186
187 Exceptions::MemberAlreadyDeclared::~MemberAlreadyDeclared( )
188 { }
189
190 void
191 Exceptions::MemberAlreadyDeclared::display( ostream & os ) const
192 {
193 os << "The member " << id << " has already been declared, at " << oldLoc << "." << std::endl ;
194 }
195
196
197 Exceptions::PublicGetSetInNonfinalClass::PublicGetSetInNonfinalClass( const Ast::SourceLocation & _memberLoc, const char * _id )
198 : Exceptions::StaticInconsistency( _memberLoc ), memberLoc( _memberLoc ), id( _id )
199 { }
200
201 Exceptions::PublicGetSetInNonfinalClass::~PublicGetSetInNonfinalClass( )
202 { }
203
204 void
205 Exceptions::PublicGetSetInNonfinalClass::display( ostream & os ) const
206 {
207 os << "Only members of final classes may have the public get or set specifier. Member in question: " << id << "." << std::endl ;
208 }
209
210
211 Exceptions::TransformingMemberInNonfinalClass::TransformingMemberInNonfinalClass( const Ast::SourceLocation & _memberLoc, const char * _id )
212 : Exceptions::StaticInconsistency( _memberLoc ), memberLoc( _memberLoc ), id( _id )
213 { }
214
215 Exceptions::TransformingMemberInNonfinalClass::~TransformingMemberInNonfinalClass( )
216 { }
217
218 void
219 Exceptions::TransformingMemberInNonfinalClass::display( ostream & os ) const
220 {
221 os << "Only members of final classes may have the <transforming> specifier. Member in question: " << id << "." << std::endl ;
222 }
223
224
225 Exceptions::RepeatedFormal::RepeatedFormal( const Ast::SourceLocation & loc, const char * _id )
226 : Exceptions::StaticInconsistency( loc ), id( _id )
227 { }
228
229 Exceptions::RepeatedFormal::~RepeatedFormal( )
230 { }
231
232 void
233 Exceptions::RepeatedFormal::display( ostream & os ) const
234 {
235 os << "Repeated formal: " << id << std::endl ;
236 }
237
238
239 Exceptions::IllegalFreeStates::IllegalFreeStates( const Ast::SourceLocation & loc, Ast::StateIDSet * freeStates, const char * reason )
240 : Exceptions::StaticInconsistency( loc ), freeStates_( freeStates ), reason_( reason )
241 { }
242
243 Exceptions::IllegalFreeStates::~IllegalFreeStates( )
244 { }
245
246 void
247 Exceptions::IllegalFreeStates::display( ostream & os ) const
248 {
249 os << "Free states are illegal here (" << reason_ << "):" ;
250 typedef typeof *freeStates_ SetType;
251 for( SetType::const_iterator i = freeStates_->begin( ); i != freeStates_->end( ); ++i )
252 {
253 os << " " << *i ;
254 }
255 os << std::endl ;
256 }
257
258
259 Exceptions::FreeStateIsAlsoPassed::FreeStateIsAlsoPassed( const Ast::SourceLocation & loc, Ast::StateID stateID )
260 : Exceptions::StaticInconsistency( loc ), stateID_( stateID )
261 { }
262
263 Exceptions::FreeStateIsAlsoPassed::~FreeStateIsAlsoPassed( )
264 { }
265
266 void
267 Exceptions::FreeStateIsAlsoPassed::display( ostream & os ) const
268 {
269 os << "Non-pure, delayed, expressions may not have free states which are also passed as state arguments in the same non-pure function application. Please consider forcing immediate evaluation." << std::endl ;
270 }
271
272
273 Exceptions::RepeatedStateArgument::RepeatedStateArgument( const Ast::SourceLocation & loc, const RefCountPtr< Ast::StateIDSet > & passedStates )
274 : Exceptions::StaticInconsistency( loc ), passedStates_( passedStates )
275 { }
276
277 Exceptions::RepeatedStateArgument::~RepeatedStateArgument( )
278 { }
279
280 void
281 Exceptions::RepeatedStateArgument::display( ostream & os ) const
282 {
283 os << "Some of these states are being passed in more than one state argument position:" ;
284 typedef typeof *passedStates_ SetType;
285 for( SetType::const_iterator i = passedStates_->begin( ); i != passedStates_->end( ); ++i )
286 {
287 os << " " << *i ;
288 }
289 os << std::endl ;
290 }
291
292
293 Exceptions::PassingStateOut::PassingStateOut( const Ast::SourceLocation & loc, const char * id )
294 : Exceptions::StaticInconsistency( loc ), id_( id )
295 { }
296
297 Exceptions::PassingStateOut::~PassingStateOut( )
298 { }
299
300 void
301 Exceptions::PassingStateOut::display( std::ostream & os ) const
302 {
303 os << "States may not be returned." << std::endl ;
304 }
305
306
307 Exceptions::IntroducingExisting::IntroducingExisting( const Ast::SourceLocation & _loc, const char * _id )
308 : Exceptions::StaticInconsistency( _loc ), loc( _loc ), id( _id )
309 { }
310
311 Exceptions::IntroducingExisting::~IntroducingExisting( )
312 { }
313
314 void
315 Exceptions::IntroducingExisting::display( std::ostream & os ) const
316 {
317 os << "The variable " << id << " is already introduced in this scope." << std::endl ;
318 }
319
320
321 Exceptions::ExpectedImmediate::ExpectedImmediate( const Ast::SourceLocation & _loc )
322 : Exceptions::StaticInconsistency( _loc ), loc( _loc )
323 { }
324
325 Exceptions::ExpectedImmediate::~ExpectedImmediate( )
326 { }
327
328 void
329 Exceptions::ExpectedImmediate::display( std::ostream & os ) const
330 {
331 os << "It makes no sense to put a pure expression before the end of a code bracket." << std::endl ;
332 }
333
334
335 Exceptions::IllegalImperative::IllegalImperative( const Ast::SourceLocation & _loc )
336 : Exceptions::StaticInconsistency( _loc ), loc( _loc )
337 { }
338
339 Exceptions::IllegalImperative::~IllegalImperative( )
340 { }
341
342 void
343 Exceptions::IllegalImperative::display( std::ostream & os ) const
344 {
345 os << "Imperative expressions are not allowed here." << std::endl ;
346 }
347
348
349 Exceptions::FreezingUndefined::FreezingUndefined( const Ast::SourceLocation & _loc, const char * _id )
350 : Exceptions::StaticInconsistency( _loc ), loc( _loc ), id( _id )
351 { }
352
353 Exceptions::FreezingUndefined::~FreezingUndefined( )
354 { }
355
356 void
357 Exceptions::FreezingUndefined::display( std::ostream & os ) const
358 {
359 os << "Internal error: The variable " << id << " is freezed before it was defined. Either this should be caught by during the parse, or it is due to an error in the setup of the initial environment." << std::endl ;
360 }
361
362
363 Exceptions::FileReadOpenError::FileReadOpenError( const Ast::SourceLocation & _loc, RefCountPtr< const char > _filename, const std::string * sourceDir, const std::list< std::string > * searchPath, Type _type )
364 : loc( _loc ), filename( _filename ), type( _type ), sourceDir_( sourceDir ), searchPath_( searchPath )
365 { }
366
367 Exceptions::FileReadOpenError::~FileReadOpenError( )
368 { }
369
370 void
371 Exceptions::FileReadOpenError::display( std::ostream & os ) const
372 {
373 switch( type )
374 {
375 case OPEN:
376 os << loc << locsep << "Could not open file: " << filename ;
377 break;
378 case STAT:
379 os << loc << locsep << "Could not stat() file: " << filename ;
380 break;
381 default:
382 os << loc << locsep << "Internal error when displaying FileReadOpenError on file: " << filename ;
383 }
384 if( searchPath_ != 0 )
385 {
386 os << " searching \"" ;
387 typedef typeof *searchPath_ ListType;
388 for( ListType::const_iterator i = searchPath_->begin( ); i != searchPath_->end( ); ++i )
389 {
390 if( i != searchPath_->begin( ) )
391 {
392 os << ":" ;
393 }
394 if( sourceDir_ != 0 && (*i)[0] != '/' )
395 {
396 os << *sourceDir_ ;
397 }
398 os << *i ;
399 }
400 os << "\"" ;
401 }
402 os << std::endl ;
403 }
404
405
406 Exceptions::FileWriteOpenError::FileWriteOpenError( const Ast::SourceLocation & _loc, RefCountPtr< const char > _filename, const char * purpose )
407 : loc( _loc ), filename( _filename ), purpose_( purpose )
408 { }
409
410 Exceptions::FileWriteOpenError::~FileWriteOpenError( )
411 { }
412
413 void
414 Exceptions::FileWriteOpenError::display( std::ostream & os ) const
415 {
416 os << loc << locsep << "Could not open " ;
417 if( purpose_ != 0 )
418 {
419 os << purpose_ ;
420 }
421 os << " file for write: " << filename ;
422 os << std::endl ;
423 }
424
425
426 Exceptions::TeXSetupTooLate::TeXSetupTooLate( const Ast::SourceLocation & _loc )
427 : loc( _loc )
428 { }
429
430 Exceptions::TeXSetupTooLate::~TeXSetupTooLate( )
431 { }
432
433 void
434 Exceptions::TeXSetupTooLate::display( std::ostream & os ) const
435 {
436 os << loc << locsep << "It is too late to make modifications to the TeX context." << std::endl ;
437 }
438
439
440 Exceptions::EmptyFinalPicture::EmptyFinalPicture( )
441 { }
442
443 Exceptions::EmptyFinalPicture::~EmptyFinalPicture( )
444 { }
445
446 void
447 Exceptions::EmptyFinalPicture::display( std::ostream & os ) const
448 {
449 os << "Nothing was ever put in the global #" << Lang::CATALOG_ID << " or drawn to the global #" << Lang::CANVAS_ID << "." << std::endl ;
450 }
451
452
453 Exceptions::TeXSetupHasChanged::TeXSetupHasChanged( )
454 : Shapes::Exceptions::InternalError( "The TeX context check failed while loading fresh labels." )
455 { }
456
457 Exceptions::TeXSetupHasChanged::~TeXSetupHasChanged( )
458 { }
459
460
461 Exceptions::TypeMismatch::TypeMismatch( const Ast::SourceLocation & loc, RefCountPtr< const char > _valueType, RefCountPtr< const char > _expectedType )
462 : Exceptions::RuntimeError( loc ), hint_( 0 ), valueType( _valueType ), expectedType( _expectedType )
463 { }
464
465 Exceptions::TypeMismatch::TypeMismatch( const Ast::SourceLocation & loc, const char * hint, RefCountPtr< const char > _valueType, RefCountPtr< const char > _expectedType )
466 : Exceptions::RuntimeError( loc ), hint_( hint ), valueType( _valueType ), expectedType( _expectedType )
467 { }
468
469 Exceptions::TypeMismatch::~TypeMismatch( )
470 { }
471
472 void
473 Exceptions::TypeMismatch::display( std::ostream & os ) const
474 {
475 if( hint_ != 0 )
476 {
477 os << hint_ << ": " ;
478 }
479 os << "Expected a " << expectedType << ", got a " << valueType << "." << std::endl ;
480 }
481
482 Exceptions::PDFVersionError::PDFVersionError( SimplePDF::PDF_Version::Version version, SimplePDF::PDF_Version::Version required, const RefCountPtr< const char > & msg )
483 : Exceptions::CatchableError( Ast::THE_UNKNOWN_LOCATION ), version_( version ), required_( required ), msgMem_( msg ), msg_( msgMem_.getPtr( ) )
484 { }
485
486 Exceptions::PDFVersionError::PDFVersionError( SimplePDF::PDF_Version::Version version, SimplePDF::PDF_Version::Version required, const char * msg )
487 : Exceptions::CatchableError( Ast::THE_UNKNOWN_LOCATION ), version_( version ), required_( required ), msgMem_( NullPtr< const char >( ) ), msg_( msg )
488 { }
489
490 Exceptions::PDFVersionError::~PDFVersionError( )
491 { }
492
493 void
494 Exceptions::PDFVersionError::display( std::ostream & os ) const
495 {
496 os << SimplePDF::PDF_Version::toString( required_ ) << " error: " << msg_ << std::endl ;
497 }
498
499 RefCountPtr< const Lang::Exception >
500 Exceptions::PDFVersionError::clone( const Kernel::ContRef & cont ) const
501 {
502 static RefCountPtr< const Lang::Symbol > kind( new Lang::Symbol( "PDF_version" ) );
503 std::ostringstream os;
504 display( os );
505 return RefCountPtr< const Lang::Exception >( new Lang::Exception( this->getLoc( ),
506 kind,
507 RefCountPtr< const Lang::String >( new Lang::String( "(core PDF backend)", true ) ),
508 Lang::THE_VOID,
509 strrefdup( os ),
510 cont,
511 this->exitCode( ) ) );
512 }
513
514
515 Exceptions::RedefiningLexical::RedefiningLexical( const char * _id )
516 : Exceptions::RuntimeError( Ast::THE_UNKNOWN_LOCATION ), id( _id )
517 { }
518
519 Exceptions::RedefiningLexical::~RedefiningLexical( )
520 { }
521
522 void
523 Exceptions::RedefiningLexical::display( std::ostream & os ) const
524 {
525 os << "Redefining " << id << std::endl ;
526 }
527
528
529 Exceptions::RedefiningDynamic::RedefiningDynamic( const char * _id )
530 : Exceptions::RuntimeError( Ast::THE_UNKNOWN_LOCATION ), id( _id )
531 { }
532
533 Exceptions::RedefiningDynamic::~RedefiningDynamic( )
534 { }
535
536 void
537 Exceptions::RedefiningDynamic::display( std::ostream & os ) const
538 {
539 os << "Redefining " << "@" << id << std::endl ;
540 }
541
542
543 Exceptions::NonObjectMemberAssignment::NonObjectMemberAssignment( const Ast::SourceLocation & _loc, RefCountPtr< const char > _valueType )
544 : Exceptions::RuntimeError( _loc ), valueType( _valueType )
545 { }
546
547 Exceptions::NonObjectMemberAssignment::~NonObjectMemberAssignment( )
548 { }
549
550 void
551 Exceptions::NonObjectMemberAssignment::display( std::ostream & os ) const
552 {
553 os << "Only object oriented values have fields that can be assigned. This value is of type " << valueType << "." << std::endl ;
554 }
555
556
557 Exceptions::ElementaryWithout::ElementaryWithout( Kind kind, Ref ref, RefCountPtr< const char > _valueType )
558 : Exceptions::RuntimeError( Ast::THE_UNKNOWN_LOCATION ), kind_( kind ), ref_( ref ), valueType( _valueType )
559 { }
560
561 Exceptions::ElementaryWithout::~ElementaryWithout( )
562 { }
563
564 void
565 Exceptions::ElementaryWithout::display( std::ostream & os ) const
566 {
567 os << "This " ;
568 switch( kind_ )
569 {
570 case VALUE:
571 os << "value" ;
572 break;
573 case STATE:
574 os << "state" ;
575 break;
576 }
577 os << " is of the elementary type " << valueType << ", which has no " ;
578 switch( ref_ )
579 {
580 case FIELD:
581 os << "fields" ;
582 break;
583 case MUTATOR:
584 os << "mutators" ;
585 break;
586 }
587 os << "." << std::endl ;
588 }
589
590
591 Exceptions::NonExistentPosition::NonExistentPosition( size_t pos, size_t maxPos )
592 : Exceptions::RuntimeError( Ast::THE_UNKNOWN_LOCATION ), pos_( pos ), maxPos_( maxPos )
593 { }
594
595 Exceptions::NonExistentPosition::~NonExistentPosition( )
596 { }
597
598 void
599 Exceptions::NonExistentPosition::display( std::ostream & os ) const
600 {
601 os << "Referencing field at position " << pos_ << " is an error since the user struct has only " << maxPos_ << " ordered fields." << std::endl ;
602 }
603
604
605 Exceptions::UnaryPrefixNotApplicable::UnaryPrefixNotApplicable( const Ast::SourceLocation & _loc, const Ast::Expression * _expr, RefCountPtr< const char > _valueType )
606 : Exceptions::RuntimeError( _loc ), expr( _expr ), valueType( _valueType ), operatorSymbol( "< ? >" )
607 { }
608
609 Exceptions::UnaryPrefixNotApplicable::~UnaryPrefixNotApplicable( )
610 { }
611
612 void
613 Exceptions::UnaryPrefixNotApplicable::setOperatorSymbol( const char * _operatorSymbol )
614 {
615 operatorSymbol = _operatorSymbol;
616 }
617
618 void
619 Exceptions::UnaryPrefixNotApplicable::display( std::ostream & os ) const
620 {
621 if( expr != 0 )
622 {
623 os << "Operator " ;
624 getLoc( ).copy( & os );
625 os << " not defined for " << valueType << " at " << expr->loc( ) << "." << std::endl ;
626 }
627 else
628 {
629 os << "Operator " << operatorSymbol << " not defined for " << valueType << "." << std::endl ;
630 }
631 }
632
633
634 Exceptions::UnaryPostfixNotApplicable::UnaryPostfixNotApplicable( const Ast::SourceLocation & _loc, const Ast::Expression * _expr, RefCountPtr< const char > _valueType )
635 : Exceptions::RuntimeError( _loc ), expr( _expr ), valueType( _valueType ), operatorSymbol( "< ? >" )
636 { }
637
638 Exceptions::UnaryPostfixNotApplicable::~UnaryPostfixNotApplicable( )
639 { }
640
641 void
642 Exceptions::UnaryPostfixNotApplicable::setOperatorSymbol( const char * _operatorSymbol )
643 {
644 operatorSymbol = _operatorSymbol;
645 }
646
647 void
648 Exceptions::UnaryPostfixNotApplicable::display( std::ostream & os ) const
649 {
650 if( expr != 0 )
651 {
652 os << "Operator " ;
653 getLoc( ).copy( & os );
654 os << " not defined for " << valueType << " at " << expr->loc( ) << "." << std::endl ;
655 }
656 else
657 {
658 os << "Operator " << operatorSymbol << " not defined for " << valueType << "." << std::endl ;
659 }
660 }
661
662
663 Exceptions::BinaryInfixNotApplicable::BinaryInfixNotApplicable( const Ast::SourceLocation & _loc, const Ast::Expression * _expr1, RefCountPtr< const char > _valueType1, const Ast::Expression * _expr2, RefCountPtr< const char > _valueType2 )
664 : Exceptions::RuntimeError( _loc ), expr1( _expr1 ), valueType1( _valueType1 ), expr2( _expr2 ), valueType2( _valueType2 ), operatorSymbol( "< ? >" )
665 { }
666
667 Exceptions::BinaryInfixNotApplicable::~BinaryInfixNotApplicable( )
668 { }
669
670 void
671 Exceptions::BinaryInfixNotApplicable::setOperatorSymbol( const char * _operatorSymbol )
672 {
673 operatorSymbol = _operatorSymbol;
674 }
675
676 void
677 Exceptions::BinaryInfixNotApplicable::display( std::ostream & os ) const
678 {
679 if( expr1 != 0 && expr2 != 0 )
680 {
681 os << "Operator " ;
682 getLoc( ).copy( & os );
683 os << " not defined for (" << valueType1 << "," << valueType2 << ") at " << expr1->loc( ) << ", " << expr2->loc( ) << "." << std::endl ;
684 }
685 else
686 {
687 os << "Operator " << operatorSymbol << " not defined for (" << valueType1 << "," << valueType2 << ")." << std::endl ;
688 }
689 }
690
691
692 Exceptions::LookupUnknown::LookupUnknown( const Ast::SourceLocation & _loc, RefCountPtr< const char > _id, Type type )
693 : Exceptions::StaticInconsistency( _loc ), id( _id ), type_( type )
694 { }
695
696 Exceptions::LookupUnknown::~LookupUnknown( )
697 { }
698
699 void
700 Exceptions::LookupUnknown::display( std::ostream & os ) const
701 {
702 switch( type_ )
703 {
704 case VARIABLE:
705 os << "The variable " << id << " is unbound." << std::endl ;
706 break;
707 case STATE:
708 os << "There is no state called " << id << " around." << std::endl ;
709 break;
710 case DYNAMIC_VARIABLE:
711 os << "There is no dynamic variable called " << id << " around." << std::endl ;
712 break;
713 case DYNAMIC_STATE:
714 os << "There is no dynamic state called " << id << " around." << std::endl ;
715 break;
716 case TYPE:
717 os << "There is no type called " << id << " around." << std::endl ;
718 break;
719 default:
720 os << "<?ERROR?" ;
721 }
722 }
723
724
725 Exceptions::StateBeyondFunctionBoundary::StateBeyondFunctionBoundary( const Ast::SourceLocation & _loc, RefCountPtr< const char > _id )
726 : Exceptions::StaticInconsistency( _loc ), id( _id )
727 { }
728
729 Exceptions::StateBeyondFunctionBoundary::~StateBeyondFunctionBoundary( )
730 { }
731
732 void
733 Exceptions::StateBeyondFunctionBoundary::display( std::ostream & os ) const
734 {
735 os << "The state " << id << " resides outside a function boundary." << std::endl ;
736 }
737
738
739 Exceptions::IntroducingExistingUnit::IntroducingExistingUnit( const Ast::SourceLocation & _loc, RefCountPtr< const char > _id )
740 : Exceptions::StaticInconsistency( _loc ), id( _id )
741 { }
742
743 Exceptions::IntroducingExistingUnit::~IntroducingExistingUnit( )
744 { }
745
746 void
747 Exceptions::IntroducingExistingUnit::display( std::ostream & os ) const
748 {
749 os << "Inconsistent definition of the existing unit " << id << "." << std::endl ;
750 }
751
752
753 Exceptions::LookupUnknownUnit::LookupUnknownUnit( const Ast::SourceLocation & _loc, RefCountPtr< const char > _id )
754 : Exceptions::StaticInconsistency( _loc ), id( _id )
755 { }
756
757 Exceptions::LookupUnknownUnit::~LookupUnknownUnit( )
758 { }
759
760 void
761 Exceptions::LookupUnknownUnit::display( std::ostream & os ) const
762 {
763 os << "The unit " << id << " is unbound" << std::endl ;
764 }
765
766
767 Exceptions::OutOfRange::OutOfRange( RefCountPtr< const char > msg )
768 : Exceptions::CatchableError( Ast::THE_UNKNOWN_LOCATION ), msg_( msg.getPtr( ) ), msgMem_( msg )
769 { }
770
771 Exceptions::OutOfRange::OutOfRange( const char * msg )
772 : Exceptions::CatchableError( Ast::THE_UNKNOWN_LOCATION ), msg_( msg ), msgMem_( NullPtr< const char >( ) )
773 { }
774
775 Exceptions::OutOfRange::OutOfRange( const Ast::SourceLocation & _loc, RefCountPtr< const char > msg )
776 : Exceptions::CatchableError( _loc ), msg_( msg.getPtr( ) ), msgMem_( msg )
777 { }
778
779 Exceptions::OutOfRange::OutOfRange( const Ast::SourceLocation & _loc, const char * msg )
780 : Exceptions::CatchableError( _loc ), msg_( msg ), msgMem_( NullPtr< const char >( ) )
781 { }
782
783 Exceptions::OutOfRange::~OutOfRange( )
784 { }
785
786 void
787 Exceptions::OutOfRange::display( std::ostream & os ) const
788 {
789 os << "Out-of-range error: " << msg_ << std::endl ;
790 }
791
792 RefCountPtr< const Lang::Exception >
793 Exceptions::OutOfRange::clone( const Kernel::ContRef & cont ) const
794 {
795 static RefCountPtr< const Lang::Symbol > kind( new Lang::Symbol( "out_of_range" ) );
796 std::ostringstream os;
797 display( os );
798 return RefCountPtr< const Lang::Exception >( new Lang::Exception( this->getLoc( ),
799 kind,
800 RefCountPtr< const Lang::String >( new Lang::String( "(core, generic)", true ) ),
801 Lang::THE_VOID,
802 strrefdup( os ),
803 cont,
804 this->exitCode( ) ) );
805 }
806
807
808 Exceptions::NonVoidStatement::NonVoidStatement( const Ast::SourceLocation & loc, RefCountPtr< const Lang::Value > val )
809 : Exceptions::RuntimeError( loc ), val_( val )
810 { }
811
812 Exceptions::NonVoidStatement::~NonVoidStatement( )
813 { }
814
815 void
816 Exceptions::NonVoidStatement::display( std::ostream & os ) const
817 {
818 os << "No implicit ignore of non-void value (of type " << val_->getTypeName( ) << ")" << std::endl ;
819 }
820
821 // Exceptions::RuntimeError::RuntimeError( )
822 // : loc_( "< unlocated runtime error >" )
823 // { }
824
825 Exceptions::RuntimeError::~RuntimeError( )
826 { }
827
828 Exceptions::RuntimeError::RuntimeError( const Ast::SourceLocation & loc )
829 : loc_( loc )
830 { }
831
832 Exceptions::RuntimeError::RuntimeError( Ast::Expression * expr )
833 : loc_( expr->loc( ) )
834 { }
835
836 const Ast::SourceLocation &
837 Exceptions::RuntimeError::getLoc( ) const
838 {
839 return loc_;
840 }
841
842
843 Exceptions::CatchableError::CatchableError( const Ast::SourceLocation & loc )
844 : Exceptions::RuntimeError( loc )
845 { }
846
847 Exceptions::CatchableError::CatchableError( Ast::Expression * expr )
848 : Exceptions::RuntimeError( expr )
849 { }
850
851 Exceptions::CatchableError::~CatchableError( )
852 { }
853
854
855 Exceptions::UncaughtError::UncaughtError( const RefCountPtr< const Lang::Exception > & ball )
856 : Exceptions::RuntimeError( ball->loc( ) ), ball_( ball )
857 { }
858
859 Exceptions::UncaughtError::~UncaughtError( )
860 { }
861
862 void
863 Exceptions::UncaughtError::display( std::ostream & os ) const
864 {
865 os << "Uncaught error: " ;
866 ball_->show( os );
867 os << std::endl ;
868 }
869
870 Interaction::ExitCode
871 Exceptions::UncaughtError::exitCode( ) const
872 {
873 return ball_->exitCode( );
874 }
875
876
877 Exceptions::UserError::UserError( const RefCountPtr< const Lang::Symbol > & kind, const RefCountPtr< const Lang::String > & source, const RefCountPtr< const Lang::Value > & details, const RefCountPtr< const char > & message )
878 : Exceptions::CatchableError( Ast::THE_UNKNOWN_LOCATION ), kind_( kind ), source_( source ), details_( details ), message_( message )
879 { }
880
881 Exceptions::UserError::~UserError( )
882 { }
883
884 void
885 Exceptions::UserError::display( ostream & os ) const
886 {
887 os << "'" ;
888 kind_->show( os );
889 os << " error in " << source_->val_ << ": " << message_ << std::endl ;
890 }
891
892 RefCountPtr< const Lang::Exception >
893 Exceptions::UserError::clone( const Kernel::ContRef & cont ) const
894 {
895 std::ostringstream os;
896 display( os );
897 return RefCountPtr< const Lang::Exception >( new Lang::Exception( this->getLoc( ),
898 kind_,
899 source_,
900 details_,
901 strrefdup( os ),
902 cont,
903 this->exitCode( ) ) );
904 }
905
906
907 Exceptions::UserOutOfRange::UserOutOfRange( const RefCountPtr< const Lang::Symbol > & kind, const RefCountPtr< const Lang::String > & source, const RefCountPtr< const Lang::Integer > & details, const RefCountPtr< const char > & message )
908 : Exceptions::CatchableError( Ast::THE_UNKNOWN_LOCATION ), kind_( kind ), source_( source ), details_( details ), message_( message )
909 { }
910
911 Exceptions::UserOutOfRange::~UserOutOfRange( )
912 { }
913
914 void
915 Exceptions::UserOutOfRange::display( ostream & os ) const
916 {
917 os << "In " << source_->val_ << ", argument " << details_->val_
918 << ", out-of-range: " << message_ << std::endl ;
919 }
920
921 RefCountPtr< const Lang::Exception >
922 Exceptions::UserOutOfRange::clone( const Kernel::ContRef & cont ) const
923 {
924 std::ostringstream os;
925 display( os );
926 return RefCountPtr< const Lang::Exception >( new Lang::Exception( this->getLoc( ),
927 kind_,
928 source_,
929 details_,
930 strrefdup( os ),
931 cont,
932 this->exitCode( ) ) );
933 }
934
935
936 Exceptions::UserTypeMismatch::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 )
937 : Exceptions::CatchableError( Ast::THE_UNKNOWN_LOCATION ), kind_( kind ), source_( source ), details_( details ), expectedType_( expectedType ), valueType_( valueType )
938 { }
939
940 Exceptions::UserTypeMismatch::~UserTypeMismatch( )
941 { }
942
943 void
944 Exceptions::UserTypeMismatch::display( ostream & os ) const
945 {
946 os << "In " << source_->val_ << ", argument " << details_->val_
947 << ": expected a " << expectedType_ << ", got a " << valueType_ << "." << std::endl ;
948 }
949
950 RefCountPtr< const Lang::Exception >
951 Exceptions::UserTypeMismatch::clone( const Kernel::ContRef & cont ) const
952 {
953 std::ostringstream os;
954 display( os );
955 return RefCountPtr< const Lang::Exception >( new Lang::Exception( this->getLoc( ),
956 kind_,
957 source_,
958 details_,
959 strrefdup( os ),
960 cont,
961 this->exitCode( ) ) );
962 }
963
964
965 Exceptions::InternalError::InternalError( const Ast::SourceLocation & loc, RefCountPtr< const char > msg )
966 : Exceptions::RuntimeError( loc ), msg_( msg.getPtr( ) ), msgMem_( msg )
967 { }
968
969 Exceptions::InternalError::InternalError( const Ast::SourceLocation & loc, const char * msg )
970 : Exceptions::RuntimeError( loc ), msg_( msg ), msgMem_( NullPtr< const char >( ) )
971 { }
972
973 Exceptions::InternalError::InternalError( RefCountPtr< const char > msg )
974 : Exceptions::RuntimeError( Ast::THE_UNKNOWN_LOCATION ), msg_( msg.getPtr( ) ), msgMem_( msg )
975 { }
976
977 Exceptions::InternalError::InternalError( const char * msg )
978 : Exceptions::RuntimeError( Ast::THE_UNKNOWN_LOCATION ), msg_( msg ), msgMem_( NullPtr< const char >( ) )
979 { }
980
981 Exceptions::InternalError::InternalError( const std::ostringstream & msg )
982 : Exceptions::RuntimeError( Ast::THE_UNKNOWN_LOCATION ), msg_( strdup( msg.str( ).c_str( ) ) ), msgMem_( msg_ )
983 { }
984
985 Exceptions::InternalError::~InternalError( )
986 { }
987
988 void
989 Exceptions::InternalError::display( ostream & os ) const
990 {
991 os << "Internal error: " << msg_ << std::endl ;
992 }
993
994
995 Exceptions::ExternalError::ExternalError( RefCountPtr< const char > msg )
996 : Exceptions::CatchableError( Ast::THE_UNKNOWN_LOCATION ), msg_( msg.getPtr( ) ), msgMem_( msg )
997 { }
998
999 Exceptions::ExternalError::ExternalError( const char * msg )
1000 : Exceptions::CatchableError( Ast::THE_UNKNOWN_LOCATION ), msg_( msg ), msgMem_( NullPtr< const char >( ) )
1001 { }
1002
1003 Exceptions::ExternalError::~ExternalError( )
1004 { }
1005
1006 void
1007 Exceptions::ExternalError::display( ostream & os ) const
1008 {
1009 os << "External error: " << msg_ << std::endl ;
1010 }
1011
1012 RefCountPtr< const Lang::Exception >
1013 Exceptions::ExternalError::clone( const Kernel::ContRef & cont ) const
1014 {
1015 static RefCountPtr< const Lang::Symbol > kind( new Lang::Symbol( "external" ) );
1016 std::ostringstream os;
1017 display( os );
1018 return RefCountPtr< const Lang::Exception >( new Lang::Exception( this->getLoc( ),
1019 kind,
1020 RefCountPtr< const Lang::String >( new Lang::String( "(external error)", true ) ),
1021 Lang::THE_VOID,
1022 strrefdup( os ),
1023 cont,
1024 this->exitCode( ) ) );
1025 }
1026
1027 Exceptions::ExternalError *
1028 Exceptions::ExternalError::cloneTyped( ) const
1029 {
1030 return new Exceptions::ExternalError( msgMem_ );
1031 }
1032
1033 Exceptions::UserArityMismatch::UserArityMismatch( const Ast::SourceLocation _formalsLoc, size_t _functionArity, size_t _callArity, Type type )
1034 : Exceptions::RuntimeError( Ast::THE_UNKNOWN_LOCATION ), formalsLoc( _formalsLoc ), functionArity( _functionArity ), callArity( _callArity ), type_( type )
1035 { }
1036
1037 Exceptions::UserArityMismatch::~UserArityMismatch( )
1038 { }
1039
1040 void
1041 Exceptions::UserArityMismatch::display( std::ostream & os ) const
1042 {
1043 os << "Function with formals at " << formalsLoc << " expects " << functionArity ;
1044 switch( type_ )
1045 {
1046 case VARIABLE:
1047 os << " value arguments" ;
1048 break;
1049 case STATE:
1050 os << " state arguments" ;
1051 break;
1052 default:
1053 os << " ?ERROR?" ;
1054 }
1055 os << ", not " << callArity << std::endl ;
1056 }
1057
1058 Exceptions::SinkRequired::SinkRequired( const Ast::SourceLocation formalsLoc, size_t formalsArity, size_t callArity )
1059 : Exceptions::RuntimeError( Ast::THE_UNKNOWN_LOCATION ), formalsLoc_( formalsLoc ), formalsArity_( formalsArity ), callArity_( callArity )
1060 { }
1061
1062 Exceptions::SinkRequired::~SinkRequired( )
1063 { }
1064
1065 void
1066 Exceptions::SinkRequired::display( std::ostream & os ) const
1067 {
1068 os << "Formals at " << formalsLoc_ << " contains no sink, so passing " << callArity_ << " ordered arguments is " << callArity_ - formalsArity_ << " too many." << std::endl ;
1069 }
1070
1071
1072 Exceptions::NamedFormalMismatch::NamedFormalMismatch( const Ast::SourceLocation _formalsLoc, RefCountPtr< const char > _name, Exceptions::NamedFormalMismatch::Type type )
1073 : Exceptions::RuntimeError( Ast::THE_UNKNOWN_LOCATION ), formalsLoc( _formalsLoc ), name( _name ), type_( type )
1074 { }
1075
1076 Exceptions::NamedFormalMismatch::~NamedFormalMismatch( )
1077 { }
1078
1079 void
1080 Exceptions::NamedFormalMismatch::display( std::ostream & os ) const
1081 {
1082 os << "Function with formals at " << formalsLoc << " has no named ";
1083 switch( type_ )
1084 {
1085 case VARIABLE:
1086 os << "variable" ;
1087 break;
1088 case STATE:
1089 os << "state" ;
1090 break;
1091 default:
1092 os << "<?ERROR?" ;
1093 }
1094 os << " called " << name << "." << std::endl ;
1095 }
1096
1097
1098 Exceptions::NamedFormalAlreadySpecified::NamedFormalAlreadySpecified( const Ast::SourceLocation _formalsLoc, RefCountPtr< const char > _name, size_t _pos, Exceptions::NamedFormalAlreadySpecified::Type type )
1099 : Exceptions::RuntimeError( Ast::THE_UNKNOWN_LOCATION ), formalsLoc( _formalsLoc ), name( _name ), pos( _pos ), type_( type )
1100 { }
1101
1102 Exceptions::NamedFormalAlreadySpecified::~NamedFormalAlreadySpecified( )
1103 { }
1104
1105 void
1106 Exceptions::NamedFormalAlreadySpecified::display( std::ostream & os ) const
1107 {
1108 os << "The formal " ;
1109 switch( type_ )
1110 {
1111 case VARIABLE:
1112 os << "variable" ;
1113 break;
1114 case STATE:
1115 os << "state" ;
1116 break;
1117 default:
1118 os << "<?ERROR?" ;
1119 }
1120 os << " named " << name << ", defined at " << formalsLoc << " is already defined by order, at position " << pos << "." << std::endl ;
1121 }
1122
1123 Exceptions::MissingArguments::MissingArguments( const Ast::SourceLocation formalsLoc, std::map< size_t, RefCountPtr< const char > > * missingVariables, std::map< size_t, RefCountPtr< const char > > * missingStates )
1124 : Exceptions::RuntimeError( Ast::THE_UNKNOWN_LOCATION ), formalsLoc_( formalsLoc ), missingVariables_( missingVariables ), missingStates_( missingStates )
1125 { }
1126
1127 Exceptions::MissingArguments::~MissingArguments( )
1128 { }
1129
1130 void
1131 Exceptions::MissingArguments::display( std::ostream & os ) const
1132 {
1133 os << "Among the formals at " << formalsLoc_ ;
1134 if( missingVariables_ != NullPtr< typeof *missingVariables_ >( ) )
1135 {
1136 os << ", the following variables are missing:" ;
1137 typedef typeof *missingVariables_ MapType;
1138 for( MapType::const_iterator i = missingVariables_->begin( ); i != missingVariables_->end( ); ++i )
1139 {
1140 if( i != missingVariables_->begin( ) )
1141 {
1142 os << "," ;
1143 }
1144 os << " (" << i->first << ")" << i->second.getPtr( ) ;
1145 }
1146 }
1147 if( missingStates_ != NullPtr< typeof *missingStates_ >( ) )
1148 {
1149 os << ", " ;
1150 if( missingVariables_ != NullPtr< typeof *missingVariables_ >( ) )
1151 {
1152 os << "and " ;
1153 }
1154 os << "the following states are missing:" ;
1155 typedef typeof *missingStates_ MapType;
1156 for( MapType::const_iterator i = missingStates_->begin( ); i != missingStates_->end( ); ++i )
1157 {
1158 if( i != missingStates_->begin( ) )
1159 {
1160 os << "," ;
1161 }
1162 os << " (" << i->first << ")" << i->second.getPtr( ) ;
1163 }
1164 }
1165 os << "." << std::endl ;
1166 }
1167
1168
1169 Exceptions::CoreArityMismatch::CoreArityMismatch( const char * _title, size_t _functionArity, size_t _callArity )
1170 : Exceptions::RuntimeError( Ast::THE_UNKNOWN_LOCATION ), title( _title ), titleMem( NullPtr< const char >( ) ), functionArityLow( _functionArity ), functionArityHigh( _functionArity ), callArity( _callArity )
1171 { }
1172
1173 Exceptions::CoreArityMismatch::CoreArityMismatch( const char * _title, size_t _functionArityLow, size_t _functionArityHigh, size_t _callArity )
1174 : Exceptions::RuntimeError( Ast::THE_UNKNOWN_LOCATION ), title( _title ), titleMem( NullPtr< const char >( ) ), functionArityLow( _functionArityLow ), functionArityHigh( _functionArityHigh ), callArity( _callArity )
1175 { }
1176
1177 Exceptions::CoreArityMismatch::CoreArityMismatch( const RefCountPtr< const char > & _title, size_t _functionArity, size_t _callArity )
1178 : Exceptions::RuntimeError( Ast::THE_UNKNOWN_LOCATION ), title( _title.getPtr( ) ), titleMem( _title ), functionArityLow( _functionArity ), functionArityHigh( _functionArity ), callArity( _callArity )
1179 { }
1180
1181 Exceptions::CoreArityMismatch::CoreArityMismatch( const RefCountPtr< const char > & _title, size_t _functionArityLow, size_t _functionArityHigh, size_t _callArity )
1182 : Exceptions::RuntimeError( Ast::THE_UNKNOWN_LOCATION ), title( _title.getPtr( ) ), titleMem( _title ), functionArityLow( _functionArityLow ), functionArityHigh( _functionArityHigh ), callArity( _callArity )
1183 { }
1184
1185 Exceptions::CoreArityMismatch::~CoreArityMismatch( )
1186 { }
1187
1188 void
1189 Exceptions::CoreArityMismatch::display( std::ostream & os ) const
1190 {
1191 if( functionArityLow == functionArityHigh )
1192 {
1193 os << "Core function " << title << " expects " << functionArityLow << " arguments, not " << callArity << std::endl ;
1194 }
1195 else
1196 {
1197 os << "Core function " << title << " expects [" << functionArityLow << ", " << functionArityHigh << "] arguments, not " << callArity << std::endl ;
1198 }
1199 }
1200
1201
1202 Exceptions::CoreNoNamedFormals::CoreNoNamedFormals( const char * _title )
1203 : Exceptions::RuntimeError( Ast::THE_UNKNOWN_LOCATION ), title( _title ), titleMem( NullPtr< const char >( ) )
1204 { }
1205
1206 Exceptions::CoreNoNamedFormals::CoreNoNamedFormals( const RefCountPtr< const char > & _title )
1207 : Exceptions::RuntimeError( Ast::THE_UNKNOWN_LOCATION ), title( _title.getPtr( ) ), titleMem( _title )
1208 { }
1209
1210 Exceptions::CoreNoNamedFormals::~CoreNoNamedFormals( )
1211 { }
1212
1213 void
1214 Exceptions::CoreNoNamedFormals::display( std::ostream & os ) const
1215 {
1216 os << "Core function " << title << " does not accept named arguments." << std::endl ;
1217 }
1218
1219
1220 Exceptions::CoreTypeMismatch::CoreTypeMismatch( const Ast::SourceLocation & callLoc,
1221 const char * title,
1222 const Ast::SourceLocation & argLoc,
1223 RefCountPtr< const char > valueType,
1224 RefCountPtr< const char > expectedType )
1225 : Exceptions::RuntimeError( callLoc ),
1226 title_( title ),
1227 titleMem_( NullPtr< const char >( ) ),
1228 argLoc_( argLoc ),
1229 valueType_( valueType ),
1230 expectedType_( expectedType )
1231 { }
1232
1233 Exceptions::CoreTypeMismatch::CoreTypeMismatch( const Ast::SourceLocation & callLoc,
1234 RefCountPtr< const char > title,
1235 const Ast::SourceLocation & argLoc,
1236 RefCountPtr< const char > valueType,
1237 RefCountPtr< const char > expectedType )
1238 : Exceptions::RuntimeError( callLoc ),
1239 title_( title.getPtr( ) ),
1240 titleMem_( title ),
1241 argLoc_( argLoc ),
1242 valueType_( valueType ),
1243 expectedType_( expectedType )
1244 { }
1245
1246 Exceptions::CoreTypeMismatch::CoreTypeMismatch( const Ast::SourceLocation & callLoc,
1247 const char * title,
1248 Kernel::Arguments & args,
1249 size_t argNo,
1250 RefCountPtr< const char > expectedType )
1251 : Exceptions::RuntimeError( callLoc ),
1252 title_( title ),
1253 titleMem_( NullPtr< const char >( ) ),
1254 argLoc_( args.getLoc( argNo ) ),
1255 valueType_( args.getValue( argNo )->getTypeName( ) ),
1256 expectedType_( expectedType )
1257 { }
1258
1259 Exceptions::CoreTypeMismatch::CoreTypeMismatch( const Ast::SourceLocation & callLoc,
1260 RefCountPtr< const char > title,
1261 Kernel::Arguments & args,
1262 size_t argNo,
1263 RefCountPtr< const char > expectedType )
1264 : Exceptions::RuntimeError( callLoc ),
1265 title_( title.getPtr( ) ),
1266 titleMem_( title ),
1267 argLoc_( args.getLoc( argNo ) ),
1268 valueType_( args.getValue( argNo )->getTypeName( ) ),
1269 expectedType_( expectedType )
1270 { }
1271
1272 Exceptions::CoreTypeMismatch::~CoreTypeMismatch( )
1273 { }
1274
1275 void
1276 Exceptions::CoreTypeMismatch::display( std::ostream & os ) const
1277 {
1278 os << "Core function " << title_ << ", argument ";
1279 // if( argName_ != 0 )
1280 // {
1281 // os << "\"" << argName_ << "\" " ;
1282 // }
1283 os << "at " << argLoc_ << ": expected a " << expectedType_ << ", got a " << valueType_ << "." << std::endl ;
1284 }
1285
1286
1287 Exceptions::CoreStateTypeMismatch::CoreStateTypeMismatch( const Ast::SourceLocation & callLoc,
1288 const char * title,
1289 const Ast::SourceLocation & argLoc,
1290 RefCountPtr< const char > valueType,
1291 RefCountPtr< const char > expectedType )
1292 : Exceptions::RuntimeError( callLoc ),
1293 title_( title ),
1294 titleMem_( NullPtr< const char >( ) ),
1295 argLoc_( argLoc ),
1296 valueType_( valueType ),
1297 expectedType_( expectedType )
1298 { }
1299
1300 Exceptions::CoreStateTypeMismatch::CoreStateTypeMismatch( const Ast::SourceLocation & callLoc,
1301 RefCountPtr< const char > title,
1302 const Ast::SourceLocation & argLoc,
1303 RefCountPtr< const char > valueType,
1304 RefCountPtr< const char > expectedType )
1305 : Exceptions::RuntimeError( callLoc ),
1306 title_( title.getPtr( ) ),
1307 titleMem_( title ),
1308 argLoc_( argLoc ),
1309 valueType_( valueType ),
1310 expectedType_( expectedType )
1311 { }
1312
1313 Exceptions::CoreStateTypeMismatch::CoreStateTypeMismatch( const Ast::SourceLocation & callLoc,
1314 const char * title,
1315 Kernel::Arguments & args,
1316 size_t argNo,
1317 RefCountPtr< const char > expectedType )
1318 : Exceptions::RuntimeError( callLoc ),
1319 title_( title ),
1320 titleMem_( NullPtr< const char >( ) ),
1321 argLoc_( args.getStateLoc( argNo ) ),
1322 valueType_( args.getState( argNo )->getTypeName( ) ),
1323 expectedType_( expectedType )
1324 { }
1325
1326 Exceptions::CoreStateTypeMismatch::CoreStateTypeMismatch( const Ast::SourceLocation & callLoc,
1327 RefCountPtr< const char > title,
1328 Kernel::Arguments & args,
1329 size_t argNo,
1330 RefCountPtr< const char > expectedType )
1331 : Exceptions::RuntimeError( callLoc ),
1332 title_( title.getPtr( ) ),
1333 titleMem_( title ),
1334 argLoc_( args.getStateLoc( argNo ) ),
1335 valueType_( args.getState( argNo )->getTypeName( ) ),
1336 expectedType_( expectedType )
1337 { }
1338
1339 Exceptions::CoreStateTypeMismatch::~CoreStateTypeMismatch( )
1340 { }
1341
1342 void
1343 Exceptions::CoreStateTypeMismatch::display( std::ostream & os ) const
1344 {
1345 os << "Core function " << title_ << ", state ";
1346 // if( argName_ != 0 )
1347 // {
1348 // os << "\"" << argName_ << "\" " ;
1349 // }
1350 os << "at " << argLoc_ << ": expected a " << expectedType_ << ", got a " << valueType_ << "." << std::endl ;
1351 }
1352
1353
1354 Exceptions::CoreDynamicTypeMismatch::CoreDynamicTypeMismatch( const Ast::SourceLocation & callLoc,
1355 const char * title,
1356 const char * id,
1357 RefCountPtr< const char > valueType,
1358 RefCountPtr< const char > expectedType )
1359 : Exceptions::RuntimeError( callLoc ),
1360 title_( title ),
1361 titleMem_( NullPtr< const char >( ) ),
1362 id_( id ),
1363 idMem_( NullPtr< const char >( ) ),
1364 valueType_( valueType ),
1365 expectedType_( expectedType )
1366 { }
1367
1368 Exceptions::CoreDynamicTypeMismatch::~CoreDynamicTypeMismatch( )
1369 { }
1370
1371 void
1372 Exceptions::CoreDynamicTypeMismatch::display( std::ostream & os ) const
1373 {
1374 os << "Core function " << title_ << " encountered a type mismatch in the dynamic variable @" << id_
1375 << ": expected a " << expectedType_ << ", got a " << valueType_ << "." << std::endl ;
1376 }
1377
1378 Exceptions::ContinuationTypeMismatch::ContinuationTypeMismatch( const Kernel::Continuation * locationCont,
1379 RefCountPtr< const char > valueType,
1380 RefCountPtr< const char > expectedType )
1381 : Exceptions::RuntimeError( locationCont->traceLoc( ) ),
1382 valueType_( valueType ),
1383 expectedType_( expectedType )
1384 { }
1385
1386 Exceptions::ContinuationTypeMismatch::~ContinuationTypeMismatch( )
1387 { }
1388
1389 void
1390 Exceptions::ContinuationTypeMismatch::display( std::ostream & os ) const
1391 {
1392 os << "The continuation expected a " << expectedType_ << ", got a " << valueType_ << "." << std::endl ;
1393 }
1394
1395
1396 Exceptions::CoreOutOfRange::CoreOutOfRange( const char * title, Kernel::Arguments & args, size_t argNo, RefCountPtr< const char > msg )
1397 : Exceptions::CatchableError( Ast::THE_UNKNOWN_LOCATION ), title_( title ), argNo_( argNo ), argLoc_( args.getLoc( argNo ) ), msg_( msg.getPtr( ) ), msgMem_( msg )
1398 { }
1399
1400 Exceptions::CoreOutOfRange::CoreOutOfRange( const char * title, Kernel::Arguments & args, size_t argNo, const char * msg )
1401 : Exceptions::CatchableError( Ast::THE_UNKNOWN_LOCATION ), title_( title ), argNo_( argNo ), argLoc_( args.getLoc( argNo ) ), msg_( msg ), msgMem_( NullPtr< const char >( ) )
1402 { }
1403
1404 Exceptions::CoreOutOfRange::~CoreOutOfRange( )
1405 { }
1406
1407 void
1408 Exceptions::CoreOutOfRange::display( std::ostream & os ) const
1409 {
1410 os << "Core function " << title_ << ": " ;
1411 os << "Argument at " << argLoc_ << " is out of range; " << msg_ << std::endl ;
1412 }
1413
1414 RefCountPtr< const Lang::Exception >
1415 Exceptions::CoreOutOfRange::clone( const Kernel::ContRef & cont ) const
1416 {
1417 static RefCountPtr< const Lang::Symbol > kind( new Lang::Symbol( "out_of_range" ) );
1418 std::ostringstream os;
1419 display( os );
1420 return RefCountPtr< const Lang::Exception >( new Lang::Exception( this->getLoc( ),
1421 kind,
1422 RefCountPtr< const Lang::String >( new Lang::String( title_, true ) ),
1423 RefCountPtr< const Lang::Integer >( new Lang::Integer( argNo_ ) ),
1424 strrefdup( os ),
1425 cont,
1426 this->exitCode( ) ) );
1427 }
1428
1429 Exceptions::CoreRequirement::CoreRequirement( RefCountPtr< const char > msg, const char * title, const Ast::SourceLocation & callLoc )
1430 : Exceptions::CatchableError( callLoc ), title_( title ), msg_( msg.getPtr( ) ), msgMem_( msg )
1431 { }
1432
1433 Exceptions::CoreRequirement::CoreRequirement( const char * msg, const char * title, const Ast::SourceLocation & callLoc )
1434 : Exceptions::CatchableError( callLoc ), title_( title ), msg_( msg ), msgMem_( NullPtr< const char >( ) )
1435 { }
1436
1437 Exceptions::CoreRequirement::~CoreRequirement( )
1438 { }
1439
1440 void
1441 Exceptions::CoreRequirement::display( std::ostream & os ) const
1442 {
1443 os << "Core function " << title_ << ": " << msg_ << std::endl ;
1444 }
1445
1446 RefCountPtr< const Lang::Exception >
1447 Exceptions::CoreRequirement::clone( const Kernel::ContRef & cont ) const
1448 {
1449 static RefCountPtr< const Lang::Symbol > kind( new Lang::Symbol( "misc" ) );
1450 std::ostringstream os;
1451 display( os );
1452 return RefCountPtr< const Lang::Exception >( new Lang::Exception( this->getLoc( ),
1453 kind,
1454 RefCountPtr< const Lang::String >( new Lang::String( title_, true ) ),
1455 Lang::THE_VOID,
1456 strrefdup( os ),
1457 cont,
1458 this->exitCode( ) ) );
1459 }
1460
1461
1462 Exceptions::TeXLabelError::TeXLabelError( bool quoted, const char * region, RefCountPtr< const char > summary, RefCountPtr< const char > details, const Ast::SourceLocation & loc )
1463 : Exceptions::RuntimeError( loc ), strLoc_( loc ), quoted_( quoted ), region_( region ), summary_( summary ), details_( details )
1464 { }
1465
1466 Exceptions::TeXLabelError::~TeXLabelError( )
1467 { }
1468
1469 void
1470 Exceptions::TeXLabelError::display( ostream & os ) const
1471 {
1472 if( quoted_ )
1473 {
1474 os << "TeX error in " << region_ ;
1475 }
1476 else
1477 {
1478 os << "Error in TeX " << region_ ;
1479 }
1480 if( ! strLoc_.isUnknown( ) )
1481 {
1482 os << " at " << strLoc_ ;
1483 }
1484 os << ": " ;
1485 if( quoted_ )
1486 {
1487 os << "\"" ;
1488 }
1489 os << summary_ ;
1490 if( quoted_ )
1491 {
1492 os << "\"" ;
1493 }
1494 os << std::endl ;
1495 if( details_ != NullPtr< const char >( ) )
1496 {
1497 Exceptions::prefixEachLine( additionalLinesPrefix, details_, os );
1498 }
1499 }
1500
1501
1502 Exceptions::StaticTeXLabelError::StaticTeXLabelError( bool quoted, const char * region, RefCountPtr< const char > summary, RefCountPtr< const char > details, const Ast::SourceLocation & loc )
1503 : Exceptions::StaticInconsistency( loc ), quoted_( quoted ), region_( region ), summary_( summary ), details_( details )
1504 { }
1505
1506 Exceptions::StaticTeXLabelError::~StaticTeXLabelError( )
1507 { }
1508
1509 void
1510 Exceptions::StaticTeXLabelError::display( ostream & os ) const
1511 {
1512 if( quoted_ )
1513 {
1514 os << "TeX error in " << region_ ;
1515 }
1516 else
1517 {
1518 os << "Error in TeX " << region_ ;
1519 }
1520 os << ": " ;
1521 if( quoted_ )
1522 {
1523 os << "\"" ;
1524 }
1525 os << summary_ ;
1526 if( quoted_ )
1527 {
1528 os << "\"" ;
1529 }
1530 os << std::endl ;
1531 if( details_ != NullPtr< const char >( ) )
1532 {
1533 Exceptions::prefixEachLine( additionalLinesPrefix, details_, os );
1534 }
1535 }
1536
1537
1538 Exceptions::MultipleDynamicBind::MultipleDynamicBind( const char * _id, const Ast::SourceLocation & _loc, const Ast::SourceLocation & _prevLoc )
1539 : Exceptions::RuntimeError( _loc ), id( _id ), prevLoc( _prevLoc )
1540 { }
1541
1542 Exceptions::MultipleDynamicBind::~MultipleDynamicBind( )
1543 { }
1544
1545 void
1546 Exceptions::MultipleDynamicBind::display( std::ostream & os ) const
1547 {
1548 os << "This dynamic binding of " << id << " is merged with the conflicting binding at " << prevLoc << "." << std::endl ;
1549 }
1550
1551
1552 Exceptions::UndefinedEscapeContinuation::UndefinedEscapeContinuation( const char * _id, const Ast::SourceLocation & _loc )
1553 : Exceptions::RuntimeError( _loc ), id( _id )
1554 { }
1555
1556 Exceptions::UndefinedEscapeContinuation::~UndefinedEscapeContinuation( )
1557 { }
1558
1559 void
1560 Exceptions::UndefinedEscapeContinuation::display( std::ostream & os ) const
1561 {
1562 os << "The escape continuation " << id << " was not defined in the dynamic context." << std::endl ;
1563 }
1564
1565
1566 Exceptions::DeadStateAccess::DeadStateAccess( )
1567 : Exceptions::RuntimeError( Ast::THE_UNKNOWN_LOCATION )
1568 { }
1569
1570 Exceptions::DeadStateAccess::~DeadStateAccess( )
1571 { }
1572
1573 void
1574 Exceptions::DeadStateAccess::display( std::ostream & os ) const
1575 {
1576 os << "Accessing dead state." << std::endl ;
1577 }
1578
1579
1580 Exceptions::UnFreezable::UnFreezable( )
1581 : Exceptions::RuntimeError( Ast::THE_UNKNOWN_LOCATION )
1582 { }
1583
1584 Exceptions::UnFreezable::~UnFreezable( )
1585 { }
1586
1587 void
1588 Exceptions::UnFreezable::display( std::ostream & os ) const
1589 {
1590 os << "The state cannot be frozen." << std::endl ;
1591 }
1592
1593
1594 Exceptions::UnPeekable::UnPeekable( )
1595 : Exceptions::RuntimeError( Ast::THE_UNKNOWN_LOCATION )
1596 { }
1597
1598 Exceptions::UnPeekable::~UnPeekable( )
1599 { }
1600
1601 void
1602 Exceptions::UnPeekable::display( std::ostream & os ) const
1603 {
1604 os << "The state cannot be peeked. Consider freezing it." << std::endl ;
1605 }
1606
1607
1608 Exceptions::UninitializedAccess::UninitializedAccess( )
1609 : Exceptions::RuntimeError( Ast::THE_UNKNOWN_LOCATION )
1610 { }
1611
1612 Exceptions::UninitializedAccess::~UninitializedAccess( )
1613 { }
1614
1615 void
1616 Exceptions::UninitializedAccess::display( std::ostream & os ) const
1617 {
1618 os << "The accessed variable or state has not been initialized yet." << std::endl ;
1619 }
1620
1621
1622 Exceptions::DtMinError::DtMinError( double _dt )
1623 : Exceptions::CatchableError( Ast::THE_UNKNOWN_LOCATION ), dt( _dt )
1624 { }
1625
1626 Exceptions::DtMinError::~DtMinError( )
1627 { }
1628
1629 void
1630 Exceptions::DtMinError::display( std::ostream & os ) const
1631 {
1632 os << "Path segment too long in relation to arcdelta: dt = " << dt << " < " << Computation::the_dtMin << ". Either increase arcdelta, or inhibit this error." << std::endl ;
1633 }
1634
1635 RefCountPtr< const Lang::Exception >
1636 Exceptions::DtMinError::clone( const Kernel::ContRef & cont ) const
1637 {
1638 static RefCountPtr< const Lang::Symbol > kind( new Lang::Symbol( "dtmin" ) );
1639 std::ostringstream os;
1640 display( os );
1641 return RefCountPtr< const Lang::Exception >( new Lang::Exception( this->getLoc( ),
1642 kind,
1643 RefCountPtr< const Lang::String >( new Lang::String( "(core path computation)", true ) ),
1644 RefCountPtr< const Lang::Float >( new Lang::Float( dt / Computation::the_dtMin ) ),
1645 strrefdup( os ),
1646 cont,
1647 this->exitCode( ) ) );
1648 }
1649
1650
1651 Exceptions::AffineTransformKillsPlane::AffineTransformKillsPlane( double sigma2 )
1652 : Exceptions::CatchableError( Ast::THE_UNKNOWN_LOCATION ), sigma2_( sigma2 )
1653 { }
1654
1655 Exceptions::AffineTransformKillsPlane::~AffineTransformKillsPlane( )
1656 { }
1657
1658 void
1659 Exceptions::AffineTransformKillsPlane::display( std::ostream & os ) const
1660 {
1661 os << "When transforming a plane normal, it was found that the affine transform is too singular, with a second largest singular value of " << sigma2_ << "." << std::endl ;
1662 }
1663
1664 RefCountPtr< const Lang::Exception >
1665 Exceptions::AffineTransformKillsPlane::clone( const Kernel::ContRef & cont ) const
1666 {
1667 static RefCountPtr< const Lang::Symbol > kind( new Lang::Symbol( "numeric" ) );
1668 std::ostringstream os;
1669 display( os );
1670 return RefCountPtr< const Lang::Exception >( new Lang::Exception( this->getLoc( ),
1671 kind,
1672 RefCountPtr< const Lang::String >( new Lang::String( "(core float triple computation)", true ) ),
1673 Lang::THE_VOID,
1674 strrefdup( os ),
1675 cont,
1676 this->exitCode( ) ) );
1677 }
1678
1679 Exceptions::MissingFontMetrics::MissingFontMetrics( RefCountPtr< const char > fontname, const std::list< std::string > * searchPath )
1680 : Exceptions::RuntimeError( Ast::THE_UNKNOWN_LOCATION ), fontname_( fontname ), searchPath_( searchPath )
1681 { }
1682
1683 Exceptions::MissingFontMetrics::~MissingFontMetrics( )
1684 { }
1685
1686 void
1687 Exceptions::MissingFontMetrics::display( std::ostream & os ) const
1688 {
1689 os << "The font metrics for " << fontname_ << ", named " << fontname_ << ".afm, could not be found in {" ;
1690 typedef typeof *searchPath_ ListType;
1691 for( ListType::const_iterator i = searchPath_->begin( ); i != searchPath_->end( ); ++i )
1692 {
1693 os << " " << *i ;
1694 }
1695 os << " }." << std::endl ;
1696 }
1697
1698
1699 Exceptions::FontMetricsError::FontMetricsError( const RefCountPtr< const char > & fontname, const RefCountPtr< const char > & message )
1700 : Exceptions::RuntimeError( Ast::THE_UNKNOWN_LOCATION ), fontname_( fontname ), message_( message )
1701 { }
1702
1703 Exceptions::FontMetricsError::~FontMetricsError( )
1704 { }
1705
1706 void
1707 Exceptions::FontMetricsError::display( std::ostream & os ) const
1708 {
1709 os << "There was a problem with the font metrics for " << fontname_ << ": " << message_ << std::endl ;
1710 }
1711
1712
1713 Exceptions::InsertingEmptyPage::InsertingEmptyPage( const Ast::SourceLocation & loc )
1714 : Exceptions::CatchableError( loc )
1715 { }
1716
1717 Exceptions::InsertingEmptyPage::~InsertingEmptyPage( )
1718 { }
1719
1720 void
1721 Exceptions::InsertingEmptyPage::display( std::ostream & os ) const
1722 {
1723 os << "Attempt to place empty page in catalog." << std::endl ;
1724 }
1725
1726 RefCountPtr< const Lang::Exception >
1727 Exceptions::InsertingEmptyPage::clone( const Kernel::ContRef & cont ) const
1728 {
1729 static RefCountPtr< const Lang::Symbol > kind( new Lang::Symbol( "misc" ) );
1730 std::ostringstream os;
1731 display( os );
1732 return RefCountPtr< const Lang::Exception >( new Lang::Exception( this->getLoc( ),
1733 kind,
1734 RefCountPtr< const Lang::String >( new Lang::String( "(core exception)", true ) ),
1735 Lang::THE_VOID,
1736 strrefdup( os ),
1737 cont,
1738 this->exitCode( ) ) );
1739 }
1740
1741
1742 Exceptions::UndefinedCrossRef::UndefinedCrossRef( const Ast::SourceLocation & _loc, RefCountPtr< const char > ref )
1743 : Exceptions::PostCondition( _loc ), ref_( ref )
1744 { }
1745
1746 Exceptions::UndefinedCrossRef::~UndefinedCrossRef( )
1747 { }
1748
1749 void
1750 Exceptions::UndefinedCrossRef::display( std::ostream & os ) const
1751 {
1752 os << "The cross reference \"" << ref_ << "\" is not defined." << std::endl ;
1753 }
1754
1755
1756 void
1757 Exceptions::prefixEachLine( const std::string & prefix, std::istream & src, std::ostream & dst )
1758 {
1759 std::string line;
1760 for( std::getline( src, line ); ! src.eof( ); std::getline( src, line ) )
1761 {
1762 dst << prefix << line << std::endl ;
1763 }
1764 }
1765
1766 void
1767 Exceptions::prefixEachLine( const std::string & prefix, const RefCountPtr< const char > & src, std::ostream & dst )
1768 {
1769 std::istringstream is( src.getPtr( ) );
1770 Exceptions::prefixEachLine( prefix, is, dst );
1771 }
Graphics language