Logo Search packages:      
Sourcecode: maude version File versions  Download package

Classes | Public Types | Public Member Functions | Private Types | Private Member Functions | Static Private Member Functions | Private Attributes | Friends

View Class Reference

Inheritance diagram for View:
Inheritance graph
[legend]
Collaboration diagram for View:
Collaboration graph
[legend]

List of all members.

Classes

struct  BubblePair
struct  VarDecl

Public Types

typedef multimap< int, pair
< Term *, Term * > > 
OpTermMap
enum  ReturnValues { OP_TERM_MAPPING = -2 }

Public Member Functions

void addFrom (ModuleExpression *expr)
void addLabelMapping (Token from, Token to)
void addLabelMapping (int from, int to)
void addOpMapping (const Vector< Token > &tokens)
void addOpMapping (int code)
void addOpMappingPartialCopy (const Renaming *original, int index)
void addOpTarget (const Vector< Token > &tokens)
void addOpTarget (int code)
void addOpTargetTerm (Term *term)
void addOpTermMapping (const Vector< Token > &fromOp, const Vector< Token > &toTerm)
void addSortAndLabelMappings (const Renaming *original)
void addSortMapping (Token from, Token to)
void addSortMapping (int from, int to)
void addTo (ModuleExpression *expr)
void addType (bool kind, const Vector< Token > &tokens)
void addType (const ConnectedComponent *component)
void addUser (User *user)
void addVarDecl (Token varName)
bool evaluate ()
void finishView ()
const Vector< int > & getFormat (int index) const
ModuleExpressiongetFrom () const
ImportModulegetFromTheory () const
const Vector< int > & getGather (int index) const
int getLabelFrom (int index) const
int getLabelTo (int index) const
int getLineNumber () const
int getNrLabelMappings () const
int getNrOpMappings () const
int getNrSortMappings () const
int getNrTypes (int index) const
int getNrUsers () const
int getOpFrom (int index) const
TermgetOpMapTerm (Symbol *symbol) const
TermgetOpTargetTerm (int index) const
const OpTermMap & getOpTermMap () const
int getOpTo (int index) const
int getPrec (int index) const
int getSortFrom (int index) const
int getSortTo (int index) const
ModuleExpressiongetTo () const
ImportModulegetToModule () const
const set< int > & getTypeSorts (int index, int typeNr) const
int id () const
void informUsers ()
bool isComplete ()
crope makeCanonicalName () const
RenamingmakeCanonicalVersion (ImportModule *module) const
void printRenaming (ostream &s, const char *sep, const char *sep2) const
void removeUser (User *user)
int renameLabel (int oldId) const
int renameOp (int id, const Vector< int > &sortNames) const
int renameOp (Symbol *oldSymbol) const
int renamePolymorph (int oldId) const
int renameSort (int oldId) const
void setFormat (const Vector< Token > &format)
void setGather (const Vector< Token > &gather)
void setLatexMacro (const string &latexMacro)
void setLineNumber (int lineNr)
void setPrec (Token precTok)
void showView (ostream &s)
 View (Token viewName)

Private Types

typedef list< BubblePairOpTermList
enum  Status { INITIAL, GOOD, BAD, STALE }
typedef list< TypeTypeList
typedef list< VarDeclVarDeclList
typedef map< int, pair< Sort
*, int > > 
VarMap

Private Member Functions

bool checkOps ()
bool checkPolymorphicOps ()
bool checkSorts ()
void clearOpTermMap ()
void finishModule1 (ImportModule *module)
void finishModule2 (ImportModule *module)
bool handleOpTermMappings ()
bool handleVarDecls ()
bool indexRhsVariables (Term *term, const VarMap &varMap, int lineNr)
ConnectedComponentmapComponent (const ConnectedComponent *component, ImportModule *module) const
SortmapSort (const Sort *sort, ImportModule *module) const
void regretToInform (Entity *doomedEntity)

Static Private Member Functions

static bool typeMatch (const ConnectedComponent *c1, const ConnectedComponent *c2)
static bool typeMatch (const Symbol *s1, const Symbol *s2)

Private Attributes

ModuleExpressionfromExpr
ImportModulefromTheory
ImportModulenewFromTheory
ImportModulenewToModule
OpTermList opTermList
OpTermMap opTermMap
Status status
ModuleExpressiontoExpr
ImportModuletoModule
VarDeclList varDecls
TypeList varDefs

Friends

ostream & operator<< (ostream &s, const Type &type)

Detailed Description

Definition at line 34 of file view.hh.


The documentation for this class was generated from the following files:

Generated by  Doxygen 1.6.0   Back to index