summaryrefslogtreecommitdiff
path: root/scalatexApi/src/main/scala/torimatomeru/syntax/Literals.scala
blob: bef65e61d2f3eab7baae2bd6d8e634208268280f (plain) (blame)
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
package torimatomeru
package syntax

import org.parboiled2._

trait Literals { self: ScalaSyntax =>
  object Literals{
    import Basic._
    def FloatingPointLiteral = rule {
      capture(
        "." ~ oneOrMore(Digit) ~ optional(ExponentPart) ~ optional(FloatType) |
          oneOrMore(Digit) ~ (
            "." ~ oneOrMore(Digit) ~ optional(ExponentPart) ~ optional(FloatType) |
            ExponentPart ~ optional(FloatType) |
            optional(ExponentPart) ~ FloatType))
    }

    def IntegerLiteral = rule { capture((DecimalNumeral | HexNumeral) ~ optional(anyOf("Ll"))) }

    def BooleanLiteral = rule { capture("true" | "false") }

    def MultilineComment: Rule0 = rule { "/*" ~ zeroOrMore(MultilineComment | !"*/" ~ ANY) ~ "*/" }
    def Comment: Rule0 = rule {
      MultilineComment |
        "//" ~ zeroOrMore(!Basic.Newline ~ ANY) ~ (Basic.Newline | EOI)
    }

    def Literal = rule {
      (capture(optional("-")) ~ (FloatingPointLiteral | IntegerLiteral) ~> ((sign: String, number) => sign + number)) |
        BooleanLiteral |
        CharacterLiteral |
        StringLiteral |
        SymbolLiteral |
        capture("null")
    }


    def EscapedChars = rule { '\\' ~ anyOf("rnt\\\"") }

    def SymbolLiteral = rule { ''' ~ capture(Identifiers.PlainId) }

    def CharacterLiteral = rule { ''' ~ capture(UnicodeExcape | EscapedChars | !'\\' ~ CharPredicate.from(isPrintableChar)) ~ ''' }

    def MultiLineChars = rule { zeroOrMore(optional('"') ~ optional('"') ~ noneOf("\"")) }
    def StringLiteral = rule {
      ("\"\"\"" ~ capture(MultiLineChars) ~ capture("\"\"\"" ~ zeroOrMore('"')) ~> ((multilineChars: String, quotes) => multilineChars + quotes.dropRight(3))) |
        ('"' ~ capture(zeroOrMore("\\\"" | noneOf("\n\""))) ~ '"')
    }

    def isPrintableChar(c: Char): Boolean = {
      val block = Character.UnicodeBlock.of(c)
      !Character.isISOControl(c) && !Character.isSurrogate(c) && block != null && block != Character.UnicodeBlock.SPECIALS
    }
  }
}