<- Back to shtanton's homepage
aboutsummaryrefslogtreecommitdiff
path: root/main/filter.go
blob: 662fa7b378a5da30842b4b8930d91e95652d3b8c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
package main

type PathFilter struct {
	initial PathFilterState
}
func (filter PathFilter) exec(space WalkItem) bool {
	pathFilterState := make(map[PathFilterState]struct{})
	pathFilterState[filter.initial] = struct{}{}
	for _, segment := range space.path {
		nextPathFilterState := make(map[PathFilterState]struct{})
		for curState := range pathFilterState {
			for nextState := range curState.eat(segment) {
				nextPathFilterState[nextState] = struct{}{}
			}
		}
		pathFilterState = nextPathFilterState
	}
	for pathState := range pathFilterState {
		if pathState.accept() {
			return true
		}
	}
	return false
}

type MapTerminalFilter struct {}
func (filter MapTerminalFilter) exec(space WalkItem) bool {
	terminal, isTerminal := space.value.(TerminalValue)
	if !isTerminal {
		return false
	}
	return terminal == MapBegin || terminal == MapEnd
}

type NonTerminalFilter struct {}
func (filter NonTerminalFilter) exec(space WalkItem) bool {
	_, isTerminal := space.value.(TerminalValue)
	return !isTerminal
}

type RangeFilter struct {
	start Filter
	end Filter
	active bool
}
func (filter *RangeFilter) exec(space WalkItem) bool {
	if filter.active {
		if filter.end.exec(space) {
			filter.active = false
		}
		return true
	} else {
		if filter.start.exec(space) {
			filter.active = true
		}
		return filter.active
	}
}

type BeginTerminalFilter struct {}
func (filter BeginTerminalFilter) exec(space WalkItem) bool {
	terminal, isTerminal := space.value.(TerminalValue)
	if !isTerminal {
		return false
	}
	return terminal == ArrayBegin || terminal == MapBegin
}

type EndTerminalFilter struct {}
func (filter EndTerminalFilter) exec(space WalkItem) bool {
	terminal, isTerminal := space.value.(TerminalValue)
	if !isTerminal {
		return false
	}
	return terminal == ArrayEnd || terminal == MapEnd
}

type Filter interface {
	exec(WalkItem) bool
}