stella.globals

Class ExposureCount

java.lang.Object

util.PropertyContainer

util.PropertyResources

globals.parameter.AbstractParameter

globals.rmi.AbstractRemoteParameter

stella.globals.ExposureCount

All Implemented Interfaces:

Parameter, RemoteParameter, StatePreserving, Cloneable, Remote, ErrorDependingParameter, ExitCleaning, Initializable, Preserving, PropertySupplying, Reloadable, ResourceSupplying, RmiCaster

public class ExposureCount
extends AbstractRemoteParameter
implements ErrorDependingParameter, StatePreserving, Reloadable

This parameter provides the running number of an exposure within a target. It can be used to get different file-names per exposure on the same Unique.

Nested Class Summary

Nested classes/interfaces inherited from class util.PropertyResources

PropertyResources.Load, PropertyResources.URLResource

Field Summary

Fields

Modifier and Type	Field and Description
static String	DEFBINDNAME The default name of this value.
static String	DEFNAME The default name of this value.
static NumberFormat	ef The number format for running exposures.
static String	eq A query operator for running exposures.
static String	EXP The separator between unique ID and exposure counter.
private int	exposurecount The exposure counter for this target.

Fields inherited from class globals.rmi.AbstractRemoteParameter

DEFBIND, KEY_BIND

Fields inherited from class globals.parameter.AbstractParameter

KEY_FORMAT, KEY_NAME, KEY_PRESERVE, UNKNOWN

Fields inherited from class util.PropertyResources

KEY_NOINITONCREATE, POSTFIX_ALPHABET, POSTFIX_BYTES, POSTFIX_DIR, POSTFIX_EXT, POSTFIX_FILE, POSTFIX_LIST, POSTFIX_MODTIME, POSTFIX_URL

Fields inherited from class util.PropertyContainer

KEY_LISTSEPARATOR, KEY_MAPKEYVALUECHAR, KEY_MAPSEPARATOR

Fields inherited from interface stella.ErrorDependingParameter

NAMING_EXTENSION

Fields inherited from interface util.PropertySupplying

CONFIG, KEY_CLASS

Fields inherited from interface util.ResourceSupplying

KEY_URLRESOURCES, KEY_URLUSECONFIG, KEY_URLUSECURRENT, KEY_URLUSEHOME

Constructor Summary

Constructors

Constructor and Description
ExposureCount(Map<String,String> prop) We are not allowed to change any properties.

Method Summary

Modifier and Type	Method and Description
Object	get() Gets the current unique name identifier.
Object	getForError(ErrorEvent ee) Querying the unique parameter for an error returns the current unique number, advancing is only done by registering.
String	getUniqueExposure() The exposure number as an extension.
void	init() We scout for a file that hold the last unique values.
boolean	preserve() On exit, we save our current state if the serialize property is set.
void	registerError(ErrorEvent ee) If the error registered is a TargetPicked, we advance the unique number.
double	rescanned(String key, String old, String newval) We throw an illegal argument exception if export port changed
boolean	restore() We restore our old value by reading the last date and target count from a serialization file.
Object	set(Object val) Setting the unique number is only allowed vai a call to next, therefore this method throws an UnsupportedOperationException.

Methods inherited from class globals.rmi.AbstractRemoteParameter

addRmiListener, bindToRegistry, exit, isValid, remoteGet, removeRmiListener, unbindFromRegistry

Methods inherited from class globals.parameter.AbstractParameter

createParameter, delivers, getFormatted, getFormatted, getName, getPreserveFile, getString, getString, overrideDefaultName, register, setName, toString

Methods inherited from class util.PropertyResources

clone, createFrom, createFrom, createFrom, createInstance, getApplet, getAsResources, getLocate, getPropertiesToKey, getPropertiesToKey, getResource, getResourceAsStream, getResourceFromKey, getResources, hasLocalURLs, initProperties, keyCreate, keyCreate, reload, setApplet

Methods inherited from class util.PropertyContainer

augment, augment, augment, augment, augment, defaultBoolean, defaultChar, defaultDouble, defaultFloat, defaultInt, defaultLong, defaultObject, defaultObject, defaultProperties, defaultProperty, getAsBoolean, getAsChar, getAsDouble, getAsEnums, getAsFloat, getAsInt, getAsList, getAsLong, getAsMap, getAsMap, getAsObject, getAsObject, getProperties, getProperty, has, isNew, parseObject, parseObject, reload, removeProperty, requires, setObject, setProperties, setProperty, stringProperties

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface globals.Parameter

getFormatted, getName, getString

Methods inherited from interface util.PropertySupplying

defaultBoolean, defaultChar, defaultDouble, defaultFloat, defaultInt, defaultLong, defaultObject, defaultObject, defaultProperties, defaultProperty, getAsBoolean, getAsChar, getAsDouble, getAsFloat, getAsInt, getAsList, getAsLong, getAsMap, getAsObject, getAsObject, getProperties, getProperty, has, parseObject, removeProperty, setObject, setProperty, stringProperties

Methods inherited from interface util.ExitCleaning

exit

Methods inherited from interface util.Reloadable

reload

Field Detail

ef

public static final NumberFormat ef

The number format for running exposures.

eq

public static final String eq

A query operator for running exposures.

See Also:

Constant Field Values

EXP

public static final String EXP

The separator between unique ID and exposure counter.

See Also:

Constant Field Values

DEFNAME

public static final String DEFNAME

The default name of this value.

See Also:

Constant Field Values

DEFBINDNAME

public static final String DEFBINDNAME

The default name of this value.

See Also:

Constant Field Values

exposurecount

private int exposurecount

The exposure counter for this target.

Constructor Detail

ExposureCount

public ExposureCount(Map<String,String> prop)
              throws RemoteException

We are not allowed to change any properties.

Throws:

RemoteException

Method Detail

init

public void init()
          throws InitException

We scout for a file that hold the last unique values. If this is not present or given, we use the current date and zero.

Specified by:

init in interface Initializable

Overrides:

init in class AbstractRemoteParameter

Throws:

InitException

rescanned

public double rescanned(String key,
                        String old,
                        String newval)

We throw an illegal argument exception if export port changed

Specified by:

rescanned in interface Reloadable

Overrides:

rescanned in class AbstractRemoteParameter

restore

public boolean restore()

We restore our old value by reading the last date and target count from a serialization file.

Specified by:

restore in interface Preserving

preserve

public boolean preserve()

On exit, we save our current state if the serialize property is set. First the date, then the targetnumber is writtn.

Specified by:

preserve in interface Preserving

getUniqueExposure

public String getUniqueExposure()

The exposure number as an extension.

get

public Object get()

Gets the current unique name identifier.

Specified by:

get in interface Parameter

set

public Object set(Object val)
           throws UnsupportedOperationException

Setting the unique number is only allowed vai a call to next, therefore this method throws an UnsupportedOperationException.

Specified by:

set in interface Parameter

Returns:

The previous value of this parameter.

Throws:

UnsupportedOperationException - If this parameter is read-only.

registerError

public void registerError(ErrorEvent ee)

If the error registered is a TargetPicked, we advance the unique number.

Specified by:

registerError in interface ErrorDependingParameter

getForError

public Object getForError(ErrorEvent ee)

Querying the unique parameter for an error returns the current unique number, advancing is only done by registering.

Specified by:

getForError in interface ErrorDependingParameter

Returns:

null, if not a TargetPicked, otherwise get()