projectiondfatransitions.h

Go to the documentation of this file.

/*
 | Author: Michael Schmidt;
 |         Gunnar Jehl 
 |
 | ************************* SOFTWARE LICENSE AGREEMENT ***********************
 | This source code is published under the BSD License.
 |
 | See file 'LICENSE.txt' that comes with this distribution or
 | http://dbis.informatik.uni-freiburg.de/index.php?project=GCX/license.php
 | for the full license agreement.
 |
 | THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
 | AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 | IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 | ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
 | LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
 | CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
 | SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
 | INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
 | CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 | ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
 | POSSIBILITY OF SUCH DAMAGE.
 | ****************************************************************************
*/

#ifndef PROJECTIONDFATRANSITIONS_H
#define PROJECTIONDFATRANSITIONS_H

#include "tagmap.h"
#include "tokenconfiguration.h"

#ifdef __GNUC__
#include <ext/hash_map>
#else
#include <hash_map>
#endif

#define TRANSITION_UNKNOWN            0

#define TRANSITION_REGULAR            1

#define TRANSITION_SKIP_SUBTREE        2

#define TRANSITION_KEEP_SUBTREE        3

using __gnu_cxx::hash_map;

// forward declarations
class ProjectionDFAState;

class ProjectionDFATransitions {

  public:
    ProjectionDFATransitions(ProjectionDFAState * _parent);

    virtual ~ ProjectionDFATransitions();

    void print(OutputStream & dos, unsigned indents);

    ProjectionDFAState *takeTransition(TAG t, short &t_type);

    ProjectionDFAState *takeTextTransition(bool is_root);

    void computeTransition(ProjectionDFAState * parent, TAG t);

  private:
    virtual void computeTextTransition(bool is_root);

    ProjectionDFAState *parent;

    hash_map < TAG,
    ProjectionDFAState * >transitions;

    bool text_transition_computed;

    ProjectionDFAState *text_transition;
};

#endif // PROJECTIONDFATRANSITIONS_H

---