public class ExtensionBasedGenerationFragmentProvider extends java.lang.Object implements IGenerationFragmentProvider
IGenerationFragment
classes - the fragment list is populated using the registered extensions
for the extension point.Constructor and Description |
---|
ExtensionBasedGenerationFragmentProvider() |
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.
|
public ExtensionBasedGenerationFragmentProvider()
public java.lang.Iterable<IGenerationFragment> getFragmentsForPattern(org.eclipse.viatra.query.patternlanguage.patternLanguage.Pattern pattern)
IGenerationFragmentProvider
getFragmentsForPattern
in interface IGenerationFragmentProvider
public java.lang.Iterable<IGenerationFragment> getAllFragments()
IGenerationFragmentProvider
IGenerationFragment
.getAllFragments
in interface IGenerationFragmentProvider
public org.eclipse.core.resources.IProject getFragmentProject(org.eclipse.core.resources.IProject modelProject, IGenerationFragment fragment)
IGenerationFragmentProvider
IGenerationFragment
based on the modelProject.getFragmentProject
in interface IGenerationFragmentProvider