181 lines
5.3 KiB
Go
181 lines
5.3 KiB
Go
package parser
|
|
//
|
|
// import "git.tebibyte.media/arf/arf/lexer"
|
|
// import "git.tebibyte.media/arf/arf/infoerr"
|
|
//
|
|
// // TODO:
|
|
// // (parser *ParsingOperation) parseDefaultValues
|
|
//
|
|
// // (parser *ParsingOperation) parseDefaultMemberValues (return tree of new members and a tree of member values)
|
|
// // (parser *ParsingOperation) parseDefaultArrayValues
|
|
//
|
|
// // (parser *ParsingOperation) parseDefaultMemberValue
|
|
// // (parser *ParsingOperation) parseMemberDeclaration
|
|
//
|
|
// // parsedefaultValues starts on the line after a = phrase, a data section, a
|
|
// // type section, or anywhere else where there can be a default value. It returns
|
|
// // a default value in the form of an argument, as well as any defined members
|
|
// // that it finds.
|
|
// func (parser *ParsingOperation) parseDefaultValues (
|
|
// baseIndent int,
|
|
// ) (
|
|
// argument Argument,
|
|
// members []TypeMember,
|
|
// err error,
|
|
// ) {
|
|
// // check if line is indented one more than baseIndent
|
|
// if !parser.token.Is(lexer.TokenKindIndent) { return }
|
|
// if parser.token.Value().(int) != baseIndent + 1 { return }
|
|
//
|
|
// argument.location = parser.token.Location()
|
|
//
|
|
// err = parser.nextToken()
|
|
// if err != nil { return }
|
|
//
|
|
// if parser.token.Is(lexer.TokenKindDot) {
|
|
//
|
|
// // object initialization
|
|
// parser.previousToken()
|
|
// var values ObjectDefaultValues
|
|
// values, err = parser.parseObjectdefaultValues()
|
|
// argument.kind = ArgumentKindObjectDefaultValues
|
|
// argument.value = values
|
|
//
|
|
// } else {
|
|
//
|
|
// // array initialization
|
|
// parser.previousToken()
|
|
// var values ArrayDefaultValues
|
|
// values, err = parser.parseArrayDefaultValues()
|
|
// argument.kind = ArgumentKindArrayDefaultValues
|
|
// argument.value = values
|
|
// }
|
|
//
|
|
// return
|
|
// }
|
|
//
|
|
// // parseObjectdefaultValues parses a list of object initialization
|
|
// // values until the indentation level drops.
|
|
// func (parser *ParsingOperation) parseObjectdefaultValues () (
|
|
// defaultValues ObjectDefaultValues,
|
|
// err error,
|
|
// ) {
|
|
// defaultValues.attributes = make(map[string] Argument)
|
|
//
|
|
// baseIndent := 0
|
|
// begin := true
|
|
//
|
|
// for {
|
|
// // if there is no indent we can just stop parsing
|
|
// if !parser.token.Is(lexer.TokenKindIndent) { break}
|
|
// indent := parser.token.Value().(int)
|
|
//
|
|
// if begin == true {
|
|
// defaultValues.location = parser.token.Location()
|
|
// baseIndent = indent
|
|
// begin = false
|
|
// }
|
|
//
|
|
// // do not parse any further if the indent has changed
|
|
// if indent != baseIndent { break }
|
|
//
|
|
// // move on to the beginning of the line, which must contain
|
|
// // a member initialization value
|
|
// err = parser.nextToken(lexer.TokenKindDot)
|
|
// if err != nil { return }
|
|
// err = parser.nextToken(lexer.TokenKindName)
|
|
// if err != nil { return }
|
|
// name := parser.token.Value().(string)
|
|
//
|
|
// // if the member has already been listed, throw an error
|
|
// _, exists := defaultValues.attributes[name]
|
|
// if exists {
|
|
// err = parser.token.NewError (
|
|
// "duplicate member \"" + name + "\" in object " +
|
|
// "member initialization",
|
|
// infoerr.ErrorKindError)
|
|
// return
|
|
// }
|
|
//
|
|
// // parse the argument determining the member initialization
|
|
// // value
|
|
// err = parser.nextToken()
|
|
// if err != nil { return }
|
|
// var value Argument
|
|
// if parser.token.Is(lexer.TokenKindNewline) {
|
|
//
|
|
// // recurse
|
|
// err = parser.nextToken(lexer.TokenKindIndent)
|
|
// if err != nil { return }
|
|
//
|
|
// value, err = parser.parseDefaultValues(baseIndent)
|
|
// defaultValues.attributes[name] = value
|
|
// if err != nil { return }
|
|
//
|
|
// } else {
|
|
//
|
|
// // parse as normal argument
|
|
// value, err = parser.parseArgument()
|
|
// defaultValues.attributes[name] = value
|
|
// if err != nil { return }
|
|
//
|
|
// err = parser.expect(lexer.TokenKindNewline)
|
|
// if err != nil { return }
|
|
// err = parser.nextToken()
|
|
// if err != nil { return }
|
|
// }
|
|
// }
|
|
//
|
|
// return
|
|
// }
|
|
//
|
|
// // parseArrayDefaultValues parses a list of array initialization values until
|
|
// // the indentation lexel drops.
|
|
// func (parser *ParsingOperation) parseArrayDefaultValues () (
|
|
// defaultValues ArrayDefaultValues,
|
|
// err error,
|
|
// ) {
|
|
// baseIndent := 0
|
|
// begin := true
|
|
//
|
|
// for {
|
|
// // if there is no indent we can just stop parsing
|
|
// if !parser.token.Is(lexer.TokenKindIndent) { break}
|
|
// indent := parser.token.Value().(int)
|
|
//
|
|
// if begin == true {
|
|
// defaultValues.location = parser.token.Location()
|
|
// baseIndent = indent
|
|
// begin = false
|
|
// }
|
|
//
|
|
// // do not parse any further if the indent has changed
|
|
// if indent != baseIndent { break }
|
|
//
|
|
// // move on to the beginning of the line, which must contain
|
|
// // arguments
|
|
// err = parser.nextToken(validArgumentStartTokens...)
|
|
// if err != nil { return }
|
|
//
|
|
// for {
|
|
// // stop parsing this line and go on to the next if a
|
|
// // newline token is encountered
|
|
// if parser.token.Is(lexer.TokenKindNewline) {
|
|
// err = parser.nextToken()
|
|
// if err != nil { return }
|
|
// break
|
|
// }
|
|
//
|
|
// // otherwise, parse the argument
|
|
// var argument Argument
|
|
// argument, err = parser.parseArgument()
|
|
// if err != nil { return }
|
|
// defaultValues.values = append (
|
|
// defaultValues.values,
|
|
// argument)
|
|
// }
|
|
// }
|
|
//
|
|
// return
|
|
// }
|