Polaris: AnyExprSubset Class Reference
Main Page | Namespace List | Class Hierarchy | Alphabetical List | Class List | Directories | File List | Class Members | File Members

AnyExprSubset Class Reference

NOT YET IMPLEMENTED!!! More...

#include <AnyExprSubset.h>

Inheritance diagram for AnyExprSubset:

Inheritance graph
[legend]
List of all members.

Public Member Functions

 AnyExprSubset ()
 class AnyExprSubset
virtual Expression * clone () const
virtual void print_debug (ostream &o, Boolean debug) const
 debug indicates whether it should contain extra fields
virtual Boolean _try_for_match (Expression &e, Boolean consider_side_effects)
virtual int structures_OK () const
 Return 1 if my structures are in a valid state.
virtual const ExprSignature & update_signature ()
 Update my signature and return it.
virtual int node_compare (const Expression &ex) const

Detailed Description

NOT YET IMPLEMENTED!!!

Polaris Base

See also:
Wildcard/AnyExprSubset.h

Wildcard/Wildcard.cc

Wildcard/AnyExprSubset.h

Description

AnyExprSubset is a wildcard expression which matches a subset of a commutative expression. Unfortunately, this wildcard has not yet been implemented.

For more details, please see Wildcard.

Definition at line 34 of file AnyExprSubset.h.

Constructor & Destructor Documentation

AnyExprSubset::AnyExprSubset (   ) 
 

class AnyExprSubset

nothing else to do

Definition at line 796 of file Wildcard.cc.

References ANY_EXPR_SUBSET_WC, make_type(), and UNKNOWN_TYPE.

Member Function Documentation

Expression * AnyExprSubset::clone (   )  const [virtual]
 

return a new NonBinaryExpr!!!

Implements Wildcard.

Definition at line 803 of file Wildcard.cc.

virtual void AnyExprSubset::print_debug (  ostream &  o,
Boolean  debug
)  const [virtual]
 

debug indicates whether it should contain extra fields

Implements Wildcard.

virtual Boolean AnyExprSubset::_try_for_match (  Expression &  e,
Boolean  consider_side_effects
)  [virtual]
 

Implements Wildcard.

int AnyExprSubset::structures_OK (   )  const [virtual]
 

Return 1 if my structures are in a valid state.

Implements Wildcard.

Definition at line 827 of file Wildcard.cc.

References True.

const ExprSignature & AnyExprSubset::update_signature (   )  [virtual]
 

Update my signature and return it.

It is assumed that the signatures of my subexpressions are correct. Also call _clear() on all wildcard descendants.

Implements Wildcard.

Definition at line 978 of file Wildcard.cc.

References Wildcard::_wildcard_update_signature().

int AnyExprSubset::node_compare (  const Expression &  ex  )  const [virtual]
 

... Matches any other AnyExprSubset

Implements Wildcard.

Definition at line 1027 of file Wildcard.cc.

References ANY_EXPR_SUBSET_WC.

The documentation for this class was generated from the following files:
 © 1995-2005 University of Illinois, Urbana-Champaign. All rights reserved.  Fri Mar 25 23:06:38 2005