dk.brics.bisim.model
Class UserProperties

java.lang.Object
  extended by dk.brics.bisim.model.UserProperties

public class UserProperties
extends java.lang.Object

The user-definable properties.

Author:
Martin Mosegaard martinm@daimi.au.dk

Field Summary
private  java.lang.String dotPath
           
 
Constructor Summary
UserProperties()
          Calls readUserProperties.
 
Method Summary
 java.lang.String getDotPath()
           
private  void readUserProperties()
          Reads properties from the file properties.txt if it exists in the current directory.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

dotPath

private java.lang.String dotPath
Constructor Detail

UserProperties

public UserProperties()
Calls readUserProperties.

Method Detail

getDotPath

public java.lang.String getDotPath()
Returns:
The dot path

readUserProperties

private void readUserProperties()
Reads properties from the file properties.txt if it exists in the current directory.