17 #ifndef INCLUDED_core_fragment_JumpingFrame_HH
18 #define INCLUDED_core_fragment_JumpingFrame_HH
32 #include <utility/vector1.fwd.hh>
33 #include <utility/pointer/ReferenceCount.hh>
39 #include <utility/exit.hh>
40 #include <utility/vector1.hh>
63 :
Frame( start, end, length ),
pos_( length )
77 runtime_assert( intra_pos <=
length() );
78 return pos_[ intra_pos ];
82 PosList::const_iterator it = find(
pos_.begin(),
pos_.end(),
pos );
83 return it !=
pos_.end();
92 assert( intra_pos <=
length() );
93 pos_[ intra_pos ] = setting;
96 virtual void show( std::ostream& )
const;
97 virtual void read( std::istream& );
102 void show_pos( std::ostream &out )
const;
130 newFrame->pos() =
pos();