Lines Matching refs:SubscriptInteger
52 std::optional<Expr<SubscriptInteger>> LEN() const;
53 std::optional<Expr<SubscriptInteger>> length;
56 std::optional<Expr<SubscriptInteger>> DynamicTypeWithLength::LEN() const { in LEN()
853 std::optional<Expr<SubscriptInteger>> ExpressionAnalyzer::GetSubstringBound( in GetSubstringBound()
861 if (auto *ssIntExpr{std::get_if<Expr<SubscriptInteger>>(&intExpr->u)}) { in GetSubstringBound()
864 return {Expr<SubscriptInteger>{ in GetSubstringBound()
865 Convert<SubscriptInteger, TypeCategory::Integer>{ in GetSubstringBound()
883 std::optional<Expr<SubscriptInteger>> first{ in Analyze()
885 std::optional<Expr<SubscriptInteger>> last{ in Analyze()
909 std::optional<Expr<SubscriptInteger>> lower{ in Analyze()
911 std::optional<Expr<SubscriptInteger>> upper{ in Analyze()
915 Expr<SubscriptInteger> length{ in Analyze()
919 lower = Expr<SubscriptInteger>{1}; in Analyze()
922 upper = Expr<SubscriptInteger>{ in Analyze()
962 std::optional<Expr<SubscriptInteger>> ExpressionAnalyzer::AsSubscript( in AsSubscript()
970 if (auto *ssIntExpr{std::get_if<Expr<SubscriptInteger>>(&intExpr->u)}) { in AsSubscript()
973 return Expr<SubscriptInteger>{ in AsSubscript()
974 Convert<SubscriptInteger, TypeCategory::Integer>{ in AsSubscript()
984 std::optional<Expr<SubscriptInteger>> ExpressionAnalyzer::TripletPart( in TripletPart()
1220 std::vector<Expr<SubscriptInteger>> cosubscripts; in Analyze()
1227 ConvertToType<SubscriptInteger>(std::move(*intExpr))); in Analyze()
1261 Expr<SubscriptInteger> value{ in IntegerTypeSpecKind()
3158 Expr<SubscriptInteger> ExpressionAnalyzer::AnalyzeKindSelector( in AnalyzeKindSelector()
3163 return Expr<SubscriptInteger>{defaultKind}; in AnalyzeKindSelector()
3171 return Expr<SubscriptInteger>{*code}; in AnalyzeKindSelector()
3174 return ConvertToType<SubscriptInteger>(std::move(*intExpr)); in AnalyzeKindSelector()
3177 return Expr<SubscriptInteger>{defaultKind}; in AnalyzeKindSelector()
3186 return Expr<SubscriptInteger>{size}; in AnalyzeKindSelector()
3866 evaluate::Expr<evaluate::SubscriptInteger> AnalyzeKindSelector( in AnalyzeKindSelector()