ST6RI-864 Additional semantic transformation bugs#669

Merged

seidewitz merged 9 commits into

Jul 7, 2025

Commits on Jul 4, 2025

ST6RI-864 Removed spurious implicit gen entry for TerminateActionUsage.
seidewitz
committed
ST6RI-864 Satisfied checkFlowSpecialization for flows with no ends.
seidewitz
committed
ST6RI-864 Updated handling of result typing for IndexExpressions.
seidewitz
committed
ST6RI-864 Properly satisfied checkIncludeUseCaseUsageSpecialization.
seidewitz
committed
ST6RI-864 Implemented node succession specializations.
seidewitz
committed
ST6RI-864 Updated FeatureChainExpression result typing.
seidewitz
committed
ST6RI-864 Added AnalysisCase and VerificationCase adapters to factory.
seidewitz
committed
ST6RI-864 Updated UsageUtil.getObjectiveRequirementOf for feature chains
seidewitz
committed

Commits on Jul 5, 2025

ST6RI-864 Removed ActionUsageAdapter.isNonExitEntryComposite method.
seidewitz
committed