diff options
author | ronny | 2001-07-25 09:43:31 +0000 |
---|---|---|
committer | ronny | 2001-07-25 09:43:31 +0000 |
commit | 75e8daeec45d6abeb59af74f75f8d0785a9dda49 (patch) | |
tree | 6636570efeea026ebc8a11905383f4015d3ede8c /frontend/scanner.icl | |
parent | changed ss_useLayout field to bit vector (in anticipation of more scan state ... (diff) |
renamed ss_useLayout to ss_scanOptions
renamed UseLayoutBit to ScanOptionUseLayoutBit
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@569 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/scanner.icl')
-rw-r--r-- | frontend/scanner.icl | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/frontend/scanner.icl b/frontend/scanner.icl index 54bdd02..505e281 100644 --- a/frontend/scanner.icl +++ b/frontend/scanner.icl @@ -63,11 +63,11 @@ where :: * RScanState = { ss_input :: ScanInput , ss_offsides :: ! [(Int, Bool) ] // (column, defines newDefinition) - , ss_useLayout :: ! Int + , ss_scanOptions :: ! Int , ss_tokenBuffer :: ! Buffer LongToken } -UseLayoutBit :== 1 +ScanOptionUseLayoutBit :== 1 :: * ScanInput = Input Input @@ -281,7 +281,7 @@ class nextToken state :: !Context !*state -> (!Token, !*state) instance nextToken RScanState where - nextToken newContext (scanState=:{ss_input=inp=:PushedToken token=:{lt_position,lt_token,lt_context,lt_index} rest_inp,ss_tokenBuffer,ss_offsides,ss_useLayout}) + nextToken newContext (scanState=:{ss_input=inp=:PushedToken token=:{lt_position,lt_token,lt_context,lt_index} rest_inp,ss_tokenBuffer,ss_offsides,ss_scanOptions}) | lt_context == newContext || notContextDependent lt_token = ( lt_token , { scanState & ss_input = rest_inp , ss_tokenBuffer = store token ss_tokenBuffer } @@ -296,16 +296,16 @@ where , inp_pos = lt_position , inp_tabsize = inp_tabsize } -->> ("token_back in input", lt_token) - = nextToken newContext {ss_input = Input old_input, ss_offsides=ss_offsides, ss_useLayout=ss_useLayout, ss_tokenBuffer=ss_tokenBuffer} + = nextToken newContext {ss_input = Input old_input, ss_offsides=ss_offsides, ss_scanOptions=ss_scanOptions, ss_tokenBuffer=ss_tokenBuffer} = ( lt_token - , {ss_input = input , ss_tokenBuffer = store token ss_tokenBuffer, ss_offsides=ss_offsides, ss_useLayout=ss_useLayout} + , {ss_input = input , ss_tokenBuffer = store token ss_tokenBuffer, ss_offsides=ss_offsides, ss_scanOptions=ss_scanOptions} ) -->> ("unable to push token_back in input; line is lost",(inp_pos.fp_line,lt_position.fp_line), lt_token) token_back input = ( lt_token - , {ss_input = input , ss_tokenBuffer = store token ss_tokenBuffer, ss_offsides=ss_offsides, ss_useLayout=ss_useLayout} + , {ss_input = input , ss_tokenBuffer = store token ss_tokenBuffer, ss_offsides=ss_offsides, ss_scanOptions=ss_scanOptions} ) -->> ("unable to push token_back in input; generated token", lt_token) - nextToken context {ss_input=Input inp,ss_tokenBuffer,ss_offsides,ss_useLayout} + nextToken context {ss_input=Input inp,ss_tokenBuffer,ss_offsides,ss_scanOptions} # (error, c, inp) = SkipWhites inp (pos, inp) = inp!inp_pos (index,inp) = getIndex inp @@ -320,7 +320,7 @@ where } ss_tokenBuffer, ss_input=Input inp, - ss_offsides=ss_offsides, ss_useLayout=ss_useLayout + ss_offsides=ss_offsides, ss_scanOptions=ss_scanOptions } ) -->> ("Error token generated",string) no @@ -336,7 +336,7 @@ where } ss_tokenBuffer , ss_input = Input inp, - ss_offsides=ss_offsides, ss_useLayout=ss_useLayout + ss_offsides=ss_offsides, ss_scanOptions=ss_scanOptions } // -->> ("Token", EndOfFileToken,pos) // otherwise // ~ (eof && c == NewLineChar) # (token, inp) = Scan c inp context @@ -349,7 +349,7 @@ where , lt_context = context } ss_tokenBuffer, - ss_offsides=ss_offsides, ss_useLayout=ss_useLayout + ss_offsides=ss_offsides, ss_scanOptions=ss_scanOptions } //-->> (token,pos) where mark_position {inp_stream=input=:(OldLine i _ _),inp_filename,inp_pos,inp_tabsize} @@ -1439,7 +1439,7 @@ openScanner file_name searchPaths files // , inp_curToken = [] } , ss_offsides = [(1,False)] // to generate offsides between global definitions - , ss_useLayout = 0 + , ss_scanOptions = 0 , ss_tokenBuffer = Buffer0 }) , files @@ -1514,8 +1514,8 @@ isNewLine _ = False //------------------------// UseLayout_ :: !RScanState -> (!Bool, !RScanState) -UseLayout_ scanState=:{ss_useLayout} - = ((ss_useLayout bitand UseLayoutBit) <> 0, scanState) +UseLayout_ scanState=:{ss_scanOptions} + = ((ss_scanOptions bitand ScanOptionUseLayoutBit) <> 0, scanState) UseLayout :: !ScanState -> (!Bool, !ScanState) UseLayout (ScanState scanState) @@ -1526,11 +1526,11 @@ setUseLayout :: !Bool !ScanState -> ScanState setUseLayout b (ScanState ss) = ScanState (setUseLayout_ b ss) setUseLayout_ :: !Bool !RScanState -> RScanState -setUseLayout_ b ss=:{ss_useLayout} = { ss & ss_useLayout = if b (ss_useLayout bitor UseLayoutBit) (ss_useLayout bitand (bitnot UseLayoutBit)) } // -->> ("uselayout set to ",b) +setUseLayout_ b ss=:{ss_scanOptions} = { ss & ss_scanOptions = if b (ss_scanOptions bitor ScanOptionUseLayoutBit) (ss_scanOptions bitand (bitnot ScanOptionUseLayoutBit)) } // -->> ("uselayout set to ",b) checkOffside :: !FilePosition !Int !Token !RScanState -> (Token,RScanState) -checkOffside pos index token scanState=:{ss_offsides,ss_useLayout,ss_input} - | (ss_useLayout bitand UseLayoutBit) == 0 +checkOffside pos index token scanState=:{ss_offsides,ss_scanOptions,ss_input} + | (ss_scanOptions bitand ScanOptionUseLayoutBit) == 0 = (token, scanState) //-->> (token,pos,"No layout rule applied") | isEmpty ss_offsides = newOffside token scanState //-->> "Empty offside stack" |