zeus.util
Class GenSym

java.lang.Object
  zeus.util.GenSym

public class GenSym

extends java.lang.Object

Field Summary

protected int	count
protected java.lang.String	name
protected static java.lang.String	SEP
protected java.lang.String	suffix

Constructor Summary

GenSym()

GenSym(java.lang.String name)

GenSym(java.lang.String name, boolean isRuntime)

Method Summary

int	getCount()
java.lang.String	newId()
java.lang.String	newId(java.lang.String text)
java.lang.String	plainId(java.lang.String prefix)
void	set(int count)
void	set(java.lang.String name)

Methods inherited from class java.lang.Object

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

Field Detail

SEP

protected static final java.lang.String SEP

See Also:

Constant Field Values

name

protected java.lang.String name

suffix

protected java.lang.String suffix

count

protected int count

Constructor Detail

GenSym

public GenSym()

GenSym

public GenSym(java.lang.String name)

GenSym

public GenSym(java.lang.String name,
              boolean isRuntime)

Method Detail

set

public void set(java.lang.String name)

set

public void set(int count)

getCount

public int getCount()

plainId

public java.lang.String plainId(java.lang.String prefix)

newId

public java.lang.String newId()

newId

public java.lang.String newId(java.lang.String text)