KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > cve > core > elementEEL > Make_env


1 /**
2  * @(#) Make_env.java
3  */
4
5 package cve.core.elementEEL;
6
7 import cve.core.comunicazione.*;
8 import cve.core.costruttori.*;
9 import cve.core.elementLDL.*;
10
11 /**
12  * Classe Astratta Per la scelta dinamica Ambiente
13  * da file di Configurazione
14  *
15  * @version 1.0 15/09/2003
16  * @author Francesco Guerrisi
17  */
18 public abstract class Make_env {
19     
20     protected String JavaDoc iconPath; //path icona ambiente
21 protected String JavaDoc titleEnv; //titolo ambiente
22 protected Environment env; //ambiente LDL
23 protected Ldl_to_Edl ldl_to_eel; //ambiente di comunicazione
24 protected IstanziaElement ist; //istanziatore per LDL
25 protected EnvironmentEEL envEEL; //ambiente EEL
26
27
28      /**
29     * Creazione Ambiente
30     */
31     public abstract void createEnv();
32       
33    /**
34     * Restituisce l'ambiente Generato
35     * @return EnvironmentEEL Ambiente da Visualizzare in CVE
36     */
37     public abstract EnvironmentEEL getEnvironmentEEL();
38     
39
40    /**
41     * Impostazione Icona Ambiente
42     */
43     public abstract void setIconEnv(String JavaDoc iconPath);
44
45
46    /**
47     * Impostazione Titolo Ambiente
48     */
49     public abstract void setTitle(String JavaDoc title);
50
51
52
53     
54 }
Popular Tags