//

//  rbbitblb.h

//

/*

**********************************************************************

*   Copyright (c) 2002-2004, International Business Machines

*   Corporation and others.  All Rights Reserved.

**********************************************************************

*/

#ifndef RBBITBLB_H

#define RBBITBLB_H

#include "unicode/utypes.h"

#include "unicode/uobject.h"

#include "unicode/rbbi.h"

#include "rbbinode.h"

U_NAMESPACE_BEGIN

class RBBIRuleScanner;

class RBBIRuleBuilder;

//

//  class RBBITableBuilder is part of the RBBI rule compiler.

//                         It builds the state transition table used by the RBBI runtime

//                         from the expression syntax tree generated by the rule scanner.

//

//                         This class is part of the RBBI implementation only.

//                         There is no user-visible public API here.

//

class RBBITableBuilder : public UMemory {

public:

    RBBITableBuilder(RBBIRuleBuilder *rb, RBBINode **rootNode);

    ~RBBITableBuilder();

    void     build();

    int32_t  getTableSize() const;      // Return the runtime size in bytes of

                                        //     the built state table

    void     exportTable(void *where);  // fill in the runtime state table.

                                        //     Sufficient memory must exist at

                                        //     the specified location.

private:

    void     calcNullable(RBBINode *n);

    void     calcFirstPos(RBBINode *n);

    void     calcLastPos(RBBINode  *n);

    void     calcFollowPos(RBBINode *n);

    void     calcChainedFollowPos(RBBINode *n);

    void     buildStateTable();

    void     flagAcceptingStates();

    void     flagLookAheadStates();

    void     flagTaggedStates();

    void     mergeRuleStatusVals();

    // Set functions for UVector.

    //   TODO:  make a USet subclass of UVector

    void     setAdd(UVector *dest, UVector *source);

    UBool    setEquals(UVector *a, UVector *b);

    void     sortedAdd(UVector **dest, int32_t val);

public:

#ifdef RBBI_DEBUG

    void     printSet(UVector *s);

    void     printPosSets(RBBINode *n /* = NULL*/);

    void     printStates();

    void     printRuleStatusTable();

#else

    #define  printSet(s)

    #define  printPosSets(n)

    #define  printStates()

    #define  printRuleStatusTable()

#endif

private:

    RBBIRuleBuilder  *fRB;

    RBBINode         *&fTree;              // The root node of the parse tree to build a

                                           //   table for.

    UErrorCode       *fStatus;

    UVector          *fDStates;            //  D states (Aho's terminology)

                                           //  Index is state number

                                           //  Contents are RBBIStateDescriptor pointers.

    RBBITableBuilder(const RBBITableBuilder &other); // forbid copying of this class

    RBBITableBuilder &operator=(const RBBITableBuilder &other); // forbid copying of this class

};

//

//  RBBIStateDescriptor - The DFA is constructed as a set of these descriptors,

//                        one for each state.

class RBBIStateDescriptor : public UMemory {

public:

    UBool            fMarked;

    int32_t          fAccepting;

    int32_t          fLookAhead;

    UVector          *fTagVals;

    int32_t          fTagsIdx;

    UVector          *fPositions;          // Set of parse tree positions associated

                                           //   with this state.  Unordered (it's a set).

                                           //   UVector contents are RBBINode *

    UVector          *fDtran;              // Transitions out of this state.

                                           //   indexed by input character

                                           //   contents is int index of dest state

                                           //   in RBBITableBuilder.fDStates

    RBBIStateDescriptor(int maxInputSymbol,  UErrorCode *fStatus);

    ~RBBIStateDescriptor();

private:

    RBBIStateDescriptor(const RBBIStateDescriptor &other); // forbid copying of this class

    RBBIStateDescriptor &operator=(const RBBIStateDescriptor &other); // forbid copying of this class

};

U_NAMESPACE_END

#endif