---

kydefs.h

Go to the documentation of this file.

/***************************************************************************
    kydefs.h  -  Definitions of types and macros used by KYGrammar class
                             -------------------
    begin                : June 21 2002
    copyright            : (C) 2003 by Vojtìch Toman
    email                : vtoman@lit.cz
 ***************************************************************************/

/***************************************************************************
 *                                                                         *
 *   This program is free software; you can redistribute it and/or modify  *
 *   it under the terms of the GNU General Public License as published by  *
 *   the Free Software Foundation; either version 2 of the License, or     *
 *   (at your option) any later version.                                   *
 *                                                                         *
 ***************************************************************************/

#ifndef KYDEFS_H
#define KYDEFS_H


#include "defs.h"
#include "arithdefs.h"
#include "grammardefs.h"
#include "hashtable.h"
#include "list.h"
#include "stack.h"


#define TERMINAL_ALPHABET_DEFAULT_SIZE  256


typedef unsigned int RuleFreq;


typedef unsigned long RuleId;



struct Rule;    //forward definition of the Rule structure



struct RuleElement
{
  SymbolType type;

  RuleElement *prev;

  RuleElement *next;
  

  union
  {
    TerminalValue value;

    Rule *rule;
  };
};


enum RuleMatchResult
{
  Matches = 1,

  DoesntMatch = 2,

  Ignore = 3
};


struct Rule
{
public:
  RuleFreq refCount;

  FreqValue counter;

  RuleElement *body;

  RuleElement *last;

  RuleId id;

  unsigned long matchRun;

  RuleMatchResult matchResult;
};


typedef List<Rule> RuleSet;


struct RuleElementNeighbour
{
  RuleElement *origin;

  Rule *rule;
};


typedef List<RuleElementNeighbour> NeighboursDescriptionList;


typedef List<Rule> RuleElementRepresentedByList;


struct NeighboursDescription
{
  NeighboursDescriptionList neighbours;

  RuleElementRepresentedByList representedBy;
};


typedef HashTable<unsigned long, NeighboursDescription, List, 3079> TerminalDigrams;


typedef HashTable<unsigned long, NeighboursDescription, List, 98317> VariableDigrams;


struct MatchingRule
{
  Rule *rule;

  unsigned int length;
};


struct InputItem
{
  InputItem *next;

  TerminalValue value;
};


struct TestedElement
{
  RuleElement *rel;

  TestedElement *next;
};


struct TestedRule
{
  Rule *rule;

  unsigned int matchedLength;

  bool matchesCompletely;

  TestedElement *currentElements;

  InputItem *lastInputItem;
};


typedef List<TestedRule> TestedRules;



#endif //KYDEFS_H

---