// A subset that can have classes with fields and empty methods

// NOTE: unlike the others, this example is not a proper subset of Espresso,
//  but could still be a useful stepping stone.
//  I.e., You can build a parser to work on this example, but
//  a complete Espresso parser will not work on this example, because the
//  methods are missing the non-optional "return" at the end of the
//  non-main methods.

//  To recognize a subset with "return" too, you also have to be able to parse
//  at least one kind of expression.  That could be your own Test5.esp

class Test4 {
   public static void main(String [] args) {
   }
} 

class X {
  int a;
  int meth1() {  }   // no return
  int b;
}

class Y {
  Foo a;
  int meth2() { }    // no return
  int meth3() { }    // no return
}

class Z {
  Foo a;
  Bar b;
  boolean x;
}