jiggleproperties.java

一个用java写的地震分析软件(无源码)

	setProperty ("pickStripValue", 1.0);
	setProperty ("firstMoQualityMin", 0.5);
	setProperty ("firstMoOnS", false);
	setProperty ("firstMoOnHoriz", false);
	setProperty ("clockQualityThreshold", 0.5);

	setProperty ("fixQuarryDepth", true);     // fix quarries?
	setProperty ("quarryFixDepth", 0.0);      // depth at which to fix quarries
	setProperty ("useTrialLocation", false);  // use trial loc in relocs?

	setProperty ("fileChooserDir", ".");	    // set to home?

	// define columns to show in CatalogPanel, evid is always shown.
	setProperty ("catalogColumnList",
		     "DATETIME LAT LON Z MAG MTYP AUTH SRC GAP DIST RMS OBS USED Q ST PR COMMENT");

	setProperty ("locationEngineType",    "HYPO2000");
	setProperty ("locationEngineAddress", "iron.gps.caltech.edu");
	setProperty ("locationEnginePort",    "6550");

	setProperty ("mcaConfigFile", getDefaultUserPath() + "MCA.properties");
	setProperty ("mlConfigFile",   "ML.properties");

	setProperty ("localNetCode", "??");	// 'CI' 'NC' etc/

	setProperty ("dbaseHost",   "makalu");
	setProperty ("dbaseDomain", "gps.caltech.edu");
	setProperty ("dbaseName",   "makaludb");
	setProperty ("dbasePort",   "1521");
	setProperty ("jasiObjectType",   "TRINET");  // could be "EARTHWORM"

	setProperty ("dbaseDriver",	"oracle.jdbc.driver.OracleDriver");

	// This is the "read-only" user name
	setProperty ("dbaseUser",	"browser");
	setProperty ("dbasePasswd",	"browser");

	setProperty ("helpFile", "/home/tpp/user/jiggle/helpfiles/");
	setProperty ("iconDir", "images");	// no trailing "/"

	setProperty ("debugOutput", false);

	setProperty ("waveformReadMode", Waveform.LoadFromDataSource);
	setProperty ("waveServerGroupList", "");
	setProperty ("currentWaveServerGroup", "");

	setProperty ("channelTimeWindowModelList",
			    "org.trinet.jasi.DataSourceChannelTimeModel, "+
			    "org.trinet.jasi.SimpleChannelTimeModel, "+
			    "org.trinet.jasi.PicksOnlyChannelTimeModel");
	setProperty ("currentChannelTimeWindowModel", "org.trinet.jasi.DataSourceChannelTimeModel");

	setProperty ("debug", false);

  setProperty("LocationEngine","org.trinet.jiggle.LocationEngineHypoInverse");

   String userName = System.getProperty("JIGGLE_USER_NAME", "");
   if(userName.equals(""))
			  userName = System.getProperty("user.name", "");

	setProperty ("userName", System.getProperty (userName, "unk"));
    }
    /** Returns true if the DataSource properties of the passed JiggleProperties
     *  object are the same from this one. */
    public boolean dataSourceEquals (JiggleProperties otherProps) {

	if (
	    !getProperty("dbaseHost"  ).equals(otherProps.getProperty("dbaseHost")) ||
	    !getProperty("dbaseDomain").equals(otherProps.getProperty("dbaseDomain"))||
	    !getProperty("dbaseName"  ).equals(otherProps.getProperty("dbaseName"))||
	    !getProperty("dbasePort"  ).equals(otherProps.getProperty("dbasePort"))||
 	    !getProperty("dbaseDriver").equals(otherProps.getProperty("dbaseDriver")) ||
	    !getProperty("dbaseUser"  ).equals(otherProps.getProperty("dbaseUser")) ||
	    !getProperty("dbasePasswd").equals(otherProps.getProperty("dbasePasswd"))
	  ) return false;
	return true;
   }
    /** Returns true if any of the wavesource properties were changed. */
    public boolean waveSourceEquals (JiggleProperties otherProps) {

	if (
	    !getProperty("waveformReadMode").equals(otherProps.getProperty("waveformReadMode")) ||
 	    !getProperty("waveServerGroupList").equals(otherProps.getProperty("waveServerGroupList")) ||
	    !getProperty("currentWaveServerGroup").equals(otherProps.getProperty("currentWaveServerGroup"))
	    ) return false;

	return true;
   }
    /** Returns true if the ChannelTimeWindowModel changed. */
    public boolean channelTimeWindowModelEquals (JiggleProperties otherProps) {

	    return getCurrentChannelTimeWindowModelClassName().equals(
	           otherProps.getCurrentChannelTimeWindowModelClassName());
    }
    /**
     * Setup internal variables using properties read from file. This should
     * be called whenever properties are changed.
     */

    public boolean setup() {

     EnvironmentInfo.setNetworkCode(getProperty("localNetCode"));
     // will mark data as "human" not automatic.
     EnvironmentInfo.setAutomatic(false);

     // setup some 1st motion stuff based on the properties
     PhaseDescription.setFmQualCut(getDouble("firstMoQualityMin"));
     PhaseDescription.setFmOnS(getBoolean("firstMoOnS"));
     PhaseDescription.setFmOnHoriz(getBoolean("firstMoOnHoriz"));

     // channel cache file
     ChannelList.setCacheFilename(getProperty("channelCacheFilename"));

     // get the waveServer group list even if we aren't using it so we
     // can show it in the dialog
     String str = getProperty("waveServerGroupList");
     wsgList =  (ActiveList) WaveServerGroup.parsePropertyString(str);

     // set current
     str = getProperty("currentWaveServerGroup");
     WaveServerGroup wsg = WaveServerGroup.getByName(wsgList, str);
     if (wsg != null && wsgList != null) {
        WaveServerGroup.setSelected(wsg, wsgList);
     }

     // get the ChannelTimeWindowModel list.
     str = getProperty("channelTimeWindowModelList");
     ctwModelList = (ActiveList) ChannelTimeWindowModel.parsePropertyString(str);

     // set the waveform source
     int waveSrc = getInt("waveformReadMode");
     if ( waveSrc == Waveform.LoadFromDataSource) {
        setWaveSource(waveSrc, new DataSource(getDbaseDescription()));
     } else if (waveSrc == Waveform.LoadFromWaveServer) {
	setWaveSource(waveSrc, WaveServerGroup.getSelected(wsgList));
     }

     return true;
    }

    /** Default path is <home>/.jiggle/ */
    public String getDefaultUserPath () {
	return ""/*userHome + fileSep + ".jiggle" + fileSep*/;
    }

    public String getDefaultSystemPath() {
	return jiggleHome + fileSep;
    }

    /** Return the fully specified name of the JDBC URL for the dbase. It is composed
     * three properties: dbaseHost, dbasePort and dbaseName. It has a form like:
     * jdbc:oracle:thin:@quake.gps.caltech.edu:1521:quakedb*/
    public String getDbaseURL () {
	 return getDbaseDescription().getURL();
    }

    /** Return the DbaseConnectionDescription object described by this property list. */
    public DbaseConnectionDescription getDbaseDescription () {

	// must remake it because we don't know what has changed lately
	   return  new DbaseConnectionDescription (
				       getProperty("dbaseHost"),
				       getProperty("dbaseDomain"),
				       getProperty("dbaseName"),
				       getProperty("dbasePort"),
				       getProperty("dbaseDriver"),
				       getProperty("dbaseUser"),
				       getProperty("dbasePasswd") );
    }

/**
*
*/
  public void dumpProperties() {
         super.list(System.out);
  }

/** Save the properties with a default header. */
    public void saveProperties () {
	save ("--- Jiggle properties --- [" +
	  getUserPropertiesFileName()+"] *DO NOT EDIT*");      // save user properties
    }
/**
 * Save the properties with a custom header.
 */
     public void save(String header) {
	// make user all values are up to date
	synchProperties();

        // save user properties
	super.saveProperties (header);
    }

    /** Set property values for things that are stored internally as objects other than
     *  raw properties. For example, the "currentWaveServerGroup" is stored as a
     *  Collection. If that collection changes, the property, which is a string, must
     *  also change. */
    private void synchProperties () {
      // the currentChannelTimeWindowModel should always be correct
      String str = ChannelTimeWindowModel.toPropertyString(ctwModelList);
      if (str != null) setProperty("channelTimeWindowModelList", str );

      str = WaveServerGroup.toPropertyString(wsgList);
      if (str != null) setProperty("waveServerGroupList", str);

      if ( WaveServerGroup.getSelected(wsgList) != null ) {
	  str = WaveServerGroup.getSelected(wsgList).getName();
	  if (str != null) setProperty ("currentWaveServerGroup",  str);
      }
    }
/**
 * Main for testing
 */
    public static void main (String args[])
    {
// System properties
	System.out.println ("-- SYSTEM PROPERTIES --");

	System.getProperties().list(System.out);

// Private properties

	JiggleProperties test = new JiggleProperties("properties");

	System.out.println ("-- Jiggle PROPERTIES --");

        test.dumpProperties();

// examples of local 'get' methods
/*
     System.out.println ( "......... Test some stuff ...............");
	System.out.println ("\n tracesPerPage = " + test.getInt("tracesPerPage") );
	System.out.println ("catalogColumnList = " );
	String str[] = test.getStringArray("catalogColumnList");
	for (int i=0; i<str.length; i++) {
	    System.out.println (i+"     "+str[i]);
	}

	try {
	    System.out.println ("IP address: "+
				InetAddress.getLocalHost().getHostName());
	} catch (Exception ex) {
	    System.out.println ("Bad IP address.");
	}

	System.out.println (test.getDbaseDescription().toString());

	System.out.println ("user.home= "+System.getProperty("user.home", "."));
	System.out.println ("user.timezone= "+System.getProperty("user.timezone", "."));
*/
/*      ChannelTimeWindowModel model = test.getCurrentChannelTimeWindowModelInstance();

      System.out.println ("model = "+ model.getModelName());
      System.out.println ("model = "+ model.getExplanation());
*/
       System.out.println ("model = "+ test.getCurrentChannelTimeWindowModelClassName());
	JiggleProperties  shallowClone = (JiggleProperties) test.clone();
	JiggleProperties  deepClone = null;
	try {
	  deepClone = (JiggleProperties) test.deepClone();
	} catch (Exception ex) {ex.printStackTrace();}

	System.out.println ("-- shallowClone Jiggle PROPERTIES --");
        shallowClone.dumpProperties();

	System.out.println ("-- deepClone Jiggle PROPERTIES --");
        deepClone.dumpProperties();

//     System.out.println (test.getWaveServerGroup().toString());
//      test.saveProperties();

    }


} // end of class