3 files changed, 116 insertions, 0 deletions
diff --git a/scalatexApi/src/main/scala/scalaparser/syntax/Basic.scala b/scalatexApi/src/main/scala/scalaparser/syntax/Basic.scala
new file mode 100644
index 0000000..bd142a1
--- /dev/null
+++ b/scalatexApi/src/main/scala/scalaparser/syntax/Basic.scala
@@ -0,0 +1,36 @@
+package scalaparser
+package syntax
+import acyclic.file
+import org.parboiled2._
+
+trait Basic { self: Parser =>
+  object Basic{
+    def UnicodeExcape = rule { "\\u" ~ 4.times(HexDigit) }
+
+
+    //Numbers and digits
+    def HexDigit = rule { Digit | "a" - "f" | "A" - "Z" }
+    def Digit = rule { "0" | NonZeroDigit }
+    def NonZeroDigit = rule { "1" - "9" }
+    def HexNumeral = rule { "0x" ~ oneOrMore(HexDigit) }
+    def DecimalNumeral = rule(oneOrMore(Digit))
+    def ExponentPart = rule { anyOf("Ee") ~ optional(anyOf("+-")) ~ oneOrMore(Digit) }
+    def FloatType = rule { anyOf("FfDd") }
+
+    def Parentheses = rule { "(" | ")" | "[" | "]" | "{" | "}" }
+    def DelimiterChar = rule { "'" | "\"" | "." | ";" | "," }
+
+    def WhitespaceChar = rule { "\u0020" | "\u0009" }
+    def Newline = rule { "\r\n" | "\n" }
+    def Semi = rule { ';' | oneOrMore(Newline) }
+    def OperatorChar = rule {
+      anyOf("""!#$%&*+-/:<=>?@\^|~""") |
+      CharPredicate.from(_.getType match {
+        case Character.OTHER_SYMBOL | Character.MATH_SYMBOL => true; case _ => false
+      })
+    }
+    def Letter = rule { Upper | Lower | CharPredicate.from(c => c.isLetter | c.isDigit) }
+    def Lower = rule { "a" - "z" | "$" | "_" | CharPredicate.from(_.isLower) }
+    def Upper = rule { "A" - "Z" | CharPredicate.from(_.isUpper) }
+  }
+}
diff --git a/scalatexApi/src/main/scala/scalaparser/syntax/Identifiers.scala b/scalatexApi/src/main/scala/scalaparser/syntax/Identifiers.scala
new file mode 100644
index 0000000..e985f92
--- /dev/null
+++ b/scalatexApi/src/main/scala/scalaparser/syntax/Identifiers.scala
@@ -0,0 +1,24 @@
+package scalaparser
+package syntax
+import acyclic.file
+import org.parboiled2._
+
+trait Identifiers { self: Parser with Basic =>
+  object Identifiers{
+    import Basic._
+    def Operator = rule(oneOrMore(OperatorChar))
+
+    def VarId = rule { !(Keywords ~ (WhitespaceChar | Newline | "//" | "/*")) ~ Lower ~ IdRest }
+    def PlainId = rule { Upper ~ IdRest | VarId | !(Keywords ~ (WhitespaceChar | Newline | "//" | "/*")) ~ Operator }
+    def Id = rule { PlainId | ("`" ~ oneOrMore(noneOf("`")) ~ "`") }
+    def IdRest = rule { zeroOrMore(Letter | Digit) ~ optional("_" ~ Operator) }
+
+
+    def Keywords = rule {
+      "abstract" | "case" | "catch" | "class" | "def" | "do" | "else" | "extends" | "false" | "finally" | "final" | "finally" | "forSome" | "for" | "if" |
+      "implicit" | "import" | "lazy" | "match" | "new" | "null" | "object" | "override" | "package" | "private" | "protected" | "return" |
+      "sealed" | "super" | "this" | "throw" | "trait" | "try" | "true" | "type" | "val" | "var" | "while" | "with" | "yield" | "_" |
+      ":" | ";" | "=>" | "=" | "<-" | "<:" | "<%" | ">:" | "#" | "@" | "\u21d2" | "\u2190"
+    }
+  }
+}
diff --git a/scalatexApi/src/main/scala/scalaparser/syntax/Literals.scala b/scalatexApi/src/main/scala/scalaparser/syntax/Literals.scala
new file mode 100644
index 0000000..11eb943
--- /dev/null
+++ b/scalatexApi/src/main/scala/scalaparser/syntax/Literals.scala
@@ -0,0 +1,56 @@
+package scalaparser
+package syntax
+import acyclic.file
+import org.parboiled2._
+
+trait Literals { self: Parser with Basic with Identifiers =>
+  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 {
+      (optional(Identifiers.Id) ~ "\"\"\"" ~ capture(MultiLineChars) ~ capture("\"\"\"" ~ zeroOrMore('"')) ~> ((multilineChars: String, quotes) => multilineChars + quotes.dropRight(3))) |
+      (optional(Identifiers.Id) ~ '"' ~ 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
+    }
+  }
+}
+