KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > cve > esecutori > components > automatonB > IAutomaControllo


1 package cve.esecutori.components.automatonB;
2
3 import java.io.*;
4
5 import cve.esecutori.components.specificaLV.*;
6 import java.io.IOException JavaDoc;
7
8 /**
9  * Astrazione per la generazione di macchina a stati finiti
10  * (automa di controllo dell'interazione visuale) che contiene le
11  * informazioni necessarie per la generazione di sentenze visuali
12  * corrette(algoritmo toplas).
13  *
14  * @see cve.esecutori.components.automatonB.AutControlB
15  *
16  * @version 1.0 09/01/02
17  * @author Domenico Ventriglia
18  */
19 public interface IAutomaControllo{
20
21    /**
22         * Creazione del'automa di controllo (ipotesi e algoritmo vedi toplas)
23         *
24         * @param fileAlf file alfabeto
25         * @param fileLang file regole
26         * @param spe creatore di specifica
27         */
28    String JavaDoc createCA(String JavaDoc fileAlf,File fileLang,ISpecifica spe)throws java.io.IOException JavaDoc;
29 }
30
31
Popular Tags