souffle
2.0.2-371-g6315b36
|
Go to the documentation of this file.
30 class BinaryConstraint;
31 class IntrinsicFunctor;
32 class TranslationUnit;
41 static constexpr
const char*
name =
"polymorphic-objects";
47 void print(std::ostream& os)
const override;
NumericConstant::Type getInferredType(const NumericConstant *nc) const
const TypeAnalysis * typeAnalysis
AggregateOp
Types of aggregation functions.
FunctorOp getOverloadedFunctionOp(const IntrinsicFunctor *inf) const
Intrinsic Functor class for functors are in-built.
Translation unit class for the translation pipeline.
BinaryConstraintOp
Binary Constraint Operators.
void print(std::ostream &os) const override
print the analysis result in HTML format
Abstract class for a AST Analysis.
void run(const TranslationUnit &translationUnit) override
run analysis for a Ast translation unit
Defines the aggregator class.
static constexpr const char * name
BinaryConstraintOp getOverloadedOperator(const BinaryConstraint *bc) const
PolymorphicObjectsAnalysis()
bool hasInvalidType(const NumericConstant *nc) const