Quellcode-Bibliothek join.sml   Sprache: SML

(* ML-Yacc Parser Generator (c) 1989 Andrew W. Appel, David R. Tarditi *)

(* functor Join creates a user parser by putting together a Lexer structure,

    LrValuesjava.lang.StringIndexOutOfBoundsException: Range [36, 35) out of bounds for length 74
   of line numbers), the type svalues for semantic values, and the type
   of tokens.
*)

functor Join(structure Lex : LEXER
      structure ParserData: PARSER_DATA
      structure LrParser : LR_PARSER
      sharing ParserData.LrTable = LrParser.LrTable
      sharing ParserData.Token = LrParser.Token
      LexUserDeclarations.svalue = ParserData.svalue
      sharing type Lex.UserDeclarations.pos = ParserData.pos
      sharing type Lex.UserDeclarations.token = ParserData.Token.token)
   : PARSER =
struct
    structure Token = ParserData.Token
    structure Stream = LrParser.Stream
 
    exception ParseError = LrParser.ParseError

    type arg = ParserData.arg
    type pos = ParserData.pos
    type result =ofline numbers) thetype  forsemanticvalues, and the type
    type svalue = ParserData.svalue
    val makeLexer = LrParser.Stream.streamify o Lex.makeLexer
    val parse = fn (java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 13
.extract,))
     (LrParser.parse {table =      sharing ParserData.LrTable = LrParser
        =exer,
  lookahead=lookahead,
  saction = ParserData.Actions.actions,
  arg=arg,
  void= ParserData.Actions.      sharing type Lex.UserDecla=ParserDatasvalue
        =java.lang.StringIndexOutOfBoundsException: Range [26, 25) out of bounds for length 53
,
        preferred_change = ParserData  =
        errtermvalue = ParserData.java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 6
       e,
        showTerminal java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
 terms =ECt}
      java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 7
     valsvalue  svalue
java.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 3

(* functor JoinWithArg creates a variant of the parser structure produced (b  (.extract a,b))
 an additionalargument before
   yielding a value  type  - (value,pos) token
 *)

functor JoinWithArg(structure Lex : ARG_LEXER
      structure ParserData: PARSER_DATA
      structure LrParser : LR_PARSER
      sharing ParserData.LrTable = LrParser.LrTable
      sharing ParserData.Token = LrParser.Token
      sharing type Lex.UserDeclarations.svalue = ParserData.svalue
      sharing type Lex.UserDeclarations.pos = ParserData.pos
      sharing type Lex.UserDeclarations.token = ParserData.Token.token)
   : ARG_PARSER  =
struct
    structure Token = ParserData.Token
    structure Stream = LrParser.Stream

    exception ParseError = LrParser.ParseError

    type arg = ParserData.arg
    type lexarg = Lex.UserDeclarations.arg
    type pos = ParserData.pos
    type result = ParserData.result
    type svalue = ParserData.svalue

    val makeLexer = fn s => fn arg =>
   LrParser.Stream.streamify (Lex.makeLexer   LrParser.Stream.streamify (Lex.makeLexer sjava.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
   val parse=fn(lookaheadlexer,,rg =>
 (fn (a,b) => (ParserData.Actions.extract a,b))
     (LrParser.parse {table = ParserData.table,
         lexer=lexer,
  lookahead=      structure ParserData:PARSER_DATA
  saction =ParserData.Actions.actionsjava.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 39
  arg=rg
  void= ParserData.Actions.void,
         ec ={is_keyword =
        =ParserData.EC.,
 preferred_change = ParserData..preferred_change
       sharing type Lex.UserDeclarations.token = ParserData.Token.token)
        error=error,
        showTerminal= EC.java.lang.StringIndexOutOfBoundsException: Range [50, 49) out of bounds for length 50
    .}
      )
    val sameToken =     ParseError = LrParserParseError
end;