/*
 *	CENA C++ Utilities
 *
 *	by Stephane Chatty
 *
 *	Copyright 1992-1995
 *	Centre d'Etudes de la Navigation Aerienne (CENA)
 *
 *	Automata.
 *
 *	$Id$
 *	$CurLog$
 */

#ifndef IvlAutomaton_H_
#define IvlAutomaton_H_

#include "cplus_bugs.h"
#include "List.h"
#include "HashTable.h"
#include "String.h"
#include "bool.h"

typedef void IvlToken;
typedef void IvlKey;
class IvlBaseState;
class IvlBaseAutomaton;

class IvlBaseLink {
protected:
	IvlBaseState*	To;
public:
		IvlBaseLink (IvlBaseState*);
virtual		~IvlBaseLink ();
virtual	void	Fire (IvlBaseState*, IvlBaseState*, IvlToken*) = 0;
inline	IvlBaseState*	GetDestination () const	{ return To;}
};

class IvlBaseState {
protected:
	IvlString	Name;
	IvlHashTableOf <IvlBaseLink>	Links;
	IvlBaseAutomaton*	TheAutomaton;

virtual	void	In () = 0;
virtual	void	Out () = 0;

public:
		IvlBaseState (const char*, IvlBaseAutomaton&);
virtual		~IvlBaseState ();
	void	Add (IvlBaseLink*);
	void	CreateLink (IvlBaseState*, IvlKey*);
	void	RemoveLink (IvlBaseLink*);
	IvlBaseState*	Next (IvlToken*, bool = false);
};

#if 0
typedef unsigned int (*HASH_F) (const IvlKey*, int);
typedef int (*HCMP_F) (const IvlKey*, const IvlKey*);
typedef IvlKey* (*HCP_F) (const IvlKey*);
typedef void (*HDEL_F) (const IvlKey*);
#endif
typedef IvlKey* (*AKEY_F) (IvlToken*);

class IvlBaseAutomaton {
friend	class	IvlBaseState;
friend	class	IvlAutomIter;
protected:
	int	Size;
	HASH_F	Hash;
	HCP_F	Copy;
	HDEL_F	Delete;
	HCMP_F	Compare;
	AKEY_F	GetKey;
	IvlBaseState*	Initial;
	IvlListOf <IvlBaseState>	AllStates;
public:
		IvlBaseAutomaton (AKEY_F = 0, HASH_F = 0, HCP_F = 0, HDEL_F = 0, HCMP_F = 0, int sz = 4);
		~IvlBaseAutomaton ();
inline	IvlBaseState*	GetInitial ()	{ return Initial; }
inline	void	SetInitial (IvlBaseState* s)	{ Initial = s; }
	IvlBaseState*	CreateState (const char* = 0);
};

class IvlState;
typedef void (IvlLinkFun) (IvlState*, IvlState*, IvlToken*);

class IvlLink : public IvlBaseLink {
protected:
	IvlLinkFun*	Fun;
public:
		IvlLink (IvlState*, IvlLinkFun*);
		~IvlLink ();
	void	Fire (IvlBaseState*, IvlBaseState*, IvlToken*);
};

typedef void (IvlStateFun) (IvlState*);
class IvlAutomaton;

class IvlState : public IvlBaseState {
protected:
	IvlStateFun*	InFun;
	IvlStateFun*	OutFun;

	void	In ();
	void	Out ();

public:
		IvlState (const char*, IvlAutomaton&, IvlStateFun* = 0, IvlStateFun* = 0);
		~IvlState ();
	void	CreateLink (IvlState*, IvlKey*, IvlLinkFun);
};

class IvlAutomaton : public IvlBaseAutomaton {
public:
inline		IvlAutomaton () : IvlBaseAutomaton ()	{}
inline		~IvlAutomaton ()	{}
	IvlState*	CreateState (const char* = 0, IvlStateFun = 0, IvlStateFun = 0);
};

class IvlAutomIter {
protected:
	IvlBaseAutomaton*	TheAutomaton;
	IvlBaseState*	CurState;
public:
		IvlAutomIter (IvlBaseAutomaton&);
		~IvlAutomIter ();
	bool	Step (IvlToken*);
};

#endif	/* IvlAutomaton_H_ */