Commit 202bae83 authored by Philip Makedonski's avatar Philip Makedonski
Browse files

+ updated manifests, classpaths, configurations and meta data

parent 8e9356c9

de.ugoe.cs.swe.T3Q/.classpath

+9 −9
Original line number Diff line number Diff line 
<?xml version="1.0" encoding="UTF-8"?>

<classpath>

	<classpathentry kind="src" path="src"/>

	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>

	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>

	<classpathentry combineaccessrules="false" kind="src" path="/de.ugoe.cs.swe.TTCN3"/>

	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>

	<classpathentry combineaccessrules="false" kind="src" path="/de.ugoe.cs.swe.TTCN3Configuration"/>

de.ugoe.cs.swe.T3Q/.project

+11 −0
Original line number Diff line number Diff line
@@ -25,4 +25,15 @@ 
		<nature>org.eclipse.jdt.core.javanature</nature>

		<nature>org.eclipse.pde.PluginNature</nature>

	</natures>

	<filteredResources>

		<filter>

			<id>1731405426863</id>

			<name></name>

			<type>30</type>

			<matcher>

				<id>org.eclipse.core.resources.regexFilterMatcher</id>

				<arguments>node_modules|\.git|__CREATED_BY_JAVA_LANGUAGE_SERVER__</arguments>

			</matcher>

		</filter>

	</filteredResources>

</projectDescription>

de.ugoe.cs.swe.T3Q/.settings/org.eclipse.jdt.core.prefs

+3 −3
Original line number Diff line number Diff line 
eclipse.preferences.version=1

org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled

org.eclipse.jdt.core.compiler.codegen.methodParameters=do not generate

org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8

org.eclipse.jdt.core.compiler.codegen.targetPlatform=21

org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve

org.eclipse.jdt.core.compiler.compliance=1.8

org.eclipse.jdt.core.compiler.compliance=21

org.eclipse.jdt.core.compiler.debug.lineNumber=generate

org.eclipse.jdt.core.compiler.debug.localVariable=generate

org.eclipse.jdt.core.compiler.debug.sourceFile=generate
@@ -12,4 +12,4 @@ org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled 
org.eclipse.jdt.core.compiler.problem.enumIdentifier=error

org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning

org.eclipse.jdt.core.compiler.release=enabled

org.eclipse.jdt.core.compiler.source=1.8
 
org.eclipse.jdt.core.compiler.source=21

de.ugoe.cs.swe.TTCN3.ui/.classpath

+1 −1
Original line number Diff line number Diff line
@@ -3,7 +3,7 @@ 
	<classpathentry kind="src" path="src"/>

	<classpathentry kind="src" path="src-gen"/>

	<classpathentry kind="src" path="xtend-gen"/>

	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>

	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>

	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>

	<classpathentry kind="output" path="bin"/>

</classpath>

de.ugoe.cs.swe.TTCN3.ui/.project

+11 −0
Original line number Diff line number Diff line
@@ -31,4 +31,15 @@ 
		<nature>org.eclipse.pde.PluginNature</nature>

		<nature>org.eclipse.xtext.ui.shared.xtextNature</nature>

	</natures>

	<filteredResources>

		<filter>

			<id>1731405426882</id>

			<name></name>

			<type>30</type>

			<matcher>

				<id>org.eclipse.core.resources.regexFilterMatcher</id>

				<arguments>node_modules|\.git|__CREATED_BY_JAVA_LANGUAGE_SERVER__</arguments>

			</matcher>

		</filter>

	</filteredResources>

</projectDescription>