diff options
author | Henrik Rentz-Reichert | 2012-07-16 16:02:43 +0000 |
---|---|---|
committer | Henrik Rentz-Reichert | 2012-07-16 16:02:43 +0000 |
commit | b2633f63c364881063cbaa425d7b916a63747bbb (patch) | |
tree | e142bd5e4ae1cc341c57b7dace6ba4ddad173b83 /plugins/org.eclipse.etrice.core.room.ui/plugin.xml_gen | |
parent | e5a093b4c44cbc7b4dde38f2f30139a3664c4ccc (diff) | |
download | org.eclipse.etrice-b2633f63c364881063cbaa425d7b916a63747bbb.tar.gz org.eclipse.etrice-b2633f63c364881063cbaa425d7b916a63747bbb.tar.xz org.eclipse.etrice-b2633f63c364881063cbaa425d7b916a63747bbb.zip |
[core.room] re-generated with Xtext 2.3
Diffstat (limited to 'plugins/org.eclipse.etrice.core.room.ui/plugin.xml_gen')
-rw-r--r-- | plugins/org.eclipse.etrice.core.room.ui/plugin.xml_gen | 57 |
1 files changed, 50 insertions, 7 deletions
diff --git a/plugins/org.eclipse.etrice.core.room.ui/plugin.xml_gen b/plugins/org.eclipse.etrice.core.room.ui/plugin.xml_gen index 0d32501f6..0b4a70ead 100644 --- a/plugins/org.eclipse.etrice.core.room.ui/plugin.xml_gen +++ b/plugins/org.eclipse.etrice.core.room.ui/plugin.xml_gen @@ -151,6 +151,28 @@ </extension> + <!-- marker definitions for org.eclipse.etrice.core.Room --> + <extension + id="room.check.fast" + name="Room Problem" + point="org.eclipse.core.resources.markers"> + <super type="org.eclipse.xtext.ui.check.fast"/> + <persistent value="true"/> + </extension> + <extension + id="room.check.normal" + name="Room Problem" + point="org.eclipse.core.resources.markers"> + <super type="org.eclipse.xtext.ui.check.normal"/> + <persistent value="true"/> + </extension> + <extension + id="room.check.expensive" + name="Room Problem" + point="org.eclipse.core.resources.markers"> + <super type="org.eclipse.xtext.ui.check.expensive"/> + <persistent value="true"/> + </extension> <!-- Quick Outline --> <extension @@ -185,13 +207,34 @@ </command> </menuContribution> </extension> - <!-- quickfix marker resolution generator --> - <extension - point="org.eclipse.ui.ide.markerResolution"> - <markerResolutionGenerator - class="org.eclipse.etrice.core.ui.RoomExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"> - </markerResolutionGenerator> - </extension> + <!-- quickfix marker resolution generator for org.eclipse.etrice.core.Room --> + <extension + point="org.eclipse.ui.ide.markerResolution"> + <markerResolutionGenerator + class="org.eclipse.etrice.core.ui.RoomExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator" + markerType="org.eclipse.etrice.core.ui.room.check.fast"> + <attribute + name="FIXABLE_KEY" + value="true"> + </attribute> + </markerResolutionGenerator> + <markerResolutionGenerator + class="org.eclipse.etrice.core.ui.RoomExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator" + markerType="org.eclipse.etrice.core.ui.room.check.normal"> + <attribute + name="FIXABLE_KEY" + value="true"> + </attribute> + </markerResolutionGenerator> + <markerResolutionGenerator + class="org.eclipse.etrice.core.ui.RoomExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator" + markerType="org.eclipse.etrice.core.ui.room.check.expensive"> + <attribute + name="FIXABLE_KEY" + value="true"> + </attribute> + </markerResolutionGenerator> + </extension> <!-- Rename Refactoring --> <extension point="org.eclipse.ui.handlers"> <handler |