import java.lang.*;
import java.io.*;
import java.util.*;
import EDU.neu.ccs.demeter.*;
 abstract class Service implements Runnable {
  public Service() {
    super();
    }
    void universal_trv0_bef(UniversalVisitor _v_) {
    _v_.before(this);
  }

    void universal_trv0_aft(UniversalVisitor _v_) {
    _v_.after(this);
  }


    void universal_trv0(UniversalVisitor _v_) {  }

    void all_WebScript_trv_bef(UniversalVisitor __v0) {
    __v0.before(this);
  }

    void all_WebScript_trv_aft(UniversalVisitor __v0) {
    __v0.after(this);
  }

    void all_WebScript_trv(UniversalVisitor __v0) {  }


 //Modified from here
//open the output file:

    public static File outputfile;
      static{
            outputfile=new File("webfile.out");
      }

//open the output stream
    public static FileWriter out1;
      static{
           try{
                out1=new FileWriter(outputfile);
           }catch(IOException e){
	   }
      }         

//variable to mark the success of the service:

     protected int serviceState;

//accessor:
     public void set_serviceState(int ss){
	 serviceState = ss;
     }

     public int get_serviceState(){
	 return serviceState;
     }

     public void run(){
     }


}