diff options
| author | Mike Buland <eichlan@xagasoft.com> | 2010-10-12 07:35:08 +0000 |
|---|---|---|
| committer | Mike Buland <eichlan@xagasoft.com> | 2010-10-12 07:35:08 +0000 |
| commit | 0981b9d6a12bd7aadbf9286459e033ac1a2ba910 (patch) | |
| tree | fa461761086f182e43f94637a9c8df040333e8a4 /src/parser.h | |
| parent | 1ee5f374ed986333d5cdbbf41390f1c4c755a8e3 (diff) | |
| download | libbu++-0981b9d6a12bd7aadbf9286459e033ac1a2ba910.tar.gz libbu++-0981b9d6a12bd7aadbf9286459e033ac1a2ba910.tar.bz2 libbu++-0981b9d6a12bd7aadbf9286459e033ac1a2ba910.tar.xz libbu++-0981b9d6a12bd7aadbf9286459e033ac1a2ba910.zip | |
Ok, libbu++ compiles again, the basic parser system is getting there, I think,
it's still a little tricky becasue you have to do the non-terminal prime
seperation yourself (I forget what it's really called), but it's going quite
well. After a few tweaks to the core of it, we should be able to do some
math :)
Diffstat (limited to 'src/parser.h')
| -rw-r--r-- | src/parser.h | 70 |
1 files changed, 68 insertions, 2 deletions
diff --git a/src/parser.h b/src/parser.h index 26b15a6..e720e54 100644 --- a/src/parser.h +++ b/src/parser.h | |||
| @@ -1,8 +1,12 @@ | |||
| 1 | #ifndef BU_PARSER_H | 1 | #ifndef BU_PARSER_H |
| 2 | #define BU_PARSER_H | 2 | #define BU_PARSER_H |
| 3 | 3 | ||
| 4 | #include "bu/list.h" | ||
| 5 | #include "bu/fstring.h" | 4 | #include "bu/fstring.h" |
| 5 | #include "bu/list.h" | ||
| 6 | #include "bu/array.h" | ||
| 7 | #include "bu/hash.h" | ||
| 8 | #include "bu/signals.h" | ||
| 9 | |||
| 6 | #include "bu/lexer.h" | 10 | #include "bu/lexer.h" |
| 7 | 11 | ||
| 8 | namespace Bu | 12 | namespace Bu |
| @@ -35,13 +39,75 @@ namespace Bu | |||
| 35 | */ | 39 | */ |
| 36 | void parse(); | 40 | void parse(); |
| 37 | 41 | ||
| 42 | void setRootNonTerminal( int iRoot ); | ||
| 43 | void setRootNonTerminal( const Bu::FString &sRoot ); | ||
| 44 | |||
| 45 | typedef Bu::Signal1<void, Parser &> Reduction; | ||
| 46 | |||
| 47 | /** | ||
| 48 | * Represents a possible state, either a terminal or non-terminal symbol | ||
| 49 | * in a Production. | ||
| 50 | */ | ||
| 51 | class State | ||
| 52 | { | ||
| 53 | public: | ||
| 54 | enum Type | ||
| 55 | { | ||
| 56 | typeTerminal, | ||
| 57 | typeTerminalPush, | ||
| 58 | typeNonTerminal, | ||
| 59 | typeReduction | ||
| 60 | }; | ||
| 61 | |||
| 62 | State( Type eType, int iIndex ); | ||
| 63 | virtual ~State(); | ||
| 64 | |||
| 65 | private: | ||
| 66 | Type eType; | ||
| 67 | int iIndex; | ||
| 68 | }; | ||
| 69 | |||
| 70 | typedef Bu::List<State> Production; | ||
| 71 | |||
| 72 | class NonTerminal | ||
| 73 | { | ||
| 74 | public: | ||
| 75 | NonTerminal(); | ||
| 76 | virtual ~NonTerminal(); | ||
| 77 | |||
| 78 | void addProduction( Production p ); | ||
| 79 | |||
| 80 | private: | ||
| 81 | typedef Bu::List<Production> ProductionList; | ||
| 82 | ProductionList lProduction; | ||
| 83 | }; | ||
| 84 | |||
| 85 | int addNonTerminal( const Bu::FString &sName, NonTerminal &nt ); | ||
| 86 | int addNonTerminal( const Bu::FString &sName ); | ||
| 87 | void setNonTerminal( const Bu::FString &sName, NonTerminal &nt ); | ||
| 88 | int getNonTerminalId( const Bu::FString &sName ); | ||
| 89 | |||
| 90 | int addReduction( const Bu::FString &sName, const Reduction &r ); | ||
| 91 | int addReduction( const Bu::FString &sName ); | ||
| 92 | void setReduction( const Bu::FString &sName, const Reduction &r ); | ||
| 93 | int getReductionId( const Bu::FString &sName ); | ||
| 94 | |||
| 38 | private: | 95 | private: |
| 39 | typedef Bu::List<Lexer *> LexerStack; | 96 | typedef Bu::List<Lexer *> LexerStack; |
| 40 | typedef Bu::List<Lexer::Token *> TokenStack; | 97 | typedef Bu::List<Lexer::Token *> TokenStack; |
| 41 | typedef Bu::List<State *> StateStack; | 98 | typedef Bu::List<Production::const_iterator> StateStack; |
| 99 | typedef Bu::Array<Reduction> ReductionArray; | ||
| 100 | typedef Bu::Hash<Bu::FString,int> NameIndexHash; | ||
| 101 | typedef Bu::Array<NonTerminal> NonTerminalArray; | ||
| 102 | |||
| 42 | LexerStack sLexer; | 103 | LexerStack sLexer; |
| 43 | TokenStack sToken; | 104 | TokenStack sToken; |
| 44 | StateStack sState; | 105 | StateStack sState; |
| 106 | ReductionArray aReduction; | ||
| 107 | NameIndexHash hReductionName; | ||
| 108 | NonTerminalArray aNonTerminal; | ||
| 109 | NameIndexHash hNonTerminalName; | ||
| 110 | int iRootNonTerminal; | ||
| 45 | }; | 111 | }; |
| 46 | }; | 112 | }; |
| 47 | 113 | ||
