Commit b4926945 authored by Alexander Diewald's avatar Alexander Diewald
Browse files

Merge branch '3861' into 'master'

3861: Remove deprecated plugins

See merge request af3/af3!259
parents 859e8a13 ce6d6036
......@@ -74,18 +74,6 @@
path = org.fortiss.af3.mode.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.msc/.settings"]
path = org.fortiss.af3.msc/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.msc.ui/.settings"]
path = org.fortiss.af3.msc.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.ocra/.settings"]
path = org.fortiss.af3.ocra/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.operatorpanel/.settings"]
path = org.fortiss.af3.operatorpanel/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
......@@ -106,14 +94,6 @@
path = org.fortiss.af3.platform/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.platform.beagle/.settings"]
path = org.fortiss.af3.platform.beagle/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.platform.beagle.ui/.settings"]
path = org.fortiss.af3.platform.beagle.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.platform.hierarchic/.settings"]
path = org.fortiss.af3.platform.hierarchic/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
......@@ -134,14 +114,6 @@
path = org.fortiss.af3.project.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.refinement/.settings"]
path = org.fortiss.af3.refinement/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.refinement.ui/.settings"]
path = org.fortiss.af3.refinement.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.safety/.settings"]
path = org.fortiss.af3.safety/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
......@@ -166,14 +138,6 @@
path = org.fortiss.af3.schedule.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.specification/.settings"]
path = org.fortiss.af3.specification/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.specification.ui/.settings"]
path = org.fortiss.af3.specification.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.state/.settings"]
path = org.fortiss.af3.state/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
......@@ -190,14 +154,6 @@
path = org.fortiss.af3.task.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.testing/.settings"]
path = org.fortiss.af3.testing/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.testing.ui/.settings"]
path = org.fortiss.af3.testing.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.timing/.settings"]
path = org.fortiss.af3.timing/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
......@@ -206,11 +162,3 @@
path = org.fortiss.af3.timing.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.tools/.settings"]
path = org.fortiss.af3.tools/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.pragmatictransformation/.settings"]
path = org.fortiss.pragmatictransformation/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
Subproject commit d117b3db1742a745f515d2b6c52cc9a02e57c299
Subproject commit 310d1c04f28f6252d5a02dd8fde1b76ae4a4da51
Subproject commit d117b3db1742a745f515d2b6c52cc9a02e57c299
Subproject commit 310d1c04f28f6252d5a02dd8fde1b76ae4a4da51
......@@ -7,7 +7,6 @@ Bundle-Version: 2.16.0.qualifier
Bundle-Activator: eu.fbk.af3.tools.diagram.ui.DiagramUIActivator
Require-Bundle: eu.fbk.af3.tools.diagram;bundle-version="1.0.0",
org.fortiss.af3.component.ui,
org.fortiss.af3.specification,
org.eclipse.ui.workbench,
org.apache.log4j
Bundle-RequiredExecutionEnvironment: JavaSE-11
......
AbstractComponentToImage.java 2da368d234415e072899b1827c83fa78b5523ffc GREEN
ExportComponentToImage.java 9f2c80bdb1af3bf3a6e6e7f8576785bd651e2d58 GREEN
ExportModelToDocument.java bae773e85bf862bfb45e6cdf7ae8959a9025e219 GREEN
ExportModelToDocument.java 4e13fb5d6bb0d264852bc490b51c3dd11b01f587 YELLOW
......@@ -25,7 +25,6 @@ import java.util.ArrayList;
import java.util.Collections;
import java.util.List;
import org.eclipse.core.runtime.Platform;
import org.eclipse.emf.ecore.EObject;
import org.eclipse.jface.action.Action;
import org.eclipse.jface.action.ActionContributionItem;
......@@ -73,11 +72,6 @@ public class ExportModelToDocument extends AbstractComponentToImage {
@Override
public List<IContributionItem> getContributedItems(EObject selection,
ContextMenuContextProvider contextProvider) {
// Hacky trick to allow overriding by the ocra plugin. Eclipse extension point
// should be investigated
if(Platform.getBundle("eu.fbk.af3.tools.ocra.ui") != null) {
return Collections.emptyList();
}
selectedComponent = null;
......
Subproject commit d117b3db1742a745f515d2b6c52cc9a02e57c299
Subproject commit 310d1c04f28f6252d5a02dd8fde1b76ae4a4da51
Subproject commit d117b3db1742a745f515d2b6c52cc9a02e57c299
Subproject commit 310d1c04f28f6252d5a02dd8fde1b76ae4a4da51
Subproject commit d117b3db1742a745f515d2b6c52cc9a02e57c299
Subproject commit 310d1c04f28f6252d5a02dd8fde1b76ae4a4da51
Subproject commit d117b3db1742a745f515d2b6c52cc9a02e57c299
Subproject commit 310d1c04f28f6252d5a02dd8fde1b76ae4a4da51
AnnotationConfiguration.java 8bdbeff8581523d9366f56f629ed6406f266ef63 GREEN
CodeAndOCRAContractEditorConfiguration.java c1bb0e3ed8e146d08db80af104b23cab5840101d GREEN
CodeEditorConfiguration.java b0d6dd0f6ead1a8c88e8724e9e15d439da8c0550 GREEN
CodeEditorConfiguration.java 2ca751b161d20a07e24114ada36f6bbc6470a8f9 GREEN
CodeEditorConfigurationBase.java cacadee36c976c3e34be00f400cce4af4624a1fa GREEN
UndoRedo.java 7bd80ec2023194a737470b3ebcb7600873adc067 GREEN
......@@ -34,7 +34,7 @@ import org.fortiss.af3.component.ui.editor.CodeSpecificationEditor;
* @author doebber
*/
public class CodeEditorConfiguration
extends CodeAndOCRAContractEditorConfiguration<CodeSpecification> {
extends CodeEditorConfigurationBase<CodeSpecification> {
/** Constructor. */
public CodeEditorConfiguration(CodeSpecificationEditor editor) {
......
......@@ -58,11 +58,11 @@ import org.fortiss.tooling.base.ui.editor.SourceEditorConfigurationBase;
* @author doebber
*/
public abstract class CodeAndOCRAContractEditorConfiguration<T extends EObject>
public abstract class CodeEditorConfigurationBase<T extends EObject>
extends SourceEditorConfigurationBase<T> {
/** Constructor. */
public CodeAndOCRAContractEditorConfiguration(SourceEditorBase<T> editor) {
public CodeEditorConfigurationBase(SourceEditorBase<T> editor) {
super(editor);
}
......
Subproject commit d117b3db1742a745f515d2b6c52cc9a02e57c299
Subproject commit 310d1c04f28f6252d5a02dd8fde1b76ae4a4da51
......@@ -11,8 +11,7 @@ Bundle-RequiredExecutionEnvironment: JavaSE-11
Bundle-ActivationPolicy: lazy
Bundle-Activator: org.fortiss.af3.component.AF3ComponentActivator
Require-Bundle: org.fortiss.af3.allocation;visibility:=reexport,
org.fortiss.af3.expression;visibility:=reexport,
org.fortiss.af3.tools;visibility:=reexport
org.fortiss.af3.expression;visibility:=reexport
Export-Package: org.fortiss.af3.component,
org.fortiss.af3.component.compose,
org.fortiss.af3.component.constraint,
......@@ -20,7 +19,6 @@ Export-Package: org.fortiss.af3.component,
org.fortiss.af3.component.generator.component,
org.fortiss.af3.component.generator.fmu,
org.fortiss.af3.component.generator.java,
org.fortiss.af3.component.generator.nusmv,
org.fortiss.af3.component.library,
org.fortiss.af3.component.library.prototypes,
org.fortiss.af3.component.listener,
......
documentation.html 5dd7922ecb86cb895bb27d11d721a6dd286ec802 GREEN
documentation.html 837e8ee051327fd1cb745cf47de5075ba4786083 YELLOW
......@@ -42,7 +42,6 @@ is called the <i>Component Architecture Root</i>.</p>
<li><tt>component.generator.component</tt>: intermediate language generator for composite components and code
specifications.</li>
<li><tt>component.generator.java</tt>: Java-code generator.</li>
<li><tt>component.generator.nusmv</tt>: a collection of transformations from this model to <i>NuSMV</i>.</li>
<li><tt>component.library</tt>: classes for dealing with the library of components.</li>
<li><tt>component.library.prototypes</tt>: prototypes for the library of components.</li>
<li><tt>component.model.behavior.common.impl</tt>: static implementations for EOperations defined by
......
......@@ -309,62 +309,4 @@
</modelElementClass>
</modelElementCompositor>
</extension>
<extension
point="org.fortiss.pragmatictransformation.pragmaticTransformationProvider">
<transformationProvider
transformationName="flattenVariableDefs">
<transformation
transformation="org.fortiss.af3.component.generator.nusmv.FlattenVariableDefs"></transformation>
</transformationProvider>
<transformationProvider transformationName="codeSpecPrepareT0">
<transformation
transformation="org.fortiss.af3.component.generator.nusmv.CodeSpecPrepareAddReturnStatement">
</transformation>
</transformationProvider>
<transformationProvider transformationName="codeSpecPrepareT1">
<transformation
transformation="org.fortiss.af3.component.generator.nusmv.CodeSpecPrepareToIfElseBlock">
</transformation>
</transformationProvider>
<transformationProvider transformationName="codeSpecPrepareT2">
<transformation
transformation="org.fortiss.af3.component.generator.nusmv.CodeSpecPrepareToIfSequence">
</transformation>
</transformationProvider>
<transformationProvider transformationName="codeSpecPrepareT3">
<transformation
transformation="org.fortiss.af3.component.generator.nusmv.CodeSpecPrepareRemoveMultipleAssignments">
</transformation>
</transformationProvider>
<transformationProvider
transformationName="arrayToStructSmallStepA">
<transformation
transformation="org.fortiss.af3.component.generator.nusmv.ArrayToStructVariableDefinition">
</transformation>
</transformationProvider>
<transformationProvider
transformationName="resolveStandaloneBooleanVars">
<transformation
transformation="org.fortiss.af3.component.generator.nusmv.StandaloneBooleanVarToFunctionCall"></transformation>
</transformationProvider>
</extension>
<extension point="org.fortiss.pragmatictransformation.pragmaticTransformationProvider">
<transformationProvider transformationName="copyProject">
<transformation transformation="org.fortiss.af3.component.generator.nusmv.CopyProject"></transformation>
</transformationProvider>
<transformationProvider transformationName="toNuSMV">
<transformation transformation="org.fortiss.af3.component.generator.nusmv.ToNuSMVComponent"></transformation>
<transformation transformation="org.fortiss.af3.component.generator.nusmv.ToNuSMVDataDictionary"></transformation>
<transformation transformation="org.fortiss.af3.component.generator.nusmv.ToNuSMVExpression"></transformation>
</transformationProvider>
<transformationProvider transformationName="resolveNoVal">
<transformation transformation="org.fortiss.af3.component.generator.nusmv.ResolveNoVal"></transformation>
</transformationProvider>
<transformationProvider transformationName="namesTransformation">
<transformation transformation="org.fortiss.af3.component.generator.nusmv.NamesTransformation"></transformation>
</transformationProvider>
</extension>
</plugin>
AF3ToNuSMVConsts.java 873d75fa85215be06915a97ddcd760883dca56db GREEN
ArrayToStructVariableDefinition.java 796523020c2b817032bb989f56094404adf84946 GREEN
CodeSpecPrepareAddReturnStatement.java e6b0dc4e41e3d29a8326d0c48027bfb76f0288ec GREEN
CodeSpecPrepareRemoveMultipleAssignments.java 795880e1dd95d0a579572c435a9c4647fb1db39a GREEN
CodeSpecPrepareToIfElseBlock.java a4a0300700fa7c3f11bb0b0a9d06f7392026bfe4 GREEN
CodeSpecPrepareToIfSequence.java aa91a979a9c9ec4bbe92976fc6f94f7a0921f4ae GREEN
CopyProject.java 222c9f6e3adb6d6df48900604a7e76a6d079132f GREEN
FlattenVariableDefs.java 5bb7a8810d31c203878b048f5eaee001e181a4b6 GREEN
MultiValuedMap.java 9a92088a5d39dab3e64dfbb05db0507cb6e89b9a GREEN
NamesTransformation.java d499765e1d165be02536fd671c9af1f4ca170c03 GREEN
ResolveNoVal.java 072925bb14e304611ced7b862b84ea48b0334839 GREEN
StandaloneBooleanVarToFunctionCall.java aee7121ff24e8a4171ce5448c96c62e1c16c109f GREEN
ToNuSMVComponent.java a987ec39c7cd04353b08a82f07574da903287d7c GREEN
ToNuSMVDataDictionary.java 2fb96751171fe55fadedacda96b1bcb2d7947f13 GREEN
ToNuSMVExpression.java 9fc83ecd70237c43007db2b80e77b5031ca2d021 GREEN
/*-------------------------------------------------------------------------+
| Copyright 2015 fortiss GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
| You may obtain a copy of the License at |
| |
| http://www.apache.org/licenses/LICENSE-2.0 |
| |
| Unless required by applicable law or agreed to in writing, software |
| distributed under the License is distributed on an "AS IS" BASIS, |
| WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| See the License for the specific language governing permissions and |
| limitations under the License. |
+--------------------------------------------------------------------------*/
package org.fortiss.af3.component.generator.nusmv;
/**
* This class contains the constants used in the AF3 to NuSMV transformation.
*
*/
public class AF3ToNuSMVConsts {
/** The "present" variable name suffix. */
public static final String _PRESENT = "_PRESENT";
/** The suffix for the variable for module instantiations in nusmv. */
public static final String VAR = "Var";
/**
* Functions are modeled as modules in nusmv. Every such module has a variable called "res"
* representing the result of the function call.
*/
public static final String RESULT_NAME = "res";
/** The name of the current state variable in NuSMV model. */
public static final String CURRENT_STATE = "_current_state";
/** The name of the "next transition" variable in NuSMV model. */
public static final String NEXT_TRANSITION = "_next_t";
/**
* The name of the second element in an NuSMV enumeration type in the case of AF3 enumerations
* with a single element.
*/
public static final String FAKE_VALUE_NAME = "FAKE_VALUE";
}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment