-
Notifications
You must be signed in to change notification settings - Fork 25
/
blank.go
111 lines (106 loc) · 3.13 KB
/
blank.go
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
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
package expreduce
func IsBlankTypeOnly(e Ex) bool {
asPattern, patternOk := HeadAssertion(e, "System`Pattern")
if patternOk {
_, blankOk := HeadAssertion(asPattern.Parts[2], "System`Blank")
_, bsOk := HeadAssertion(asPattern.Parts[2], "System`BlankSequence")
_, bnsOk := HeadAssertion(asPattern.Parts[2], "System`BlankNullSequence")
if blankOk || bsOk || bnsOk {
return true
}
}
_, blankOk := HeadAssertion(e, "System`Blank")
_, bsOk := HeadAssertion(e, "System`BlankSequence")
_, bnsOk := HeadAssertion(e, "System`BlankNullSequence")
if blankOk || bsOk || bnsOk {
return true
}
return false
}
func IsBlankTypeCapturing(e Ex, target Ex, head Ex, pm *PDManager, cl *CASLogger) (bool, *PDManager) {
// Similar to IsBlankType, but will capture target into es.patternDefined
// if there is a valid match.
asPattern, patternOk := HeadAssertion(e, "System`Pattern")
if patternOk {
asBlank, blankOk := HeadAssertion(asPattern.Parts[2], "System`Blank")
asBS, bsOk := HeadAssertion(asPattern.Parts[2], "System`BlankSequence")
asBNS, bnsOk := HeadAssertion(asPattern.Parts[2], "System`BlankNullSequence")
if blankOk || bsOk || bnsOk {
parts := []Ex{}
if blankOk {
parts = asBlank.Parts
} else if bsOk {
parts = asBS.Parts
} else if bnsOk {
parts = asBNS.Parts
}
//if len(parts) < 2 {
//return true, pm
//}
cl.Debugf("%v %v", parts, len(parts))
matchesHead := false
if len(parts) < 2 {
matchesHead = true
} else {
matchesHead = IsSameQ(head, parts[1], cl)
}
cl.Debugf("%v", matchesHead)
if matchesHead {
sAsSymbol, sAsSymbolOk := asPattern.Parts[1].(*Symbol)
if sAsSymbolOk {
// TODO: we should handle matches with BlankSequences
// differently here.
//_, isd := es.defined[sAsSymbol.Name]
toMatch, ispd := pm.patternDefined[sAsSymbol.Name]
if !ispd {
toMatch = target
pm.LazyMakeMap()
pm.patternDefined[sAsSymbol.Name] = target
}
if !IsSameQ(toMatch, target, cl) {
return false, pm
}
/*if !isd {
//es.defined[sAsSymbol.Name] = target
es.Define(sAsSymbol.Name, sAsSymbol, target)
} else {
//return es.defined[sAsSymbol.Name].IsSameQ(target, es)
return true
}*/
}
return true, pm
}
return false, pm
}
}
asBlank, blankOk := HeadAssertion(e, "System`Blank")
asBS, bsOk := HeadAssertion(e, "System`BlankSequence")
asBNS, bnsOk := HeadAssertion(e, "System`BlankNullSequence")
if blankOk || bsOk || bnsOk {
parts := []Ex{}
if blankOk {
parts = asBlank.Parts
} else if bsOk {
parts = asBS.Parts
} else if bnsOk {
parts = asBNS.Parts
}
if len(parts) < 2 {
return true, pm
}
return IsSameQ(head, parts[1], cl), pm
}
return false, pm
}
func BlankNullSequenceToBlank(bns *Expression) *Expression {
if len(bns.Parts) < 2 {
return NewExpression([]Ex{NewSymbol("System`Blank")})
}
return NewExpression([]Ex{NewSymbol("System`Blank"), bns.Parts[1]})
}
func BlankSequenceToBlank(bs *Expression) *Expression {
if len(bs.Parts) < 2 {
return NewExpression([]Ex{NewSymbol("System`Blank")})
}
return NewExpression([]Ex{NewSymbol("System`Blank"), bs.Parts[1]})
}