conv.go 6.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310
  1. package main
  2. import (
  3. "fmt"
  4. "math"
  5. "regexp"
  6. "strconv"
  7. "strings"
  8. )
  9. const (
  10. _name = `([A-Za-z_](\w|\.)*)`
  11. _nameOrInt = "(" + _name + `|\d+)`
  12. _index = "(" + _nameOrInt + "|:|" + _nameOrInt + ":|:" + _nameOrInt + "|" + _nameOrInt + ":" + _nameOrInt + ")"
  13. )
  14. var (
  15. nameExp = regexp.MustCompile("^" + _name + "$")
  16. nameWithIndexExp = regexp.MustCompile("^" + _name + `((\[` + _index + `])*\[` + _index + `\\])?$`)
  17. )
  18. func isNumber(val value) bool {
  19. if _, ok := val.(*_number); ok {
  20. return true
  21. }
  22. s := val.String()
  23. if len(s) > 0 && s[0] == '"' {
  24. s = s[1:]
  25. }
  26. _, err := strconv.ParseFloat(s, 64)
  27. return err == nil
  28. }
  29. func toNumber(val value) float64 {
  30. if val, ok := val.(*_number); ok {
  31. return val.Value()
  32. }
  33. s := val.String()
  34. if len(s) > 0 && s[0] == '"' {
  35. s = s[1:]
  36. }
  37. if num, err := strconv.ParseFloat(s, 64); err == nil {
  38. return num
  39. }
  40. panic(fmt.Errorf("number: %s (%s)", errInvalidNumber, s))
  41. }
  42. func toInt(val value, envs []environ) int {
  43. if isName(val) {
  44. if newVal, err := getValue(val.String(), envs); err == nil {
  45. val = newVal
  46. if val, ok := val.(*_number); ok {
  47. num := val.Value()
  48. if num != math.Floor(num) {
  49. panic(fmt.Errorf("int: %s (%f)", errInvalidInteger, num))
  50. }
  51. return int(num)
  52. }
  53. }
  54. }
  55. s := val.String()
  56. if len(s) > 0 && s[0] == '"' {
  57. s = s[1:]
  58. }
  59. if num, err := strconv.ParseInt(s, 10, 64); err == nil {
  60. return int(num)
  61. }
  62. panic(fmt.Errorf("int: %s (%s)", errInvalidInteger, s))
  63. }
  64. func isBool(val value) bool {
  65. if _, ok := val.(*_bool); ok {
  66. return true
  67. }
  68. if val, ok := val.(*_number); ok && (val.Value() == 0 || val.Value() == 1) {
  69. return true
  70. }
  71. s := val.String()
  72. if len(s) > 0 && s[0] == '"' {
  73. s = s[1:]
  74. }
  75. return s == "false" || s == "true"
  76. }
  77. func toBool(val value) bool {
  78. if val, ok := val.(*_bool); ok {
  79. return val.Value()
  80. }
  81. if val, ok := val.(*_number); ok && (val.Value() == 0 || val.Value() == 1) {
  82. return val.Value() == 1
  83. }
  84. s := val.String()
  85. if len(s) > 0 && s[0] == '"' {
  86. s = s[1:]
  87. }
  88. if s == "false" || s == "true" {
  89. return s == "true"
  90. }
  91. panic(fmt.Errorf("bool: %s (%s)", errInvalidBool, s))
  92. }
  93. func isWord(val value) bool {
  94. if _, ok := val.(*_word); ok {
  95. return true
  96. }
  97. if val, ok := val.(*_number); ok && len(val.word) > 0 {
  98. return true
  99. }
  100. if val, ok := val.(*_bool); ok && len(val.word) > 0 {
  101. return true
  102. }
  103. s := val.String()
  104. return len(s) > 0 && s[0] == '"'
  105. }
  106. func toWord(val value) string {
  107. if val, ok := val.(*_word); ok {
  108. return val.Value()
  109. }
  110. if val, ok := val.(*_number); ok && len(val.word) > 0 {
  111. return val.word
  112. }
  113. if val, ok := val.(*_bool); ok && len(val.word) > 0 {
  114. return val.word
  115. }
  116. s := val.String()
  117. if len(s) > 0 && s[0] == '"' {
  118. return parseWord(s).Value()
  119. }
  120. panic(fmt.Errorf("word: %s (%s)", errInvalidWord, s))
  121. }
  122. func parseWord(s string) *_word {
  123. if len(s) > 0 && s[0] == '"' {
  124. s = s[1:]
  125. if len(s) > 0 {
  126. if s[0] == '[' {
  127. s = `\[` + s[1:]
  128. }
  129. if s[len(s)-1] == ']' {
  130. s = s[:len(s)-1]
  131. escape := len(s) - len(strings.TrimRight(s, `\`))
  132. if (escape & 1) == 0 {
  133. s += `\`
  134. }
  135. s += "]"
  136. }
  137. if s[len(s)-1] == '\\' {
  138. escape := len(s) - len(strings.TrimRight(s, `\`))
  139. if (escape & 1) == 1 {
  140. panic(fmt.Errorf("word: %s (%s)", errUnmatchedEscape, s))
  141. }
  142. }
  143. }
  144. }
  145. return &_word{word: s}
  146. }
  147. func escapeWord(s string) string {
  148. for i := 0; i < len(s); i++ {
  149. if s[i] == '\\' {
  150. s = s[:i] + s[i+1:]
  151. }
  152. }
  153. return s
  154. }
  155. func isName(val value) bool {
  156. s := val.String()
  157. return nameExp.MatchString(s)
  158. }
  159. func toName(val value) string {
  160. s := val.String()
  161. if nameExp.MatchString(s) {
  162. return s
  163. }
  164. panic(fmt.Errorf("name: %s (%s)", errInvalidName, s))
  165. }
  166. func isNameWithIndex(val value) bool {
  167. s := val.String()
  168. return nameWithIndexExp.MatchString(s)
  169. }
  170. func toNameWithIndex(val value) (string, []string) {
  171. s := val.String()
  172. if nameWithIndexExp.MatchString(s) {
  173. index := strings.Split(s, "[")
  174. name := index[0]
  175. if cnt := len(index) - 1; cnt > 0 {
  176. for i := 1; i < cnt; i++ {
  177. index[i] = index[i][:len(index[i])-1]
  178. }
  179. index[cnt] = index[cnt][:len(index[cnt])-2]
  180. }
  181. return name, index[1:]
  182. }
  183. panic(fmt.Errorf("name: %s (%s)", errInvalidName, s))
  184. }
  185. func isList(val value) bool {
  186. if _, ok := val.(*_list); ok {
  187. return true
  188. }
  189. s := val.String()
  190. return len(s) > 0 && s[0] == '['
  191. }
  192. func toList(val value) []string {
  193. if val, ok := val.(*_list); ok {
  194. return val.Value()
  195. }
  196. s := val.String()
  197. if len(s) > 0 && s[0] == '[' {
  198. return parseFunc(s, []environ{nil, nil, nil}).Value()
  199. }
  200. panic(fmt.Errorf("list: %s (%s)", errInvalidList, s))
  201. }
  202. func parseFunc(s string, envs []environ) *_list {
  203. list := parseList(s)
  204. if len(list) != 2 || !isList(&_unknown{s: list[0]}) || !isList(&_unknown{s: list[1]}) {
  205. return &_list{list: list}
  206. }
  207. param := parseList(list[0])
  208. for _, name := range param {
  209. if !isName(&_unknown{s: name}) {
  210. return &_list{list: list}
  211. }
  212. }
  213. local := environ{}
  214. if envs[1] != nil {
  215. for name, val := range envs[0] {
  216. local[name] = val
  217. }
  218. }
  219. return &_list{list: list, param: param, body: parseList(list[1]), env: local}
  220. }
  221. func isEmpty(val value) bool {
  222. if val, ok := val.(*_word); ok {
  223. return len(val.Value()) == 0
  224. }
  225. if val, ok := val.(*_list); ok {
  226. return len(val.Value()) == 0
  227. }
  228. s := val.String()
  229. return s == `"` || s == "[ ]"
  230. }
  231. func toValue(val value, envs []environ) value {
  232. if _, ok := val.(*_unknown); !ok {
  233. return val
  234. }
  235. s := val.String()
  236. if isNumber(val) {
  237. if isWord(val) {
  238. s = s[1:]
  239. }
  240. return &_number{num: toNumber(val), word: s}
  241. }
  242. if isBool(val) {
  243. if isWord(val) {
  244. s = s[1:]
  245. }
  246. return &_bool{b: toBool(val), word: s}
  247. }
  248. if isWord(val) {
  249. return parseWord(s)
  250. }
  251. if isList(val) {
  252. return parseFunc(s, envs)
  253. }
  254. panic(fmt.Errorf("value: %s (%s)", errValueExpected, s))
  255. }
  256. func opIsNumber(val1 value) *_bool {
  257. return &_bool{b: isNumber(val1)}
  258. }
  259. func opIsBool(val1 value) *_bool {
  260. return &_bool{b: isBool(val1)}
  261. }
  262. func opIsWord(val1 value) *_bool {
  263. return &_bool{b: isWord(val1)}
  264. }
  265. func opIsName(val1 value, envs []environ) *_bool {
  266. if !isName(val1) {
  267. return &_bool{b: false}
  268. }
  269. name := toName(val1)
  270. for _, env := range envs {
  271. _, ok := env[name]
  272. if ok {
  273. return &_bool{b: true}
  274. }
  275. }
  276. return &_bool{b: false}
  277. }
  278. func opIsList(val1 value) *_bool {
  279. return &_bool{b: isList(val1)}
  280. }
  281. func opIsEmpty(val1 value) *_bool {
  282. return &_bool{b: isEmpty(val1)}
  283. }