souffle
2.0.2-371-g6315b36
|
Go to the documentation of this file.
33 class FunctorAnalysis :
public Analysis {
35 static constexpr
const char*
name =
"functor-analysis";
41 void print(std::ostream& )
const override {}
static bool isMultiResult(const Functor &functor)
Analysis(std::string identifier)
void print(std::ostream &) const override
print the analysis result in HTML format
const std::vector< TypeAttribute > & getArgTypes(const UserDefinedFunctor &udf) const
User-Defined functor class.
TypeAttribute getReturnType(const Functor *functor) const
Return return type of functor.
Translation unit class for the translation pipeline.
void run(const TranslationUnit &translationUnit) override
run analysis for a Ast translation unit
TypeAttribute getArgType(const Functor *functor, const size_t idx) const
Return argument type of functor.
static constexpr const char * name
bool isStateful(const UserDefinedFunctor *udf) const
Return whether a UDF is stateful.
const TypeAnalysis * typeAnalysis