Inferno  0.2
uncombable.hpp
Go to the documentation of this file.
00001 /*
00002  * uncombable.hpp
00003  *
00004  *  Created on: 14 Mar 2012
00005  *      Author: jgraley
00006  */
00007 
00008 #ifndef UNCOMBABLE_HPP
00009 #define UNCOMBABLE_HPP
00010 
00011 #include "tree/cpptree.hpp"
00012 #include "common/common.hpp"
00013 
00014 namespace Steps {
00015 /// Make a sub-pattern for search that restricts for uncombability
00016 /** Insert in search pattern at the base of a construct, which can be a Statement
00017     or an Expression, and this step will restrict the search so that it only 
00018     matches if the construct contains something uncombable, somewhere underneath. */
00019 TreePtr<Node> MakeCheckUncombable( TreePtr<CPPTree::Statement> construct );
00020 };
00021 
00022 #endif