#include "signals.hh"Go to the source code of this file.
Functions | |
| void | recursivnessAnnotation (Tree sig) |
| Annotate a signal with recursivness. | |
| int | getRecursivness (Tree t) |
| Return the recursivness of a previously annotated signal. | |
| int getRecursivness | ( | Tree | sig | ) |
Return the recursivness of a previously annotated signal.
An error is generated if the signal has no recursivness property
| sig | signal |
Definition at line 64 of file recursivness.cpp.
References getProperty(), and tree2int().
Referenced by OccMarkup::incOcc(), and infereRecType().
00065 { 00066 Tree tr; 00067 if ( ! getProperty(sig, RECURSIVNESS, tr)) { 00068 cerr << "Error in getRecursivness of " << *sig << endl; 00069 exit(1); 00070 } 00071 return tree2int(tr); 00072 }
| void recursivnessAnnotation | ( | Tree | sig | ) |
Annotate a signal with recursivness.
Should be used before calling getRecursivness
| sig | signal to annotate |
Definition at line 51 of file recursivness.cpp.
References annotate(), and nil.
Referenced by DocCompiler::annotate(), ScalarCompiler::prepare(), and ScalarCompiler::prepare2().
1.6.3