|
|
template<typename A> |
| static MaybeMsg | WhyNotOk (SemanticsContext &context, const A &x, CallContext callContext) |
|
template<typename A> |
| static MaybeMsg | WhyNotOk (SemanticsContext &context, const common::Indirection< A > &x, CallContext callContext) |
|
template<typename... As> |
| static MaybeMsg | WhyNotOk (SemanticsContext &context, const std::variant< As... > &x, CallContext callContext) |
|
template<std::size_t J = 0, typename... As> |
| static MaybeMsg | WhyNotOk (SemanticsContext &context, const std::tuple< As... > &x, CallContext callContext) |
|
template<typename A> |
| static MaybeMsg | WhyNotOk (SemanticsContext &context, const std::list< A > &x, CallContext callContext) |
|
template<typename A> |
| static MaybeMsg | WhyNotOk (SemanticsContext &context, const std::optional< A > &x, CallContext callContext) |
|
template<typename A> |
| static MaybeMsg | WhyNotOk (SemanticsContext &context, const parser::UnlabeledStatement< A > &x, CallContext callContext) |
|
template<typename A> |
| static MaybeMsg | WhyNotOk (SemanticsContext &context, const parser::Statement< A > &x, CallContext callContext) |
|
static MaybeMsg | WhyNotOk (SemanticsContext &context, const parser::AssignmentStmt &x, CallContext callContext) |
|
static MaybeMsg | WhyNotOk (SemanticsContext &context, const parser::CallStmt &x, CallContext callContext) |
|
static MaybeMsg | WhyNotOk (SemanticsContext &context, const parser::ContinueStmt &, CallContext callContext) |
|
static MaybeMsg | WhyNotOk (SemanticsContext &, const parser::PauseStmt &, CallContext callContext) |
|
static MaybeMsg | WhyNotOk (SemanticsContext &context, const parser::NullifyStmt &x, CallContext callContext) |
|
static MaybeMsg | WhyNotOk (SemanticsContext &context, const parser::PointerAssignmentStmt &x, CallContext callContext) |