/usr/include/Synopsis/TypeAnalysis/ConstEvaluator.hh is in libsynopsis0.12-dev 0.12-10.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 | //
// Copyright (C) 2004 Stefan Seefeld
// All rights reserved.
// Licensed to the public under the terms of the GNU LGPL (>= 2),
// see the file COPYING for details.
//
#ifndef Synopsis_TypeAnalysis_ConstEvaluator_hh_
#define Synopsis_TypeAnalysis_ConstEvaluator_hh_
#include <Synopsis/PTree/Visitor.hh>
#include <Synopsis/PTree/Atoms.hh>
#include <Synopsis/PTree/Lists.hh>
#include <Synopsis/SymbolLookup/Scope.hh>
#include <cassert>
namespace Synopsis
{
namespace TypeAnalysis
{
//. Evaluate the value of a constant expression.
class ConstEvaluator : private PTree::Visitor
{
public:
ConstEvaluator(SymbolLookup::Scope const *s) : my_valid(false), my_scope(s) {}
bool evaluate(PTree::Node const *node, long &value);
private:
virtual void visit(PTree::Literal *);
virtual void visit(PTree::Identifier *);
virtual void visit(PTree::FstyleCastExpr *);
virtual void visit(PTree::InfixExpr *);
virtual void visit(PTree::SizeofExpr *);
virtual void visit(PTree::UnaryExpr *);
virtual void visit(PTree::CondExpr *);
virtual void visit(PTree::ParenExpr *);
bool my_valid;
long my_value;
SymbolLookup::Scope const *my_scope;
};
//. Evaluate the value of a constant expression.
//. TODO: This may also return the type of the expression...
inline bool evaluate_const(SymbolLookup::Scope const *scope,
PTree::Node const *node, long &value)
{
if (!node) return false;
ConstEvaluator e(scope);
return e.evaluate(node, value);
}
}
}
#endif
|