diff options
author | Adrian Thurston <thurston@colm.net> | 2020-10-18 11:44:43 -0700 |
---|---|---|
committer | Adrian Thurston <thurston@colm.net> | 2020-10-18 11:44:43 -0700 |
commit | 85b76476de71f43d3eb25d6bef4ee6d84cb71f6c (patch) | |
tree | 65c127fbcf70e62d8a4848be2c9c4ff7d74d86a1 /src/libfsm/tables.h | |
parent | 86bb5882a70224a29650ccfa1e46c9b023c2a3ef (diff) | |
download | colm-85b76476de71f43d3eb25d6bef4ee6d84cb71f6c.tar.gz |
lift all source code into src/ dirinto-src
Diffstat (limited to 'src/libfsm/tables.h')
-rw-r--r-- | src/libfsm/tables.h | 265 |
1 files changed, 265 insertions, 0 deletions
diff --git a/src/libfsm/tables.h b/src/libfsm/tables.h new file mode 100644 index 00000000..258f869e --- /dev/null +++ b/src/libfsm/tables.h @@ -0,0 +1,265 @@ +/* + * Copyright 2018 Adrian Thurston <thurston@colm.net> + * + * Permission is hereby granted, free of charge, to any person obtaining a copy + * of this software and associated documentation files (the "Software"), to + * deal in the Software without restriction, including without limitation the + * rights to use, copy, modify, merge, publish, distribute, sublicense, and/or + * sell copies of the Software, and to permit persons to whom the Software is + * furnished to do so, subject to the following conditions: + * + * The above copyright notice and this permission notice shall be included in all + * copies or substantial portions of the Software. + * + * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR + * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, + * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE + * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER + * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, + * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE + * SOFTWARE. + */ + +#ifndef _TABLES_H +#define _TABLES_H + +#include <iostream> +#include "codegen.h" + +struct Tables +: + public CodeGen +{ + Tables( const CodeGenArgs &args ) + : + CodeGen( args ), + + pa( "_pa" ), + klen( "_klen" ), + ckeys( "_ckeys" ), + cekeys( "_cekeys" ), + trans( "_trans" ), + cond( "_cond" ), + keys( "_keys" ), + acts( "_acts" ), + nacts( "_nacts" ), + inds( "_inds" ), + + cont( "_cont" ), + nfa_repeat( "_nfa_repeat" ), + nfa_test( "_nfa_test" ), + ps( "_ps" ), + nbreak( "_nbreak" ), + have( "__have" ), + ic( "_ic" ), + + _out("_out"), + _pop("_pop"), + _test_eof( "_test_eof" ), + _resume( "_resume" ), + _match_cond( "_match_cond" ), + _again( "_again" ), + _match( "_match" ), + _eof_goto( "_eof_goto" ), + + actions( "actions", *this ), + transKeys( "trans_keys", *this ), + charClass( "char_class", *this ), + flatIndexOffset( "index_offsets", *this ), + indices( "indices", *this ), + indexDefaults( "index_defaults", *this ), + transCondSpaces( "trans_cond_spaces", *this ), + transOffsets( "trans_offsets", *this ), + condTargs( "cond_targs", *this ), + condActions( "cond_actions", *this ), + toStateActions( "to_state_actions", *this ), + fromStateActions( "from_state_actions", *this ), + eofCondSpaces( "eof_cond_spaces", *this ), + eofCondKeyOffs( "eof_cond_key_offs", *this ), + eofCondKeyLens( "eof_cond_key_lens", *this ), + eofCondKeys( "eof_cond_keys", *this ), + eofActions( "eof_actions", *this ), + eofTrans( "eof_trans", *this ), + + keyOffsets( "key_offsets", *this ), + singleLens( "single_lengths", *this ), + rangeLens( "range_lengths", *this ), + indexOffsets( "index_offsets", *this ), + transCondSpacesWi( "trans_cond_spaces_wi", *this ), + transOffsetsWi( "trans_offsets_wi", *this ), + transLengthsWi( "trans_lengths_wi", *this ), + transLengths( "trans_lengths", *this ), + condKeys( "cond_keys", *this ) + {} + + Variable pa; + Variable klen; + Variable ckeys; + Variable cekeys; + Variable trans; + Variable cond; + Variable keys; + Variable acts; + Variable nacts; + Variable inds; + Variable cont; + Variable nfa_repeat; + Variable nfa_test; + Variable ps; + Variable nbreak; + Variable have; + Variable ic; + + GotoLabel _out; + GotoLabel _pop; + GotoLabel _test_eof; + GotoLabel _resume; + GotoLabel _match_cond; + GotoLabel _again; + GotoLabel _match; + GotoLabel _eof_goto; + + TableArray actions; + TableArray transKeys; + TableArray charClass; + TableArray flatIndexOffset; + TableArray indices; + TableArray indexDefaults; + TableArray transCondSpaces; + TableArray transOffsets; + TableArray condTargs; + TableArray condActions; + TableArray toStateActions; + TableArray fromStateActions; + TableArray eofCondSpaces; + TableArray eofCondKeyOffs; + TableArray eofCondKeyLens; + TableArray eofCondKeys; + TableArray eofActions; + TableArray eofTrans; + + TableArray keyOffsets; + TableArray singleLens; + TableArray rangeLens; + TableArray indexOffsets; + TableArray transCondSpacesWi; + TableArray transOffsetsWi; + TableArray transLengthsWi; + TableArray transLengths; + TableArray condKeys; + + int errCondOffset; + + virtual void TO_STATE_ACTION( RedStateAp *state ) = 0; + virtual void FROM_STATE_ACTION( RedStateAp *state ) = 0; + virtual void EOF_ACTION( RedStateAp *state ) = 0; + virtual void COND_ACTION( RedCondPair *cond ) = 0; + + virtual void NFA_PUSH_ACTION( RedNfaTarg *targ ) = 0; + virtual void NFA_POP_TEST( RedNfaTarg *targ ) = 0; + virtual void NFA_FROM_STATE_ACTION_EXEC() = 0; + + virtual void FROM_STATE_ACTIONS() = 0; + virtual void REG_ACTIONS( std::string cond ) = 0; + virtual void TO_STATE_ACTIONS() = 0; + virtual void EOF_ACTIONS() = 0; + + void CURS( ostream &ret, bool inFinish ); + void TARGS( ostream &ret, bool inFinish, int targState ); + void NEXT( ostream &ret, int nextDest, bool inFinish ); + void NEXT_EXPR( ostream &ret, GenInlineItem *ilItem, bool inFinish ); + void EOF_TRANS(); + void COND_EXEC( std::string expr ); +}; + +struct TabGoto +: + public virtual Tables +{ + TabGoto( const CodeGenArgs &args ) + : + Tables( args ) + {} + + void CONTROL_JUMP( ostream &ret, bool inFinish ); + + void GOTO( ostream &ret, int gotoDest, bool inFinish ); + void GOTO_EXPR( ostream &ret, GenInlineItem *ilItem, bool inFinish ); + void CALL( ostream &ret, int callDest, int targState, bool inFinish ); + void NCALL( ostream &ret, int callDest, int targState, bool inFinish ); + void CALL_EXPR( ostream &ret, GenInlineItem *ilItem, int targState, bool inFinish ); + void NCALL_EXPR( ostream &ret, GenInlineItem *ilItem, int targState, bool inFinish ); + void RET( ostream &ret, bool inFinish ); + void NRET( ostream &ret, bool inFinish ); + void BREAK( ostream &ret, int targState, bool csForced ); + void NBREAK( ostream &ret, int targState, bool csForced ); + + void NFA_POP() {} + + void writeExec(); +}; + +struct TabBreak +: + public virtual Tables +{ + TabBreak( const CodeGenArgs &args ) + : + Tables( args ), + loopLabels( args.loopLabels ) + {} + + void CONTROL_JUMP( ostream &ret, bool inFinish ); + + void GOTO( ostream &ret, int gotoDest, bool inFinish ); + void GOTO_EXPR( ostream &ret, GenInlineItem *ilItem, bool inFinish ); + void CALL( ostream &ret, int callDest, int targState, bool inFinish ); + void NCALL( ostream &ret, int callDest, int targState, bool inFinish ); + void CALL_EXPR( ostream &ret, GenInlineItem *ilItem, int targState, bool inFinish ); + void NCALL_EXPR( ostream &ret, GenInlineItem *ilItem, int targState, bool inFinish ); + void RET( ostream &ret, bool inFinish ); + void NRET( ostream &ret, bool inFinish ); + void BREAK( ostream &ret, int targState, bool csForced ); + void NBREAK( ostream &ret, int targState, bool csForced ); + + void NFA_POP() {} + + void writeExec(); + + bool loopLabels; + std::string BREAK( GotoLabel &label ); + std::string CONTINUE( GotoLabel &label ); + std::string BREAK_LABEL( GotoLabel &label ); +}; + +struct TabVar +: + public virtual Tables +{ + TabVar( const CodeGenArgs &args ) + : + Tables( args ) + {} + + void GOTO( ostream &ret, int gotoDest, bool inFinish ); + void GOTO_EXPR( ostream &ret, GenInlineItem *ilItem, bool inFinish ); + void CALL( ostream &ret, int callDest, int targState, bool inFinish ); + void NCALL( ostream &ret, int callDest, int targState, bool inFinish ); + void CALL_EXPR( ostream &ret, GenInlineItem *ilItem, int targState, bool inFinish ); + void NCALL_EXPR( ostream &ret, GenInlineItem *ilItem, int targState, bool inFinish ); + void RET( ostream &ret, bool inFinish ); + void NRET( ostream &ret, bool inFinish ); + void BREAK( ostream &ret, int targState, bool csForced ); + void NBREAK( ostream &ret, int targState, bool csForced ); + + void NFA_POP() {} + + std::string BREAK( GotoLabel &label ); + std::string CONTINUE( GotoLabel &label ); + std::string BREAK_LABEL( GotoLabel &label ); + + void writeExec(); +}; + + +#endif |