Lines Matching defs:Legality
54 enum class Legality { never, always, formerly };
60 constexpr Legality IsLegalDoTerm(const parser::Statement<A> &) {
63 return Legality::always;
69 return Legality::formerly;
71 return Legality::never;
75 constexpr Legality IsLegalDoTerm(
79 return Legality::always;
94 return Legality::formerly;
96 return Legality::never;
105 constexpr Legality IsLegalBranchTarget(const parser::Statement<A> &) {
131 return Legality::always;
133 return Legality::never;
141 if (IsLegalDoTerm(statement) == Legality::always) {
143 } else if (IsLegalDoTerm(statement) == Legality::formerly) {
146 if (IsLegalBranchTarget(statement) == Legality::always) {
148 } else if (IsLegalBranchTarget(statement) == Legality::formerly) {