1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
/* $Id$
*
* Wait conditions: Checks sensitivity lists and wait statements, and
* transforms sensitivity lists into wait statements.
*
* Copyright (C) 2008-2009 FAUmachine Team <info@faumachine.org>.
* This program is free software. You can redistribute it and/or modify it
* under the terms of the GNU General Public License, either version 2 of
* the License, or (at your option) any later version. See COPYING.
*/
#ifndef __WAIT_CONDITIONS_HPP_INCLUDED
#define __WAIT_CONDITIONS_HPP_INCLUDED
#include <list>
#include "frontend/visitor/TopDownVisitor.hpp"
namespace ast {
//! Check/generate wait conditions from sensitivity lists.
/** dependencies:
* - ResolveTypes (overload resolution must have happened)
*/
class WaitConditions : public TopDownVisitor {
public:
//! c'tor.
WaitConditions();
/** Visit a Process node.
* @param node Process node that get's visited.
*/
virtual void visit(Process &node);
/** Visit a WaitStat
* @param node WaitStat node that get's visited.
*/
virtual void visit(WaitStat &node);
/** Visit a ProcCallStat
*
* @param node ReturnStat node that get's visited.
*/
virtual void visit(ProcCallStat &node);
/** Visit a ProcedureDeclaration node.
* @param node ProcedureDeclaration node that get's visited.
*/
virtual void visit(ProcedureDeclaration &node);
private:
//! sensitivity list of currently examined process (or NULL)
std::list<Name*> *sensList;
//! wait statement found in the process?
bool waitSeen;
};
}; /* namespace ast */
#endif /* __WAIT_CONDITIONS_HPP_INCLUDED */
|
