Polaris: AnyExprSubset.h Source File

00001 ///
00002 /// \class AnyExprSubset 
00003 /// \brief Wildcard expression for an expression subset
00004 /// \defgroup Polaris
00005 /// \ingroup Polaris
00006 ///  Base
00007 /// \see Wildcard/AnyExprSubset.h
00008 /// \see Wildcard/Wildcard.cc
00009 /// \see Wildcard/AnyExprSubset.h
00010 ///
00011 /// \endcode
00012 /// \section Description Description
00013 /// AnyExprSubset is a wildcard expression which matches a
00014 /// subset of a commutative expression.  Unfortunately, this
00015 /// wildcard has not yet been implemented.
00016 ///
00017 /// For more details, please see Wildcard.
00018 ///
00019 #ifndef _ANY_EXPR_SUBSET_H
00020 #define _ANY_EXPR_SUBSET_H
00021 ///
00022 #ifdef POLARIS_GNU_PRAGMAS
00023 #pragma interface
00024 #endif
00025 ///
00026 #ifndef _WILDCARD_H
00027 #include "Wildcard.h"
00028 #endif
00029 ///
00030 ///
00031 /// NOT YET IMPLEMENTED!!!
00032 ///
00033 ///
00034 class AnyExprSubset : public Wildcard {
00035 public:
00036   AnyExprSubset();
00037   
00038   virtual Expression *clone() const;
00039   virtual void print_debug(ostream &o, Boolean debug) const;
00040   virtual Boolean _try_for_match(Expression &e, Boolean consider_side_effects);
00041   virtual int structures_OK() const;
00042 
00043   virtual const ExprSignature & update_signature();
00044   virtual int node_compare(const Expression &ex) const;
00045 };
00046 
00047 #endif