//-*-java-*-

MethodExclusion {
  (@
   QualifiedMethodName name;
   String sig;
   String id;
   boolean selfex;
   Vector mutex; //  = new Vector();
   CondVarExp requires;
   Statement on_entry;
   Statement on_exit;

   MethodExclusion(QualifiedMethodName qmname) {
     if(qmname.get_classname() == null)
       Err.bug("QMName \"" + qmname + "\" passed into methex constructor w/o specified classname.");
     name = qmname;
     sig = name.toString();
     id = name.getUniqueId();
     selfex = false;
     mutex = new Vector();
     requires = null;
     on_entry = on_exit = null;
   }
  @)
}