plugin.xml 4.3 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798
  1. <?xml version="1.0" encoding="UTF-8"?>
  2. <?eclipse version="3.0"?>
  3. <plugin>
  4. <extension
  5. point="org.eclipse.ui.preferencePages">
  6. <page
  7. class="org.yakindu.base.expressions.ui.ExpressionsExecutableExtensionFactory:org.eclipse.xtext.ui.editor.preferences.LanguageRootPreferencePage"
  8. id="org.yakindu.base.expressions.Expressions"
  9. name="Expressions">
  10. <keywordReference id="org.yakindu.base.expressions.ui.keyword_Expressions"/>
  11. </page>
  12. <page
  13. category="org.yakindu.base.expressions.Expressions"
  14. class="org.yakindu.base.expressions.ui.ExpressionsExecutableExtensionFactory:org.eclipse.xtext.ui.editor.syntaxcoloring.SyntaxColoringPreferencePage"
  15. id="org.yakindu.base.expressions.Expressions.coloring"
  16. name="Syntax Coloring">
  17. <keywordReference id="org.yakindu.base.expressions.ui.keyword_Expressions"/>
  18. </page>
  19. <page
  20. category="org.yakindu.base.expressions.Expressions"
  21. class="org.yakindu.base.expressions.ui.ExpressionsExecutableExtensionFactory:org.eclipse.xtext.ui.editor.templates.XtextTemplatePreferencePage"
  22. id="org.yakindu.base.expressions.Expressions.templates"
  23. name="Templates">
  24. <keywordReference id="org.yakindu.base.expressions.ui.keyword_Expressions"/>
  25. </page>
  26. </extension>
  27. <extension
  28. point="org.eclipse.ui.keywords">
  29. <keyword
  30. id="org.yakindu.base.expressions.ui.keyword_Expressions"
  31. label="Expressions"/>
  32. </extension>
  33. <!-- marker definitions for org.yakindu.base.expressions.Expressions -->
  34. <extension
  35. id="expressions.check.fast"
  36. name="Expressions Problem"
  37. point="org.eclipse.core.resources.markers">
  38. <super type="org.eclipse.xtext.ui.check.fast"/>
  39. <persistent value="true"/>
  40. </extension>
  41. <extension
  42. id="expressions.check.normal"
  43. name="Expressions Problem"
  44. point="org.eclipse.core.resources.markers">
  45. <super type="org.eclipse.xtext.ui.check.normal"/>
  46. <persistent value="true"/>
  47. </extension>
  48. <extension
  49. id="expressions.check.expensive"
  50. name="Expressions Problem"
  51. point="org.eclipse.core.resources.markers">
  52. <super type="org.eclipse.xtext.ui.check.expensive"/>
  53. <persistent value="true"/>
  54. </extension>
  55. <extension
  56. point="org.eclipse.ui.preferencePages">
  57. <page
  58. category="org.yakindu.base.expressions.Expressions"
  59. class="org.yakindu.base.expressions.ui.ExpressionsExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage"
  60. id="org.yakindu.base.expressions.Expressions.compiler.preferencePage"
  61. name="Compiler">
  62. <keywordReference id="org.yakindu.base.expressions.ui.keyword_Expressions"/>
  63. </page>
  64. </extension>
  65. <!-- quickfix marker resolution generator for org.yakindu.base.expressions.Expressions -->
  66. <extension
  67. point="org.eclipse.ui.ide.markerResolution">
  68. <markerResolutionGenerator
  69. class="org.yakindu.base.expressions.ui.ExpressionsExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
  70. markerType="org.yakindu.base.expressions.ui.expressions.check.fast">
  71. <attribute
  72. name="FIXABLE_KEY"
  73. value="true">
  74. </attribute>
  75. </markerResolutionGenerator>
  76. <markerResolutionGenerator
  77. class="org.yakindu.base.expressions.ui.ExpressionsExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
  78. markerType="org.yakindu.base.expressions.ui.expressions.check.normal">
  79. <attribute
  80. name="FIXABLE_KEY"
  81. value="true">
  82. </attribute>
  83. </markerResolutionGenerator>
  84. <markerResolutionGenerator
  85. class="org.yakindu.base.expressions.ui.ExpressionsExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
  86. markerType="org.yakindu.base.expressions.ui.expressions.check.expensive">
  87. <attribute
  88. name="FIXABLE_KEY"
  89. value="true">
  90. </attribute>
  91. </markerResolutionGenerator>
  92. </extension>
  93. </plugin>