public interface IGenerationFragmentProvider
Modifier and Type | Method and Description |
---|---|
java.lang.Iterable<IGenerationFragment> |
getAllFragments()
Collects all
IGenerationFragment . |
org.eclipse.core.resources.IProject |
getFragmentProject(org.eclipse.core.resources.IProject modelProject,
IGenerationFragment fragment)
Returns the fragment project for the
IGenerationFragment based on the modelProject. |
java.lang.Iterable<IGenerationFragment> |
getFragmentsForPattern(org.eclipse.viatra.query.patternlanguage.patternLanguage.Pattern pattern)
Collects the generation fragments applicable for a selected pattern.
|
java.lang.Iterable<IGenerationFragment> getFragmentsForPattern(org.eclipse.viatra.query.patternlanguage.patternLanguage.Pattern pattern)
pattern
- java.lang.Iterable<IGenerationFragment> getAllFragments()
IGenerationFragment
.org.eclipse.core.resources.IProject getFragmentProject(org.eclipse.core.resources.IProject modelProject, IGenerationFragment fragment)
IGenerationFragment
based on the modelProject.modelProject
- fragment
-