Compare commits
2 Commits
5641220986
...
befe371e4f
Author | SHA1 | Date | |
---|---|---|---|
befe371e4f | |||
dfa7d31163 |
@ -58,7 +58,7 @@ func (analyzer *analysisOperation) analyze () (err error) {
|
|||||||
for !sections.End() {
|
for !sections.End() {
|
||||||
_, err = analyzer.fetchSection(locator {
|
_, err = analyzer.fetchSection(locator {
|
||||||
modulePath: analyzer.modulePath,
|
modulePath: analyzer.modulePath,
|
||||||
name: sections.Value().Name(),
|
name: sections.Key(),
|
||||||
})
|
})
|
||||||
if err != nil { return err }
|
if err != nil { return err }
|
||||||
sections.Next()
|
sections.Next()
|
||||||
@ -93,7 +93,7 @@ func (analyzer *analysisOperation) fetchSection (
|
|||||||
return
|
return
|
||||||
}
|
}
|
||||||
|
|
||||||
var parsedSection = tree.LookupSection(where.name)
|
var parsedSection = tree.LookupSection("", where.name)
|
||||||
if parsedSection == nil {
|
if parsedSection == nil {
|
||||||
section = nil
|
section = nil
|
||||||
return
|
return
|
||||||
|
@ -1,5 +1,31 @@
|
|||||||
package analyzer
|
package analyzer
|
||||||
|
|
||||||
|
import "git.tebibyte.media/arf/arf/parser"
|
||||||
|
|
||||||
|
// Block represents a scoped block of phrases.
|
||||||
type Block struct {
|
type Block struct {
|
||||||
locatable
|
locatable
|
||||||
|
phrases []Phrase
|
||||||
|
|
||||||
|
// TODO: create a scope struct and embed it
|
||||||
|
}
|
||||||
|
|
||||||
|
func (block Block) ToString (indent int) (output string) {
|
||||||
|
output += doIndent(indent, "block\n")
|
||||||
|
|
||||||
|
// TODO: variables
|
||||||
|
// TODO: phrases
|
||||||
|
return
|
||||||
|
}
|
||||||
|
|
||||||
|
// analyzeBlock analyzes a scoped block of phrases.
|
||||||
|
// TODO: have a way to "start out" with a list of variables for things like
|
||||||
|
// arguments, and declarations inside of control flow statements
|
||||||
|
func (analyzer *analysisOperation) analyzeBlock (
|
||||||
|
inputBlock parser.Block,
|
||||||
|
) (
|
||||||
|
block Block,
|
||||||
|
err error,
|
||||||
|
) {
|
||||||
|
return
|
||||||
}
|
}
|
||||||
|
@ -7,7 +7,8 @@ import "git.tebibyte.media/arf/arf/infoerr"
|
|||||||
// FuncSection represents a type definition section.
|
// FuncSection represents a type definition section.
|
||||||
type FuncSection struct {
|
type FuncSection struct {
|
||||||
sectionBase
|
sectionBase
|
||||||
external bool
|
root Block
|
||||||
|
external bool
|
||||||
}
|
}
|
||||||
|
|
||||||
// ToString returns all data stored within the function section, in string form.
|
// ToString returns all data stored within the function section, in string form.
|
||||||
@ -18,7 +19,7 @@ func (section FuncSection) ToString (indent int) (output string) {
|
|||||||
output += "\n"
|
output += "\n"
|
||||||
|
|
||||||
// TODO: arguments
|
// TODO: arguments
|
||||||
// TODO: root block
|
output += section.root.ToString(indent + 1)
|
||||||
return
|
return
|
||||||
}
|
}
|
||||||
|
|
||||||
@ -53,6 +54,8 @@ func (analyzer *analysisOperation) analyzeFuncSection () (
|
|||||||
outputSection.external = true
|
outputSection.external = true
|
||||||
|
|
||||||
} else {
|
} else {
|
||||||
|
outputSection.root, err = analyzer.analyzeBlock(inputSection.Root())
|
||||||
|
if err != nil { return }
|
||||||
// TODO: analyze root block if not nil
|
// TODO: analyze root block if not nil
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -3,8 +3,17 @@ package parser
|
|||||||
import "git.tebibyte.media/arf/arf/types"
|
import "git.tebibyte.media/arf/arf/types"
|
||||||
|
|
||||||
// LookupSection looks returns the section under the give name. If the section
|
// LookupSection looks returns the section under the give name. If the section
|
||||||
// does not exist, nil is returned.
|
// does not exist, nil is returned. If a method is being searched for, the type
|
||||||
func (tree SyntaxTree) LookupSection (name string) (section Section) {
|
// name of its receiver should be passed. If not, it should just be left blank.
|
||||||
|
func (tree SyntaxTree) LookupSection (
|
||||||
|
receiver string,
|
||||||
|
name string,
|
||||||
|
) (
|
||||||
|
section Section,
|
||||||
|
) {
|
||||||
|
if receiver != "" {
|
||||||
|
name = receiver + "_" + name
|
||||||
|
}
|
||||||
section = tree.sections[name]
|
section = tree.sections[name]
|
||||||
return
|
return
|
||||||
}
|
}
|
||||||
|
@ -53,7 +53,17 @@ func (parser *parsingOperation) parseBody () (err error) {
|
|||||||
// addSection adds a section to the tree, ensuring it has a unique name within
|
// addSection adds a section to the tree, ensuring it has a unique name within
|
||||||
// the module.
|
// the module.
|
||||||
func (tree *SyntaxTree) addSection (section Section) (err error) {
|
func (tree *SyntaxTree) addSection (section Section) (err error) {
|
||||||
_, exists := tree.sections[section.Name()]
|
index := section.Name()
|
||||||
|
|
||||||
|
funcSection, isFuncSection := section.(FuncSection)
|
||||||
|
if isFuncSection {
|
||||||
|
receiver := funcSection.receiver
|
||||||
|
if receiver != nil {
|
||||||
|
index = receiver.what.points.name.trail[0] + "_" + index
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
_, exists := tree.sections[index]
|
||||||
if exists {
|
if exists {
|
||||||
err = section.NewError (
|
err = section.NewError (
|
||||||
"cannot have multiple sections with the same name",
|
"cannot have multiple sections with the same name",
|
||||||
@ -61,6 +71,6 @@ func (tree *SyntaxTree) addSection (section Section) (err error) {
|
|||||||
return
|
return
|
||||||
}
|
}
|
||||||
|
|
||||||
tree.sections[section.Name()] = section
|
tree.sections[index] = section
|
||||||
return
|
return
|
||||||
}
|
}
|
||||||
|
@ -6,13 +6,13 @@ func TestFunc (test *testing.T) {
|
|||||||
checkTree ("../tests/parser/func", false,
|
checkTree ("../tests/parser/func", false,
|
||||||
`:arf
|
`:arf
|
||||||
---
|
---
|
||||||
func ro aBasicExternal
|
func ro bMethod
|
||||||
|
@ bird:{Bird}
|
||||||
> someInput:Int:mut
|
> someInput:Int:mut
|
||||||
< someOutput:Int 4
|
< someOutput:Int 4
|
||||||
---
|
---
|
||||||
external
|
external
|
||||||
func ro bMethod
|
func ro aBasicExternal
|
||||||
@ bird:{Bird}
|
|
||||||
> someInput:Int:mut
|
> someInput:Int:mut
|
||||||
< someOutput:Int 4
|
< someOutput:Int 4
|
||||||
---
|
---
|
||||||
|
Reference in New Issue
Block a user