AceTime  1.9.0
Date and time classes for Arduino that support timezones from the TZ Database.
Public Types | Public Member Functions | Friends | List of all members
ace_time::extended::TransitionStorageTemplate< SIZE, ZEB, ZPB, ZRB > Class Template Reference

A heap manager which is specialized and tuned to manage a collection of Transitions, keeping track of unused, used, and active states, using a fixed array of Transitions. More...

#include <ExtendedZoneProcessor.h>

Public Types

typedef TransitionTemplate< ZEB, ZPB, ZRB > Transition
 Template instantiation of TransitionTemplate used by this class. More...
 

Public Member Functions

 TransitionStorageTemplate ()
 Constructor.
 
void init ()
 Initialize all pools to 0 size, usually when a new year is initialized. More...
 
TransitiongetPrior ()
 Return the current prior transition.
 
void resetCandidatePool ()
 Empty the Candidate pool by resetting the various indexes. More...
 
Transition ** getCandidatePoolBegin ()
 
Transition ** getCandidatePoolEnd ()
 
Transition ** getActivePoolBegin ()
 
Transition ** getActivePoolEnd ()
 
TransitiongetFreeAgent ()
 Return a pointer to the first Transition in the free pool. More...
 
void addFreeAgentToActivePool ()
 Immediately add the free agent Transition at index mIndexFree to the Active pool. More...
 
Transition ** reservePrior ()
 Allocate a free Transition then add it to the Prior pool. More...
 
void setFreeAgentAsPriorIfValid ()
 Set the free agent transition as the most recent prior.
 
void addPriorToCandidatePool ()
 Add the current prior into the Candidates pool. More...
 
void addFreeAgentToCandidatePool ()
 Add the free agent Transition at index mIndexFree to the Candidate pool, sorted by transitionTime. More...
 
TransitionaddActiveCandidatesToActivePool ()
 Add active candidates into the Active pool, and collapse the Candidate pool. More...
 
const TransitionfindTransition (acetime_t epochSeconds) const
 Return the Transition matching the given epochSeconds. More...
 
const TransitionfindTransitionForDateTime (const LocalDateTime &ldt) const
 Return the Transition matching the given dateTime. More...
 
void log () const
 Verify that the indexes are valid. More...
 
void resetAllocSize ()
 Reset the current allocation size. More...
 
uint8_t getAllocSize () const
 Return the maximum number of transitions which was allocated. More...
 

Friends

class ::TransitionStorageTest_getFreeAgent
 
class ::TransitionStorageTest_getFreeAgent2
 
class ::TransitionStorageTest_addFreeAgentToActivePool
 
class ::TransitionStorageTest_reservePrior
 
class ::TransitionStorageTest_addFreeAgentToCandidatePool
 
class ::TransitionStorageTest_setFreeAgentAsPriorIfValid
 
class ::TransitionStorageTest_addActiveCandidatesToActivePool
 
class ::TransitionStorageTest_findTransitionForDateTime
 
class ::TransitionStorageTest_resetCandidatePool
 

Detailed Description

template<uint8_t SIZE, typename ZEB, typename ZPB, typename ZRB>
class ace_time::extended::TransitionStorageTemplate< SIZE, ZEB, ZPB, ZRB >

A heap manager which is specialized and tuned to manage a collection of Transitions, keeping track of unused, used, and active states, using a fixed array of Transitions.

Its main purpose is to provide some illusion of dynamic memory allocation without actually performing any dynamic memory allocation.

We create a fixed sized array for the total pool, determined by the template parameter SIZE, then manage the various sub-pools of Transition objects. The allocation of the various sub-pools is intricately tied to the precise pattern of creation and release of the various Transition objects within the ExtendedZoneProcessor class.

There are 4 pools indicated by the following half-open (inclusive to exclusive) index ranges:

1) Active pool: [0, mIndexPrior) 2) Prior pool: [mIndexPrior, mIndexCandidates), either 0 or 1 element 3) Candidate pool: [mIndexCandidates, mIndexFree) 4) Free agent pool: [mIndexFree, mAllocSize), 0 or 1 element

At the completion of the ExtendedZoneProcessor::init(LocalDate& ld) method, the Active pool will contain the active Transitions relevant to the 'year' defined by the LocalDate. The Prior and Candidate pools will be empty, with the Free pool taking up the remaining space.

Template Parameters
SIZEsize of internal cache
ZEBtype of ZoneEraBroker
ZPBtype of ZonePolicyBroker
ZRBtype of ZoneRuleBroker

Definition at line 431 of file ExtendedZoneProcessor.h.

Member Typedef Documentation

◆ Transition

template<uint8_t SIZE, typename ZEB , typename ZPB , typename ZRB >
typedef TransitionTemplate<ZEB, ZPB, ZRB> ace_time::extended::TransitionStorageTemplate< SIZE, ZEB, ZPB, ZRB >::Transition

Template instantiation of TransitionTemplate used by this class.

This should be treated as a private, it is exposed only for testing purposes.

Definition at line 437 of file ExtendedZoneProcessor.h.

Member Function Documentation

◆ addActiveCandidatesToActivePool()

template<uint8_t SIZE, typename ZEB , typename ZPB , typename ZRB >
Transition* ace_time::extended::TransitionStorageTemplate< SIZE, ZEB, ZPB, ZRB >::addActiveCandidatesToActivePool ( )
inline

Add active candidates into the Active pool, and collapse the Candidate pool.

Every MatchingEra will have at least one Transition.

Returns
the last Transition that was added

Definition at line 593 of file ExtendedZoneProcessor.h.

◆ addFreeAgentToActivePool()

template<uint8_t SIZE, typename ZEB , typename ZPB , typename ZRB >
void ace_time::extended::TransitionStorageTemplate< SIZE, ZEB, ZPB, ZRB >::addFreeAgentToActivePool ( )
inline

Immediately add the free agent Transition at index mIndexFree to the Active pool.

Then increment mIndexFree to consume the free agent from the Free pool. This assumes that the Pending and Candidate pool are empty, which makes the Active pool come immediately before the Free pool.

Definition at line 517 of file ExtendedZoneProcessor.h.

◆ addFreeAgentToCandidatePool()

template<uint8_t SIZE, typename ZEB , typename ZPB , typename ZRB >
void ace_time::extended::TransitionStorageTemplate< SIZE, ZEB, ZPB, ZRB >::addFreeAgentToCandidatePool ( )
inline

Add the free agent Transition at index mIndexFree to the Candidate pool, sorted by transitionTime.

Then increment mIndexFree by one to remove the free agent from the Free pool. Essentially this is an Insertion Sort keyed by the 'transitionTime' (ignoring the DateTuple.suffix).

Definition at line 567 of file ExtendedZoneProcessor.h.

◆ addPriorToCandidatePool()

template<uint8_t SIZE, typename ZEB , typename ZPB , typename ZRB >
void ace_time::extended::TransitionStorageTemplate< SIZE, ZEB, ZPB, ZRB >::addPriorToCandidatePool ( )
inline

Add the current prior into the Candidates pool.

Prior is always just before the start of the Candidate pool, so we just need to shift back the start index of the Candidate pool.

Definition at line 557 of file ExtendedZoneProcessor.h.

◆ findTransition()

template<uint8_t SIZE, typename ZEB , typename ZPB , typename ZRB >
const Transition* ace_time::extended::TransitionStorageTemplate< SIZE, ZEB, ZPB, ZRB >::findTransition ( acetime_t  epochSeconds) const
inline

Return the Transition matching the given epochSeconds.

Return nullptr if no matching Transition found. If a zone does not have any transition according to TZ Database, the AceTimeTools/transformer.py script adds an "anchor" transition at the "beginning of time" which happens to be the year 1872 (because the year is stored as an int8_t). Therefore, this method should never return a nullptr for a well-formed ZoneInfo file.

Definition at line 627 of file ExtendedZoneProcessor.h.

◆ findTransitionForDateTime()

template<uint8_t SIZE, typename ZEB , typename ZPB , typename ZRB >
const Transition* ace_time::extended::TransitionStorageTemplate< SIZE, ZEB, ZPB, ZRB >::findTransitionForDateTime ( const LocalDateTime ldt) const
inline

Return the Transition matching the given dateTime.

Return nullptr if no matching Transition found. During DST changes, a particlar LocalDateTime may correspond to 2 Transitions or 0 Transitions, and there are potentially multiple ways to handle this. This method implements the following algorithm:

1) If the localDateTime falls in the DST transition gap where 0 Transitions ought to be found, e.g. between 02:00 and 03:00 in America/Los_Angeles when standard time switches to DST time), the immediate prior Transition is returned (in effect extending the UTC offset of the prior Transition through the gap. For example, when DST starts, 02:00 becomes 03:00, so a time of 02:30 does not exist, but the Transition returned will be the one valid at 01:59. When it is converted to epoch_seconds and converted back to a LocalDateTime, the 02:30 time will become 03:30, since the later UTC offset will be used.

2) If the localDateTime falls in a time period where there are 2 Transitions, hence 2 valid UTC offsets, the later Transition is returned. For example, when DST ends in America/Los_Angeles, 02:00 becomes 01:00, so a time of 01:30 could belong to the earlier or later Transition. This method returns the later Transition.

Definition at line 664 of file ExtendedZoneProcessor.h.

◆ getAllocSize()

template<uint8_t SIZE, typename ZEB , typename ZPB , typename ZRB >
uint8_t ace_time::extended::TransitionStorageTemplate< SIZE, ZEB, ZPB, ZRB >::getAllocSize ( ) const
inline

Return the maximum number of transitions which was allocated.

If this is greater than SIZE, it indicates that the Transition mPool overflowed. This method is intended for debugging.

Definition at line 731 of file ExtendedZoneProcessor.h.

◆ getFreeAgent()

template<uint8_t SIZE, typename ZEB , typename ZPB , typename ZRB >
Transition* ace_time::extended::TransitionStorageTemplate< SIZE, ZEB, ZPB, ZRB >::getFreeAgent ( )
inline

Return a pointer to the first Transition in the free pool.

If this transition is not used, then it's ok to just drop it. The next time getFreeAgent() is called, the same Transition will be returned.

Definition at line 494 of file ExtendedZoneProcessor.h.

◆ init()

template<uint8_t SIZE, typename ZEB , typename ZPB , typename ZRB >
void ace_time::extended::TransitionStorageTemplate< SIZE, ZEB, ZPB, ZRB >::init ( )
inline

Initialize all pools to 0 size, usually when a new year is initialized.

The mAllocSize is not reset, so that we can determine the maximum allocation size across multiple years. Call resetAllocSize() manually to reset the mAllocSize.

Definition at line 448 of file ExtendedZoneProcessor.h.

◆ log()

template<uint8_t SIZE, typename ZEB , typename ZPB , typename ZRB >
void ace_time::extended::TransitionStorageTemplate< SIZE, ZEB, ZPB, ZRB >::log ( ) const
inline

Verify that the indexes are valid.

Used only for debugging.

Definition at line 691 of file ExtendedZoneProcessor.h.

◆ reservePrior()

template<uint8_t SIZE, typename ZEB , typename ZPB , typename ZRB >
Transition** ace_time::extended::TransitionStorageTemplate< SIZE, ZEB, ZPB, ZRB >::reservePrior ( )
inline

Allocate a free Transition then add it to the Prior pool.

This assumes that the Prior pool and Candidate pool were both empty before calling this method. Shift the Candidate pool and Free pool up by one. Return a handle (pointer to pointer) to the Transition, so that the prior Transition can be swapped with another Transition, while keeping the handle valid.

Definition at line 532 of file ExtendedZoneProcessor.h.

◆ resetAllocSize()

template<uint8_t SIZE, typename ZEB , typename ZPB , typename ZRB >
void ace_time::extended::TransitionStorageTemplate< SIZE, ZEB, ZPB, ZRB >::resetAllocSize ( )
inline

Reset the current allocation size.

For debugging.

Definition at line 724 of file ExtendedZoneProcessor.h.

◆ resetCandidatePool()

template<uint8_t SIZE, typename ZEB , typename ZPB , typename ZRB >
void ace_time::extended::TransitionStorageTemplate< SIZE, ZEB, ZPB, ZRB >::resetCandidatePool ( )
inline

Empty the Candidate pool by resetting the various indexes.

If every iteration of createTransitionsForMatch() finishes with addFreeAgentToActivePool() or addActiveCandidatesToActivePool(), it may be possible to remove this. But it's safer to reset the indexes upon each iteration.

Definition at line 470 of file ExtendedZoneProcessor.h.


The documentation for this class was generated from the following file: