package key;
import java.io.*;
import java.util.Date;
import java.util.StringTokenizer;
import java.util.Enumeration;
import key.effect.*;
/**
*/
public abstract class TransitAtom extends Atom
{
private static final long serialVersionUID = -8728916863196191165L;
public TransitAtom()
{
}
public abstract Atom getRealAtom();
public void search( Search s ) throws InvalidSearchException
{
s.dirty = true;
s.result = getRealAtom();
}
String getId_imp()
{
Atom a = getRealAtom();
if( a != null )
return( a.getId() );
else
return( Key.nullString );
}
}