// this test has been superceded.  It is now possible to define
// calls to "super" in unquoted text

// errors should be reported when super.xxx is used in a refinement 
// when appearing outside quoted text.  this() and super() can't
// appear in arbitrary places, that's why the other lines have
// been commented away

layer uberalles;

SoUrCe  uberalles "err.jak";

 abstract class foo$$uberalles {
   environment i, j, k;

   void bar() { 
      // if CommonErrorAst doesn't work, each of the following
      // lines will generate an error

      //   AST_FieldDecl e = mth{ aConstructor() { $stm(super()); } }mth;

      AST_FieldDecl y = mth{ void bary() { $stm(super.foo()); } }mth;

      //  AST_FieldDecl z = mth{ aConstructor() { $stm(this(5));  } }mth;
   }
}

SoUrCe  uberalles "err.jak";

 class foo extends  foo$$uberalles  {
   environment i, j, k;

   void bar() { 
      // if CommonErrorAst doesn't work, each of the following
      // lines will generate an error

      //   AST_FieldDecl e = mth{ aConstructor() { $stm(super()); } }mth;

      AST_FieldDecl y = mth{ void bary() { $stm(super.foo()); } }mth;

      //  AST_FieldDecl z = mth{ aConstructor() { $stm(this(5));  } }mth;
   }
}