Anonymous Objects

examples/src/AnonymousObjects.jetl

@@ -0,0 +1,21 @@
+addMouseListener(object MouseAdapter() {
+
+  private var clickCount = 0;
+
+  override fun mouseClicked(e : MouseEvent) {
+    clickCount++;
+    if (clickCount > 3) GOD.sendMessage(GodMEssages.TOO_MANY_CLICKS);
+  }
+})
+
+enum class GodMessages {
+  TOO_MANY_CLICKS
+  ONE_MORE_MESSAGE
+}
+
+// Type of this variable is GOD_AnonymousClass
+val GOD = object {
+  fun sendMessage(message : GodMEssage) = throw new RuntimeException(message.name)
+};
+
+addMouseListener([mouseClicked : {e => doFoo()}]);

examples/src/Factories.jetl

@@ -0,0 +1,13 @@
+class ConcreteClass {
+
+  this() {}
+
+}
+
+// Implicitly generated a factory for ConcreteClass with a no-argument factory method
+
+interface class IFooBarInterface {
+  new () {  }
+}
+
+factory

examples/src/LINQ.jetl

@@ -0,0 +1,2 @@
+l filter {it.x} map {it.foo} aggregate {a, b => a + b}
+

grammar/src/class.grm

@@ -16,7 +16,11 @@ class
       ("(" defaultConstructorParameter{","} ")")?
       (":" delegationSpecifier{","})?
       ("where" typeConstraint{","})?  // Syntax is questionable
-      ("{" memberDeclaration{","} "}"?
+      classBody?
+  ;
+
+classBody
+  : ("{" memberDeclaration{","} "}"
   ;
 
 classModifier

grammar/src/control.grm

@@ -8,6 +8,7 @@ match
 
 matchEntry
   : "case" pattern "=>" expression // TODO: Consider other options than "=>"
+  : "else" "=>" expression // TODO: keyword
   ;
 
 for

grammar/src/expressions.grm

@@ -8,11 +8,7 @@ expression
   : "null"
   : "this"
   : memberAccessExpression
-  : infixFunctionCall
+  : expressionWithPrecedences
-  : binOpExpression
-  : assignment
-  : unOpExpression
-  : castExpression
   : match
   : if
   : "new" constructorInvocation
@@ -21,8 +17,21 @@ expression
   : jump
   ;
 
-castExpression
+expressionWithPrecedences // See the precedence table, everything associates to the left
-  : expression "as" type
+  : infixFunctionCall
+  : binOpExpression
+  : assignment
+  : unOpExpression
+  : castExpression
+  : typingExpression
+  ;
+
+typingExpression
+  : expression typingOperation type
+  ;
+
+typingOperation
+  : "as" : "is" : "isnot"
   ;
 
 binOpExpression
@@ -35,14 +44,18 @@ unOpExpression
   ;
 
 binaryOperation // Decreasing precedence
-  : "*" : "/"    // No %
+  // .
+  // unary
+  : "*" : "/" : "%"
   : "+" : "-"
   // No << >> >>>
-  : "<" : ">" : ">=" : "<=" : "is" : "isnot" : "in" // TODO: Check the precedence for in carefully
+  // named functions in infix form
-  : "!=" : "==" : "==="
+  : "<" : ">" : ">=" : "<=" : "in" // is isnot as // TODO: Check the precedence for in carefully
+  : "!=" : "==" : "===" : "!=="
   // No | & ^ ~
   : "&&"
   : "||"
+  // assignments
   ;
 
 assignmentOperator
@@ -145,3 +158,7 @@ fieldOrPropertyAccess
 arrayAccess
   : "[" expression "]"
   ;
+
+anonymousInnerClassInstantiation
+  : "object" delegationSpecifier{","} classBody
+  ;