diff --git a/DEPENDENCIES.txt b/DEPENDENCIES.txt index 7f2c31e37277d798d915a5776b6625257fc3d222..c726514e1730e2c3a79dfa7d5474456b396821b7 100644 --- a/DEPENDENCIES.txt +++ b/DEPENDENCIES.txt @@ -24,12 +24,18 @@ maven/mavencentral/org.eclipse.sisu/org.eclipse.sisu.inject/0.3.5, EPL-1.0, appr maven/mavencentral/org.eclipse.sisu/org.eclipse.sisu.plexus/0.3.5, EPL-1.0, approved, technology.sisu maven/mavencentral/org.hamcrest/hamcrest-core/1.3, BSD-2-Clause, approved, CQ11429 maven/mavencentral/org.jsoup/jsoup/1.8.3, MIT, approved, CQ12749 +maven/mavencentral/org.osgi/org.osgi.service.prefs/1.1.2, Apache-2.0, approved, #2451 +maven/mavencentral/org.osgi/org.osgi.util.function/1.2.0, Apache-2.0, approved, clearlydefined +maven/mavencentral/org.osgi/org.osgi.util.promise/1.2.0, Apache-2.0, approved, clearlydefined +maven/mavencentral/org.osgi/osgi.annotation/8.0.1, Apache-2.0, approved, clearlydefined +maven/mavencentral/org.ow2.sat4j/org.ow2.sat4j.core/2.3.6, (EPL-1.0 OR LGPL-2.0-or-later) AND MIT, approved, #1929 +maven/mavencentral/org.ow2.sat4j/org.ow2.sat4j.pb/2.3.6, (EPL-1.0 OR LGPL-2.1-or-later) AND MIT, approved, #1928 p2/orbit/p2.eclipse.plugin/com.ibm.icu/67.1.0.v20200706-1749, , approved, orbit p2/orbit/p2.eclipse.plugin/com.sun.jna.platform/5.8.0.v20210406-1004, , approved, orbit p2/orbit/p2.eclipse.plugin/com.sun.jna/5.8.0.v20210503-0343, , approved, orbit p2/orbit/p2.eclipse.plugin/io.github.java-diff-utils/4.8.0.v20201027-1614, , approved, orbit p2/orbit/p2.eclipse.plugin/javax.annotation/1.3.5.v20200909-1856, , approved, orbit -p2/orbit/p2.eclipse.plugin/javax.inject/1.0.0.v20091030, Apache-2.0, approved, CQ3555 +p2/orbit/p2.eclipse.plugin/javax.inject/1.0.0.v20220405-0441, Apache-2.0, approved, CQ3555 p2/orbit/p2.eclipse.plugin/org.apache.batik.anim/1.14.0.v20210324-0332, Apache-2.0, approved, #196 p2/orbit/p2.eclipse.plugin/org.apache.batik.awt.util/1.14.0.v20210324-0332, , approved, orbit p2/orbit/p2.eclipse.plugin/org.apache.batik.bridge/1.14.0.v20210324-0332, Apache-2.0, approved, #196 @@ -52,126 +58,122 @@ p2/orbit/p2.eclipse.plugin/org.apache.commons.logging/1.2.0.v20180409-1502, Apac p2/orbit/p2.eclipse.plugin/org.apache.commons.math3/3.6.1.v20200817-1830, , approved, orbit p2/orbit/p2.eclipse.plugin/org.apache.felix.scr/2.1.24.v20200924-1939, , approved, orbit p2/orbit/p2.eclipse.plugin/org.apache.xalan/2.7.2.v20201124-1837, , approved, orbit -p2/orbit/p2.eclipse.plugin/org.apache.xerces/2.12.1.v20210115-0812, , approved, orbit -p2/orbit/p2.eclipse.plugin/org.apache.xml.resolver/1.2.0.v201005080400, Apache-2.0, approved, CQ1441 +p2/orbit/p2.eclipse.plugin/org.apache.xerces/2.12.2.v20220131-0835, , approved, orbit +p2/orbit/p2.eclipse.plugin/org.apache.xml.resolver/1.2.0.v20220401-1849, Apache-2.0, approved, CQ1441 p2/orbit/p2.eclipse.plugin/org.apache.xmlgraphics/2.6.0.v20210409-0748, Apache-2.0, approved, CQ23228 -p2/orbit/p2.eclipse.plugin/org.bouncycastle.bcpg/1.65.0.v20200527-1955, Apache-2.0, approved, CQ21975 -p2/orbit/p2.eclipse.plugin/org.bouncycastle.bcprov/1.65.1.v20200529-1514, MIT AND LicenseRef-Public-Domain, approved, CQ21977 -p2/orbit/p2.eclipse.plugin/org.eclipse.ant.core/3.6.0.v20210415-1314, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.compare.core/3.6.1000.v20201020-1107, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.compare/3.8.0.v20210415-0713, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.core.commands/3.10.0.v20210401-0744, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.core.contenttype/3.7.1000.v20210409-1722, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.core.databinding.observable/1.10.0.v20200730-0848, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.core.databinding.property/1.8.100.v20200619-0651, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.core.databinding/1.10.100.v20200926-1123, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.core.expressions/3.7.100.v20210203-1000, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.core.filebuffers/3.7.0.v20210512-1543, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.core.filesystem/1.9.0.v20210419-1155, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.core.jobs/3.11.0.v20210420-1453, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.core.net/1.3.1100.v20210424-0724, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.core.resources/3.15.0.v20210521-0722, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.core.runtime/3.22.0.v20210506-1025, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.core.variables/3.5.0.v20210510-1945, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.debug.core/3.18.100.v20210511-0446, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.e4.core.commands/1.0.0.v20210507-1901, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.e4.core.contexts/1.8.400.v20191217-1710, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.e4.core.di.annotations/1.6.600.v20191216-2352, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.e4.core.di.extensions.supplier/0.16.0.v20210412-1358, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.e4.core.di.extensions/0.16.0.v20200507-0938, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.e4.core.di/1.7.800.v20210526-1618, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.e4.core.services/2.2.600.v20210110-1654, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.e4.emf.xpath/0.2.800.v20200609-0849, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.bindings/0.13.0.v20201119-1132, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.css.core/0.13.0.v20201015-0653, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.css.swt.theme/0.13.0.v20201026-1147, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.css.swt/0.14.200.v20210401-1241, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.di/1.3.0.v20210222-1018, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.dialogs/1.2.100.v20201109-2317, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.ide/3.15.200.v20210108-1832, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.model.workbench/2.1.1000.v20210111-0958, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.bouncycastle.bcpg/1.70.0.v20220507-1208, , approved, orbit +p2/orbit/p2.eclipse.plugin/org.bouncycastle.bcprov/1.70.0.v20220507-1208, , approved, orbit +p2/orbit/p2.eclipse.plugin/org.eclipse.ant.core/3.6.400.v20220317-1003, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.compare.core/3.7.0.v20220513-0551, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.compare/3.8.400.v20220420-1133, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.core.commands/3.10.200.v20220512-0851, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.core.contenttype/3.8.100.v20210910-0640, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.core.databinding.observable/1.12.0.v20211231-1006, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.core.databinding.property/1.9.0.v20210619-1129, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.core.databinding/1.11.0.v20220118-1028, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.core.expressions/3.8.100.v20210910-0640, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.core.filebuffers/3.7.200.v20220202-1008, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.core.filesystem/1.9.400.v20220419-0658, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.core.jobs/3.13.0.v20220512-1935, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.core.net/1.3.1200.v20220312-1450, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.core.resources/3.17.0.v20220517-0751, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.core.runtime/3.25.0.v20220506-1157, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.core.variables/3.5.100.v20210721-1355, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.debug.core/3.19.100.v20220324-0630, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.e4.core.commands/1.0.100.v20211204-1536, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.e4.core.contexts/1.10.0.v20220430-0424, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.e4.core.di.annotations/1.7.100.v20210910-0640, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.e4.core.di.extensions.supplier/0.16.300.v20220503-2248, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.e4.core.di.extensions/0.17.100.v20210910-0640, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.e4.core.di/1.8.200.v20220512-1957, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.e4.core.services/2.3.200.v20220513-1235, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.e4.emf.xpath/0.3.0.v20210722-1426, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.bindings/0.13.100.v20210722-1426, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.css.core/0.13.200.v20211022-1402, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.css.swt.theme/0.13.100.v20220310-1056, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.css.swt/0.14.500.v20220511-1639, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.di/1.4.0.v20210621-1133, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.dialogs/1.3.200.v20211210-1500, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.ide/3.16.100.v20220310-1350, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.model.workbench/2.2.100.v20220331-0744, EPL-2.0, approved, eclipse.platform p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.services/1.5.0.v20210115-1333, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.widgets/1.2.900.v20210412-0842, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.workbench.addons.swt/1.4.200.v20210321-1910, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.workbench.renderers.swt/0.15.100.v20210515-1815, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.workbench.swt/0.16.100.v20210315-1604, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.workbench/1.13.0.v20210521-0741, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.workbench3/0.15.500.v20201021-1339, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.emf.common/2.22.0.v20210319-0732, , approved, eclipse +p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.widgets/1.3.0.v20210621-1136, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.workbench.addons.swt/1.4.400.v20211102-0453, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.workbench.renderers.swt/0.15.500.v20220511-1638, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.workbench.swt/0.16.500.v20220506-1520, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.workbench/1.13.100.v20211019-0756, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.e4.ui.workbench3/0.16.0.v20210619-0956, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.emf.common/2.25.0.v20220325-0806, , approved, eclipse p2/orbit/p2.eclipse.plugin/org.eclipse.emf.ecore.change/2.14.0.v20190528-0725, , approved, eclipse p2/orbit/p2.eclipse.plugin/org.eclipse.emf.ecore.xmi/2.16.0.v20190528-0725, , approved, eclipse -p2/orbit/p2.eclipse.plugin/org.eclipse.emf.ecore/2.24.0.v20210405-0628, , approved, eclipse -p2/orbit/p2.eclipse.plugin/org.eclipse.emf.edit/2.16.0.v20190920-0401, , approved, eclipse +p2/orbit/p2.eclipse.plugin/org.eclipse.emf.ecore/2.27.0.v20220426-0617, , approved, eclipse +p2/orbit/p2.eclipse.plugin/org.eclipse.emf.edit/2.17.0.v20220201-1551, , approved, eclipse p2/orbit/p2.eclipse.plugin/org.eclipse.emf.validation/1.8.0.202008210805, , approved, eclipse -p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.app/1.5.100.v20210212-1143, EPL-2.0, approved, eclipse.equinox -p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.bidi/1.3.100.v20210212-1143, EPL-2.0, approved, eclipse.equinox -p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.common/3.15.0.v20210518-0604, EPL-2.0, approved, eclipse.equinox -p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.event/1.6.0.v20210212-1143, EPL-2.0, approved, eclipse.equinox -p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.frameworkadmin.equinox/1.2.0.v20210315-2042, EPL-2.0, approved, eclipse.equinox +p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.app/1.6.100.v20211021-1418, EPL-2.0, approved, eclipse.equinox +p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.bidi/1.4.100.v20211021-1418, EPL-2.0, approved, eclipse.equinox +p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.common/3.16.100.v20220315-2327, EPL-2.0, approved, eclipse.equinox +p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.event/1.6.100.v20211021-1418, EPL-2.0, approved, eclipse.equinox +p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.frameworkadmin.equinox/1.2.200.v20220315-2155, EPL-2.0, approved, eclipse.equinox p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.frameworkadmin/2.2.0.v20210315-2042, EPL-2.0, approved, eclipse.equinox -p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.launcher/1.6.200.v20210416-2027, EPL-2.0, approved, eclipse.equinox -p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.p2.artifact.repository/1.4.100.v20210418-1636, EPL-2.0, approved, eclipse.equinox -p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.p2.core/2.7.0.v20210315-2042, EPL-2.0, approved, eclipse.equinox -p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.p2.director.app/1.2.0.v20210315-2042, EPL-2.0, approved, eclipse.equinox -p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.p2.director/2.5.0.v20210325-0750, EPL-2.0, approved, eclipse.equinox -p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.p2.engine/2.7.0.v20210328-0514, EPL-2.0, approved, eclipse.equinox +p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.launcher/1.6.400.v20210924-0641, EPL-2.0, approved, eclipse.equinox +p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.p2.artifact.repository/1.4.500.v20220420-1427, EPL-2.0, approved, eclipse.equinox +p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.p2.core/2.9.100.v20220310-1733, EPL-2.0, approved, eclipse.equinox +p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.p2.director.app/1.2.100.v20211220-1825, EPL-2.0, approved, eclipse.equinox +p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.p2.director/2.5.300.v20220421-0708, EPL-2.0, approved, eclipse.equinox +p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.p2.engine/2.7.400.v20220329-1456, EPL-2.0, approved, eclipse.equinox p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.p2.garbagecollector/1.2.0.v20210316-1209, EPL-2.0, approved, eclipse.equinox -p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.p2.jarprocessor/1.2.0.v20210507-0825, EPL-2.0, approved, eclipse.equinox -p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.p2.metadata.repository/1.4.0.v20210315-2228, EPL-2.0, approved, eclipse.equinox -p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.p2.metadata/2.6.0.v20210331-1610, EPL-2.0, approved, eclipse.equinox -p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.p2.publisher.eclipse/1.4.0.v20210421-1159, EPL-2.0, approved, eclipse.equinox -p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.p2.publisher/1.6.0.v20210322-0909, EPL-2.0, approved, eclipse.equinox -p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.p2.repository.tools/2.3.0.v20210325-0750, EPL-2.0, approved, eclipse.equinox -p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.p2.repository/2.5.100.v20210329-1206, EPL-2.0, approved, eclipse.equinox -p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.p2.touchpoint.eclipse/2.3.0.v20210315-2228, EPL-2.0, approved, eclipse.equinox -p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.preferences/3.8.200.v20210212-1143, EPL-2.0, approved, eclipse.equinox -p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.registry/3.10.200.v20210503-1606, EPL-2.0, approved, eclipse.equinox -p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.security/1.3.600.v20210126-1005, EPL-2.0, approved, eclipse.equinox +p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.p2.jarprocessor/1.2.300.v20220420-1427, EPL-2.0, approved, eclipse.equinox +p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.p2.metadata.repository/1.4.100.v20220329-1456, EPL-2.0, approved, eclipse.equinox +p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.p2.metadata/2.6.200.v20220324-1313, EPL-2.0, approved, eclipse.equinox +p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.p2.publisher.eclipse/1.4.100.v20220420-1427, EPL-2.0, approved, eclipse.equinox +p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.p2.publisher/1.7.100.v20220420-1427, EPL-2.0, approved, eclipse.equinox +p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.p2.repository.tools/2.3.100.v20220504-1755, EPL-2.0, approved, eclipse.equinox +p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.p2.repository/2.6.100.v20220422-1806, EPL-2.0, approved, eclipse.equinox +p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.p2.touchpoint.eclipse/2.3.200.v20220503-2330, EPL-2.0, approved, eclipse.equinox +p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.preferences/3.10.0.v20220503-1634, EPL-2.0, approved, eclipse.equinox +p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.registry/3.11.100.v20211021-1418, EPL-2.0, approved, eclipse.equinox +p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.security/1.3.900.v20220108-1321, EPL-2.0, approved, eclipse.equinox p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.simpleconfigurator.manipulator/2.2.0.v20210315-2228, EPL-2.0, approved, eclipse.equinox p2/orbit/p2.eclipse.plugin/org.eclipse.equinox.simpleconfigurator/1.4.0.v20210315-2228, EPL-2.0, approved, eclipse.equinox -p2/orbit/p2.eclipse.plugin/org.eclipse.help/3.9.0.v20210507-0822, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.jdt.compiler.tool/1.2.1200.v20210521-0550, , approved, eclipse -p2/orbit/p2.eclipse.plugin/org.eclipse.jdt.core/3.26.0.v20210609-0549, , approved, eclipse -p2/orbit/p2.eclipse.plugin/org.eclipse.jdt.debug/3.17.200.v20210513-1223, , approved, eclipse -p2/orbit/p2.eclipse.plugin/org.eclipse.jdt.launching/3.19.200.v20210326-1452, , approved, eclipse -p2/orbit/p2.eclipse.plugin/org.eclipse.jface.databinding/1.12.200.v20210111-0911, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.jface.notifications/0.3.0.v20210218-1820, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.jface.text/3.18.0.v20210512-1640, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.jface/3.22.200.v20210401-0958, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.ltk.core.refactoring/3.11.400.v20210427-0555, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.ltk.ui.refactoring/3.11.400.v20210320-1132, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.osgi.services/3.10.100.v20210324-0936, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.osgi.util/3.6.0.v20210212-1137, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.osgi/3.16.300.v20210525-1715, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.pde.build/3.11.0.v20210429-0618, , approved, eclipse -p2/orbit/p2.eclipse.plugin/org.eclipse.pde.core/3.14.300.v20210515-0638, , approved, eclipse -p2/orbit/p2.eclipse.plugin/org.eclipse.swt.cocoa.macosx.x86_64/3.116.100.v20210602-2209, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.swt.gtk.linux.x86_64/3.116.100.v20210602-2209, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.swt.win32.win32.x86_64/3.116.100.v20210602-2209, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.swt/3.116.100.v20210602-2209, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.team.core/3.9.0.v20210510-1748, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.team.ui/3.9.0.v20210426-0837, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.text/3.12.0.v20210512-1644, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.ui.console/3.11.0.v20210510-1914, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.ui.editors/3.14.100.v20210513-1110, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.ui.forms/3.11.100.v20210108-1139, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.ui.ide.application/1.4.100.v20210506-1050, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.ui.ide/3.18.200.v20210523-1724, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.ui.intro/3.6.200.v20210409-1747, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.ui.navigator.resources/3.8.100.v20210319-0848, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.ui.navigator/3.10.100.v20210415-0924, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.help/3.9.100.v20210721-0601, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.jdt.compiler.tool/1.3.150.v20220318-0906, , approved, eclipse +p2/orbit/p2.eclipse.plugin/org.eclipse.jdt.core/3.30.0.v20220524-1333, , approved, eclipse +p2/orbit/p2.eclipse.plugin/org.eclipse.jdt.debug/3.19.200.v20220430-1851, , approved, eclipse +p2/orbit/p2.eclipse.plugin/org.eclipse.jdt.launching/3.19.600.v20220409-1932, , approved, eclipse +p2/orbit/p2.eclipse.plugin/org.eclipse.jface.databinding/1.13.0.v20210619-1146, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.jface.text/3.20.100.v20220516-0819, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.jface/3.26.0.v20220513-0449, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.ltk.core.refactoring/3.12.200.v20220502-1514, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.ltk.ui.refactoring/3.12.100.v20220329-1353, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.osgi.services/3.10.200.v20210723-0643, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.osgi/3.18.0.v20220516-2155, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.pde.build/3.11.200.v20220503-0921, , approved, eclipse +p2/orbit/p2.eclipse.plugin/org.eclipse.pde.core/3.15.200.v20220527-1237, , approved, eclipse +p2/orbit/p2.eclipse.plugin/org.eclipse.swt.cocoa.macosx.x86_64/3.120.0.v20220530-1036, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.swt.gtk.linux.x86_64/3.120.0.v20220530-1036, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.swt.win32.win32.x86_64/3.120.0.v20220530-1036, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.swt/3.120.0.v20220530-1036, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.team.core/3.9.400.v20220511-1440, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.team.ui/3.9.300.v20220420-1133, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.text/3.12.100.v20220506-1404, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.ui.console/3.11.200.v20220324-0630, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.ui.editors/3.14.300.v20210913-0815, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.ui.forms/3.11.300.v20211022-1451, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.ui.ide.application/1.4.400.v20220502-1523, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.ui.ide/3.19.0.v20220511-1638, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.ui.intro/3.6.500.v20220317-1346, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.ui.navigator.resources/3.8.400.v20220203-1803, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.ui.navigator/3.10.200.v20211009-1706, EPL-2.0, approved, eclipse.platform p2/orbit/p2.eclipse.plugin/org.eclipse.ui.views.properties.tabbed/3.9.100.v20201223-1348, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.ui.views/3.11.0.v20210111-1351, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.ui.workbench.texteditor/3.16.100.v20210512-1009, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.ui.workbench/3.122.200.v20210506-1640, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.ui/3.119.0.v20210111-1350, EPL-2.0, approved, eclipse.platform -p2/orbit/p2.eclipse.plugin/org.eclipse.urischeme/1.1.400.v20210407-1558, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.ui.views/3.11.100.v20210816-0811, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.ui.workbench.texteditor/3.16.500.v20220331-0848, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.ui.workbench/3.125.100.v20220524-1304, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.ui/3.201.0.v20220124-1108, EPL-2.0, approved, eclipse.platform +p2/orbit/p2.eclipse.plugin/org.eclipse.urischeme/1.2.100.v20211001-1648, EPL-2.0, approved, eclipse.platform p2/orbit/p2.eclipse.plugin/org.hamcrest.core/1.3.0.v20180420-1519, BSD-2-Clause, approved, CQ7063 -p2/orbit/p2.eclipse.plugin/org.junit/4.13.0.v20200204-1500, EPL-1.0, approved, CQ21439 +p2/orbit/p2.eclipse.plugin/org.junit/4.13.2.v20211018-1956, , approved, orbit p2/orbit/p2.eclipse.plugin/org.knowm.xchart/3.6.5.v20201023-2252, Apache-2.0, approved, CQ22695 -p2/orbit/p2.eclipse.plugin/org.sat4j.core/2.3.5.v201308161310, EPL-1.0, approved, CQ7311 -p2/orbit/p2.eclipse.plugin/org.sat4j.pb/2.3.5.v201404071733, EPL-1.0, approved, CQ7311 -p2/orbit/p2.eclipse.plugin/org.tukaani.xz/1.8.0.v20180207-1613, LicenseRef-Public-Domain, approved, CQ15386 +p2/orbit/p2.eclipse.plugin/org.tukaani.xz/1.9.0.v20210624-1259, , approved, orbit p2/orbit/p2.eclipse.plugin/org.w3c.css.sac/1.3.1.v200903091627, Apache-2.0 OR LicenseRef-Public-Domain OR W3C, approved, CQ1448 p2/orbit/p2.eclipse.plugin/org.w3c.dom.events/3.0.0.draft20060413_v201105210656, Apache-2.0, approved, CQ208 p2/orbit/p2.eclipse.plugin/org.w3c.dom.smil/1.0.1.v200903091627, Apache-2.0 OR LicenseRef-Public-Domain OR W3C, approved, CQ1448 diff --git a/Jenkinsfile b/Jenkinsfile index af9c1fb5ef9aefcd0d1c620038043520e362edfb..4f7dc79a7302ede89aab71fc960dba1d6d1c146c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -21,7 +21,7 @@ pipeline { tools { jdk 'openjdk-jdk11-latest' - maven 'apache-maven-3.8.1' + maven 'apache-maven-3.8.4' } options { diff --git a/chi/.settings/org.eclipse.core.resources.prefs b/chi/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/chi/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/chi/org.eclipse.escet.chi.codegen/.settings/org.eclipse.core.resources.prefs b/chi/org.eclipse.escet.chi.codegen/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/chi/org.eclipse.escet.chi.codegen/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/chi/org.eclipse.escet.chi.codegen/.settings/org.eclipse.jdt.core.prefs b/chi/org.eclipse.escet.chi.codegen/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/chi/org.eclipse.escet.chi.codegen/.settings/org.eclipse.jdt.core.prefs +++ b/chi/org.eclipse.escet.chi.codegen/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/chi/org.eclipse.escet.chi.documentation.utils/.settings/org.eclipse.core.resources.prefs b/chi/org.eclipse.escet.chi.documentation.utils/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/chi/org.eclipse.escet.chi.documentation.utils/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/chi/org.eclipse.escet.chi.documentation.utils/.settings/org.eclipse.jdt.core.prefs b/chi/org.eclipse.escet.chi.documentation.utils/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/chi/org.eclipse.escet.chi.documentation.utils/.settings/org.eclipse.jdt.core.prefs +++ b/chi/org.eclipse.escet.chi.documentation.utils/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/chi/org.eclipse.escet.chi.documentation/.settings/org.eclipse.core.resources.prefs b/chi/org.eclipse.escet.chi.documentation/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/chi/org.eclipse.escet.chi.documentation/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/chi/org.eclipse.escet.chi.feature/.settings/org.eclipse.core.resources.prefs b/chi/org.eclipse.escet.chi.feature/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/chi/org.eclipse.escet.chi.feature/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/chi/org.eclipse.escet.chi.metamodel.java/.settings/org.eclipse.core.resources.prefs b/chi/org.eclipse.escet.chi.metamodel.java/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/chi/org.eclipse.escet.chi.metamodel.java/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/chi/org.eclipse.escet.chi.metamodel.java/.settings/org.eclipse.jdt.core.prefs b/chi/org.eclipse.escet.chi.metamodel.java/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/chi/org.eclipse.escet.chi.metamodel.java/.settings/org.eclipse.jdt.core.prefs +++ b/chi/org.eclipse.escet.chi.metamodel.java/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/chi/org.eclipse.escet.chi.metamodel/.settings/org.eclipse.core.resources.prefs b/chi/org.eclipse.escet.chi.metamodel/.settings/org.eclipse.core.resources.prefs index fb67fdb0a48c64f906eb4f2ada42df5d8d6acad3..1f9eadb70ce9b3e4512d85b8b99e3e35bbd939b0 100644 --- a/chi/org.eclipse.escet.chi.metamodel/.settings/org.eclipse.core.resources.prefs +++ b/chi/org.eclipse.escet.chi.metamodel/.settings/org.eclipse.core.resources.prefs @@ -1,2 +1,3 @@ eclipse.preferences.version=1 encoding//model/chi.ecore=UTF-8 +encoding/=UTF-8 diff --git a/chi/org.eclipse.escet.chi.misc/.settings/org.eclipse.core.resources.prefs b/chi/org.eclipse.escet.chi.misc/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/chi/org.eclipse.escet.chi.misc/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/chi/org.eclipse.escet.chi.parser/.settings/org.eclipse.core.resources.prefs b/chi/org.eclipse.escet.chi.parser/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/chi/org.eclipse.escet.chi.parser/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/chi/org.eclipse.escet.chi.parser/.settings/org.eclipse.jdt.core.prefs b/chi/org.eclipse.escet.chi.parser/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/chi/org.eclipse.escet.chi.parser/.settings/org.eclipse.jdt.core.prefs +++ b/chi/org.eclipse.escet.chi.parser/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/chi/org.eclipse.escet.chi.runtime/.settings/org.eclipse.core.resources.prefs b/chi/org.eclipse.escet.chi.runtime/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/chi/org.eclipse.escet.chi.runtime/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/chi/org.eclipse.escet.chi.runtime/.settings/org.eclipse.jdt.core.prefs b/chi/org.eclipse.escet.chi.runtime/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/chi/org.eclipse.escet.chi.runtime/.settings/org.eclipse.jdt.core.prefs +++ b/chi/org.eclipse.escet.chi.runtime/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/chi/org.eclipse.escet.chi.simulator.ui/.settings/org.eclipse.core.resources.prefs b/chi/org.eclipse.escet.chi.simulator.ui/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/chi/org.eclipse.escet.chi.simulator.ui/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/chi/org.eclipse.escet.chi.simulator.ui/.settings/org.eclipse.jdt.core.prefs b/chi/org.eclipse.escet.chi.simulator.ui/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/chi/org.eclipse.escet.chi.simulator.ui/.settings/org.eclipse.jdt.core.prefs +++ b/chi/org.eclipse.escet.chi.simulator.ui/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/chi/org.eclipse.escet.chi.simulator/.settings/org.eclipse.core.resources.prefs b/chi/org.eclipse.escet.chi.simulator/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/chi/org.eclipse.escet.chi.simulator/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/chi/org.eclipse.escet.chi.simulator/.settings/org.eclipse.jdt.core.prefs b/chi/org.eclipse.escet.chi.simulator/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/chi/org.eclipse.escet.chi.simulator/.settings/org.eclipse.jdt.core.prefs +++ b/chi/org.eclipse.escet.chi.simulator/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/chi/org.eclipse.escet.chi.tests/.settings/org.eclipse.core.resources.prefs b/chi/org.eclipse.escet.chi.tests/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/chi/org.eclipse.escet.chi.tests/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/chi/org.eclipse.escet.chi.tests/.settings/org.eclipse.jdt.core.prefs b/chi/org.eclipse.escet.chi.tests/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/chi/org.eclipse.escet.chi.tests/.settings/org.eclipse.jdt.core.prefs +++ b/chi/org.eclipse.escet.chi.tests/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/chi/org.eclipse.escet.chi.texteditor/.settings/org.eclipse.core.resources.prefs b/chi/org.eclipse.escet.chi.texteditor/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/chi/org.eclipse.escet.chi.texteditor/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/chi/org.eclipse.escet.chi.texteditor/.settings/org.eclipse.jdt.core.prefs b/chi/org.eclipse.escet.chi.texteditor/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/chi/org.eclipse.escet.chi.texteditor/.settings/org.eclipse.jdt.core.prefs +++ b/chi/org.eclipse.escet.chi.texteditor/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/chi/org.eclipse.escet.chi.tooldefs/.settings/org.eclipse.core.resources.prefs b/chi/org.eclipse.escet.chi.tooldefs/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/chi/org.eclipse.escet.chi.tooldefs/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/chi/org.eclipse.escet.chi.tooldefs/.settings/org.eclipse.jdt.core.prefs b/chi/org.eclipse.escet.chi.tooldefs/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/chi/org.eclipse.escet.chi.tooldefs/.settings/org.eclipse.jdt.core.prefs +++ b/chi/org.eclipse.escet.chi.tooldefs/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/chi/org.eclipse.escet.chi.typecheck/.settings/org.eclipse.core.resources.prefs b/chi/org.eclipse.escet.chi.typecheck/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/chi/org.eclipse.escet.chi.typecheck/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/chi/org.eclipse.escet.chi.typecheck/.settings/org.eclipse.jdt.core.prefs b/chi/org.eclipse.escet.chi.typecheck/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/chi/org.eclipse.escet.chi.typecheck/.settings/org.eclipse.jdt.core.prefs +++ b/chi/org.eclipse.escet.chi.typecheck/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/cif/.settings/org.eclipse.core.resources.prefs b/cif/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.cif2cif.app/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.cif2cif.app/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.cif2cif.app/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.cif2cif.app/.settings/org.eclipse.jdt.core.prefs b/cif/org.eclipse.escet.cif.cif2cif.app/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/cif/org.eclipse.escet.cif.cif2cif.app/.settings/org.eclipse.jdt.core.prefs +++ b/cif/org.eclipse.escet.cif.cif2cif.app/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/cif/org.eclipse.escet.cif.cif2cif/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.cif2cif/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.cif2cif/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.cif2cif/.settings/org.eclipse.jdt.core.prefs b/cif/org.eclipse.escet.cif.cif2cif/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/cif/org.eclipse.escet.cif.cif2cif/.settings/org.eclipse.jdt.core.prefs +++ b/cif/org.eclipse.escet.cif.cif2cif/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/cif/org.eclipse.escet.cif.cif2cif/src/org/eclipse/escet/cif/cif2cif/ConvertEventsControllability.java b/cif/org.eclipse.escet.cif.cif2cif/src/org/eclipse/escet/cif/cif2cif/ConvertEventsControllability.java index 68ec3a6e2262bf3f1964c2d7a9d4f3aca0b4f365..8f332a2c42d07665ede5e256b15fa3c6e218cd84 100644 --- a/cif/org.eclipse.escet.cif.cif2cif/src/org/eclipse/escet/cif/cif2cif/ConvertEventsControllability.java +++ b/cif/org.eclipse.escet.cif.cif2cif/src/org/eclipse/escet/cif/cif2cif/ConvertEventsControllability.java @@ -33,8 +33,8 @@ import org.eclipse.escet.cif.metamodel.cif.declarations.Event; * Basic class to convert events with a controllability status. * *

- * It also contains an inner class to convert all uncontrollable events to controllable events and an inner - * class to convert all controllable events to uncontrollable events. + * It also contains an inner class to convert all uncontrollable events to controllable events and an inner class to + * convert all controllable events to uncontrollable events. *

* *

diff --git a/cif/org.eclipse.escet.cif.cif2cif/src/org/eclipse/escet/cif/cif2cif/RemoveRequirements.java b/cif/org.eclipse.escet.cif.cif2cif/src/org/eclipse/escet/cif/cif2cif/RemoveRequirements.java index 1ac1f95e4e8019200d3692ca9cfd813d789edcb1..c8bd6c3f90ef2de697faedc8e85d908928fabd6b 100644 --- a/cif/org.eclipse.escet.cif.cif2cif/src/org/eclipse/escet/cif/cif2cif/RemoveRequirements.java +++ b/cif/org.eclipse.escet.cif.cif2cif/src/org/eclipse/escet/cif/cif2cif/RemoveRequirements.java @@ -50,8 +50,8 @@ import org.eclipse.escet.common.position.metamodel.position.PositionObject; * Precondition: *

    *
  • Specifications with component definitions/instantiations are currently not supported.
    • - *
  • Removing requirement automata or declarations from requirement automata that are being used (referred - * to) in what remains after removal of requirements is not supported.
    • + *
  • Removing requirement automata or declarations from requirement automata that are being used (referred to) in what + * remains after removal of requirements is not supported.
    • *
  • Invariants that may not be removed in locations of requirement automata (if removed) are not supported.
    • *
*

diff --git a/cif/org.eclipse.escet.cif.cif2mcrl2/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.cif2mcrl2/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.cif2mcrl2/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.cif2mcrl2/.settings/org.eclipse.jdt.core.prefs b/cif/org.eclipse.escet.cif.cif2mcrl2/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/cif/org.eclipse.escet.cif.cif2mcrl2/.settings/org.eclipse.jdt.core.prefs +++ b/cif/org.eclipse.escet.cif.cif2mcrl2/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/cif/org.eclipse.escet.cif.cif2plc/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.cif2plc/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.cif2plc/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.cif2plc/.settings/org.eclipse.jdt.core.prefs b/cif/org.eclipse.escet.cif.cif2plc/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/cif/org.eclipse.escet.cif.cif2plc/.settings/org.eclipse.jdt.core.prefs +++ b/cif/org.eclipse.escet.cif.cif2plc/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/cif/org.eclipse.escet.cif.cif2supremica/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.cif2supremica/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.cif2supremica/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.cif2supremica/.settings/org.eclipse.jdt.core.prefs b/cif/org.eclipse.escet.cif.cif2supremica/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/cif/org.eclipse.escet.cif.cif2supremica/.settings/org.eclipse.jdt.core.prefs +++ b/cif/org.eclipse.escet.cif.cif2supremica/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/cif/org.eclipse.escet.cif.cif2uppaal/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.cif2uppaal/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.cif2uppaal/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.cif2uppaal/.settings/org.eclipse.jdt.core.prefs b/cif/org.eclipse.escet.cif.cif2uppaal/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/cif/org.eclipse.escet.cif.cif2uppaal/.settings/org.eclipse.jdt.core.prefs +++ b/cif/org.eclipse.escet.cif.cif2uppaal/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/cif/org.eclipse.escet.cif.cif2yed/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.cif2yed/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.cif2yed/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.cif2yed/.settings/org.eclipse.jdt.core.prefs b/cif/org.eclipse.escet.cif.cif2yed/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/cif/org.eclipse.escet.cif.cif2yed/.settings/org.eclipse.jdt.core.prefs +++ b/cif/org.eclipse.escet.cif.cif2yed/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/cif/org.eclipse.escet.cif.codegen/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.codegen/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.codegen/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.codegen/.settings/org.eclipse.jdt.core.prefs b/cif/org.eclipse.escet.cif.codegen/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/cif/org.eclipse.escet.cif.codegen/.settings/org.eclipse.jdt.core.prefs +++ b/cif/org.eclipse.escet.cif.codegen/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/cif/org.eclipse.escet.cif.common/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.common/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.common/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.common/.settings/org.eclipse.jdt.core.prefs b/cif/org.eclipse.escet.cif.common/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/cif/org.eclipse.escet.cif.common/.settings/org.eclipse.jdt.core.prefs +++ b/cif/org.eclipse.escet.cif.common/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/cif/org.eclipse.escet.cif.controllercheck/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.controllercheck/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.controllercheck/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.controllercheck/.settings/org.eclipse.jdt.core.prefs b/cif/org.eclipse.escet.cif.controllercheck/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/cif/org.eclipse.escet.cif.controllercheck/.settings/org.eclipse.jdt.core.prefs +++ b/cif/org.eclipse.escet.cif.controllercheck/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/cif/org.eclipse.escet.cif.datasynth/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.datasynth/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.datasynth/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.datasynth/.settings/org.eclipse.jdt.core.prefs b/cif/org.eclipse.escet.cif.datasynth/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/cif/org.eclipse.escet.cif.datasynth/.settings/org.eclipse.jdt.core.prefs +++ b/cif/org.eclipse.escet.cif.datasynth/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/cif/org.eclipse.escet.cif.documentation.utils/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.documentation.utils/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.documentation.utils/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.documentation.utils/.settings/org.eclipse.jdt.core.prefs b/cif/org.eclipse.escet.cif.documentation.utils/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/cif/org.eclipse.escet.cif.documentation.utils/.settings/org.eclipse.jdt.core.prefs +++ b/cif/org.eclipse.escet.cif.documentation.utils/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/cif/org.eclipse.escet.cif.documentation/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.documentation/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.documentation/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.eventbased/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.eventbased/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.eventbased/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.eventbased/.settings/org.eclipse.jdt.core.prefs b/cif/org.eclipse.escet.cif.eventbased/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/cif/org.eclipse.escet.cif.eventbased/.settings/org.eclipse.jdt.core.prefs +++ b/cif/org.eclipse.escet.cif.eventbased/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/cif/org.eclipse.escet.cif.eventdisabler/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.eventdisabler/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.eventdisabler/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.eventdisabler/.settings/org.eclipse.jdt.core.prefs b/cif/org.eclipse.escet.cif.eventdisabler/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/cif/org.eclipse.escet.cif.eventdisabler/.settings/org.eclipse.jdt.core.prefs +++ b/cif/org.eclipse.escet.cif.eventdisabler/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/cif/org.eclipse.escet.cif.examples/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.examples/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.examples/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.examples/.settings/org.eclipse.jdt.core.prefs b/cif/org.eclipse.escet.cif.examples/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/cif/org.eclipse.escet.cif.examples/.settings/org.eclipse.jdt.core.prefs +++ b/cif/org.eclipse.escet.cif.examples/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/cif/org.eclipse.escet.cif.examples/benchmarks/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.examples/benchmarks/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.examples/benchmarks/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.examples/examples/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.examples/examples/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.examples/examples/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.examples/src/org/eclipse/escet/cif/examples/CifBenchmarksWizard.java b/cif/org.eclipse.escet.cif.examples/src/org/eclipse/escet/cif/examples/CifBenchmarksWizard.java index 787e01a51453ab606ccfb77d14f869053135edad..27e961ce0a1a9ca86f29dc86b7bd0734c63b63bf 100644 --- a/cif/org.eclipse.escet.cif.examples/src/org/eclipse/escet/cif/examples/CifBenchmarksWizard.java +++ b/cif/org.eclipse.escet.cif.examples/src/org/eclipse/escet/cif/examples/CifBenchmarksWizard.java @@ -31,6 +31,7 @@ public class CifBenchmarksWizard extends CopyFilesNewProjectWizard { @Override protected Map getPathsToCopy() { Map entries = map(); + entries.put("benchmarks/.settings", ".settings"); entries.put("benchmarks/bridge", "bridge"); entries.put("benchmarks/festo", "festo"); entries.put("benchmarks/sudoku", "sudoku"); diff --git a/cif/org.eclipse.escet.cif.examples/src/org/eclipse/escet/cif/examples/CifExamplesWizard.java b/cif/org.eclipse.escet.cif.examples/src/org/eclipse/escet/cif/examples/CifExamplesWizard.java index c5f796195df1dc81df55bdc070ef37b906d45309..22c04c91c1811e66b69a87cf2bada073c170c421 100644 --- a/cif/org.eclipse.escet.cif.examples/src/org/eclipse/escet/cif/examples/CifExamplesWizard.java +++ b/cif/org.eclipse.escet.cif.examples/src/org/eclipse/escet/cif/examples/CifExamplesWizard.java @@ -31,6 +31,7 @@ public class CifExamplesWizard extends CopyFilesNewProjectWizard { @Override protected Map getPathsToCopy() { Map entries = map(); + entries.put("examples/.settings", ".settings"); entries.put("examples/hybrid", "hybrid"); entries.put("examples/synthesis", "synthesis"); entries.put("examples/timed", "timed"); diff --git a/cif/org.eclipse.escet.cif.explorer/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.explorer/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.explorer/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.explorer/.settings/org.eclipse.jdt.core.prefs b/cif/org.eclipse.escet.cif.explorer/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/cif/org.eclipse.escet.cif.explorer/.settings/org.eclipse.jdt.core.prefs +++ b/cif/org.eclipse.escet.cif.explorer/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/cif/org.eclipse.escet.cif.feature/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.feature/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.feature/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.io/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.io/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.io/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.io/.settings/org.eclipse.jdt.core.prefs b/cif/org.eclipse.escet.cif.io/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/cif/org.eclipse.escet.cif.io/.settings/org.eclipse.jdt.core.prefs +++ b/cif/org.eclipse.escet.cif.io/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/cif/org.eclipse.escet.cif.merger/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.merger/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.merger/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.merger/.settings/org.eclipse.jdt.core.prefs b/cif/org.eclipse.escet.cif.merger/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/cif/org.eclipse.escet.cif.merger/.settings/org.eclipse.jdt.core.prefs +++ b/cif/org.eclipse.escet.cif.merger/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/cif/org.eclipse.escet.cif.metamodel.java/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.metamodel.java/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.metamodel.java/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.metamodel.java/.settings/org.eclipse.jdt.core.prefs b/cif/org.eclipse.escet.cif.metamodel.java/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/cif/org.eclipse.escet.cif.metamodel.java/.settings/org.eclipse.jdt.core.prefs +++ b/cif/org.eclipse.escet.cif.metamodel.java/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/cif/org.eclipse.escet.cif.metamodel/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.metamodel/.settings/org.eclipse.core.resources.prefs index dd085727e438b47ae35d748a778f42947d8a2db1..752e5bfeece262a53cf1165f8bb19896de044005 100644 --- a/cif/org.eclipse.escet.cif.metamodel/.settings/org.eclipse.core.resources.prefs +++ b/cif/org.eclipse.escet.cif.metamodel/.settings/org.eclipse.core.resources.prefs @@ -1,2 +1,3 @@ eclipse.preferences.version=1 encoding//model/cif.ecore=UTF-8 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.misc/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.misc/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.misc/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.parser/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.parser/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.parser/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.parser/.settings/org.eclipse.jdt.core.prefs b/cif/org.eclipse.escet.cif.parser/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/cif/org.eclipse.escet.cif.parser/.settings/org.eclipse.jdt.core.prefs +++ b/cif/org.eclipse.escet.cif.parser/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/cif/org.eclipse.escet.cif.parser/src/org/eclipse/escet/cif/parser/ast/AInvariant.java b/cif/org.eclipse.escet.cif.parser/src/org/eclipse/escet/cif/parser/ast/AInvariant.java index 733b615bb5e58b2bce6c9aae7cca68eed55fd0dc..2ae06c43c70231cd9133f47a80a3cc57149d1713 100644 --- a/cif/org.eclipse.escet.cif.parser/src/org/eclipse/escet/cif/parser/ast/AInvariant.java +++ b/cif/org.eclipse.escet.cif.parser/src/org/eclipse/escet/cif/parser/ast/AInvariant.java @@ -46,7 +46,9 @@ public class AInvariant extends ACifObject { * @param events The textual references to the events, or {@code null} for state invariants. * @param position Position information. */ - public AInvariant(AIdentifier name, AExpression predicate, Token invKind, List events, TextPosition position) { + public AInvariant(AIdentifier name, AExpression predicate, Token invKind, List events, + TextPosition position) + { super(position); this.name = name; this.predicate = predicate; diff --git a/cif/org.eclipse.escet.cif.prettyprinter/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.prettyprinter/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.prettyprinter/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.prettyprinter/.settings/org.eclipse.jdt.core.prefs b/cif/org.eclipse.escet.cif.prettyprinter/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/cif/org.eclipse.escet.cif.prettyprinter/.settings/org.eclipse.jdt.core.prefs +++ b/cif/org.eclipse.escet.cif.prettyprinter/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/cif/org.eclipse.escet.cif.simulator.debug/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.simulator.debug/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.simulator.debug/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.simulator/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.simulator/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.simulator/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.simulator/.settings/org.eclipse.jdt.core.prefs b/cif/org.eclipse.escet.cif.simulator/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/cif/org.eclipse.escet.cif.simulator/.settings/org.eclipse.jdt.core.prefs +++ b/cif/org.eclipse.escet.cif.simulator/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/cif/org.eclipse.escet.cif.simulator/src/org/eclipse/escet/cif/simulator/compiler/OdeStateEventsCodeGenerator.java b/cif/org.eclipse.escet.cif.simulator/src/org/eclipse/escet/cif/simulator/compiler/OdeStateEventsCodeGenerator.java index 49203d824684f0c1e4b7fb7c360fa3f8be6da628..ec668cdfbc462d16060fb79156902ac3f9134c30 100644 --- a/cif/org.eclipse.escet.cif.simulator/src/org/eclipse/escet/cif/simulator/compiler/OdeStateEventsCodeGenerator.java +++ b/cif/org.eclipse.escet.cif.simulator/src/org/eclipse/escet/cif/simulator/compiler/OdeStateEventsCodeGenerator.java @@ -255,7 +255,9 @@ public class OdeStateEventsCodeGenerator { /** * Collects the time dependent predicates from the component (recursively), and maps them to unique numbers. * - *

In the context of the simulator, input variables are regarded as being 'time constant'.

+ *

+ * In the context of the simulator, input variables are regarded as being 'time constant'. + *

* * @param comp The component. * @param preds Mapping from the time dependent predicates collected so far, to their unique numbers and an diff --git a/cif/org.eclipse.escet.cif.simulator/src/org/eclipse/escet/cif/simulator/output/stateviz/StateVisualizer.java b/cif/org.eclipse.escet.cif.simulator/src/org/eclipse/escet/cif/simulator/output/stateviz/StateVisualizer.java index 777172af55b4409f9f411a4c1a4d43196171f13d..7d42660bba44c8c75ac19ea027e23b33c150f99f 100644 --- a/cif/org.eclipse.escet.cif.simulator/src/org/eclipse/escet/cif/simulator/output/stateviz/StateVisualizer.java +++ b/cif/org.eclipse.escet.cif.simulator/src/org/eclipse/escet/cif/simulator/output/stateviz/StateVisualizer.java @@ -29,6 +29,8 @@ import org.eclipse.escet.common.app.framework.exceptions.InvalidOptionException; import org.eclipse.escet.common.eclipse.ui.ControlEditor; import org.eclipse.escet.common.java.Assert; import org.eclipse.swt.SWT; +import org.eclipse.swt.graphics.Font; +import org.eclipse.swt.graphics.GC; import org.eclipse.swt.graphics.Image; import org.eclipse.swt.layout.FormAttachment; import org.eclipse.swt.layout.FormData; @@ -56,6 +58,12 @@ public class StateVisualizer extends ControlEditor { /** Mapping from state object types to icons. Mapping is empty if not available. */ private Map iconMap = map(); + /** + * The extra width of the 'value' column, beyond the header/cell texts, in pixels. Is {@code -1} if not yet + * initialized. + */ + private int valueColumnExtraWidth = -1; + @Override protected Control createContents(Composite parent) { // Load the icons. @@ -148,14 +156,44 @@ public class StateVisualizer extends ControlEditor { * @param state The state from which to obtain the values. */ public void update(RuntimeState state) { + // Initialize a graphics context on which to measure the text widths. + Image image = new Image(table.getDisplay(), 1, 1); + GC gc = new GC(image); + Font font = table.getFont(); + gc.setFont(font); + TableColumn column = table.getColumn(1); + + // Update the 'value' column cells, computing the maximum width of any text in the column along the way. + int width = gc.textExtent(column.getText()).x; // Initialize to the header text width. for (int i = 0; i < metas.size(); i++) { RuntimeStateObjectMeta meta = metas.get(i); String text = state.getStateObjValueText(meta); table.getItem(i).setText(1, text); + width = Math.max(width, gc.textExtent(text).x); } // Auto size the 'Value' column. - table.getColumn(1).pack(); + // + // Packing a table column has become very expensive since changes to SWT in February 2022: + // https://github.com/eclipse-platform/eclipse.platform.swt/commit/9976faf68805ba9231fa58fe046a20c6ff00d56c. + // As a workaround, the first time we let SWT pack the column. We then determine the extra width compared to + // our own computed maximum width of the texts, to account for margins. We remember that extra width for + // subsequent updates of the table values, where we avoid packing, and compute the table column width + // ourselves, updating it if needed. + if (valueColumnExtraWidth == -1) { + column.pack(); + valueColumnExtraWidth = column.getWidth() - width; + valueColumnExtraWidth = Math.max(0, valueColumnExtraWidth); // Ensure non-negative extra width. + } else { + width += valueColumnExtraWidth; + if (column.getWidth() != width) { + column.setWidth(width); + } + } + + // Cleanup. + gc.dispose(); + image.dispose(); } /** diff --git a/cif/org.eclipse.escet.cif.tests.utils/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.tests.utils/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.tests.utils/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.tests.utils/.settings/org.eclipse.jdt.core.prefs b/cif/org.eclipse.escet.cif.tests.utils/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/cif/org.eclipse.escet.cif.tests.utils/.settings/org.eclipse.jdt.core.prefs +++ b/cif/org.eclipse.escet.cif.tests.utils/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/cif/org.eclipse.escet.cif.tests/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.tests/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.tests/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.tests/.settings/org.eclipse.jdt.core.prefs b/cif/org.eclipse.escet.cif.tests/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/cif/org.eclipse.escet.cif.tests/.settings/org.eclipse.jdt.core.prefs +++ b/cif/org.eclipse.escet.cif.tests/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/cif/org.eclipse.escet.cif.texteditor/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.texteditor/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.texteditor/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.texteditor/.settings/org.eclipse.jdt.core.prefs b/cif/org.eclipse.escet.cif.texteditor/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/cif/org.eclipse.escet.cif.texteditor/.settings/org.eclipse.jdt.core.prefs +++ b/cif/org.eclipse.escet.cif.texteditor/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/cif/org.eclipse.escet.cif.tooldefs/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.tooldefs/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.tooldefs/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.tooldefs/.settings/org.eclipse.jdt.core.prefs b/cif/org.eclipse.escet.cif.tooldefs/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/cif/org.eclipse.escet.cif.tooldefs/.settings/org.eclipse.jdt.core.prefs +++ b/cif/org.eclipse.escet.cif.tooldefs/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/cif/org.eclipse.escet.cif.typechecker/.settings/org.eclipse.core.resources.prefs b/cif/org.eclipse.escet.cif.typechecker/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/cif/org.eclipse.escet.cif.typechecker/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/cif/org.eclipse.escet.cif.typechecker/.settings/org.eclipse.jdt.core.prefs b/cif/org.eclipse.escet.cif.typechecker/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/cif/org.eclipse.escet.cif.typechecker/.settings/org.eclipse.jdt.core.prefs +++ b/cif/org.eclipse.escet.cif.typechecker/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/cif/org.eclipse.escet.cif.typechecker/src/org/eclipse/escet/cif/typechecker/CifExprsTypeChecker.java b/cif/org.eclipse.escet.cif.typechecker/src/org/eclipse/escet/cif/typechecker/CifExprsTypeChecker.java index 10d635edc2f3140536afbad1653aa7b5703d70bd..4e3ac1fb7f5064ee3e38aff54e2d8bfa9da4b21e 100644 --- a/cif/org.eclipse.escet.cif.typechecker/src/org/eclipse/escet/cif/typechecker/CifExprsTypeChecker.java +++ b/cif/org.eclipse.escet.cif.typechecker/src/org/eclipse/escet/cif/typechecker/CifExprsTypeChecker.java @@ -2473,8 +2473,7 @@ public class CifExprsTypeChecker { argTypes.add("\"" + CifTextUtils.typeToStr(arg.getType()) + "\""); } - tchecker.addProblem(ErrMsg.FCALL_WRONG_ARG_TYPES, expr.position, funcText, - String.join(", ", argTypes)); + tchecker.addProblem(ErrMsg.FCALL_WRONG_ARG_TYPES, expr.position, funcText, String.join(", ", argTypes)); throw new SemanticException(); } } diff --git a/cif/org.eclipse.escet.cif.typechecker/src/org/eclipse/escet/cif/typechecker/scopes/ParentScope.java b/cif/org.eclipse.escet.cif.typechecker/src/org/eclipse/escet/cif/typechecker/scopes/ParentScope.java index 1a1bda18aed40c54568667e6cacb129bbd085e4c..3be57e38d322e81939009b3ab684a22255f3d237 100644 --- a/cif/org.eclipse.escet.cif.typechecker/src/org/eclipse/escet/cif/typechecker/scopes/ParentScope.java +++ b/cif/org.eclipse.escet.cif.typechecker/src/org/eclipse/escet/cif/typechecker/scopes/ParentScope.java @@ -212,7 +212,6 @@ public abstract class ParentScope extends SymbolScope< // Store invariant. declarations.put(wrapper.getName(), wrapper); - } else { // For nameless invariants, add it to the nameless invariants of this scope. namelessInvariants.add(invariantInfo); diff --git a/common/.settings/org.eclipse.core.resources.prefs b/common/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/common/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/common/org.eclipse.escet.common.app.framework.appsview.ui/.settings/org.eclipse.core.resources.prefs b/common/org.eclipse.escet.common.app.framework.appsview.ui/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/common/org.eclipse.escet.common.app.framework.appsview.ui/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/common/org.eclipse.escet.common.app.framework.appsview.ui/.settings/org.eclipse.jdt.core.prefs b/common/org.eclipse.escet.common.app.framework.appsview.ui/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/common/org.eclipse.escet.common.app.framework.appsview.ui/.settings/org.eclipse.jdt.core.prefs +++ b/common/org.eclipse.escet.common.app.framework.appsview.ui/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/common/org.eclipse.escet.common.app.framework.tests/.checkstyle b/common/org.eclipse.escet.common.app.framework.tests/.checkstyle new file mode 100644 index 0000000000000000000000000000000000000000..182fbba60b3d4f50b874f62c3141b7703ed7b5b1 --- /dev/null +++ b/common/org.eclipse.escet.common.app.framework.tests/.checkstyle @@ -0,0 +1,21 @@ + + + + + + + + + + + diff --git a/common/org.eclipse.escet.common.app.framework.tests/.classpath b/common/org.eclipse.escet.common.app.framework.tests/.classpath new file mode 100644 index 0000000000000000000000000000000000000000..94f3dd7be0c68b67317f5e798fd0d7d1111e379c --- /dev/null +++ b/common/org.eclipse.escet.common.app.framework.tests/.classpath @@ -0,0 +1,15 @@ + + + + + + + + + + + + + + + diff --git a/common/org.eclipse.escet.common.app.framework.tests/.project b/common/org.eclipse.escet.common.app.framework.tests/.project new file mode 100644 index 0000000000000000000000000000000000000000..ebd1f067caf9b6d804570888631b974c3a7a983d --- /dev/null +++ b/common/org.eclipse.escet.common.app.framework.tests/.project @@ -0,0 +1,34 @@ + + + org.eclipse.escet.common.app.framework.tests + + + + + + org.eclipse.jdt.core.javabuilder + + + + + org.eclipse.pde.ManifestBuilder + + + + + org.eclipse.pde.SchemaBuilder + + + + + net.sf.eclipsecs.core.CheckstyleBuilder + + + + + + org.eclipse.pde.PluginNature + org.eclipse.jdt.core.javanature + net.sf.eclipsecs.core.CheckstyleNature + + diff --git a/common/org.eclipse.escet.common.app.framework.tests/.settings/org.eclipse.core.resources.prefs b/common/org.eclipse.escet.common.app.framework.tests/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/common/org.eclipse.escet.common.app.framework.tests/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/common/org.eclipse.escet.common.app.framework.tests/.settings/org.eclipse.jdt.core.prefs b/common/org.eclipse.escet.common.app.framework.tests/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 0000000000000000000000000000000000000000..0c1f91ca22028b7a3bc51376fb155f819c5d250b --- /dev/null +++ b/common/org.eclipse.escet.common.app.framework.tests/.settings/org.eclipse.jdt.core.prefs @@ -0,0 +1,148 @@ +eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled +org.eclipse.jdt.core.builder.cleanOutputFolder=clean +org.eclipse.jdt.core.builder.duplicateResourceTask=warning +org.eclipse.jdt.core.builder.invalidClasspath=abort +org.eclipse.jdt.core.builder.recreateModifiedClassFileInOutputFolder=ignore +org.eclipse.jdt.core.builder.resourceCopyExclusionFilter=*.launch +org.eclipse.jdt.core.circularClasspath=error +org.eclipse.jdt.core.classpath.exclusionPatterns=enabled +org.eclipse.jdt.core.classpath.mainOnlyProjectHasTestOnlyDependency=error +org.eclipse.jdt.core.classpath.multipleOutputLocations=enabled +org.eclipse.jdt.core.classpath.outputOverlappingAnotherSource=error +org.eclipse.jdt.core.compiler.annotation.inheritNullAnnotations=disabled +org.eclipse.jdt.core.compiler.annotation.missingNonNullByDefaultAnnotation=ignore +org.eclipse.jdt.core.compiler.annotation.nonnull=org.eclipse.jdt.annotation.NonNull +org.eclipse.jdt.core.compiler.annotation.nonnull.secondary= +org.eclipse.jdt.core.compiler.annotation.nonnullbydefault=org.eclipse.jdt.annotation.NonNullByDefault +org.eclipse.jdt.core.compiler.annotation.nonnullbydefault.secondary= +org.eclipse.jdt.core.compiler.annotation.nullable=org.eclipse.jdt.annotation.Nullable +org.eclipse.jdt.core.compiler.annotation.nullable.secondary= +org.eclipse.jdt.core.compiler.annotation.nullanalysis=disabled +org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled +org.eclipse.jdt.core.compiler.codegen.methodParameters=generate +org.eclipse.jdt.core.compiler.codegen.targetPlatform=11 +org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve +org.eclipse.jdt.core.compiler.compliance=11 +org.eclipse.jdt.core.compiler.debug.lineNumber=generate +org.eclipse.jdt.core.compiler.debug.localVariable=generate +org.eclipse.jdt.core.compiler.debug.sourceFile=generate +org.eclipse.jdt.core.compiler.doc.comment.support=enabled +org.eclipse.jdt.core.compiler.maxProblemPerUnit=100 +org.eclipse.jdt.core.compiler.problem.APILeak=warning +org.eclipse.jdt.core.compiler.problem.annotatedTypeArgumentToUnannotated=info +org.eclipse.jdt.core.compiler.problem.annotationSuperInterface=warning +org.eclipse.jdt.core.compiler.problem.assertIdentifier=error +org.eclipse.jdt.core.compiler.problem.autoboxing=ignore +org.eclipse.jdt.core.compiler.problem.comparingIdentical=warning +org.eclipse.jdt.core.compiler.problem.deadCode=warning +org.eclipse.jdt.core.compiler.problem.deprecation=warning +org.eclipse.jdt.core.compiler.problem.deprecationInDeprecatedCode=disabled +org.eclipse.jdt.core.compiler.problem.deprecationWhenOverridingDeprecatedMethod=enabled +org.eclipse.jdt.core.compiler.problem.discouragedReference=warning +org.eclipse.jdt.core.compiler.problem.emptyStatement=warning +org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled +org.eclipse.jdt.core.compiler.problem.enumIdentifier=error +org.eclipse.jdt.core.compiler.problem.explicitlyClosedAutoCloseable=ignore +org.eclipse.jdt.core.compiler.problem.fallthroughCase=warning +org.eclipse.jdt.core.compiler.problem.fatalOptionalError=disabled +org.eclipse.jdt.core.compiler.problem.fieldHiding=warning +org.eclipse.jdt.core.compiler.problem.finalParameterBound=warning +org.eclipse.jdt.core.compiler.problem.finallyBlockNotCompletingNormally=warning +org.eclipse.jdt.core.compiler.problem.forbiddenReference=error +org.eclipse.jdt.core.compiler.problem.hiddenCatchBlock=warning +org.eclipse.jdt.core.compiler.problem.includeNullInfoFromAsserts=disabled +org.eclipse.jdt.core.compiler.problem.incompatibleNonInheritedInterfaceMethod=warning +org.eclipse.jdt.core.compiler.problem.incompleteEnumSwitch=warning +org.eclipse.jdt.core.compiler.problem.indirectStaticAccess=warning +org.eclipse.jdt.core.compiler.problem.invalidJavadoc=warning +org.eclipse.jdt.core.compiler.problem.invalidJavadocTags=enabled +org.eclipse.jdt.core.compiler.problem.invalidJavadocTagsDeprecatedRef=enabled +org.eclipse.jdt.core.compiler.problem.invalidJavadocTagsNotVisibleRef=enabled +org.eclipse.jdt.core.compiler.problem.invalidJavadocTagsVisibility=private +org.eclipse.jdt.core.compiler.problem.localVariableHiding=ignore +org.eclipse.jdt.core.compiler.problem.methodWithConstructorName=warning +org.eclipse.jdt.core.compiler.problem.missingDefaultCase=ignore +org.eclipse.jdt.core.compiler.problem.missingDeprecatedAnnotation=warning +org.eclipse.jdt.core.compiler.problem.missingEnumCaseDespiteDefault=disabled +org.eclipse.jdt.core.compiler.problem.missingHashCodeMethod=warning +org.eclipse.jdt.core.compiler.problem.missingJavadocComments=warning +org.eclipse.jdt.core.compiler.problem.missingJavadocCommentsOverriding=disabled +org.eclipse.jdt.core.compiler.problem.missingJavadocCommentsVisibility=private +org.eclipse.jdt.core.compiler.problem.missingJavadocTagDescription=all_standard_tags +org.eclipse.jdt.core.compiler.problem.missingJavadocTags=warning +org.eclipse.jdt.core.compiler.problem.missingJavadocTagsMethodTypeParameters=enabled +org.eclipse.jdt.core.compiler.problem.missingJavadocTagsOverriding=disabled +org.eclipse.jdt.core.compiler.problem.missingJavadocTagsVisibility=private +org.eclipse.jdt.core.compiler.problem.missingOverrideAnnotation=warning +org.eclipse.jdt.core.compiler.problem.missingOverrideAnnotationForInterfaceMethodImplementation=enabled +org.eclipse.jdt.core.compiler.problem.missingSerialVersion=ignore +org.eclipse.jdt.core.compiler.problem.missingSynchronizedOnInheritedMethod=warning +org.eclipse.jdt.core.compiler.problem.noEffectAssignment=warning +org.eclipse.jdt.core.compiler.problem.noImplicitStringConversion=warning +org.eclipse.jdt.core.compiler.problem.nonExternalizedStringLiteral=ignore +org.eclipse.jdt.core.compiler.problem.nonnullParameterAnnotationDropped=warning +org.eclipse.jdt.core.compiler.problem.nonnullTypeVariableFromLegacyInvocation=warning +org.eclipse.jdt.core.compiler.problem.nullAnnotationInferenceConflict=error +org.eclipse.jdt.core.compiler.problem.nullReference=error +org.eclipse.jdt.core.compiler.problem.nullSpecViolation=error +org.eclipse.jdt.core.compiler.problem.nullUncheckedConversion=warning +org.eclipse.jdt.core.compiler.problem.overridingPackageDefaultMethod=warning +org.eclipse.jdt.core.compiler.problem.parameterAssignment=ignore +org.eclipse.jdt.core.compiler.problem.pessimisticNullAnalysisForFreeTypeVariables=warning +org.eclipse.jdt.core.compiler.problem.possibleAccidentalBooleanAssignment=warning +org.eclipse.jdt.core.compiler.problem.potentialNullReference=warning +org.eclipse.jdt.core.compiler.problem.potentiallyUnclosedCloseable=ignore +org.eclipse.jdt.core.compiler.problem.rawTypeReference=warning +org.eclipse.jdt.core.compiler.problem.redundantNullAnnotation=warning +org.eclipse.jdt.core.compiler.problem.redundantNullCheck=warning +org.eclipse.jdt.core.compiler.problem.redundantSpecificationOfTypeArguments=warning +org.eclipse.jdt.core.compiler.problem.redundantSuperinterface=warning +org.eclipse.jdt.core.compiler.problem.reportMethodCanBePotentiallyStatic=ignore +org.eclipse.jdt.core.compiler.problem.reportMethodCanBeStatic=ignore +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.problem.specialParameterHidingField=disabled +org.eclipse.jdt.core.compiler.problem.staticAccessReceiver=warning +org.eclipse.jdt.core.compiler.problem.suppressOptionalErrors=disabled +org.eclipse.jdt.core.compiler.problem.suppressWarnings=enabled +org.eclipse.jdt.core.compiler.problem.suppressWarningsNotFullyAnalysed=info +org.eclipse.jdt.core.compiler.problem.syntacticNullAnalysisForFields=disabled +org.eclipse.jdt.core.compiler.problem.syntheticAccessEmulation=ignore +org.eclipse.jdt.core.compiler.problem.terminalDeprecation=warning +org.eclipse.jdt.core.compiler.problem.typeParameterHiding=warning +org.eclipse.jdt.core.compiler.problem.unavoidableGenericTypeProblems=disabled +org.eclipse.jdt.core.compiler.problem.uncheckedTypeOperation=warning +org.eclipse.jdt.core.compiler.problem.unclosedCloseable=warning +org.eclipse.jdt.core.compiler.problem.undocumentedEmptyBlock=warning +org.eclipse.jdt.core.compiler.problem.unhandledWarningToken=warning +org.eclipse.jdt.core.compiler.problem.unlikelyCollectionMethodArgumentType=warning +org.eclipse.jdt.core.compiler.problem.unlikelyCollectionMethodArgumentTypeStrict=disabled +org.eclipse.jdt.core.compiler.problem.unlikelyEqualsArgumentType=warning +org.eclipse.jdt.core.compiler.problem.unnecessaryElse=ignore +org.eclipse.jdt.core.compiler.problem.unnecessaryTypeCheck=warning +org.eclipse.jdt.core.compiler.problem.unqualifiedFieldAccess=ignore +org.eclipse.jdt.core.compiler.problem.unstableAutoModuleName=warning +org.eclipse.jdt.core.compiler.problem.unusedDeclaredThrownException=warning +org.eclipse.jdt.core.compiler.problem.unusedDeclaredThrownExceptionExemptExceptionAndThrowable=enabled +org.eclipse.jdt.core.compiler.problem.unusedDeclaredThrownExceptionIncludeDocCommentReference=enabled +org.eclipse.jdt.core.compiler.problem.unusedDeclaredThrownExceptionWhenOverriding=disabled +org.eclipse.jdt.core.compiler.problem.unusedExceptionParameter=ignore +org.eclipse.jdt.core.compiler.problem.unusedImport=warning +org.eclipse.jdt.core.compiler.problem.unusedLabel=warning +org.eclipse.jdt.core.compiler.problem.unusedLocal=warning +org.eclipse.jdt.core.compiler.problem.unusedObjectAllocation=warning +org.eclipse.jdt.core.compiler.problem.unusedParameter=warning +org.eclipse.jdt.core.compiler.problem.unusedParameterIncludeDocCommentReference=enabled +org.eclipse.jdt.core.compiler.problem.unusedParameterWhenImplementingAbstract=disabled +org.eclipse.jdt.core.compiler.problem.unusedParameterWhenOverridingConcrete=disabled +org.eclipse.jdt.core.compiler.problem.unusedPrivateMember=warning +org.eclipse.jdt.core.compiler.problem.unusedTypeParameter=warning +org.eclipse.jdt.core.compiler.problem.unusedWarningToken=warning +org.eclipse.jdt.core.compiler.problem.varargsArgumentNeedCast=warning +org.eclipse.jdt.core.compiler.release=disabled +org.eclipse.jdt.core.compiler.source=11 +org.eclipse.jdt.core.compiler.taskCaseSensitive=enabled +org.eclipse.jdt.core.compiler.taskPriorities=NORMAL,NORMAL,HIGH,NORMAL,HIGH +org.eclipse.jdt.core.compiler.taskTags=TODO,FIXME,XXX,HACK,TMP +org.eclipse.jdt.core.incompatibleJDKLevel=ignore +org.eclipse.jdt.core.incompleteClasspath=error diff --git a/common/org.eclipse.escet.common.app.framework.tests/.settings/org.eclipse.jdt.launching.prefs b/common/org.eclipse.escet.common.app.framework.tests/.settings/org.eclipse.jdt.launching.prefs new file mode 100644 index 0000000000000000000000000000000000000000..f8a131b56e03adffcbd1a4ac8bbc1b963a41ac05 --- /dev/null +++ b/common/org.eclipse.escet.common.app.framework.tests/.settings/org.eclipse.jdt.launching.prefs @@ -0,0 +1,3 @@ +eclipse.preferences.version=1 +org.eclipse.jdt.launching.PREF_COMPILER_COMPLIANCE_DOES_NOT_MATCH_JRE=warning +org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=warning diff --git a/common/org.eclipse.escet.common.app.framework.tests/.settings/org.eclipse.jdt.ui.prefs b/common/org.eclipse.escet.common.app.framework.tests/.settings/org.eclipse.jdt.ui.prefs new file mode 100644 index 0000000000000000000000000000000000000000..a493f1431c6fcb2936f3046b3b7a569b151ef925 --- /dev/null +++ b/common/org.eclipse.escet.common.app.framework.tests/.settings/org.eclipse.jdt.ui.prefs @@ -0,0 +1,55 @@ +eclipse.preferences.version=1 +editor_save_participant_org.eclipse.jdt.ui.postsavelistener.cleanup=true +org.eclipse.jdt.ui.text.custom_code_templates= +sp_cleanup.add_default_serial_version_id=true +sp_cleanup.add_generated_serial_version_id=false +sp_cleanup.add_missing_annotations=false +sp_cleanup.add_missing_deprecated_annotations=true +sp_cleanup.add_missing_methods=false +sp_cleanup.add_missing_nls_tags=false +sp_cleanup.add_missing_override_annotations=true +sp_cleanup.add_missing_override_annotations_interface_methods=true +sp_cleanup.add_serial_version_id=false +sp_cleanup.always_use_blocks=true +sp_cleanup.always_use_parentheses_in_expressions=false +sp_cleanup.always_use_this_for_non_static_field_access=false +sp_cleanup.always_use_this_for_non_static_method_access=false +sp_cleanup.convert_to_enhanced_for_loop=false +sp_cleanup.correct_indentation=false +sp_cleanup.format_source_code=false +sp_cleanup.format_source_code_changes_only=false +sp_cleanup.make_local_variable_final=false +sp_cleanup.make_parameters_final=false +sp_cleanup.make_private_fields_final=true +sp_cleanup.make_type_abstract_if_missing_method=false +sp_cleanup.make_variable_declarations_final=false +sp_cleanup.never_use_blocks=false +sp_cleanup.never_use_parentheses_in_expressions=true +sp_cleanup.on_save_use_additional_actions=true +sp_cleanup.organize_imports=false +sp_cleanup.qualify_static_field_accesses_with_declaring_class=false +sp_cleanup.qualify_static_member_accesses_through_instances_with_declaring_class=true +sp_cleanup.qualify_static_member_accesses_through_subtypes_with_declaring_class=true +sp_cleanup.qualify_static_member_accesses_with_declaring_class=false +sp_cleanup.qualify_static_method_accesses_with_declaring_class=false +sp_cleanup.remove_private_constructors=true +sp_cleanup.remove_trailing_whitespaces=true +sp_cleanup.remove_trailing_whitespaces_all=true +sp_cleanup.remove_trailing_whitespaces_ignore_empty=false +sp_cleanup.remove_unnecessary_casts=false +sp_cleanup.remove_unnecessary_nls_tags=false +sp_cleanup.remove_unused_imports=false +sp_cleanup.remove_unused_local_variables=false +sp_cleanup.remove_unused_private_fields=true +sp_cleanup.remove_unused_private_members=false +sp_cleanup.remove_unused_private_methods=true +sp_cleanup.remove_unused_private_types=true +sp_cleanup.sort_members=false +sp_cleanup.sort_members_all=false +sp_cleanup.use_blocks=false +sp_cleanup.use_blocks_only_for_return_and_throw=false +sp_cleanup.use_parentheses_in_expressions=false +sp_cleanup.use_this_for_non_static_field_access=false +sp_cleanup.use_this_for_non_static_field_access_only_if_necessary=true +sp_cleanup.use_this_for_non_static_method_access=false +sp_cleanup.use_this_for_non_static_method_access_only_if_necessary=true diff --git a/common/org.eclipse.escet.common.app.framework.tests/META-INF/MANIFEST.MF b/common/org.eclipse.escet.common.app.framework.tests/META-INF/MANIFEST.MF new file mode 100644 index 0000000000000000000000000000000000000000..b88bb45c750b716b9e9f87c15a942cec6c583fba --- /dev/null +++ b/common/org.eclipse.escet.common.app.framework.tests/META-INF/MANIFEST.MF @@ -0,0 +1,16 @@ +Manifest-Version: 1.0 +Bundle-ManifestVersion: 2 +Bundle-Name: ESCET Common Application Framework Tests (Incubation) +Bundle-SymbolicName: org.eclipse.escet.common.app.framework.tests;singleton:=true +Bundle-Version: 0.8.0.qualifier +Bundle-Vendor: Eclipse ESCET +Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-ActivationPolicy: lazy +Require-Bundle: org.eclipse.escet.common.java;bundle-version="0.7.0", + org.eclipse.escet.common.app.framework;bundle-version="0.7.0", + org.junit;bundle-version="4.12.0", + org.apache.commons.lang3;bundle-version="3.1.0", + org.apache.commons.io;bundle-version="2.6.0", + org.eclipse.emf.common;bundle-version="2.17.0" +Export-Package: org.eclipse.escet.common.app.framework.tests;x-internal:=true +Automatic-Module-Name: org.eclipse.escet.common.app.framework.tests diff --git a/common/org.eclipse.escet.common.app.framework.tests/build.properties b/common/org.eclipse.escet.common.app.framework.tests/build.properties new file mode 100644 index 0000000000000000000000000000000000000000..f1a1d768fa5b8fa75541a9f09d36490bafccdee1 --- /dev/null +++ b/common/org.eclipse.escet.common.app.framework.tests/build.properties @@ -0,0 +1,16 @@ +############################################################################### +# Copyright (c) 2010, 2022 Contributors to the Eclipse Foundation +# +# See the NOTICE file(s) distributed with this work for additional +# information regarding copyright ownership. +# +# This program and the accompanying materials are made available under the terms +# of the MIT License which is available at https://opensource.org/licenses/MIT +# +# SPDX-License-Identifier: MIT +############################################################################### + +source.. = src-test/ +output.. = target/classes/ +bin.includes = META-INF/,\ + ., diff --git a/common/org.eclipse.escet.common.app.framework/src-test/org/eclipse/escet/common/app/framework/PathsTest.java b/common/org.eclipse.escet.common.app.framework.tests/src-test/org/eclipse/escet/common/app/framework/tests/PathsTest.java similarity index 98% rename from common/org.eclipse.escet.common.app.framework/src-test/org/eclipse/escet/common/app/framework/PathsTest.java rename to common/org.eclipse.escet.common.app.framework.tests/src-test/org/eclipse/escet/common/app/framework/tests/PathsTest.java index 2638a266c81d57629d48a173de76cc98e07df539..1a8a2b6fe59ca11f35c637e5cbdb031c4a8ceccb 100644 --- a/common/org.eclipse.escet.common.app.framework/src-test/org/eclipse/escet/common/app/framework/PathsTest.java +++ b/common/org.eclipse.escet.common.app.framework.tests/src-test/org/eclipse/escet/common/app/framework/tests/PathsTest.java @@ -11,7 +11,7 @@ // SPDX-License-Identifier: MIT ////////////////////////////////////////////////////////////////////////////// -package org.eclipse.escet.common.app.framework; +package org.eclipse.escet.common.app.framework.tests; import static org.apache.commons.lang3.SystemUtils.IS_OS_WINDOWS; import static org.eclipse.escet.common.java.Strings.fmt; @@ -20,6 +20,8 @@ import static org.junit.Assert.assertEquals; import java.io.File; import java.util.Arrays; +import org.eclipse.escet.common.app.framework.AppEnv; +import org.eclipse.escet.common.app.framework.Paths; import org.junit.After; import org.junit.Before; import org.junit.Test; diff --git a/common/org.eclipse.escet.common.app.framework/src-test/org/eclipse/escet/common/app/framework/ReportExceptionTest.java b/common/org.eclipse.escet.common.app.framework.tests/src-test/org/eclipse/escet/common/app/framework/tests/ReportExceptionTest.java similarity index 99% rename from common/org.eclipse.escet.common.app.framework/src-test/org/eclipse/escet/common/app/framework/ReportExceptionTest.java rename to common/org.eclipse.escet.common.app.framework.tests/src-test/org/eclipse/escet/common/app/framework/tests/ReportExceptionTest.java index 74dd8cf7a24fdfcb5f7a52f020b9aad4705bce1b..ca28098322903292b60f1259c8eaa0b74fc491f3 100644 --- a/common/org.eclipse.escet.common.app.framework/src-test/org/eclipse/escet/common/app/framework/ReportExceptionTest.java +++ b/common/org.eclipse.escet.common.app.framework.tests/src-test/org/eclipse/escet/common/app/framework/tests/ReportExceptionTest.java @@ -11,7 +11,7 @@ // SPDX-License-Identifier: MIT ////////////////////////////////////////////////////////////////////////////// -package org.eclipse.escet.common.app.framework; +package org.eclipse.escet.common.app.framework.tests; import static org.eclipse.escet.common.java.Lists.list; import static org.eclipse.escet.common.java.Strings.fmt; @@ -19,6 +19,7 @@ import static org.junit.Assert.assertEquals; import java.util.concurrent.atomic.AtomicInteger; +import org.eclipse.escet.common.app.framework.Application; import org.eclipse.escet.common.app.framework.exceptions.ApplicationException; import org.eclipse.escet.common.app.framework.io.AppStream; import org.eclipse.escet.common.app.framework.io.AppStreams; diff --git a/common/org.eclipse.escet.common.app.framework/src-test/org/eclipse/escet/common/app/framework/ResourceClassLoaderTest.java b/common/org.eclipse.escet.common.app.framework.tests/src-test/org/eclipse/escet/common/app/framework/tests/ResourceClassLoaderTest.java similarity index 97% rename from common/org.eclipse.escet.common.app.framework/src-test/org/eclipse/escet/common/app/framework/ResourceClassLoaderTest.java rename to common/org.eclipse.escet.common.app.framework.tests/src-test/org/eclipse/escet/common/app/framework/tests/ResourceClassLoaderTest.java index baa5b5ae60dd67ec54aec3b4ddb0283ada68b311..0763bd916eadb63ba58cc1fcc521190dae1a411b 100644 --- a/common/org.eclipse.escet.common.app.framework/src-test/org/eclipse/escet/common/app/framework/ResourceClassLoaderTest.java +++ b/common/org.eclipse.escet.common.app.framework.tests/src-test/org/eclipse/escet/common/app/framework/tests/ResourceClassLoaderTest.java @@ -11,7 +11,7 @@ // SPDX-License-Identifier: MIT ////////////////////////////////////////////////////////////////////////////// -package org.eclipse.escet.common.app.framework; +package org.eclipse.escet.common.app.framework.tests; import static org.junit.Assert.assertArrayEquals; import static org.junit.Assert.assertNotNull; diff --git a/common/org.eclipse.escet.common.app.framework/src-test/org/eclipse/escet/common/app/framework/RuntimeJavaCompilerEclipseTest.java b/common/org.eclipse.escet.common.app.framework.tests/src-test/org/eclipse/escet/common/app/framework/tests/RuntimeJavaCompilerEclipseTest.java similarity index 93% rename from common/org.eclipse.escet.common.app.framework/src-test/org/eclipse/escet/common/app/framework/RuntimeJavaCompilerEclipseTest.java rename to common/org.eclipse.escet.common.app.framework.tests/src-test/org/eclipse/escet/common/app/framework/tests/RuntimeJavaCompilerEclipseTest.java index 1c9c82d73ce7bb88a947d14f849fb9d4a1eeb4fc..b28d01df63ccba9be619a564ca1310fe3d89b6a8 100644 --- a/common/org.eclipse.escet.common.app.framework/src-test/org/eclipse/escet/common/app/framework/RuntimeJavaCompilerEclipseTest.java +++ b/common/org.eclipse.escet.common.app.framework.tests/src-test/org/eclipse/escet/common/app/framework/tests/RuntimeJavaCompilerEclipseTest.java @@ -11,7 +11,7 @@ // SPDX-License-Identifier: MIT ////////////////////////////////////////////////////////////////////////////// -package org.eclipse.escet.common.app.framework; +package org.eclipse.escet.common.app.framework.tests; /** {@link RuntimeJavaCompilerTest} with "eclipse" Java compiler. */ public class RuntimeJavaCompilerEclipseTest extends RuntimeJavaCompilerTest { diff --git a/common/org.eclipse.escet.common.app.framework/src-test/org/eclipse/escet/common/app/framework/RuntimeJavaCompilerJdkTest.java b/common/org.eclipse.escet.common.app.framework.tests/src-test/org/eclipse/escet/common/app/framework/tests/RuntimeJavaCompilerJdkTest.java similarity index 93% rename from common/org.eclipse.escet.common.app.framework/src-test/org/eclipse/escet/common/app/framework/RuntimeJavaCompilerJdkTest.java rename to common/org.eclipse.escet.common.app.framework.tests/src-test/org/eclipse/escet/common/app/framework/tests/RuntimeJavaCompilerJdkTest.java index 578955818cbf3383327a164d91d1d8ff392926e1..26e5249f38e28128f92a3f6f287a1c6b1099a615 100644 --- a/common/org.eclipse.escet.common.app.framework/src-test/org/eclipse/escet/common/app/framework/RuntimeJavaCompilerJdkTest.java +++ b/common/org.eclipse.escet.common.app.framework.tests/src-test/org/eclipse/escet/common/app/framework/tests/RuntimeJavaCompilerJdkTest.java @@ -11,7 +11,7 @@ // SPDX-License-Identifier: MIT ////////////////////////////////////////////////////////////////////////////// -package org.eclipse.escet.common.app.framework; +package org.eclipse.escet.common.app.framework.tests; /** {@link RuntimeJavaCompilerTest} with "jdk" Java compiler. */ public class RuntimeJavaCompilerJdkTest extends RuntimeJavaCompilerTest { diff --git a/common/org.eclipse.escet.common.app.framework/src-test/org/eclipse/escet/common/app/framework/RuntimeJavaCompilerTest.java b/common/org.eclipse.escet.common.app.framework.tests/src-test/org/eclipse/escet/common/app/framework/tests/RuntimeJavaCompilerTest.java similarity index 99% rename from common/org.eclipse.escet.common.app.framework/src-test/org/eclipse/escet/common/app/framework/RuntimeJavaCompilerTest.java rename to common/org.eclipse.escet.common.app.framework.tests/src-test/org/eclipse/escet/common/app/framework/tests/RuntimeJavaCompilerTest.java index a0fe78b19959ed8d150acea3aef523d76c7bd5a1..8d3d5e0d1ae9d9f16e633ea07c93ebc5391cc6a7 100644 --- a/common/org.eclipse.escet.common.app.framework/src-test/org/eclipse/escet/common/app/framework/RuntimeJavaCompilerTest.java +++ b/common/org.eclipse.escet.common.app.framework.tests/src-test/org/eclipse/escet/common/app/framework/tests/RuntimeJavaCompilerTest.java @@ -11,7 +11,7 @@ // SPDX-License-Identifier: MIT ////////////////////////////////////////////////////////////////////////////// -package org.eclipse.escet.common.app.framework; +package org.eclipse.escet.common.app.framework.tests; import static org.eclipse.escet.common.java.Maps.map; import static org.junit.Assert.assertEquals; diff --git a/common/org.eclipse.escet.common.app.framework/test-common-app-framework-crash-report.launch b/common/org.eclipse.escet.common.app.framework.tests/test-common-app-framework-crash-report.launch similarity index 100% rename from common/org.eclipse.escet.common.app.framework/test-common-app-framework-crash-report.launch rename to common/org.eclipse.escet.common.app.framework.tests/test-common-app-framework-crash-report.launch diff --git a/common/org.eclipse.escet.common.app.framework.tests/test-common-app-framework.launch b/common/org.eclipse.escet.common.app.framework.tests/test-common-app-framework.launch new file mode 100644 index 0000000000000000000000000000000000000000..11c18eb5239a38f82fd9cdcac2543ccd67e01aaa --- /dev/null +++ b/common/org.eclipse.escet.common.app.framework.tests/test-common-app-framework.launch @@ -0,0 +1,42 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/common/org.eclipse.escet.common.app.framework/.classpath b/common/org.eclipse.escet.common.app.framework/.classpath index 19b31782861547a8cb8f8eb3c6908561387c4955..685a6999c9acba0d0158b0929d7a4d384644452e 100644 --- a/common/org.eclipse.escet.common.app.framework/.classpath +++ b/common/org.eclipse.escet.common.app.framework/.classpath @@ -6,16 +6,6 @@ - - - - - - - - - - diff --git a/common/org.eclipse.escet.common.app.framework/.settings/org.eclipse.core.resources.prefs b/common/org.eclipse.escet.common.app.framework/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/common/org.eclipse.escet.common.app.framework/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/common/org.eclipse.escet.common.app.framework/.settings/org.eclipse.jdt.core.prefs b/common/org.eclipse.escet.common.app.framework/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/common/org.eclipse.escet.common.app.framework/.settings/org.eclipse.jdt.core.prefs +++ b/common/org.eclipse.escet.common.app.framework/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/common/org.eclipse.escet.common.app.framework/test-common-app-framework.launch b/common/org.eclipse.escet.common.app.framework/test-common-app-framework.launch deleted file mode 100644 index 9fe312103f9866e5a209058ad989f3144e811181..0000000000000000000000000000000000000000 --- a/common/org.eclipse.escet.common.app.framework/test-common-app-framework.launch +++ /dev/null @@ -1,18 +0,0 @@ - - - - - - - - - - - - - - - - - - diff --git a/common/org.eclipse.escet.common.asciidoc/.settings/org.eclipse.core.resources.prefs b/common/org.eclipse.escet.common.asciidoc/.settings/org.eclipse.core.resources.prefs index f9fe34593fcd3624a964478aeb438b0d44fe7237..99f26c0203a7844de00dbfc56e6a35d8ed3c022c 100644 --- a/common/org.eclipse.escet.common.asciidoc/.settings/org.eclipse.core.resources.prefs +++ b/common/org.eclipse.escet.common.asciidoc/.settings/org.eclipse.core.resources.prefs @@ -1,4 +1,2 @@ eclipse.preferences.version=1 -encoding//src/main/java=UTF-8 -encoding//src/test/java=UTF-8 encoding/=UTF-8 diff --git a/common/org.eclipse.escet.common.asciidoc/.settings/org.eclipse.jdt.core.prefs b/common/org.eclipse.escet.common.asciidoc/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/common/org.eclipse.escet.common.asciidoc/.settings/org.eclipse.jdt.core.prefs +++ b/common/org.eclipse.escet.common.asciidoc/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/common/org.eclipse.escet.common.box/.settings/org.eclipse.core.resources.prefs b/common/org.eclipse.escet.common.box/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/common/org.eclipse.escet.common.box/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/common/org.eclipse.escet.common.box/.settings/org.eclipse.jdt.core.prefs b/common/org.eclipse.escet.common.box/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/common/org.eclipse.escet.common.box/.settings/org.eclipse.jdt.core.prefs +++ b/common/org.eclipse.escet.common.box/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/common/org.eclipse.escet.common.dsm.app/.settings/org.eclipse.core.resources.prefs b/common/org.eclipse.escet.common.dsm.app/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/common/org.eclipse.escet.common.dsm.app/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/common/org.eclipse.escet.common.dsm.app/.settings/org.eclipse.jdt.core.prefs b/common/org.eclipse.escet.common.dsm.app/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/common/org.eclipse.escet.common.dsm.app/.settings/org.eclipse.jdt.core.prefs +++ b/common/org.eclipse.escet.common.dsm.app/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/common/org.eclipse.escet.common.dsm/.settings/org.eclipse.core.resources.prefs b/common/org.eclipse.escet.common.dsm/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/common/org.eclipse.escet.common.dsm/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/common/org.eclipse.escet.common.dsm/.settings/org.eclipse.jdt.core.prefs b/common/org.eclipse.escet.common.dsm/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/common/org.eclipse.escet.common.dsm/.settings/org.eclipse.jdt.core.prefs +++ b/common/org.eclipse.escet.common.dsm/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/common/org.eclipse.escet.common.eclipse.ui/.settings/org.eclipse.core.resources.prefs b/common/org.eclipse.escet.common.eclipse.ui/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/common/org.eclipse.escet.common.eclipse.ui/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/common/org.eclipse.escet.common.eclipse.ui/.settings/org.eclipse.jdt.core.prefs b/common/org.eclipse.escet.common.eclipse.ui/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/common/org.eclipse.escet.common.eclipse.ui/.settings/org.eclipse.jdt.core.prefs +++ b/common/org.eclipse.escet.common.eclipse.ui/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/common/org.eclipse.escet.common.emf.ecore.codegen/.settings/org.eclipse.core.resources.prefs b/common/org.eclipse.escet.common.emf.ecore.codegen/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/common/org.eclipse.escet.common.emf.ecore.codegen/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/common/org.eclipse.escet.common.emf.ecore.codegen/.settings/org.eclipse.jdt.core.prefs b/common/org.eclipse.escet.common.emf.ecore.codegen/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/common/org.eclipse.escet.common.emf.ecore.codegen/.settings/org.eclipse.jdt.core.prefs +++ b/common/org.eclipse.escet.common.emf.ecore.codegen/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/common/org.eclipse.escet.common.emf.ecore.validation/.settings/org.eclipse.core.resources.prefs b/common/org.eclipse.escet.common.emf.ecore.validation/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/common/org.eclipse.escet.common.emf.ecore.validation/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/common/org.eclipse.escet.common.emf.ecore.validation/.settings/org.eclipse.jdt.core.prefs b/common/org.eclipse.escet.common.emf.ecore.validation/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/common/org.eclipse.escet.common.emf.ecore.validation/.settings/org.eclipse.jdt.core.prefs +++ b/common/org.eclipse.escet.common.emf.ecore.validation/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/common/org.eclipse.escet.common.emf.ecore.xmi/.settings/org.eclipse.core.resources.prefs b/common/org.eclipse.escet.common.emf.ecore.xmi/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/common/org.eclipse.escet.common.emf.ecore.xmi/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/common/org.eclipse.escet.common.emf.ecore.xmi/.settings/org.eclipse.jdt.core.prefs b/common/org.eclipse.escet.common.emf.ecore.xmi/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/common/org.eclipse.escet.common.emf.ecore.xmi/.settings/org.eclipse.jdt.core.prefs +++ b/common/org.eclipse.escet.common.emf.ecore.xmi/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/common/org.eclipse.escet.common.emf.tests/.settings/org.eclipse.core.resources.prefs b/common/org.eclipse.escet.common.emf.tests/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/common/org.eclipse.escet.common.emf.tests/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/common/org.eclipse.escet.common.emf.tests/.settings/org.eclipse.jdt.core.prefs b/common/org.eclipse.escet.common.emf.tests/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/common/org.eclipse.escet.common.emf.tests/.settings/org.eclipse.jdt.core.prefs +++ b/common/org.eclipse.escet.common.emf.tests/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/common/org.eclipse.escet.common.emf/.settings/org.eclipse.core.resources.prefs b/common/org.eclipse.escet.common.emf/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/common/org.eclipse.escet.common.emf/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/common/org.eclipse.escet.common.emf/.settings/org.eclipse.jdt.core.prefs b/common/org.eclipse.escet.common.emf/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/common/org.eclipse.escet.common.emf/.settings/org.eclipse.jdt.core.prefs +++ b/common/org.eclipse.escet.common.emf/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/common/org.eclipse.escet.common.feature/.settings/org.eclipse.core.resources.prefs b/common/org.eclipse.escet.common.feature/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/common/org.eclipse.escet.common.feature/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/common/org.eclipse.escet.common.java/.settings/org.eclipse.core.resources.prefs b/common/org.eclipse.escet.common.java/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/common/org.eclipse.escet.common.java/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/common/org.eclipse.escet.common.java/.settings/org.eclipse.jdt.core.prefs b/common/org.eclipse.escet.common.java/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/common/org.eclipse.escet.common.java/.settings/org.eclipse.jdt.core.prefs +++ b/common/org.eclipse.escet.common.java/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/common/org.eclipse.escet.common.multivaluetrees/.settings/org.eclipse.core.resources.prefs b/common/org.eclipse.escet.common.multivaluetrees/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/common/org.eclipse.escet.common.multivaluetrees/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/common/org.eclipse.escet.common.multivaluetrees/.settings/org.eclipse.jdt.core.prefs b/common/org.eclipse.escet.common.multivaluetrees/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/common/org.eclipse.escet.common.multivaluetrees/.settings/org.eclipse.jdt.core.prefs +++ b/common/org.eclipse.escet.common.multivaluetrees/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/common/org.eclipse.escet.common.position.common/.settings/org.eclipse.core.resources.prefs b/common/org.eclipse.escet.common.position.common/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/common/org.eclipse.escet.common.position.common/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/common/org.eclipse.escet.common.position.common/.settings/org.eclipse.jdt.core.prefs b/common/org.eclipse.escet.common.position.common/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/common/org.eclipse.escet.common.position.common/.settings/org.eclipse.jdt.core.prefs +++ b/common/org.eclipse.escet.common.position.common/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/common/org.eclipse.escet.common.position.metamodel/.settings/org.eclipse.core.resources.prefs b/common/org.eclipse.escet.common.position.metamodel/.settings/org.eclipse.core.resources.prefs index fe77cd36ac013ed3ab46f995659cca712cc4dd0f..d32c96db80828825f0c13f82b20877a6b25856e6 100644 --- a/common/org.eclipse.escet.common.position.metamodel/.settings/org.eclipse.core.resources.prefs +++ b/common/org.eclipse.escet.common.position.metamodel/.settings/org.eclipse.core.resources.prefs @@ -1,2 +1,3 @@ eclipse.preferences.version=1 encoding//model/position.ecore=UTF-8 +encoding/=UTF-8 diff --git a/common/org.eclipse.escet.common.raildiagrams/.settings/org.eclipse.core.resources.prefs b/common/org.eclipse.escet.common.raildiagrams/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/common/org.eclipse.escet.common.raildiagrams/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/common/org.eclipse.escet.common.raildiagrams/.settings/org.eclipse.jdt.core.prefs b/common/org.eclipse.escet.common.raildiagrams/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/common/org.eclipse.escet.common.raildiagrams/.settings/org.eclipse.jdt.core.prefs +++ b/common/org.eclipse.escet.common.raildiagrams/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/common/org.eclipse.escet.common.svg/.settings/org.eclipse.core.resources.prefs b/common/org.eclipse.escet.common.svg/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/common/org.eclipse.escet.common.svg/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/common/org.eclipse.escet.common.svg/.settings/org.eclipse.jdt.core.prefs b/common/org.eclipse.escet.common.svg/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/common/org.eclipse.escet.common.svg/.settings/org.eclipse.jdt.core.prefs +++ b/common/org.eclipse.escet.common.svg/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/common/org.eclipse.escet.common.tests/.settings/org.eclipse.core.resources.prefs b/common/org.eclipse.escet.common.tests/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/common/org.eclipse.escet.common.tests/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/common/org.eclipse.escet.common.tests/.settings/org.eclipse.jdt.core.prefs b/common/org.eclipse.escet.common.tests/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/common/org.eclipse.escet.common.tests/.settings/org.eclipse.jdt.core.prefs +++ b/common/org.eclipse.escet.common.tests/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/common/org.eclipse.escet.common.tooldefs/.settings/org.eclipse.core.resources.prefs b/common/org.eclipse.escet.common.tooldefs/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/common/org.eclipse.escet.common.tooldefs/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/common/org.eclipse.escet.common.tooldefs/.settings/org.eclipse.jdt.core.prefs b/common/org.eclipse.escet.common.tooldefs/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/common/org.eclipse.escet.common.tooldefs/.settings/org.eclipse.jdt.core.prefs +++ b/common/org.eclipse.escet.common.tooldefs/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/common/org.eclipse.escet.common.typechecker/.settings/org.eclipse.core.resources.prefs b/common/org.eclipse.escet.common.typechecker/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/common/org.eclipse.escet.common.typechecker/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/common/org.eclipse.escet.common.typechecker/.settings/org.eclipse.jdt.core.prefs b/common/org.eclipse.escet.common.typechecker/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/common/org.eclipse.escet.common.typechecker/.settings/org.eclipse.jdt.core.prefs +++ b/common/org.eclipse.escet.common.typechecker/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/misc/java-code-style/.settings/org.eclipse.core.resources.prefs b/misc/java-code-style/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/misc/java-code-style/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/misc/java-code-style/.settings/org.eclipse.jdt.core.prefs b/misc/java-code-style/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/misc/java-code-style/.settings/org.eclipse.jdt.core.prefs +++ b/misc/java-code-style/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/misc/license-check-dependencies/Jenkinsfile b/misc/license-check-dependencies/Jenkinsfile index 5326485a4c69c0f7cbb42949ab27470921286fdd..d218a6024b93ed6c6993698f1cc5323b6036cb5d 100644 --- a/misc/license-check-dependencies/Jenkinsfile +++ b/misc/license-check-dependencies/Jenkinsfile @@ -20,7 +20,7 @@ pipeline { tools { jdk 'openjdk-jdk11-latest' - maven 'apache-maven-3.8.1' + maven 'apache-maven-3.8.4' } options { diff --git a/org.eclipse.escet.setup b/org.eclipse.escet.setup index 0e3dfb1ff9aa3290a36ecf083f3cc9cb7c8dde73..5e146dd1595a7660969ed72c271034bfb37febe7 100644 --- a/org.eclipse.escet.setup +++ b/org.eclipse.escet.setup @@ -16,11 +16,11 @@ + value="2022-06"/> + value="R20220531185310"/> + value="16"/> + value="22"/> + value="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <profiles version="22"> <profile kind="CodeFormatterProfile" name="Eclipse ESCET profile" version="22"> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_ellipsis" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_comma_in_enum_declarations" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_comma_in_allocation_expression" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.parentheses_positions_in_for_statment" value="common_lines"/> <setting id="org.eclipse.jdt.core.formatter.comment.new_lines_at_block_boundaries" value="true"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_comma_in_constructor_declaration_parameters" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.comment.insert_new_line_for_parameter" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_new_line_after_annotation_on_package" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_between_empty_parens_in_enum_constant" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_closing_paren_in_while" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_between_empty_parens_in_annotation_type_member_declaration" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.comment.format_javadoc_comments" value="true"/> <setting id="org.eclipse.jdt.core.formatter.indentation.size" value="4"/> <setting id="org.eclipse.jdt.core.formatter.parentheses_positions_in_enum_constant_declaration" value="common_lines"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_semicolon_in_for" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.align_with_spaces" value="false"/> <setting id="org.eclipse.jdt.core.formatter.continuation_indentation" value="2"/> <setting id="org.eclipse.jdt.core.formatter.number_of_blank_lines_before_code_block" value="0"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_comma_in_switch_case_expressions" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.blank_lines_after_package" value="1"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_comma_in_multiple_local_declarations" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_arguments_in_enum_constant" value="16"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_opening_angle_bracket_in_parameterized_type_reference" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.comment.indent_root_tags" value="false"/> <setting id="org.eclipse.jdt.core.formatter.wrap_before_or_operator_multicatch" value="true"/> <setting id="org.eclipse.jdt.core.formatter.enabling_tag" value="@formatter:on"/> <setting id="org.eclipse.jdt.core.formatter.comment.count_line_length_from_starting_position" value="false"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_record_components" value="16"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_throws_clause_in_method_declaration" value="16"/> <setting id="org.eclipse.jdt.core.formatter.insert_new_line_after_annotation_on_parameter" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.wrap_before_multiplicative_operator" value="true"/> <setting id="org.eclipse.jdt.core.formatter.keep_then_statement_on_same_line" value="false"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_comma_in_explicitconstructorcall_arguments" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_prefix_operator" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_closing_brace_in_array_initializer" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_opening_angle_bracket_in_type_arguments" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_new_line_after_annotation_on_method" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_parameterized_type_references" value="0"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_logical_operator" value="16"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_closing_paren_in_parenthesized_expression" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.keep_annotation_declaration_on_one_line" value="one_line_never"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_closing_paren_in_record_declaration" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_new_line_after_annotation_on_enum_constant" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_multiplicative_operator" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_and_in_type_parameter" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_between_empty_parens_in_method_invocation" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_assignment_operator" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_brace_in_type_declaration" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_for" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.comment.preserve_white_space_between_code_and_line_comments" value="false"/> <setting id="org.eclipse.jdt.core.formatter.insert_new_line_after_annotation_on_local_variable" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.blank_lines_before_abstract_method" value="1"/> <setting id="org.eclipse.jdt.core.formatter.keep_enum_constant_declaration_on_one_line" value="one_line_never"/> <setting id="org.eclipse.jdt.core.formatter.align_variable_declarations_on_columns" value="false"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_closing_paren_in_method_invocation" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_union_type_in_multicatch" value="16"/> <setting id="org.eclipse.jdt.core.formatter.number_of_blank_lines_at_beginning_of_method_body" value="-1"/> <setting id="org.eclipse.jdt.core.formatter.keep_else_statement_on_same_line" value="false"/> <setting id="org.eclipse.jdt.core.formatter.parentheses_positions_in_catch_clause" value="common_lines"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_comma_in_parameterized_type_reference" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_comma_in_array_initializer" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_comma_in_annotation" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_arguments_in_explicit_constructor_call" value="16"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_multiplicative_operator" value="16"/> <setting id="org.eclipse.jdt.core.formatter.keep_anonymous_type_declaration_on_one_line" value="one_line_never"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_comma_in_switch_case_expressions" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.wrap_before_shift_operator" value="true"/> <setting id="org.eclipse.jdt.core.formatter.indent_body_declarations_compare_to_annotation_declaration_header" value="true"/> <setting id="org.eclipse.jdt.core.formatter.brace_position_for_block" value="next_line_on_wrap"/> <setting id="org.eclipse.jdt.core.formatter.number_of_blank_lines_at_end_of_code_block" value="-1"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_bitwise_operator" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.put_empty_statement_on_new_line" value="true"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_parameters_in_constructor_declaration" value="16"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_type_parameters" value="16"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_compact_loops" value="16"/> <setting id="org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_block_comment" value="false"/> <setting id="org.eclipse.jdt.core.formatter.keep_simple_for_body_on_same_line" value="false"/> <setting id="org.eclipse.jdt.core.formatter.insert_new_line_at_end_of_file_if_missing" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.wrap_before_switch_case_arrow_operator" value="false"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_comma_in_array_initializer" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_unary_operator" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.format_line_comment_starting_on_first_column" value="false"/> <setting id="org.eclipse.jdt.core.formatter.parentheses_positions_in_annotation" value="common_lines"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_ellipsis" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_semicolon_in_try_resources" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_colon_in_assert" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_annotations_on_enum_constant" value="49"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_and_in_type_parameter" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_parenthesized_expression" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.text_block_indentation" value="0"/> <setting id="org.eclipse.jdt.core.formatter.align_type_members_on_columns" value="false"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_assignment" value="0"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_module_statements" value="16"/> <setting id="org.eclipse.jdt.core.formatter.indent_body_declarations_compare_to_type_header" value="true"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_between_empty_parens_in_method_declaration" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.comment.align_tags_names_descriptions" value="false"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_enum_constant" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.keep_if_then_body_block_on_one_line" value="one_line_never"/> <setting id="org.eclipse.jdt.core.formatter.blank_lines_before_first_class_body_declaration" value="-1"/> <setting id="org.eclipse.jdt.core.formatter.insert_new_line_before_closing_brace_in_array_initializer" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_comma_in_constructor_declaration_parameters" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.format_guardian_clause_on_one_line" value="false"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_if" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.align_assignment_statements_on_columns" value="false"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_comma_in_permitted_types" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.brace_position_for_block_in_case" value="next_line_on_wrap"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_closing_paren_in_constructor_declaration" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_conditional_expression_chain" value="0"/> <setting id="org.eclipse.jdt.core.formatter.comment.format_header" value="true"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_type_annotations" value="0"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_arguments_in_allocation_expression" value="16"/> <setting id="org.eclipse.jdt.core.formatter.wrap_before_assertion_message_operator" value="true"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_closing_paren_in_switch" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_method_declaration" value="16"/> <setting id="org.eclipse.jdt.core.formatter.align_fields_grouping_blank_lines" value="2147483647"/> <setting id="org.eclipse.jdt.core.formatter.comment.new_lines_at_javadoc_boundaries" value="true"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_bitwise_operator" value="16"/> <setting id="org.eclipse.jdt.core.formatter.brace_position_for_annotation_type_declaration" value="next_line_on_wrap"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_colon_in_for" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_resources_in_try" value="82"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_selector_in_method_invocation" value="16"/> <setting id="org.eclipse.jdt.core.formatter.never_indent_block_comments_on_first_column" value="false"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_synchronized" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_comma_in_allocation_expression" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.comment.format_source_code" value="false"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_brace_in_array_initializer" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.blank_lines_before_field" value="1"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_at_in_annotation" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.blank_lines_before_method" value="1"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_superclass_in_type_declaration" value="16"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_parenthesized_expression_in_throw" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_not_operator" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_new_line_after_type_annotation" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_opening_brace_in_array_initializer" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_parenthesized_expression" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.comment.format_html" value="true"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_at_in_annotation_type_declaration" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.parentheses_positions_in_method_delcaration" value="common_lines"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_compact_if" value="16"/> <setting id="org.eclipse.jdt.core.formatter.indent_empty_lines" value="false"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_type_arguments" value="0"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_unary_operator" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_enum_constant" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_arguments_in_annotation" value="16"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_comma_in_enum_declarations" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_annotations_on_package" value="49"/> <setting id="org.eclipse.jdt.core.formatter.indent_switchstatements_compare_to_switch" value="true"/> <setting id="org.eclipse.jdt.core.formatter.insert_new_line_before_else_in_if_statement" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_assignment_operator" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_new_line_after_label" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.indent_body_declarations_compare_to_enum_declaration_header" value="true"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_colon_in_conditional" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_comma_in_method_declaration_parameters" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_closing_paren_in_cast" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_arrow_in_switch_case" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_new_line_before_while_in_do_statement" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_bracket_in_array_type_reference" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.indent_body_declarations_compare_to_record_header" value="true"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_closing_angle_bracket_in_parameterized_type_reference" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_new_line_after_opening_brace_in_array_initializer" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.indent_breaks_compare_to_cases" value="true"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_closing_paren_in_method_declaration" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.wrap_before_bitwise_operator" value="true"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_try" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_lambda_arrow" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_method_declaration" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.comment.indent_tag_description" value="true"/> <setting id="org.eclipse.jdt.core.formatter.keep_imple_if_on_one_line" value="false"/> <setting id="org.eclipse.jdt.core.formatter.brace_position_for_record_constructor" value="next_line_on_wrap"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_brace_in_enum_declaration" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_between_brackets_in_array_type_reference" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_angle_bracket_in_type_parameters" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_string_concatenation" value="16"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_semicolon_in_for" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_bracket_in_array_allocation_expression" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_multiple_fields" value="16"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_comma_in_enum_constant_arguments" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_prefix_operator" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.brace_position_for_array_initializer" value="next_line_on_wrap"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_shift_operator" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_brace_in_method_declaration" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_comma_in_type_parameters" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_closing_paren_in_catch" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_shift_operator" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_between_empty_braces_in_array_initializer" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_comma_in_multiple_local_declarations" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.keep_simple_do_while_body_on_same_line" value="false"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_brace_in_annotation_type_declaration" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_comma_in_record_components" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.wrap_outer_expressions_when_nested" value="true"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_closing_paren_in_cast" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_synchronized" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_annotation_type_member_declaration" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_expressions_in_for_loop_header" value="0"/> <setting id="org.eclipse.jdt.core.formatter.wrap_before_additive_operator" value="true"/> <setting id="org.eclipse.jdt.core.formatter.keep_simple_getter_setter_on_one_line" value="false"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_while" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_opening_angle_bracket_in_type_parameters" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_string_concatenation" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_lambda_arrow" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.join_lines_in_comments" value="true"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_record_declaration" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_relational_operator" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_comma_in_multiple_field_declarations" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.blank_lines_between_import_groups" value="1"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_at_in_annotation_type_declaration" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_logical_operator" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.parentheses_positions_in_method_invocation" value="common_lines"/> <setting id="org.eclipse.jdt.core.formatter.blank_lines_after_imports" value="1"/> <setting id="org.eclipse.jdt.core.formatter.comment.insert_new_line_before_root_tags" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.parentheses_positions_in_record_declaration" value="common_lines"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_comma_in_method_declaration_throws" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.parentheses_positions_in_switch_statement" value="common_lines"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_postfix_operator" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_comma_in_for_increments" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_comma_in_type_arguments" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_arrow_in_switch_default" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_comma_in_for_inits" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.disabling_tag" value="@formatter:off"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_enum_constants" value="16"/> <setting id="org.eclipse.jdt.core.formatter.blank_lines_before_imports" value="1"/> <setting id="org.eclipse.jdt.core.formatter.number_of_blank_lines_at_end_of_method_body" value="-1"/> <setting id="org.eclipse.jdt.core.formatter.parentheses_positions_in_if_while_statement" value="common_lines"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_closing_brace_in_block" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_parenthesized_expression_in_return" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_arrow_in_switch_case" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_new_line_after_annotation_on_field" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.blank_lines_between_type_declarations" value="1"/> <setting id="org.eclipse.jdt.core.formatter.keep_switch_body_block_on_one_line" value="one_line_never"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_closing_paren_in_for" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_catch" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_switch" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_brace_in_anonymous_type_declaration" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.never_indent_line_comments_on_first_column" value="false"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_comma_in_for_inits" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.indent_statements_compare_to_block" value="true"/> <setting id="org.eclipse.jdt.core.formatter.brace_position_for_anonymous_type_declaration" value="next_line_on_wrap"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_question_in_wildcard" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_annotation" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_comma_in_method_invocation_arguments" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_expressions_in_switch_case_with_arrow" value="0"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_brace_in_switch" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.comment.align_tags_descriptions_grouped" value="false"/> <setting id="org.eclipse.jdt.core.formatter.comment.line_length" value="120"/> <setting id="org.eclipse.jdt.core.formatter.use_on_off_tags" value="true"/> <setting id="org.eclipse.jdt.core.formatter.keep_method_body_on_one_line" value="one_line_never"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_between_empty_brackets_in_array_allocation_expression" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.keep_loop_body_block_on_one_line" value="one_line_never"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_brace_in_enum_constant" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.brace_position_for_method_declaration" value="next_line_on_wrap"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_colon_in_for" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.keep_type_declaration_on_one_line" value="one_line_never"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_closing_angle_bracket_in_type_arguments" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_additive_operator" value="16"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_comma_in_multiple_field_declarations" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_brace_in_record_constructor" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_relational_operator" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_comma_in_superinterfaces" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.keep_record_declaration_on_one_line" value="one_line_never"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_colon_in_default" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_question_in_conditional" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.brace_position_for_constructor_declaration" value="next_line_on_wrap"/> <setting id="org.eclipse.jdt.core.formatter.brace_position_for_lambda_body" value="next_line_on_wrap"/> <setting id="org.eclipse.jdt.core.formatter.compact_else_if" value="true"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_comma_in_type_parameters" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_catch" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_method_invocation" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_comma_in_method_invocation_arguments" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_arguments_in_method_invocation" value="16"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_throws_clause_in_constructor_declaration" value="16"/> <setting id="org.eclipse.jdt.core.formatter.insert_new_line_before_catch_in_try_statement" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_try" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_annotations_on_parameter" value="0"/> <setting id="org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_javadoc_comment" value="false"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_relational_operator" value="0"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_expressions_in_array_initializer" value="16"/> <setting id="org.eclipse.jdt.core.formatter.number_of_empty_lines_to_preserve" value="1"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_colon_in_case" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_additive_operator" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_closing_paren_in_if" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_comma_in_type_arguments" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_string_concatenation" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.comment.format_line_comments" value="true"/> <setting id="org.eclipse.jdt.core.formatter.align_selector_in_method_invocation_on_expression_first_line" value="false"/> <setting id="org.eclipse.jdt.core.formatter.brace_position_for_record_declaration" value="next_line_on_wrap"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_colon_in_labeled_statement" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.keep_switch_case_with_arrow_on_one_line" value="one_line_never"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_expressions_in_switch_case_with_colon" value="0"/> <setting id="org.eclipse.jdt.core.formatter.number_of_blank_lines_after_code_block" value="0"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_superinterfaces_in_type_declaration" value="16"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_conditional_expression" value="16"/> <setting id="org.eclipse.jdt.core.formatter.insert_new_line_after_annotation_on_type" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_annotations_on_type" value="49"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_brace_in_block" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_annotations_on_local_variable" value="49"/> <setting id="org.eclipse.jdt.core.formatter.brace_position_for_enum_declaration" value="next_line_on_wrap"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_arrow_in_switch_default" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.comment.insert_new_line_between_different_tags" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_additive_operator" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_method_invocation" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_while" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.join_wrapped_lines" value="true"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_between_empty_parens_in_constructor_declaration" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_annotations_on_field" value="49"/> <setting id="org.eclipse.jdt.core.formatter.wrap_before_conditional_operator" value="true"/> <setting id="org.eclipse.jdt.core.formatter.indent_switchstatements_compare_to_cases" value="true"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_closing_bracket_in_array_allocation_expression" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_closing_paren_in_synchronized" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_shift_operator" value="0"/> <setting id="org.eclipse.jdt.core.formatter.use_tabs_only_for_leading_indentations" value="false"/> <setting id="org.eclipse.jdt.core.formatter.parentheses_positions_in_try_clause" value="common_lines"/> <setting id="org.eclipse.jdt.core.formatter.keep_code_block_on_one_line" value="one_line_never"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_comma_in_constructor_declaration_throws" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_comma_in_record_components" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.tabulation.size" value="4"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_bitwise_operator" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_opening_bracket_in_array_reference" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_colon_in_conditional" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_closing_paren_in_try" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_semicolon_in_try_resources" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.continuation_indentation_for_array_initializer" value="2"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_question_in_wildcard" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_record_declaration" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_superinterfaces_in_enum_declaration" value="16"/> <setting id="org.eclipse.jdt.core.formatter.wrap_before_assignment_operator" value="false"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_colon_in_labeled_statement" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.brace_position_for_switch" value="next_line_on_wrap"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_comma_in_superinterfaces" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_comma_in_method_declaration_parameters" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_closing_angle_bracket_in_type_parameters" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_switch_case_with_arrow" value="0"/> <setting id="org.eclipse.jdt.core.formatter.keep_lambda_body_block_on_one_line" value="one_line_if_single_item"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_annotations_on_method" value="49"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_comma_in_parameterized_type_reference" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.keep_record_constructor_on_one_line" value="one_line_never"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_brace_in_record_declaration" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.keep_empty_array_initializer_on_one_line" value="true"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_assertion_message" value="0"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_constructor_declaration" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.blank_lines_before_new_chunk" value="1"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_opening_bracket_in_array_allocation_expression" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_constructor_declaration" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_angle_bracket_in_parameterized_type_reference" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_closing_angle_bracket_in_type_arguments" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_colon_in_assert" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.blank_lines_before_member_type" value="1"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_logical_operator" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_arguments_in_qualified_allocation_expression" value="16"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_superinterfaces_in_record_declaration" value="16"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_if" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_semicolon" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.wrap_before_relational_operator" value="true"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_postfix_operator" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_angle_bracket_in_type_arguments" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_cast" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.comment.format_block_comments" value="true"/> <setting id="org.eclipse.jdt.core.formatter.alignment_for_parameters_in_method_declaration" value="16"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_comma_in_method_declaration_throws" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.blank_lines_after_last_class_body_declaration" value="-1"/> <setting id="org.eclipse.jdt.core.formatter.indent_statements_compare_to_body" value="true"/> <setting id="org.eclipse.jdt.core.formatter.keep_simple_while_body_on_same_line" value="false"/> <setting id="org.eclipse.jdt.core.formatter.wrap_before_logical_operator" value="true"/> <setting id="org.eclipse.jdt.core.formatter.blank_lines_between_statement_group_in_switch" value="0"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_closing_bracket_in_array_reference" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_comma_in_annotation" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_comma_in_enum_constant_arguments" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.parentheses_positions_in_lambda_declaration" value="separate_lines_if_wrapped"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_colon_in_case" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_comma_in_permitted_types" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_bracket_in_array_reference" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.keep_enum_declaration_on_one_line" value="one_line_never"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_method_declaration" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.brace_position_for_enum_constant" value="next_line_on_wrap"/> <setting id="org.eclipse.jdt.core.formatter.brace_position_for_type_declaration" value="next_line_on_wrap"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_multiplicative_operator" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.blank_lines_before_package" value="-2"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_for" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_comma_in_for_increments" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_closing_paren_in_enum_constant" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_comma_in_explicitconstructorcall_arguments" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_closing_paren_in_annotation" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.indent_body_declarations_compare_to_enum_constant_header" value="true"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_brace_in_constructor_declaration" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_comma_in_constructor_declaration_throws" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_closing_angle_bracket_in_type_parameters" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_question_in_conditional" value="insert"/> <setting id="org.eclipse.jdt.core.formatter.comment.indent_parameter_description" value="true"/> <setting id="org.eclipse.jdt.core.formatter.number_of_blank_lines_at_beginning_of_code_block" value="-1"/> <setting id="org.eclipse.jdt.core.formatter.insert_new_line_before_finally_in_try_statement" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.tabulation.char" value="space"/> <setting id="org.eclipse.jdt.core.formatter.wrap_before_string_concatenation" value="true"/> <setting id="org.eclipse.jdt.core.formatter.lineSplit" value="120"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_annotation" value="do not insert"/> <setting id="org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_switch" value="insert"/> </profile> </profiles>"/> + url="https://checkstyle.org/eclipse-cs-update-site/updates/${eclipse-checkstyle.version.major}.x/${eclipse-checkstyle.version.major}.${eclipse-checkstyle.version.minor}.x"/> Install the tools needed in the IDE to work with the source code for ${scope.project.label}. @@ -319,6 +319,12 @@ key="email" value="${eclipse.user.email}"/> + + + ${scope.project.label} + + url="https://download.eclipse.org/justj/jres/${eclipse.justj.version.major}/updates/release/${eclipse.justj.version.major}.${eclipse.justj.version.minor}.${eclipse.justj.version.micro}"/> + diff --git a/product/.settings/org.eclipse.core.resources.prefs b/product/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/product/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/product/org.eclipse.escet.product.branding/.settings/org.eclipse.core.resources.prefs b/product/org.eclipse.escet.product.branding/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/product/org.eclipse.escet.product.branding/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/product/org.eclipse.escet.product.feature/.settings/org.eclipse.core.resources.prefs b/product/org.eclipse.escet.product.feature/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/product/org.eclipse.escet.product.feature/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/product/org.eclipse.escet.product.feature/feature.xml b/product/org.eclipse.escet.product.feature/feature.xml index 251f6570213b846f74cff7469f2a18e4b66ab072..2934c3fd218b88b9b3b8eee8adfc8dd628d0da24 100644 --- a/product/org.eclipse.escet.product.feature/feature.xml +++ b/product/org.eclipse.escet.product.feature/feature.xml @@ -52,8 +52,8 @@ version="0.0.0"/> - - + + diff --git a/product/org.eclipse.escet.product.headless.feature/.settings/org.eclipse.core.resources.prefs b/product/org.eclipse.escet.product.headless.feature/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/product/org.eclipse.escet.product.headless.feature/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/product/org.eclipse.escet.product.perspective/.settings/org.eclipse.core.resources.prefs b/product/org.eclipse.escet.product.perspective/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/product/org.eclipse.escet.product.perspective/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/product/org.eclipse.escet.product.perspective/.settings/org.eclipse.jdt.core.prefs b/product/org.eclipse.escet.product.perspective/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/product/org.eclipse.escet.product.perspective/.settings/org.eclipse.jdt.core.prefs +++ b/product/org.eclipse.escet.product.perspective/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/product/org.eclipse.escet.product/category.xml b/product/org.eclipse.escet.product/category.xml index 1d07e44aa413b835791d0a8c0985b811d37fb3aa..88cce0c4aeff06743b6af9d8ff35b8d9896fa34a 100644 --- a/product/org.eclipse.escet.product/category.xml +++ b/product/org.eclipse.escet.product/category.xml @@ -88,6 +88,6 @@ Eclipse ESCET tooling for the ToolDef scripting language. - - + + diff --git a/product/org.eclipse.escet.product/escet.product b/product/org.eclipse.escet.product/escet.product index 086c6e6d53cb839c1cb335304d26589da3c5da1b..18c2eaf28631e0193574c94a2cf178f3000da78f 100644 --- a/product/org.eclipse.escet.product/escet.product +++ b/product/org.eclipse.escet.product/escet.product @@ -78,8 +78,8 @@ IN THE SOFTWARE. - - + + diff --git a/releng/.settings/org.eclipse.core.resources.prefs b/releng/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/releng/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/releng/org.eclipse.escet.releng.configuration/.settings/org.eclipse.core.resources.prefs b/releng/org.eclipse.escet.releng.configuration/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/releng/org.eclipse.escet.releng.configuration/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/releng/org.eclipse.escet.releng.configuration/pom.xml b/releng/org.eclipse.escet.releng.configuration/pom.xml index a522ae2f368ff4236dce727b85f7d7774c648f3b..1ded010102c7f6e3332f8d0521d3f3549d5323a3 100644 --- a/releng/org.eclipse.escet.releng.configuration/pom.xml +++ b/releng/org.eclipse.escet.releng.configuration/pom.xml @@ -172,7 +172,7 @@ SPDX-License-Identifier: MIT - org.eclipse.justj.openjdk.hotspot.jre.full-11.0.12 + org.eclipse.justj.openjdk.hotspot.jre.full-11 @@ -261,6 +261,14 @@ SPDX-License-Identifier: MIT ${tycho.version} + + default-p2-metadata-default + + false + + + + attach-p2-metadata package diff --git a/releng/org.eclipse.escet.releng.dev.documentation/.settings/org.eclipse.core.resources.prefs b/releng/org.eclipse.escet.releng.dev.documentation/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/releng/org.eclipse.escet.releng.dev.documentation/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/releng/org.eclipse.escet.releng.dev.documentation/asciidoc/development/dependency-upgrades.asciidoc b/releng/org.eclipse.escet.releng.dev.documentation/asciidoc/development/dependency-upgrades.asciidoc index fd3de211dcb96788296b52c0fdff74a2ee7722f5..2b9c341a1cbf0b593a8f1816feaa25d844432c60 100644 --- a/releng/org.eclipse.escet.releng.dev.documentation/asciidoc/development/dependency-upgrades.asciidoc +++ b/releng/org.eclipse.escet.releng.dev.documentation/asciidoc/development/dependency-upgrades.asciidoc @@ -147,12 +147,12 @@ To upgrade to a new Java version: ** Update Java version in `misc/license-check-dependencies/Jenkinsfile`. ** Update Java keywords for `org.eclipse.escet.common.java.JavaCodeUtils.JAVA_IDS`. Update the keywords themselves and the field's JavaDoc, including the link to the Java Language Specification (JLS). +** Update `dev-env-setup.asciidoc` to match new Java version. * For any Java versions (e.g. 11 to 12, or 11.0.1 to 11.0.2): ** Update the JustJ version (`eclipse.justj.version.*` variables) in the Oomph setup (`org.eclipse.escet.setup`). ** Regenerate the target platform file using Oomph. ** Update JustJ version for the product feature (`org.eclipse.escet.product.feature/feature.xml`). -** Update `dev-env-setup.asciidoc` to match new Java version. ** Force a rebuild in Eclipse (menu:Project[Clean...]) and check for any warnings/errors, addressing them if any. ** Run a <>. ** Ensure no errors or warnings during Maven build. diff --git a/releng/org.eclipse.escet.releng.dev.documentation/asciidoc/development/dev-env-setup.asciidoc b/releng/org.eclipse.escet.releng.dev.documentation/asciidoc/development/dev-env-setup.asciidoc index 190e522a23d8f6a2e4f4ab36beab759df0616cd0..9d605373bf96a787998148c0dd81687a35c3d5a6 100644 --- a/releng/org.eclipse.escet.releng.dev.documentation/asciidoc/development/dev-env-setup.asciidoc +++ b/releng/org.eclipse.escet.releng.dev.documentation/asciidoc/development/dev-env-setup.asciidoc @@ -50,8 +50,8 @@ Wait for the update to complete and the Eclipse Installer to restart. If the button is disabled (grey), you are already using the latest version. * In the first wizard window: ** Select _Eclipse Platform_ from the big list at the top. -** Select _2021-06_ for _Product Version_. -** For _Java 11+ VM_ select _JRE 11.0.12 - \http://download.eclipse.org/justj/jres/11/updates/release/11.0.12_. +** Select _2022-06_ for _Product Version_. +** For _Java 11+ VM_ select _JRE 11.x.x - \https://download.eclipse.org/justj/jres/11/updates/release/latest_. ** Choose whether you want a P2 bundle pool (recommended). ** Click btn:[Next]. * In the second wizard window: @@ -81,6 +81,7 @@ This will be used as email for Git commits. ** Select btn:[Finish]. * Wait for the setup to complete and the development environment to be launched. ** If asked, accept any licenses and certificates. +** If you get a _Trust_ dialog, click btn:[Select All] and then btn:[Trust Selected]. * Press btn:[Finish] in the Eclipse Installer to close the Eclipse Installer. * In the new development environment, observe Oomph executing the startup tasks (such as Git clone, importing projects, etc). If this is not automatically shown, click the rotating arrows icon in the status bar (bottom right) of the new development environment. diff --git a/releng/org.eclipse.escet.releng.license.mit/.settings/org.eclipse.core.resources.prefs b/releng/org.eclipse.escet.releng.license.mit/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/releng/org.eclipse.escet.releng.license.mit/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/releng/org.eclipse.escet.releng.project.documentation/.settings/org.eclipse.core.resources.prefs b/releng/org.eclipse.escet.releng.project.documentation/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/releng/org.eclipse.escet.releng.project.documentation/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/releng/org.eclipse.escet.releng.target/org.eclipse.escet.releng.target.target b/releng/org.eclipse.escet.releng.target/org.eclipse.escet.releng.target.target index 77906d87c18b2bc455ea7aaa091bb47e8690bc61..6b037fef0e7ab8fab8e5fd0c4d53590a0323f46f 100644 --- a/releng/org.eclipse.escet.releng.target/org.eclipse.escet.releng.target.target +++ b/releng/org.eclipse.escet.releng.target/org.eclipse.escet.releng.target.target @@ -1,19 +1,35 @@ - + + + + + + + + + + + + + + + + - + + - + @@ -23,31 +39,23 @@ - - - - - + + + + + - - - - - - - - - - - - - + - + + + + + diff --git a/releng/org.eclipse.escet.releng.tests/.settings/org.eclipse.core.resources.prefs b/releng/org.eclipse.escet.releng.tests/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/releng/org.eclipse.escet.releng.tests/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/releng/org.eclipse.escet.releng.tests/META-INF/MANIFEST.MF b/releng/org.eclipse.escet.releng.tests/META-INF/MANIFEST.MF index fad22618ea75a01823a6f65a0f9d95425f483a79..78a1f849de40fe23f862985ea0f6b68b7e9a0529 100644 --- a/releng/org.eclipse.escet.releng.tests/META-INF/MANIFEST.MF +++ b/releng/org.eclipse.escet.releng.tests/META-INF/MANIFEST.MF @@ -20,7 +20,7 @@ Require-Bundle: org.eclipse.escet.chi.codegen;bundle-version="0.8.0", org.eclipse.escet.cif.simulator;bundle-version="0.8.0", org.eclipse.escet.cif.tests;bundle-version="0.8.0", org.eclipse.escet.cif.typechecker;bundle-version="0.8.0", - org.eclipse.escet.common.app.framework;bundle-version="0.8.0", + org.eclipse.escet.common.app.framework.tests;bundle-version="0.8.0", org.eclipse.escet.common.box;bundle-version="0.8.0", org.eclipse.escet.common.dsm;bundle-version="0.8.0", org.eclipse.escet.common.emf.tests;bundle-version="0.8.0", diff --git a/releng/org.eclipse.escet.releng.website/.settings/org.eclipse.core.resources.prefs b/releng/org.eclipse.escet.releng.website/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/releng/org.eclipse.escet.releng.website/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/setext/.settings/org.eclipse.core.resources.prefs b/setext/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/setext/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/setext/org.eclipse.escet.setext.feature/.settings/org.eclipse.core.resources.prefs b/setext/org.eclipse.escet.setext.feature/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/setext/org.eclipse.escet.setext.feature/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/setext/org.eclipse.escet.setext.generator/.settings/org.eclipse.core.resources.prefs b/setext/org.eclipse.escet.setext.generator/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/setext/org.eclipse.escet.setext.generator/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/setext/org.eclipse.escet.setext.generator/.settings/org.eclipse.jdt.core.prefs b/setext/org.eclipse.escet.setext.generator/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/setext/org.eclipse.escet.setext.generator/.settings/org.eclipse.jdt.core.prefs +++ b/setext/org.eclipse.escet.setext.generator/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/setext/org.eclipse.escet.setext.io/.settings/org.eclipse.core.resources.prefs b/setext/org.eclipse.escet.setext.io/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/setext/org.eclipse.escet.setext.io/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/setext/org.eclipse.escet.setext.io/.settings/org.eclipse.jdt.core.prefs b/setext/org.eclipse.escet.setext.io/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/setext/org.eclipse.escet.setext.io/.settings/org.eclipse.jdt.core.prefs +++ b/setext/org.eclipse.escet.setext.io/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/setext/org.eclipse.escet.setext.parser/.settings/org.eclipse.core.resources.prefs b/setext/org.eclipse.escet.setext.parser/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/setext/org.eclipse.escet.setext.parser/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/setext/org.eclipse.escet.setext.parser/.settings/org.eclipse.jdt.core.prefs b/setext/org.eclipse.escet.setext.parser/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/setext/org.eclipse.escet.setext.parser/.settings/org.eclipse.jdt.core.prefs +++ b/setext/org.eclipse.escet.setext.parser/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/setext/org.eclipse.escet.setext.runtime/.settings/org.eclipse.core.resources.prefs b/setext/org.eclipse.escet.setext.runtime/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/setext/org.eclipse.escet.setext.runtime/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/setext/org.eclipse.escet.setext.runtime/.settings/org.eclipse.jdt.core.prefs b/setext/org.eclipse.escet.setext.runtime/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/setext/org.eclipse.escet.setext.runtime/.settings/org.eclipse.jdt.core.prefs +++ b/setext/org.eclipse.escet.setext.runtime/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/setext/org.eclipse.escet.setext.tests/.settings/org.eclipse.core.resources.prefs b/setext/org.eclipse.escet.setext.tests/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/setext/org.eclipse.escet.setext.tests/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/setext/org.eclipse.escet.setext.tests/.settings/org.eclipse.jdt.core.prefs b/setext/org.eclipse.escet.setext.tests/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/setext/org.eclipse.escet.setext.tests/.settings/org.eclipse.jdt.core.prefs +++ b/setext/org.eclipse.escet.setext.tests/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/setext/org.eclipse.escet.setext.texteditor/.settings/org.eclipse.core.resources.prefs b/setext/org.eclipse.escet.setext.texteditor/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/setext/org.eclipse.escet.setext.texteditor/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/setext/org.eclipse.escet.setext.texteditor/.settings/org.eclipse.jdt.core.prefs b/setext/org.eclipse.escet.setext.texteditor/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/setext/org.eclipse.escet.setext.texteditor/.settings/org.eclipse.jdt.core.prefs +++ b/setext/org.eclipse.escet.setext.texteditor/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/setext/org.eclipse.escet.setext.texteditorbase/.settings/org.eclipse.core.resources.prefs b/setext/org.eclipse.escet.setext.texteditorbase/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/setext/org.eclipse.escet.setext.texteditorbase/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/setext/org.eclipse.escet.setext.texteditorbase/.settings/org.eclipse.jdt.core.prefs b/setext/org.eclipse.escet.setext.texteditorbase/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/setext/org.eclipse.escet.setext.texteditorbase/.settings/org.eclipse.jdt.core.prefs +++ b/setext/org.eclipse.escet.setext.texteditorbase/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/setext/org.eclipse.escet.setext.typechecker/.settings/org.eclipse.core.resources.prefs b/setext/org.eclipse.escet.setext.typechecker/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/setext/org.eclipse.escet.setext.typechecker/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/setext/org.eclipse.escet.setext.typechecker/.settings/org.eclipse.jdt.core.prefs b/setext/org.eclipse.escet.setext.typechecker/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/setext/org.eclipse.escet.setext.typechecker/.settings/org.eclipse.jdt.core.prefs +++ b/setext/org.eclipse.escet.setext.typechecker/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/thirdparty/com.github.javabdd.feature/.settings/org.eclipse.core.resources.prefs b/thirdparty/com.github.javabdd.feature/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/thirdparty/com.github.javabdd.feature/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/thirdparty/com.github.javabdd/.settings/org.eclipse.core.resources.prefs b/thirdparty/com.github.javabdd/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/thirdparty/com.github.javabdd/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/tooldef/.project b/tooldef/.project index e1c8c5d907a239e89d07a9c24667f398b4ee2140..03d0166244235cbac9fdc89dbec513abf75122a8 100644 --- a/tooldef/.project +++ b/tooldef/.project @@ -21,7 +21,7 @@ 10 org.eclipse.ui.ide.multiFilter - 1.0-name-matches-false-false-* + 1.0-name-matches-false-false-org.eclipse.escet.* diff --git a/tooldef/.settings/org.eclipse.core.resources.prefs b/tooldef/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/tooldef/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/tooldef/org.eclipse.escet.tooldef.common/.settings/org.eclipse.core.resources.prefs b/tooldef/org.eclipse.escet.tooldef.common/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/tooldef/org.eclipse.escet.tooldef.common/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/tooldef/org.eclipse.escet.tooldef.common/.settings/org.eclipse.jdt.core.prefs b/tooldef/org.eclipse.escet.tooldef.common/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/tooldef/org.eclipse.escet.tooldef.common/.settings/org.eclipse.jdt.core.prefs +++ b/tooldef/org.eclipse.escet.tooldef.common/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/tooldef/org.eclipse.escet.tooldef.documentation/.settings/org.eclipse.core.resources.prefs b/tooldef/org.eclipse.escet.tooldef.documentation/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/tooldef/org.eclipse.escet.tooldef.documentation/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/tooldef/org.eclipse.escet.tooldef.feature/.settings/org.eclipse.core.resources.prefs b/tooldef/org.eclipse.escet.tooldef.feature/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/tooldef/org.eclipse.escet.tooldef.feature/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/tooldef/org.eclipse.escet.tooldef.interpreter/.settings/org.eclipse.core.resources.prefs b/tooldef/org.eclipse.escet.tooldef.interpreter/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/tooldef/org.eclipse.escet.tooldef.interpreter/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/tooldef/org.eclipse.escet.tooldef.interpreter/.settings/org.eclipse.jdt.core.prefs b/tooldef/org.eclipse.escet.tooldef.interpreter/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/tooldef/org.eclipse.escet.tooldef.interpreter/.settings/org.eclipse.jdt.core.prefs +++ b/tooldef/org.eclipse.escet.tooldef.interpreter/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/tooldef/org.eclipse.escet.tooldef.io/.settings/org.eclipse.core.resources.prefs b/tooldef/org.eclipse.escet.tooldef.io/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/tooldef/org.eclipse.escet.tooldef.io/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/tooldef/org.eclipse.escet.tooldef.io/.settings/org.eclipse.jdt.core.prefs b/tooldef/org.eclipse.escet.tooldef.io/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/tooldef/org.eclipse.escet.tooldef.io/.settings/org.eclipse.jdt.core.prefs +++ b/tooldef/org.eclipse.escet.tooldef.io/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/tooldef/org.eclipse.escet.tooldef.metamodel.java/.settings/org.eclipse.core.resources.prefs b/tooldef/org.eclipse.escet.tooldef.metamodel.java/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/tooldef/org.eclipse.escet.tooldef.metamodel.java/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/tooldef/org.eclipse.escet.tooldef.metamodel.java/.settings/org.eclipse.jdt.core.prefs b/tooldef/org.eclipse.escet.tooldef.metamodel.java/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/tooldef/org.eclipse.escet.tooldef.metamodel.java/.settings/org.eclipse.jdt.core.prefs +++ b/tooldef/org.eclipse.escet.tooldef.metamodel.java/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/tooldef/org.eclipse.escet.tooldef.metamodel/.settings/org.eclipse.core.resources.prefs b/tooldef/org.eclipse.escet.tooldef.metamodel/.settings/org.eclipse.core.resources.prefs index 8a92dba6976e850646cd0b60a1e4e4caa5554911..1ee58828a31780874be35dcb42d9ca411063206e 100644 --- a/tooldef/org.eclipse.escet.tooldef.metamodel/.settings/org.eclipse.core.resources.prefs +++ b/tooldef/org.eclipse.escet.tooldef.metamodel/.settings/org.eclipse.core.resources.prefs @@ -1,2 +1,3 @@ eclipse.preferences.version=1 encoding//model/tooldef.ecore=UTF-8 +encoding/=UTF-8 diff --git a/tooldef/org.eclipse.escet.tooldef.misc/.settings/org.eclipse.core.resources.prefs b/tooldef/org.eclipse.escet.tooldef.misc/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/tooldef/org.eclipse.escet.tooldef.misc/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/tooldef/org.eclipse.escet.tooldef.parser/.settings/org.eclipse.core.resources.prefs b/tooldef/org.eclipse.escet.tooldef.parser/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/tooldef/org.eclipse.escet.tooldef.parser/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/tooldef/org.eclipse.escet.tooldef.parser/.settings/org.eclipse.jdt.core.prefs b/tooldef/org.eclipse.escet.tooldef.parser/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/tooldef/org.eclipse.escet.tooldef.parser/.settings/org.eclipse.jdt.core.prefs +++ b/tooldef/org.eclipse.escet.tooldef.parser/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/tooldef/org.eclipse.escet.tooldef.runtime/.settings/org.eclipse.core.resources.prefs b/tooldef/org.eclipse.escet.tooldef.runtime/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/tooldef/org.eclipse.escet.tooldef.runtime/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/tooldef/org.eclipse.escet.tooldef.runtime/.settings/org.eclipse.jdt.core.prefs b/tooldef/org.eclipse.escet.tooldef.runtime/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/tooldef/org.eclipse.escet.tooldef.runtime/.settings/org.eclipse.jdt.core.prefs +++ b/tooldef/org.eclipse.escet.tooldef.runtime/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/tooldef/org.eclipse.escet.tooldef.tests/.settings/org.eclipse.core.resources.prefs b/tooldef/org.eclipse.escet.tooldef.tests/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/tooldef/org.eclipse.escet.tooldef.tests/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/tooldef/org.eclipse.escet.tooldef.tests/.settings/org.eclipse.jdt.core.prefs b/tooldef/org.eclipse.escet.tooldef.tests/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/tooldef/org.eclipse.escet.tooldef.tests/.settings/org.eclipse.jdt.core.prefs +++ b/tooldef/org.eclipse.escet.tooldef.tests/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/tooldef/org.eclipse.escet.tooldef.texteditor/.settings/org.eclipse.core.resources.prefs b/tooldef/org.eclipse.escet.tooldef.texteditor/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/tooldef/org.eclipse.escet.tooldef.texteditor/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/tooldef/org.eclipse.escet.tooldef.texteditor/.settings/org.eclipse.jdt.core.prefs b/tooldef/org.eclipse.escet.tooldef.texteditor/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/tooldef/org.eclipse.escet.tooldef.texteditor/.settings/org.eclipse.jdt.core.prefs +++ b/tooldef/org.eclipse.escet.tooldef.texteditor/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort diff --git a/tooldef/org.eclipse.escet.tooldef.typechecker/.settings/org.eclipse.core.resources.prefs b/tooldef/org.eclipse.escet.tooldef.typechecker/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/tooldef/org.eclipse.escet.tooldef.typechecker/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/tooldef/org.eclipse.escet.tooldef.typechecker/.settings/org.eclipse.jdt.core.prefs b/tooldef/org.eclipse.escet.tooldef.typechecker/.settings/org.eclipse.jdt.core.prefs index d3f38fcff24237d39080617852ae19c8374e9a69..0c1f91ca22028b7a3bc51376fb155f819c5d250b 100644 --- a/tooldef/org.eclipse.escet.tooldef.typechecker/.settings/org.eclipse.jdt.core.prefs +++ b/tooldef/org.eclipse.escet.tooldef.typechecker/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort