Commit 25371403 authored by Daniel Honsel's avatar Daniel Honsel
Browse files

we currently do not use the formatter and the generator API

parent 6d56f5f2
Loading
Loading
Loading
Loading
+0 −33
Original line number Diff line number Diff line
@@ -247,39 +247,6 @@
	    <persistent value="true"/>
	</extension>

   <extension
         point="org.eclipse.xtext.builder.participant">
      <participant
            class="de.ugoe.cs.swe.ui.TTCN3ExecutableExtensionFactory:org.eclipse.xtext.builder.IXtextBuilderParticipant"
            fileExtensions="ttcn3"
            >
      </participant>
   </extension>
   <extension
            point="org.eclipse.ui.preferencePages">
        <page
            category="de.ugoe.cs.swe.TTCN3"
            class="de.ugoe.cs.swe.ui.TTCN3ExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage"
            id="de.ugoe.cs.swe.TTCN3.compiler.preferencePage"
            name="Compiler">
            <keywordReference id="de.ugoe.cs.swe.ui.keyword_TTCN3"/>
        </page>
    </extension>
    <extension
            point="org.eclipse.ui.propertyPages">
        <page
            category="de.ugoe.cs.swe.TTCN3"
            class="de.ugoe.cs.swe.ui.TTCN3ExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage"
            id="de.ugoe.cs.swe.TTCN3.compiler.propertyPage"
            name="Compiler">
            <keywordReference id="de.ugoe.cs.swe.ui.keyword_TTCN3"/>
            <enabledWhen>
	            <adapt type="org.eclipse.core.resources.IProject"/>
			</enabledWhen>
	        <filter name="projectNature" value="org.eclipse.xtext.ui.shared.xtextNature"/>
        </page>
    </extension>

	<!-- Quick Outline -->
	<extension
		point="org.eclipse.ui.handlers">
+2 −2
Original line number Diff line number Diff line
@@ -87,10 +87,10 @@ Workflow {
			fragment = builder.BuilderIntegrationFragment auto-inject {}

			// generator API
			fragment = generator.GeneratorFragment auto-inject {}
			//fragment = generator.GeneratorFragment auto-inject {}

			// formatter API
			fragment = formatting.FormatterFragment auto-inject {}
			//fragment = formatting.FormatterFragment auto-inject {}

			// labeling API
			fragment = labeling.LabelProviderFragment auto-inject {}
+23 −2
Original line number Diff line number Diff line
@@ -1534,6 +1534,27 @@ class TTCN3Validator extends AbstractTTCN3Validator {
/**
* END: Code Style ------------------------------------------------------------------------------
*/
	
	@Check
	def checkTypesAndValuesModuleContainmentCheck() {
		if (!activeProfile.checkTypesAndValuesModuleContainmentCheck) {
			return;
		}
	}
	  
/**
* BEGIN: Test Suite Modularization ------------------------------------------------------------------------------
*/	  


	


/**
* END: Test Suite Modularization ------------------------------------------------------------------------------
*/	  

	  
//TODO: update error parameters
/*