source/continuations.cc

   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 Henrik Tidefelt
  17  */
  18
  19 #include "Shapes_Helpers_decls.h"
  20
  21 #include "continuations.h"
  22 #include "hottypes.h"
  23 #include "globals.h"
  24 #include "shapescore.h"
  25 #include "functiontypes.h"
  26 #include "astfun.h"
  27
  28 using namespace Shapes;
  29
  30
  31 Kernel::IfContinuation::IfContinuation( const Kernel::VariableHandle & consequence, const Kernel::VariableHandle & alternative, const Kernel::ContRef & cont, const Ast::SourceLocation & traceLoc )
  32         : Kernel::Continuation( traceLoc ), consequence_( consequence ), alternative_( alternative ), cont_( cont )
  33 { }
  34
  35 Kernel::IfContinuation::~IfContinuation( )
  36 { }
  37
  38 void
  39 Kernel::IfContinuation::takeValue( const RefCountPtr< const Lang::Value > & val, Kernel::EvalState * evalState, bool dummy ) const
  40 {
  41         typedef const Lang::Boolean ArgType;
  42         RefCountPtr< ArgType > arg = Helpers::down_cast_ContinuationArgument< ArgType >( val, this );
  43
  44         if( arg->val_ )
  45                 {
  46                         evalState->cont_ = cont_;
  47                         cont_->takeHandle( consequence_,
  48                                                                                                 evalState );
  49                 }
  50         else
  51                 {
  52                         evalState->cont_ = cont_;
  53                         cont_->takeHandle( alternative_,
  54                                                                                                 evalState );
  55                 }
  56 }
  57
  58 Kernel::ContRef
  59 Kernel::IfContinuation::up( ) const
  60 {
  61         return cont_;
  62 }
  63
  64 RefCountPtr< const char >
  65 Kernel::IfContinuation::description( ) const
  66 {
  67         return strrefdup( "if" );
  68 }
  69
  70 void
  71 Kernel::IfContinuation::gcMark( Kernel::GCMarkedSet & marked )
  72 {
  73         consequence_->gcMark( marked );
  74         alternative_->gcMark( marked );
  75         cont_->gcMark( marked );
  76 }
  77
  78
  79 Kernel::DefineVariableContinuation::DefineVariableContinuation( const Kernel::PassedEnv & env, size_t * pos, const Kernel::ContRef & cont, const Ast::SourceLocation & traceLoc )
  80         : Kernel::Continuation( traceLoc ), env_( env ), pos_( pos ), cont_( cont )
  81 { }
  82
  83 Kernel::DefineVariableContinuation::~DefineVariableContinuation( )
  84 { }
  85
  86 void
  87 Kernel::DefineVariableContinuation::takeHandle( Kernel::VariableHandle val, Kernel::EvalState * evalState, bool dummy ) const
  88 {
  89         // This continuation is only used when the expression is explicitly forced.
  90         if( val->isThunk( ) )
  91                 {
  92                         val->force( val, evalState );
  93                 }
  94         else
  95                 {
  96                         env_->define( *pos_, val );
  97                         evalState->cont_ = cont_;
  98                         cont_->takeHandle( Kernel::THE_VOID_VARIABLE, evalState );
  99                 }
 100 }
 101
 102 Kernel::ContRef
 103 Kernel::DefineVariableContinuation::up( ) const
 104 {
 105         return cont_;
 106 }
 107
 108 RefCountPtr< const char >
 109 Kernel::DefineVariableContinuation::description( ) const
 110 {
 111         return strrefdup( "introduce cold" );
 112 }
 113
 114 void
 115 Kernel::DefineVariableContinuation::gcMark( Kernel::GCMarkedSet & marked )
 116 {
 117         env_->gcMark( marked );
 118         cont_->gcMark( marked );
 119 }
 120
 121
 122 Kernel::IntroduceStateContinuation::IntroduceStateContinuation( const Kernel::PassedEnv & env, size_t * pos, const Kernel::ContRef & cont, const Ast::SourceLocation & traceLoc )
 123         : Kernel::Continuation( traceLoc ), env_( env ), pos_( pos ), cont_( cont )
 124 { }
 125
 126 Kernel::IntroduceStateContinuation::~IntroduceStateContinuation( )
 127 { }
 128
 129 void
 130 Kernel::IntroduceStateContinuation::takeValue( const RefCountPtr< const Lang::Value > & val, Kernel::EvalState * evalState, bool dummy ) const
 131 {
 132         RefCountPtr< const Lang::Hot > hot( Helpers::down_cast< const Lang::Hot >( val, traceLoc_ ) );
 133         env_->introduceState( *pos_, hot->newState( ) );
 134         evalState->cont_ = cont_;
 135         cont_->takeHandle( Kernel::THE_VOID_VARIABLE, evalState );
 136 }
 137
 138 Kernel::ContRef
 139 Kernel::IntroduceStateContinuation::up( ) const
 140 {
 141         return cont_;
 142 }
 143
 144 RefCountPtr< const char >
 145 Kernel::IntroduceStateContinuation::description( ) const
 146 {
 147         return strrefdup( "introduce warm" );
 148 }
 149
 150 void
 151 Kernel::IntroduceStateContinuation::gcMark( Kernel::GCMarkedSet & marked )
 152 {
 153         env_->gcMark( marked );
 154         cont_->gcMark( marked );
 155 }
 156
 157
 158 Kernel::StoreValueContinuation::StoreValueContinuation( Kernel::ValueRef * res, const Kernel::ContRef & cont, const Ast::SourceLocation & traceLoc )
 159         : Kernel::Continuation( traceLoc ), res_( res ), cont_( cont )
 160 { }
 161
 162 Kernel::StoreValueContinuation::~StoreValueContinuation( )
 163 { }
 164
 165 void
 166 Kernel::StoreValueContinuation::takeHandle( Kernel::VariableHandle val, Kernel::EvalState * evalState, bool dummy ) const
 167 {
 168         if( val->isThunk( ) )
 169                 {
 170                         val->force( val, evalState );
 171                 }
 172         else
 173                 {
 174                         *res_ = val->getUntyped( );
 175                         evalState->cont_ = cont_;
 176                         cont_->takeHandle( val, evalState );
 177                 }
 178 }
 179
 180 Kernel::ContRef
 181 Kernel::StoreValueContinuation::up( ) const
 182 {
 183         return cont_;
 184 }
 185
 186 RefCountPtr< const char >
 187 Kernel::StoreValueContinuation::description( ) const
 188 {
 189         return strrefdup( "store and return" );
 190 }
 191
 192 void
 193 Kernel::StoreValueContinuation::gcMark( Kernel::GCMarkedSet & marked )
 194 {
 195         cont_->gcMark( marked );
 196 }
 197
 198
 199 Kernel::StoreVariableContinuation::StoreVariableContinuation( const Kernel::VariableHandle & dst, const Kernel::ContRef & cont, const Ast::SourceLocation & traceLoc )
 200         : Kernel::Continuation( traceLoc ), dst_( dst ), cont_( cont )
 201 { }
 202
 203 Kernel::StoreVariableContinuation::~StoreVariableContinuation( )
 204 { }
 205
 206 void
 207 Kernel::StoreVariableContinuation::takeHandle( Kernel::VariableHandle val, Kernel::EvalState * evalState, bool dummy ) const
 208 {
 209         if( val->isThunk( ) )
 210                 {
 211                         val->force( val, evalState );
 212                 }
 213         else
 214                 {
 215                         /* This class is friends with Variable, hence setValue is accessible. */
 216                         dst_->setValue( val->getUntyped( ) );
 217                         evalState->cont_ = cont_;
 218                         cont_->takeHandle( val, evalState );
 219                 }
 220 }
 221
 222 Kernel::ContRef
 223 Kernel::StoreVariableContinuation::up( ) const
 224 {
 225         return cont_;
 226 }
 227
 228 RefCountPtr< const char >
 229 Kernel::StoreVariableContinuation::description( ) const
 230 {
 231         return strrefdup( "store and return" );
 232 }
 233
 234 void
 235 Kernel::StoreVariableContinuation::gcMark( Kernel::GCMarkedSet & marked )
 236 {
 237         dst_->gcMark( marked );
 238         cont_->gcMark( marked );
 239 }
 240
 241
 242 Kernel::InsertionContinuation::InsertionContinuation( const Kernel::StateHandle & dst, const Kernel::ContRef & cont, const Kernel::PassedDyn & dyn, const Ast::SourceLocation & traceLoc )
 243         : Kernel::Continuation( traceLoc ), dst_( dst ), dyn_( dyn ), cont_( cont )
 244 { }
 245
 246 Kernel::InsertionContinuation::~InsertionContinuation( )
 247 { }
 248
 249 void
 250 Kernel::InsertionContinuation::takeValue( const RefCountPtr< const Lang::Value > & val, Kernel::EvalState * evalState, bool dummy ) const
 251 {
 252         evalState->cont_ = cont_;
 253         evalState->dyn_ = dyn_;  /* This is how we pass dyn_ to dst_->tackOn .  Additionally passing it as a separate argument is (used to be) very confusing. */
 254         dst_->tackOn( evalState, val, traceLoc_ );
 255 }
 256
 257 Kernel::ContRef
 258 Kernel::InsertionContinuation::up( ) const
 259 {
 260         return cont_;
 261 }
 262
 263 RefCountPtr< const char >
 264 Kernel::InsertionContinuation::description( ) const
 265 {
 266         return strrefdup( "insertion" );
 267 }
 268
 269 void
 270 Kernel::InsertionContinuation::gcMark( Kernel::GCMarkedSet & marked )
 271 {
 272         cont_->gcMark( marked );
 273         dyn_->gcMark( marked );
 274 }
 275
 276
 277 Kernel::StmtStoreValueContinuation::StmtStoreValueContinuation( Kernel::ValueRef * res, const Kernel::ContRef & cont, const Ast::SourceLocation & traceLoc )
 278         : Kernel::Continuation( traceLoc ), res_( res ), cont_( cont )
 279 { }
 280
 281 Kernel::StmtStoreValueContinuation::~StmtStoreValueContinuation( )
 282 { }
 283
 284 void
 285 Kernel::StmtStoreValueContinuation::takeValue( const RefCountPtr< const Lang::Value > & val, Kernel::EvalState * evalState, bool dummy ) const
 286 {
 287         *res_ = val;
 288         evalState->cont_ = cont_;
 289         cont_->takeHandle( Kernel::THE_VOID_VARIABLE, evalState );
 290 }
 291
 292 Kernel::ContRef
 293 Kernel::StmtStoreValueContinuation::up( ) const
 294 {
 295         return cont_;
 296 }
 297
 298 RefCountPtr< const char >
 299 Kernel::StmtStoreValueContinuation::description( ) const
 300 {
 301         return strrefdup( "statement store (value)" );
 302 }
 303
 304 void
 305 Kernel::StmtStoreValueContinuation::gcMark( Kernel::GCMarkedSet & marked )
 306 {
 307         cont_->gcMark( marked );
 308 }
 309
 310
 311 Kernel::StmtStoreVariableContinuation::StmtStoreVariableContinuation( const Kernel::VariableHandle & dst, const Kernel::ContRef & cont, const Ast::SourceLocation & traceLoc )
 312         : Kernel::Continuation( traceLoc ), dst_( dst ), cont_( cont )
 313 { }
 314
 315 Kernel::StmtStoreVariableContinuation::~StmtStoreVariableContinuation( )
 316 { }
 317
 318 void
 319 Kernel::StmtStoreVariableContinuation::takeValue( const RefCountPtr< const Lang::Value > & val, Kernel::EvalState * evalState, bool dummy ) const
 320 {
 321         /* This class is friends with Variable, hence setValue is accessible. */
 322         dst_->setValue( val );
 323         evalState->cont_ = cont_;
 324         cont_->takeHandle( Kernel::THE_VOID_VARIABLE, evalState );
 325 }
 326
 327 Kernel::ContRef
 328 Kernel::StmtStoreVariableContinuation::up( ) const
 329 {
 330         return cont_;
 331 }
 332
 333 RefCountPtr< const char >
 334 Kernel::StmtStoreVariableContinuation::description( ) const
 335 {
 336         return strrefdup( "statement store (variable)" );
 337 }
 338
 339 void
 340 Kernel::StmtStoreVariableContinuation::gcMark( Kernel::GCMarkedSet & marked )
 341 {
 342         dst_->gcMark( marked );
 343         cont_->gcMark( marked );
 344 }
 345
 346
 347
 348 Kernel::ForcingContinuation::ForcingContinuation( const Kernel::ContRef & cont, const Ast::SourceLocation & traceLoc )
 349         : Kernel::Continuation( traceLoc ), cont_( cont )
 350 { }
 351
 352 Kernel::ForcingContinuation::~ForcingContinuation( )
 353 { }
 354
 355 void
 356 Kernel::ForcingContinuation::takeValue( const RefCountPtr< const Lang::Value > & val, Kernel::EvalState * evalState, bool dummy ) const
 357 {
 358         /* The reason for using this is simply that it only takes values.       Then, the value
 359          * is passed to whatever surrounding continuation.
 360          */
 361         evalState->cont_ = cont_;
 362         cont_->takeValue( val, evalState );
 363 }
 364
 365 Kernel::ContRef
 366 Kernel::ForcingContinuation::up( ) const
 367 {
 368         return cont_;
 369 }
 370
 371 RefCountPtr< const char >
 372 Kernel::ForcingContinuation::description( ) const
 373 {
 374         return strrefdup( "force evaluation" );
 375 }
 376
 377 void
 378 Kernel::ForcingContinuation::gcMark( Kernel::GCMarkedSet & marked )
 379 {
 380         cont_->gcMark( marked );
 381 }
 382
 383
 384 Kernel::ExitContinuation::ExitContinuation( bool * done, const Ast::SourceLocation & traceLoc )
 385         : Kernel::Continuation( traceLoc ), done_( done )
 386 { }
 387
 388 Kernel::ExitContinuation::~ExitContinuation( )
 389 { }
 390
 391 void
 392 Kernel::ExitContinuation::takeHandle( Kernel::VariableHandle val, Kernel::EvalState * evalState, bool dummy ) const
 393 {
 394         *done_ = true;
 395 }
 396
 397 Kernel::ContRef
 398 Kernel::ExitContinuation::up( ) const
 399 {
 400         return Kernel::ContRef( NullPtr< Kernel::Continuation >( ) );
 401 }
 402
 403 RefCountPtr< const char >
 404 Kernel::ExitContinuation::description( ) const
 405 {
 406         return strrefdup( "exit (non-forcing)" );
 407 }
 408
 409 void
 410 Kernel::ExitContinuation::gcMark( Kernel::GCMarkedSet & marked )
 411 { }
 412
 413
 414 Kernel::DefaultErrorContinuation::DefaultErrorContinuation( const Ast::SourceLocation & traceLoc )
 415         : Kernel::Continuation( traceLoc )
 416 { }
 417
 418 Kernel::DefaultErrorContinuation::~DefaultErrorContinuation( )
 419 { }
 420
 421 void
 422 Kernel::DefaultErrorContinuation::takeValue( const RefCountPtr< const Lang::Value > & val, Kernel::EvalState * evalState, bool dummy ) const
 423 {
 424         throw Exceptions::UncaughtError( Helpers::down_cast_ContinuationArgument< const Lang::Exception >( val, this ) );
 425 }
 426
 427 Kernel::ContRef
 428 Kernel::DefaultErrorContinuation::up( ) const
 429 {
 430         return Kernel::ContRef( NullPtr< Kernel::Continuation >( ) );
 431 }
 432
 433 RefCountPtr< const char >
 434 Kernel::DefaultErrorContinuation::description( ) const
 435 {
 436         return strrefdup( "default error continuation" );
 437 }
 438
 439 void
 440 Kernel::DefaultErrorContinuation::gcMark( Kernel::GCMarkedSet & marked )
 441 { }
 442
 443
 444 Kernel::Transform2DCont::Transform2DCont( Lang::Transform2D tf, const Kernel::ContRef & cont, const Ast::SourceLocation & traceLoc )
 445         : Kernel::Continuation( traceLoc ), tf_( tf ), cont_( cont )
 446 { }
 447
 448 Kernel::Transform2DCont::~Transform2DCont( )
 449 { }
 450
 451 void
 452 Kernel::Transform2DCont::takeValue( const RefCountPtr< const Lang::Value > & val, Kernel::EvalState * evalState, bool dummy ) const
 453 {
 454         try
 455                 {
 456                         typedef const Lang::Geometric2D ArgType;
 457                         RefCountPtr< ArgType > arg = Helpers::try_cast_CoreArgument< ArgType >( val );
 458                         evalState->cont_ = cont_;
 459                         cont_->takeValue( arg->transformed( tf_, arg ),
 460                                                                                                 evalState );
 461                         return;
 462                 }
 463         catch( const NonLocalExit::NotThisType & ball )
 464                 {
 465                         /* Wrong type; never mind!.. but see below!
 466                          */
 467                 }
 468
 469         try
 470                 {
 471                         typedef const Lang::FloatPair ArgType;
 472                         RefCountPtr< ArgType > arg = Helpers::try_cast_CoreArgument< ArgType >( val );
 473                         evalState->cont_ = cont_;
 474                         cont_->takeValue( arg->transformed( tf_ ),
 475                                                                                                 evalState );
 476                         return;
 477                 }
 478         catch( const NonLocalExit::NotThisType & ball )
 479                 {
 480                         /* Wrong type; never mind!.. but see below!
 481                          */
 482                 }
 483
 484         throw Exceptions::ContinuationTypeMismatch( this, val->getTypeName( ), Helpers::typeSetString( Lang::Geometric2D::staticTypeName( ), Lang::FloatPair::staticTypeName( ) ) );
 485 }
 486
 487 Kernel::ContRef
 488 Kernel::Transform2DCont::up( ) const
 489 {
 490         return cont_;
 491 }
 492
 493 RefCountPtr< const char >
 494 Kernel::Transform2DCont::description( ) const
 495 {
 496         return strrefdup( "2D transform application" );
 497 }
 498
 499 void
 500 Kernel::Transform2DCont::gcMark( Kernel::GCMarkedSet & marked )
 501 {
 502         cont_->gcMark( marked );
 503 }
 504
 505
 506 Kernel::Transform3DCont::Transform3DCont( Lang::Transform3D tf, const Kernel::ContRef & cont, const Ast::SourceLocation & traceLoc )
 507         : Kernel::Continuation( traceLoc ), tf_( tf ), cont_( cont )
 508 { }
 509
 510 Kernel::Transform3DCont::~Transform3DCont( )
 511 { }
 512
 513 void
 514 Kernel::Transform3DCont::takeValue( const RefCountPtr< const Lang::Value > & val, Kernel::EvalState * evalState, bool dummy ) const
 515 {
 516         try
 517                 {
 518                         typedef const Lang::Geometric3D ArgType;
 519                         RefCountPtr< ArgType > arg = Helpers::try_cast_CoreArgument< ArgType >( val );
 520                         evalState->cont_ = cont_;
 521                         cont_->takeValue( arg->transformed( tf_, arg ),
 522                                                                                                 evalState );
 523                         return;
 524                 }
 525         catch( const NonLocalExit::NotThisType & ball )
 526                 {
 527                         /* Wrong type; never mind!.. but see below!
 528                          */
 529                 }
 530
 531         try
 532                 {
 533                         typedef const Lang::FloatTriple ArgType;
 534                         RefCountPtr< ArgType > arg = Helpers::try_cast_CoreArgument< ArgType >( val );
 535                         evalState->cont_ = cont_;
 536                         cont_->takeValue( arg->transformed( tf_ ),
 537                                                                                                 evalState );
 538                         return;
 539                 }
 540         catch( const NonLocalExit::NotThisType & ball )
 541                 {
 542                         /* Wrong type; never mind!.. but see below!
 543                          */
 544                 }
 545
 546         throw Exceptions::ContinuationTypeMismatch( this, val->getTypeName( ), Helpers::typeSetString( Lang::Geometric3D::staticTypeName( ), Lang::FloatTriple::staticTypeName( ) ) );
 547 }
 548
 549 Kernel::ContRef
 550 Kernel::Transform3DCont::up( ) const
 551 {
 552         return cont_;
 553 }
 554
 555 RefCountPtr< const char >
 556 Kernel::Transform3DCont::description( ) const
 557 {
 558         return strrefdup( "3D transform application" );
 559 }
 560
 561 void
 562 Kernel::Transform3DCont::gcMark( Kernel::GCMarkedSet & marked )
 563 {
 564         cont_->gcMark( marked );
 565 }
 566
 567
 568 Kernel::PathApplication2DCont::PathApplication2DCont( RefCountPtr< const Lang::ElementaryPath2D > path, const Kernel::ContRef & cont, const Ast::SourceLocation & traceLoc )
 569         : Kernel::Continuation( traceLoc ), path_( path ), cont_( cont )
 570 { }
 571
 572 Kernel::PathApplication2DCont::~PathApplication2DCont( )
 573 { }
 574
 575 void
 576 Kernel::PathApplication2DCont::takeValue( const RefCountPtr< const Lang::Value > & val, Kernel::EvalState * evalState, bool dummy ) const
 577 {
 578         Concrete::SplineTime t = Helpers::pathTimeCast( path_.getPtr( ), val.getPtr( ), this );
 579
 580         evalState->cont_ = cont_;
 581         cont_->takeValue( Kernel::ValueRef( new Lang::PathSlider2D( path_, t.t( ) ) ),
 582                                                                          evalState );
 583         return;
 584 }
 585
 586 Kernel::ContRef
 587 Kernel::PathApplication2DCont::up( ) const
 588 {
 589         return cont_;
 590 }
 591
 592 RefCountPtr< const char >
 593 Kernel::PathApplication2DCont::description( ) const
 594 {
 595         return strrefdup( "2D path point selection" );
 596 }
 597
 598 void
 599 Kernel::PathApplication2DCont::gcMark( Kernel::GCMarkedSet & marked )
 600 {
 601         const_cast< Lang::ElementaryPath2D * >( path_.getPtr( ) )->gcMark( marked );
 602         cont_->gcMark( marked );
 603 }
 604
 605
 606 Kernel::PathApplication3DCont::PathApplication3DCont( RefCountPtr< const Lang::ElementaryPath3D > path, const Kernel::ContRef & cont, const Ast::SourceLocation & traceLoc )
 607         : Kernel::Continuation( traceLoc ), path_( path ), cont_( cont )
 608 { }
 609
 610 Kernel::PathApplication3DCont::~PathApplication3DCont( )
 611 { }
 612
 613 void
 614 Kernel::PathApplication3DCont::takeValue( const RefCountPtr< const Lang::Value > & val, Kernel::EvalState * evalState, bool dummy ) const
 615 {
 616         Concrete::SplineTime t = Helpers::pathTimeCast( path_.getPtr( ), val.getPtr( ), this );
 617
 618         evalState->cont_ = cont_;
 619         cont_->takeValue( Kernel::ValueRef( new Lang::PathSlider3D( path_, t.t( ) ) ),
 620                                                                                 evalState );
 621         return;
 622 }
 623
 624 Kernel::ContRef
 625 Kernel::PathApplication3DCont::up( ) const
 626 {
 627         return cont_;
 628 }
 629
 630 RefCountPtr< const char >
 631 Kernel::PathApplication3DCont::description( ) const
 632 {
 633         return strrefdup( "3D path point selection" );
 634 }
 635
 636 void
 637 Kernel::PathApplication3DCont::gcMark( Kernel::GCMarkedSet & marked )
 638 {
 639         const_cast< Lang::ElementaryPath3D * >( path_.getPtr( ) )->gcMark( marked );
 640         cont_->gcMark( marked );
 641 }
 642
 643
 644 Kernel::ComposedFunctionCall_cont::ComposedFunctionCall_cont( const RefCountPtr< const Lang::Function > & second, const Kernel::PassedDyn & dyn, const Kernel::ContRef & cont, const Ast::SourceLocation & callLoc )
 645         : Kernel::Continuation( callLoc ), second_( second ), dyn_( dyn ), cont_( cont )
 646 { }
 647
 648 Kernel::ComposedFunctionCall_cont::~ComposedFunctionCall_cont( )
 649 { }
 650
 651 void
 652 Kernel::ComposedFunctionCall_cont::takeHandle( Kernel::VariableHandle val, Kernel::EvalState * evalState, bool dummy ) const
 653 {
 654         evalState->dyn_ = dyn_;
 655         evalState->cont_ = cont_;
 656         second_->call( second_, evalState, val, traceLoc_ );
 657 }
 658
 659 Kernel::ContRef
 660 Kernel::ComposedFunctionCall_cont::up( ) const
 661 {
 662         return cont_;
 663 }
 664
 665 RefCountPtr< const char >
 666 Kernel::ComposedFunctionCall_cont::description( ) const
 667 {
 668         return strrefdup( "composed function's second application" );
 669 }
 670
 671 void
 672 Kernel::ComposedFunctionCall_cont::gcMark( Kernel::GCMarkedSet & marked )
 673 {
 674         const_cast< Lang::Function * >( second_.getPtr( ) )->gcMark( marked );
 675         dyn_->gcMark( marked );
 676         cont_->gcMark( marked );
 677 }
 678