org.eclipse.palamedes.gdl.core.model.utils
Class StatisticInfo

java.lang.Object
  java.util.Dictionary<K,V>
      java.util.Hashtable<java.lang.Object,java.lang.Object>
          java.util.Properties
              org.eclipse.palamedes.gdl.core.model.utils.StatisticInfo

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.util.Map<java.lang.Object,java.lang.Object>, IStatistic

public class StatisticInfo
extends java.util.Properties
implements IStatistic

See Also:

Serialized Form

Field Summary

Fields inherited from class java.util.Properties

defaults

Fields inherited from interface org.eclipse.palamedes.gdl.core.model.IStatistic

defaultOrder, S_MOVE_CALL, S_MOVE_COUNT, S_MOVE_TIME, S_NODE_CALL, S_STATE_CALL, S_STATE_TIME

Constructor Summary

StatisticInfo()

Method Summary

java.util.Enumeration<?>

getPropertyNames()

Methods inherited from class java.util.Properties

getProperty, getProperty, list, list, load, load, loadFromXML, propertyNames, save, setProperty, store, store, storeToXML, storeToXML, stringPropertyNames

Methods inherited from class java.util.Hashtable

clear, clone, contains, containsKey, containsValue, elements, entrySet, equals, get, hashCode, isEmpty, keys, keySet, put, putAll, rehash, remove, size, toString, values

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.palamedes.gdl.core.model.IStatistic

getProperty

Constructor Detail

StatisticInfo

public StatisticInfo()

Method Detail

getPropertyNames

public java.util.Enumeration<?> getPropertyNames()

Specified by:

getPropertyNames in interface IStatistic