1 /**

     2  * Copyright (C) 2008 Torch Mobile Inc. All rights reserved. (http://www.torchmobile.com/)

     3  *

     4  * This library is free software; you can redistribute it and/or

     5  * modify it under the terms of the GNU Library General Public

     6  * License as published by the Free Software Foundation; either

     7  * version 2 of the License, or (at your option) any later version.

     8  *

     9  * This library is distributed in the hope that it will be useful,

    10  * but WITHOUT ANY WARRANTY; without even the implied warranty of

    11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU

    12  * Library General Public License for more details.

    13  *

    14  * You should have received a copy of the GNU Library General Public License

    15  * along with this library; see the file COPYING.LIB.  If not, write to

    16  * the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,

    17  * Boston, MA 02110-1301, USA.

    18  *

    19  */

    20 

    21 #include "config.h"

    22 

    23 #if ENABLE(WML)

    24 #include "WMLRefreshElement.h"

    25 

    26 #include "Frame.h"

    27 #include "FrameLoader.h"

    28 #include "WMLCardElement.h"

    29 #include "WMLDocument.h"

    30 #include "WMLPageState.h"

    31 #include "WMLTimerElement.h"

    32 

    33 namespace WebCore {

    34 

    35 WMLRefreshElement::WMLRefreshElement(const QualifiedName& tagName, Document* doc)

    36     : WMLTaskElement(tagName, doc)

    37 {

    38 }

    39 

    40 WMLRefreshElement::~WMLRefreshElement()

    41 {

    42 }

    43 

    44 void WMLRefreshElement::executeTask()

    45 {

    46     ASSERT(document()->isWMLDocument());

    47     WMLDocument* document = static_cast<WMLDocument*>(this->document());

    48 

    49     WMLPageState* pageState = wmlPageStateForDocument(document);

    50     if (!pageState)

    51         return;

    52 

    53     WMLCardElement* card = document->activeCard();

    54     if (!card)

    55         return;

    56 

    57     // Before perform refresh task, we store the current timeout

    58     // value in the page state and then stop the timer

    59     WMLTimerElement* timer = card->eventTimer();

    60     if (timer) {

    61         timer->storeIntervalToPageState();

    62         timer->stop();

    63     }

    64 

    65     storeVariableState(pageState);

    66 

    67     // Redisplay curremt card with current variable state

    68     if (Frame* frame = document->frame()) {

    69         if (FrameLoader* loader = frame->loader())

    70             loader->reload();

    71     }

    72 

    73     // After refreshing task, resume the timer if it exsits 

    74     if (timer)

    75         timer->start();

    76 }

    77 

    78 }

    79 

    80 #endif