Inheritance diagram for Fortran::evaluate::CheckSpecificationExprHelper:

Public Types
using	Result = std::optional< std::string >

using	Base = AnyTraverse< CheckSpecificationExprHelper, Result >

Public Member Functions
	CheckSpecificationExprHelper (const semantics::Scope &s, FoldingContext &context, bool forElementalFunctionResult)

Result	operator() (const CoarrayRef &) const

Result	operator() (const semantics::Symbol &symbol) const

Result	operator() (const Component &x) const

Result	operator() (const ArrayRef &x) const

Result	operator() (const Substring &x) const

Result	operator() (const DescriptorInquiry &x) const

Result	operator() (const TypeParamInquiry &inq) const

Result	operator() (const ProcedureRef &x) const

Public Member Functions inherited from Fortran::evaluate::AnyTraverse< CheckSpecificationExprHelper, std::optional< std::string > >
	AnyTraverse (CheckSpecificationExprHelper &v)

std::optional< std::string >	Default () const

Public Member Functions inherited from Fortran::evaluate::Traverse< Visitor, Result, TraverseAssocEntityDetails >
	Traverse (Visitor &v)

template<typename A , bool C>
Result	operator() (const common::Indirection< A, C > &x) const

template<typename A >
Result	operator() (const common::ForwardOwningPointer< A > &p) const

template<typename _ >
Result	operator() (const SymbolRef x) const

template<typename A >
Result	operator() (const std::unique_ptr< A > &x) const

template<typename A >
Result	operator() (const std::shared_ptr< A > &x) const

template<typename A >
Result	operator() (const A *x) const

template<typename A >
Result	operator() (const std::optional< A > &x) const

template<typename... As>
Result	operator() (const std::variant< As... > &u) const

template<typename A >
Result	operator() (const std::vector< A > &x) const

template<typename A , typename B >
Result	operator() (const std::pair< A, B > &x) const

Result	operator() (const BOZLiteralConstant &) const

Result	operator() (const NullPointer &) const

template<typename T >
Result	operator() (const Constant< T > &x) const

Result	operator() (const Symbol &symbol) const

Result	operator() (const StaticDataObject &) const

Result	operator() (const ImpliedDoIndex &) const

Result	operator() (const BaseObject &x) const

Result	operator() (const Component &x) const

Result	operator() (const NamedEntity &x) const

Result	operator() (const TypeParamInquiry &x) const

Result	operator() (const Triplet &x) const

Result	operator() (const Subscript &x) const

Result	operator() (const ArrayRef &x) const

Result	operator() (const CoarrayRef &x) const

Result	operator() (const DataRef &x) const

Result	operator() (const Substring &x) const

Result	operator() (const ComplexPart &x) const

template<typename T >
Result	operator() (const Designator< T > &x) const

template<typename T >
Result	operator() (const Variable< T > &x) const

Result	operator() (const DescriptorInquiry &x) const

Result	operator() (const SpecificIntrinsic &) const

Result	operator() (const ProcedureDesignator &x) const

Result	operator() (const ActualArgument &x) const

Result	operator() (const ProcedureRef &x) const

template<typename T >
Result	operator() (const FunctionRef< T > &x) const

template<typename T >
Result	operator() (const ArrayConstructorValue< T > &x) const

template<typename T >
Result	operator() (const ArrayConstructorValues< T > &x) const

template<typename T >
Result	operator() (const ImpliedDo< T > &x) const

Result	operator() (const semantics::ParamValue &x) const

Result	operator() (const semantics::DerivedTypeSpec::ParameterMapType::value_type &x) const

Result	operator() (const semantics::DerivedTypeSpec::ParameterMapType &x) const

Result	operator() (const semantics::DerivedTypeSpec &x) const

Result	operator() (const StructureConstructorValues::value_type &x) const

Result	operator() (const StructureConstructorValues &x) const

Result	operator() (const StructureConstructor &x) const

template<typename D , typename R , typename O >
Result	operator() (const Operation< D, R, O > &op) const

template<typename D , typename R , typename LO , typename RO >
Result	operator() (const Operation< D, R, LO, RO > &op) const

Result	operator() (const Relational< SomeType > &x) const

template<typename T >
Result	operator() (const Expr< T > &x) const

Result	operator() (const Assignment &x) const

Result	operator() (const Assignment::Intrinsic &) const

Result	operator() (const GenericExprWrapper &x) const

Result	operator() (const GenericAssignmentWrapper &x) const

Additional Inherited Members
Static Public Member Functions inherited from Fortran::evaluate::AnyTraverse< CheckSpecificationExprHelper, std::optional< std::string > >
static std::optional< std::string >	Combine (std::optional< std::string > &&x, std::optional< std::string > &&y)

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

lib/Evaluate/check-expression.cpp

Public Types

Public Member Functions

Additional Inherited Members