fdec3a614e41cdad1078a4da959d80b0d1c4a043
[scilab.git] / scilab / modules / ast / includes / symbol / context.hxx
1 /*
2  *  Scilab ( http://www.scilab.org/ ) - This file is part of Scilab
3  *  Copyright (C) 2007-2008 - INRIA - Bruno JOFRET
4  *
5  *  This file must be used under the terms of the CeCILL.
6  *  This source file is licensed as described in the file COPYING, which
7  *  you should have received as part of this distribution.  The terms
8  *  are also available at
9  *  http://www.cecill.info/licences/Licence_CeCILL_V2-en.txt
10  *
11  */
12
13 /**
14  ** \file symbol/context.hh
15  ** \brief Define class Context.
16  */
17
18 #ifndef __CONTEXT_HXX__
19 #define __CONTEXT_HXX__
20
21 #include "function.hxx"
22 #include "typesdecl.hxx"
23 #include "variables.hxx"
24 #include "libraries.hxx"
25
26 extern "C"
27 {
28 #include "dynlib_ast.h"
29 }
30
31 namespace symbol
32 {
33
34 /** \brief Define class Context.
35 */
36 class EXTERN_AST Context
37 {
38 public :
39     typedef std::map<Symbol, Variable*> VarList;
40     typedef std::stack<VarList*> VarStack;
41
42     static Context* getInstance(void);
43
44     static void destroyInstance(void);
45
46     /** Open a context scope i.e
47     ** open the heap table one
48     ** and the env table too. */
49     void scope_begin();
50
51     /** Close a context scope i.e
52     ** close the heap table one
53     ** and the env table too. */
54     void scope_end();
55
56     /** If key was associated to some Entry_T in the open scopes, return the
57     ** most recent insertion. Otherwise return the empty pointer. */
58     types::InternalType* get(const Symbol& key);
59     types::InternalType* get(const Variable* _var);
60     Variable* getOrCreate(const Symbol& _key);
61
62     /** If key was associated to some Entry_T in the last opened scope, return it.
63     ** Otherwise return the empty pointer. */
64     types::InternalType* getCurrentLevel(const Symbol& key);
65
66     /** If key was associated to some Entry_T in the open scopes, return the
67     ** most recent insertion DESPITE the current/last one. Otherwise return the empty pointer. */
68     types::InternalType* getAllButCurrentLevel(const Symbol& key);
69
70     /** If key was associated to some Entry_T in the open scopes, return the
71     ** most recent insertion. Otherwise return the empty pointer. */
72     types::InternalType* getFunction(const Symbol& key);
73
74     /*return function list in the module _stModuleName*/
75     std::list<Symbol>* getFunctionList(std::wstring _stModuleName);
76
77     std::list<std::wstring>* getVarsName();
78     std::list<std::wstring>* getMacrosName();
79     std::list<std::wstring>* getFunctionsName();
80     std::list<std::wstring>* getVarsNameForWho(bool sorted);
81     std::list<std::wstring>* getGlobalNameForWho(bool sorted);
82
83     /* global functions */
84
85     /*return global variable visibility status*/
86     bool isGlobalVisible(const Symbol& key);
87
88     /*return global variable existance status*/
89     bool isGlobal(const Symbol& key);
90
91     /*remove global variable and all visibility references */
92     //clearglobal("a")
93     void removeGlobal(const Symbol& key);
94
95     /*remove all global variables and references */
96     //clearglobal
97     void removeGlobalAll();
98
99     void clearAll();
100
101     /*set variable visible/hidden in current global scope*/
102     void setGlobalVisible(const Symbol& key, bool bVisible);
103     void setGlobal(const Symbol& key);
104
105     types::InternalType* getGlobalValue(const Symbol& _key);
106
107     /*add symbol and value in the stack*/
108     void put(const Symbol& _key, types::InternalType* _pIT);
109     void put(Variable* _var, types::InternalType* _pIT);
110     /*add symbol and value in the previous scope*/
111     bool putInPreviousScope(Variable* _var, types::InternalType* _pIT);
112
113     /* remove symbol/value association */
114     //clear("a")
115     bool remove(const Symbol& key);
116     //clear();
117     bool removeAll();
118
119     bool addFunction(types::Function *_info);
120     bool addMacro(types::Macro *_info);
121     bool addMacroFile(types::MacroFile *_info);
122     void print(std::wostream& ostr, bool bSorted = false) const;
123     int getScopeLevel();
124     bool isValidVariableName(const wchar_t*);
125     bool isValidVariableName(const char*);
126 private:
127
128     types::InternalType* get(const Symbol& key, int _iLevel);
129     bool clearCurrentScope(bool _bClose);
130
131     std::list<Symbol>* globals;
132     VarStack varStack;
133     Variables variables;
134     Libraries libraries;
135     int m_iLevel;
136
137     Context();
138     ~Context();
139
140     static Context* me;
141 };
142
143 inline std::wostream& operator<< (std::wostream& ostr, const Context &ctx)
144 {
145     ctx.print(ostr);
146     return ostr;
147 }
148
149 }
150 #endif /* !__CONTEXT_HXX__ */