getProvider() {
+ return new OutputProvider<>();
+ }
+
+ @Override
+ protected OptionCategory getAllOptions() {
+ OptionCategory generalOpts = getGeneralOptionCategory();
+
+ OptionCategory transOpts = new OptionCategory("Checks", "Check options.", list(), list(
+ Options.getInstance(InputFileOption.class), Options.getInstance(CifCheckClassNameToTestOption.class)));
+
+ OptionCategory options = new OptionCategory("CIF Common Checks Tester Options",
+ "All options for the CIF common checks tester.", list(generalOpts, transOpts), list());
+
+ return options;
+ }
+
+ /** CIF check class name option. */
+ public static class CifCheckClassNameToTestOption extends StringOption {
+ /** Constructor for the {@link CifCheckClassNameToTestOption} class. */
+ public CifCheckClassNameToTestOption() {
+ super(
+ // name
+ "Check",
+
+ // description
+ "Specify the name of the check class to test.",
+
+ // cmdShort
+ null,
+
+ // cmdLong
+ "check-class-name",
+
+ // cmdValue
+ "NAME",
+
+ // defaultValue
+ null,
+
+ // emptyAsNull
+ true,
+
+ // showInDialog
+ false,
+
+ // optDialogDescr
+ null,
+
+ // optDialogLabelText
+ null);
+ }
+
+ /**
+ * Returns the name of the check class to test.
+ *
+ * @return The name of the check class to test.
+ */
+ public static String getCheckClassNameToTest() {
+ return Options.get(CifCheckClassNameToTestOption.class);
+ }
+ }
+}
diff --git a/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificBinaryExprsCheckLevel0.java b/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificBinaryExprsCheckLevel0.java
new file mode 100644
index 0000000000000000000000000000000000000000..e1ffa6c8d7c9575fdef69e389ba877d95b4723fc
--- /dev/null
+++ b/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificBinaryExprsCheckLevel0.java
@@ -0,0 +1,41 @@
+//////////////////////////////////////////////////////////////////////////////
+// Copyright (c) 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
+//////////////////////////////////////////////////////////////////////////////
+
+package org.eclipse.escet.cif.tests.common.checkers;
+
+import java.util.Arrays;
+import java.util.EnumSet;
+import java.util.stream.Collectors;
+
+import org.apache.commons.lang3.StringUtils;
+import org.eclipse.escet.cif.common.checkers.checks.ExprNoSpecificBinaryExprsCheck;
+
+/**
+ * {@link ExprNoSpecificBinaryExprsCheck} with all level 0 disalloweds enabled.
+ *
+ *
+ * The different levels allow testing more logic (increased code coverage). E.g., disallowing
+ * {@link NoSpecificBinaryOp#GREATER_EQUAL} includes disallowing {@link NoSpecificBinaryOp#GREATER_EQUAL_INTS}, meaning
+ * that if the former is disallowed, the latter is not checked. The former has level 1 (one underscore in the enum
+ * literal name) and the latter has level 2 (two underscores in the enum literal name), so testing these disalloweds
+ * separately leads to increased code coverage.
+ *
+ */
+@SuppressWarnings("javadoc")
+public class ExprNoSpecificBinaryExprsCheckLevel0 extends ExprNoSpecificBinaryExprsCheck {
+ /** Constructor for the {@link ExprNoSpecificBinaryExprsCheckLevel0} class. */
+ public ExprNoSpecificBinaryExprsCheckLevel0() {
+ super(Arrays.stream(NoSpecificBinaryOp.values()).filter(v -> StringUtils.countMatches(v.name(), "_") == 0)
+ .collect(Collectors.toCollection(() -> EnumSet.noneOf(NoSpecificBinaryOp.class))));
+ }
+}
diff --git a/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificBinaryExprsCheckLevel1.java b/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificBinaryExprsCheckLevel1.java
new file mode 100644
index 0000000000000000000000000000000000000000..ec9475654802a21563a6d303d4e34093db3e7d0b
--- /dev/null
+++ b/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificBinaryExprsCheckLevel1.java
@@ -0,0 +1,41 @@
+//////////////////////////////////////////////////////////////////////////////
+// Copyright (c) 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
+//////////////////////////////////////////////////////////////////////////////
+
+package org.eclipse.escet.cif.tests.common.checkers;
+
+import java.util.Arrays;
+import java.util.EnumSet;
+import java.util.stream.Collectors;
+
+import org.apache.commons.lang3.StringUtils;
+import org.eclipse.escet.cif.common.checkers.checks.ExprNoSpecificBinaryExprsCheck;
+
+/**
+ * {@link ExprNoSpecificBinaryExprsCheck} with all level 1 disalloweds enabled.
+ *
+ *
+ * The different levels allow testing more logic (increased code coverage). E.g., disallowing
+ * {@link NoSpecificBinaryOp#GREATER_EQUAL} includes disallowing {@link NoSpecificBinaryOp#GREATER_EQUAL_INTS}, meaning
+ * that if the former is disallowed, the latter is not checked. The former has level 1 (one underscore in the enum
+ * literal name) and the latter has level 2 (two underscores in the enum literal name), so testing these disalloweds
+ * separately leads to increased code coverage.
+ *
+ */
+@SuppressWarnings("javadoc")
+public class ExprNoSpecificBinaryExprsCheckLevel1 extends ExprNoSpecificBinaryExprsCheck {
+ /** Constructor for the {@link ExprNoSpecificBinaryExprsCheckLevel1} class. */
+ public ExprNoSpecificBinaryExprsCheckLevel1() {
+ super(Arrays.stream(NoSpecificBinaryOp.values()).filter(v -> StringUtils.countMatches(v.name(), "_") == 1)
+ .collect(Collectors.toCollection(() -> EnumSet.noneOf(NoSpecificBinaryOp.class))));
+ }
+}
diff --git a/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificBinaryExprsCheckLevel2.java b/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificBinaryExprsCheckLevel2.java
new file mode 100644
index 0000000000000000000000000000000000000000..bdbae108f7a3c0b729aa2c1d8df9a9216b73b2fc
--- /dev/null
+++ b/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificBinaryExprsCheckLevel2.java
@@ -0,0 +1,41 @@
+//////////////////////////////////////////////////////////////////////////////
+// Copyright (c) 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
+//////////////////////////////////////////////////////////////////////////////
+
+package org.eclipse.escet.cif.tests.common.checkers;
+
+import java.util.Arrays;
+import java.util.EnumSet;
+import java.util.stream.Collectors;
+
+import org.apache.commons.lang3.StringUtils;
+import org.eclipse.escet.cif.common.checkers.checks.ExprNoSpecificBinaryExprsCheck;
+
+/**
+ * {@link ExprNoSpecificBinaryExprsCheck} with all level 2 disalloweds enabled.
+ *
+ *
+ * The different levels allow testing more logic (increased code coverage). E.g., disallowing
+ * {@link NoSpecificBinaryOp#GREATER_EQUAL} includes disallowing {@link NoSpecificBinaryOp#GREATER_EQUAL_INTS}, meaning
+ * that if the former is disallowed, the latter is not checked. The former has level 1 (one underscore in the enum
+ * literal name) and the latter has level 2 (two underscores in the enum literal name), so testing these disalloweds
+ * separately leads to increased code coverage.
+ *
+ */
+@SuppressWarnings("javadoc")
+public class ExprNoSpecificBinaryExprsCheckLevel2 extends ExprNoSpecificBinaryExprsCheck {
+ /** Constructor for the {@link ExprNoSpecificBinaryExprsCheckLevel2} class. */
+ public ExprNoSpecificBinaryExprsCheckLevel2() {
+ super(Arrays.stream(NoSpecificBinaryOp.values()).filter(v -> StringUtils.countMatches(v.name(), "_") == 2)
+ .collect(Collectors.toCollection(() -> EnumSet.noneOf(NoSpecificBinaryOp.class))));
+ }
+}
diff --git a/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificBinaryExprsCheckLevel3.java b/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificBinaryExprsCheckLevel3.java
new file mode 100644
index 0000000000000000000000000000000000000000..17581e9dd75991ff9f10a687dc78b051cde50cc1
--- /dev/null
+++ b/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificBinaryExprsCheckLevel3.java
@@ -0,0 +1,41 @@
+//////////////////////////////////////////////////////////////////////////////
+// Copyright (c) 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
+//////////////////////////////////////////////////////////////////////////////
+
+package org.eclipse.escet.cif.tests.common.checkers;
+
+import java.util.Arrays;
+import java.util.EnumSet;
+import java.util.stream.Collectors;
+
+import org.apache.commons.lang3.StringUtils;
+import org.eclipse.escet.cif.common.checkers.checks.ExprNoSpecificBinaryExprsCheck;
+
+/**
+ * {@link ExprNoSpecificBinaryExprsCheck} with all level 3 disalloweds enabled. *
+ *
+ *
+ * The different levels allow testing more logic (increased code coverage). E.g., disallowing
+ * {@link NoSpecificBinaryOp#GREATER_EQUAL} includes disallowing {@link NoSpecificBinaryOp#GREATER_EQUAL_INTS}, meaning
+ * that if the former is disallowed, the latter is not checked. The former has level 1 (one underscore in the enum
+ * literal name) and the latter has level 2 (two underscores in the enum literal name), so testing these disalloweds
+ * separately leads to increased code coverage.
+ *
+ */
+@SuppressWarnings("javadoc")
+public class ExprNoSpecificBinaryExprsCheckLevel3 extends ExprNoSpecificBinaryExprsCheck {
+ /** Constructor for the {@link ExprNoSpecificBinaryExprsCheckLevel3} class. */
+ public ExprNoSpecificBinaryExprsCheckLevel3() {
+ super(Arrays.stream(NoSpecificBinaryOp.values()).filter(v -> StringUtils.countMatches(v.name(), "_") == 3)
+ .collect(Collectors.toCollection(() -> EnumSet.noneOf(NoSpecificBinaryOp.class))));
+ }
+}
diff --git a/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificExprsCheckLevel1.java b/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificExprsCheckLevel1.java
new file mode 100644
index 0000000000000000000000000000000000000000..d68a5ff5556a36f6f9ebe48c59b1d263dd0d64f0
--- /dev/null
+++ b/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificExprsCheckLevel1.java
@@ -0,0 +1,41 @@
+//////////////////////////////////////////////////////////////////////////////
+// Copyright (c) 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
+//////////////////////////////////////////////////////////////////////////////
+
+package org.eclipse.escet.cif.tests.common.checkers;
+
+import java.util.Arrays;
+import java.util.EnumSet;
+import java.util.stream.Collectors;
+
+import org.apache.commons.lang3.StringUtils;
+import org.eclipse.escet.cif.common.checkers.checks.ExprNoSpecificExprsCheck;
+
+/**
+ * {@link ExprNoSpecificExprsCheck} with all level 0 + 1 disalloweds enabled.
+ *
+ *
+ * The different levels allow testing more logic (increased code coverage). E.g., disallowing
+ * {@link NoSpecificExpr#PROJECTION_EXPRS} includes disallowing {@link NoSpecificExpr#PROJECTION_EXPRS_LISTS}, meaning
+ * that if the former is disallowed, the latter is not checked. The former has level 1 (one underscore in the enum
+ * literal name) and the latter has level 2 (two underscores in the enum literal name), so testing these disalloweds
+ * separately leads to increased code coverage.
+ *
+ */
+@SuppressWarnings("javadoc")
+public class ExprNoSpecificExprsCheckLevel1 extends ExprNoSpecificExprsCheck {
+ /** Constructor for the {@link ExprNoSpecificExprsCheckLevel1} class. */
+ public ExprNoSpecificExprsCheckLevel1() {
+ super(Arrays.stream(NoSpecificExpr.values()).filter(v -> StringUtils.countMatches(v.name(), "_") <= 1)
+ .collect(Collectors.toCollection(() -> EnumSet.noneOf(NoSpecificExpr.class))));
+ }
+}
diff --git a/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificExprsCheckLevel2.java b/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificExprsCheckLevel2.java
new file mode 100644
index 0000000000000000000000000000000000000000..0212286f6a59a92519729ea5593423d9eb817e44
--- /dev/null
+++ b/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificExprsCheckLevel2.java
@@ -0,0 +1,41 @@
+//////////////////////////////////////////////////////////////////////////////
+// Copyright (c) 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
+//////////////////////////////////////////////////////////////////////////////
+
+package org.eclipse.escet.cif.tests.common.checkers;
+
+import java.util.Arrays;
+import java.util.EnumSet;
+import java.util.stream.Collectors;
+
+import org.apache.commons.lang3.StringUtils;
+import org.eclipse.escet.cif.common.checkers.checks.ExprNoSpecificExprsCheck;
+
+/**
+ * {@link ExprNoSpecificExprsCheck} with all level 2 disalloweds enabled.
+ *
+ *
+ * The different levels allow testing more logic (increased code coverage). E.g., disallowing
+ * {@link NoSpecificExpr#PROJECTION_EXPRS} includes disallowing {@link NoSpecificExpr#PROJECTION_EXPRS_LISTS}, meaning
+ * that if the former is disallowed, the latter is not checked. The former has level 1 (one underscore in the enum
+ * literal name) and the latter has level 2 (two underscores in the enum literal name), so testing these disalloweds
+ * separately leads to increased code coverage.
+ *
+ */
+@SuppressWarnings("javadoc")
+public class ExprNoSpecificExprsCheckLevel2 extends ExprNoSpecificExprsCheck {
+ /** Constructor for the {@link ExprNoSpecificExprsCheckLevel2} class. */
+ public ExprNoSpecificExprsCheckLevel2() {
+ super(Arrays.stream(NoSpecificExpr.values()).filter(v -> StringUtils.countMatches(v.name(), "_") == 2)
+ .collect(Collectors.toCollection(() -> EnumSet.noneOf(NoSpecificExpr.class))));
+ }
+}
diff --git a/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificExprsCheckLevel3.java b/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificExprsCheckLevel3.java
new file mode 100644
index 0000000000000000000000000000000000000000..da993c16ac54b052514ed55efd7908fbe24dbe74
--- /dev/null
+++ b/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificExprsCheckLevel3.java
@@ -0,0 +1,41 @@
+//////////////////////////////////////////////////////////////////////////////
+// Copyright (c) 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
+//////////////////////////////////////////////////////////////////////////////
+
+package org.eclipse.escet.cif.tests.common.checkers;
+
+import java.util.Arrays;
+import java.util.EnumSet;
+import java.util.stream.Collectors;
+
+import org.apache.commons.lang3.StringUtils;
+import org.eclipse.escet.cif.common.checkers.checks.ExprNoSpecificExprsCheck;
+
+/**
+ * {@link ExprNoSpecificExprsCheck} with all level 3 disalloweds enabled.
+ *
+ *
+ * The different levels allow testing more logic (increased code coverage). E.g., disallowing
+ * {@link NoSpecificExpr#PROJECTION_EXPRS} includes disallowing {@link NoSpecificExpr#PROJECTION_EXPRS_LISTS}, meaning
+ * that if the former is disallowed, the latter is not checked. The former has level 1 (one underscore in the enum
+ * literal name) and the latter has level 2 (two underscores in the enum literal name), so testing these disalloweds
+ * separately leads to increased code coverage.
+ *
+ */
+@SuppressWarnings("javadoc")
+public class ExprNoSpecificExprsCheckLevel3 extends ExprNoSpecificExprsCheck {
+ /** Constructor for the {@link ExprNoSpecificExprsCheckLevel3} class. */
+ public ExprNoSpecificExprsCheckLevel3() {
+ super(Arrays.stream(NoSpecificExpr.values()).filter(v -> StringUtils.countMatches(v.name(), "_") == 3)
+ .collect(Collectors.toCollection(() -> EnumSet.noneOf(NoSpecificExpr.class))));
+ }
+}
diff --git a/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificExprsCheckLevel4.java b/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificExprsCheckLevel4.java
new file mode 100644
index 0000000000000000000000000000000000000000..84bef36da03b396a05682063e0a5677692bd9c2d
--- /dev/null
+++ b/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificExprsCheckLevel4.java
@@ -0,0 +1,41 @@
+//////////////////////////////////////////////////////////////////////////////
+// Copyright (c) 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
+//////////////////////////////////////////////////////////////////////////////
+
+package org.eclipse.escet.cif.tests.common.checkers;
+
+import java.util.Arrays;
+import java.util.EnumSet;
+import java.util.stream.Collectors;
+
+import org.apache.commons.lang3.StringUtils;
+import org.eclipse.escet.cif.common.checkers.checks.ExprNoSpecificExprsCheck;
+
+/**
+ * {@link ExprNoSpecificExprsCheck} with all level 4 and higher disalloweds enabled.
+ *
+ *
+ * The different levels allow testing more logic (increased code coverage). E.g., disallowing
+ * {@link NoSpecificExpr#PROJECTION_EXPRS} includes disallowing {@link NoSpecificExpr#PROJECTION_EXPRS_LISTS}, meaning
+ * that if the former is disallowed, the latter is not checked. The former has level 1 (one underscore in the enum
+ * literal name) and the latter has level 2 (two underscores in the enum literal name), so testing these disalloweds
+ * separately leads to increased code coverage.
+ *
+ */
+@SuppressWarnings("javadoc")
+public class ExprNoSpecificExprsCheckLevel4 extends ExprNoSpecificExprsCheck {
+ /** Constructor for the {@link ExprNoSpecificExprsCheckLevel4} class. */
+ public ExprNoSpecificExprsCheckLevel4() {
+ super(Arrays.stream(NoSpecificExpr.values()).filter(v -> StringUtils.countMatches(v.name(), "_") >= 4)
+ .collect(Collectors.toCollection(() -> EnumSet.noneOf(NoSpecificExpr.class))));
+ }
+}
diff --git a/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificUnaryExprsCheckLevel0.java b/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificUnaryExprsCheckLevel0.java
new file mode 100644
index 0000000000000000000000000000000000000000..6bc032ceec5ea009feb3d18acb902ac511d976f6
--- /dev/null
+++ b/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificUnaryExprsCheckLevel0.java
@@ -0,0 +1,41 @@
+//////////////////////////////////////////////////////////////////////////////
+// Copyright (c) 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
+//////////////////////////////////////////////////////////////////////////////
+
+package org.eclipse.escet.cif.tests.common.checkers;
+
+import java.util.Arrays;
+import java.util.EnumSet;
+import java.util.stream.Collectors;
+
+import org.apache.commons.lang3.StringUtils;
+import org.eclipse.escet.cif.common.checkers.checks.ExprNoSpecificUnaryExprsCheck;
+
+/**
+ * {@link ExprNoSpecificUnaryExprsCheck} with all level 0 disalloweds enabled.
+ *
+ *
+ * The different levels allow testing more logic (increased code coverage). E.g., disallowing
+ * {@link NoSpecificUnaryOp#PLUS} includes disallowing {@link NoSpecificUnaryOp#PLUS_INTS}, meaning that if the former
+ * is disallowed, the latter is not checked. The former has level 0 (zero underscores in the enum literal name) and the
+ * latter has level 1 (one underscore in the enum literal name), so testing these disalloweds separately leads to
+ * increased code coverage.
+ *
+ */
+@SuppressWarnings("javadoc")
+public class ExprNoSpecificUnaryExprsCheckLevel0 extends ExprNoSpecificUnaryExprsCheck {
+ /** Constructor for the {@link ExprNoSpecificUnaryExprsCheckLevel0} class. */
+ public ExprNoSpecificUnaryExprsCheckLevel0() {
+ super(Arrays.stream(NoSpecificUnaryOp.values()).filter(v -> StringUtils.countMatches(v.name(), "_") == 0)
+ .collect(Collectors.toCollection(() -> EnumSet.noneOf(NoSpecificUnaryOp.class))));
+ }
+}
diff --git a/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificUnaryExprsCheckLevel1.java b/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificUnaryExprsCheckLevel1.java
new file mode 100644
index 0000000000000000000000000000000000000000..f1b0807453e375a409e7198b83232c8f084c01e0
--- /dev/null
+++ b/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificUnaryExprsCheckLevel1.java
@@ -0,0 +1,41 @@
+//////////////////////////////////////////////////////////////////////////////
+// Copyright (c) 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
+//////////////////////////////////////////////////////////////////////////////
+
+package org.eclipse.escet.cif.tests.common.checkers;
+
+import java.util.Arrays;
+import java.util.EnumSet;
+import java.util.stream.Collectors;
+
+import org.apache.commons.lang3.StringUtils;
+import org.eclipse.escet.cif.common.checkers.checks.ExprNoSpecificUnaryExprsCheck;
+
+/**
+ * {@link ExprNoSpecificUnaryExprsCheck} with all level 1 disalloweds enabled.
+ *
+ *
+ * The different levels allow testing more logic (increased code coverage). E.g., disallowing
+ * {@link NoSpecificUnaryOp#PLUS} includes disallowing {@link NoSpecificUnaryOp#PLUS_INTS}, meaning that if the former
+ * is disallowed, the latter is not checked. The former has level 0 (zero underscores in the enum literal name) and the
+ * latter has level 1 (one underscore in the enum literal name), so testing these disalloweds separately leads to
+ * increased code coverage.
+ *
+ */
+@SuppressWarnings("javadoc")
+public class ExprNoSpecificUnaryExprsCheckLevel1 extends ExprNoSpecificUnaryExprsCheck {
+ /** Constructor for the {@link ExprNoSpecificUnaryExprsCheckLevel1} class. */
+ public ExprNoSpecificUnaryExprsCheckLevel1() {
+ super(Arrays.stream(NoSpecificUnaryOp.values()).filter(v -> StringUtils.countMatches(v.name(), "_") == 1)
+ .collect(Collectors.toCollection(() -> EnumSet.noneOf(NoSpecificUnaryOp.class))));
+ }
+}
diff --git a/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificUnaryExprsCheckLevel2.java b/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificUnaryExprsCheckLevel2.java
new file mode 100644
index 0000000000000000000000000000000000000000..f20457baf586d74e1e0790ac3365ef49143b7002
--- /dev/null
+++ b/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/ExprNoSpecificUnaryExprsCheckLevel2.java
@@ -0,0 +1,41 @@
+//////////////////////////////////////////////////////////////////////////////
+// Copyright (c) 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
+//////////////////////////////////////////////////////////////////////////////
+
+package org.eclipse.escet.cif.tests.common.checkers;
+
+import java.util.Arrays;
+import java.util.EnumSet;
+import java.util.stream.Collectors;
+
+import org.apache.commons.lang3.StringUtils;
+import org.eclipse.escet.cif.common.checkers.checks.ExprNoSpecificUnaryExprsCheck;
+
+/**
+ * {@link ExprNoSpecificUnaryExprsCheck} with all level 2 and higher disalloweds enabled.
+ *
+ *
+ * The different levels allow testing more logic (increased code coverage). E.g., disallowing
+ * {@link NoSpecificUnaryOp#PLUS} includes disallowing {@link NoSpecificUnaryOp#PLUS_INTS}, meaning that if the former
+ * is disallowed, the latter is not checked. The former has level 0 (zero underscores in the enum literal name) and the
+ * latter has level 1 (one underscore in the enum literal name), so testing these disalloweds separately leads to
+ * increased code coverage.
+ *
+ */
+@SuppressWarnings("javadoc")
+public class ExprNoSpecificUnaryExprsCheckLevel2 extends ExprNoSpecificUnaryExprsCheck {
+ /** Constructor for the {@link ExprNoSpecificUnaryExprsCheckLevel2} class. */
+ public ExprNoSpecificUnaryExprsCheckLevel2() {
+ super(Arrays.stream(NoSpecificUnaryOp.values()).filter(v -> StringUtils.countMatches(v.name(), "_") >= 2)
+ .collect(Collectors.toCollection(() -> EnumSet.noneOf(NoSpecificUnaryOp.class))));
+ }
+}
diff --git a/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/TypeNoSpecificTypesCheckLevel1.java b/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/TypeNoSpecificTypesCheckLevel1.java
new file mode 100644
index 0000000000000000000000000000000000000000..fd5892948187d84be92e9098c56070c98f578280
--- /dev/null
+++ b/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/TypeNoSpecificTypesCheckLevel1.java
@@ -0,0 +1,41 @@
+//////////////////////////////////////////////////////////////////////////////
+// Copyright (c) 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
+//////////////////////////////////////////////////////////////////////////////
+
+package org.eclipse.escet.cif.tests.common.checkers;
+
+import java.util.Arrays;
+import java.util.EnumSet;
+import java.util.stream.Collectors;
+
+import org.apache.commons.lang3.StringUtils;
+import org.eclipse.escet.cif.common.checkers.checks.TypeNoSpecificTypesCheck;
+
+/**
+ * {@link TypeNoSpecificTypesCheck} with all level 0 + 1 disalloweds enabled.
+ *
+ *
+ * The different levels allow testing more logic (increased code coverage). E.g., disallowing
+ * {@link NoSpecificType#INT_TYPES} includes disallowing {@link NoSpecificType#INT_TYPES_RANGELESS}, meaning that if the
+ * former is disallowed, the latter is not checked. The former has level 1 (one underscore in the enum literal name) and
+ * the latter has level 2 (two underscores in the enum literal name), so testing these disalloweds separately leads to
+ * increased code coverage.
+ *
+ */
+@SuppressWarnings("javadoc")
+public class TypeNoSpecificTypesCheckLevel1 extends TypeNoSpecificTypesCheck {
+ /** Constructor for the {@link TypeNoSpecificTypesCheckLevel1} class. */
+ public TypeNoSpecificTypesCheckLevel1() {
+ super(Arrays.stream(NoSpecificType.values()).filter(v -> StringUtils.countMatches(v.name(), "_") <= 1)
+ .collect(Collectors.toCollection(() -> EnumSet.noneOf(NoSpecificType.class))));
+ }
+}
diff --git a/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/TypeNoSpecificTypesCheckLevel2.java b/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/TypeNoSpecificTypesCheckLevel2.java
new file mode 100644
index 0000000000000000000000000000000000000000..951ad986ecb15e908e8dcd768da54d5eaa801d4e
--- /dev/null
+++ b/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/TypeNoSpecificTypesCheckLevel2.java
@@ -0,0 +1,41 @@
+//////////////////////////////////////////////////////////////////////////////
+// Copyright (c) 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
+//////////////////////////////////////////////////////////////////////////////
+
+package org.eclipse.escet.cif.tests.common.checkers;
+
+import java.util.Arrays;
+import java.util.EnumSet;
+import java.util.stream.Collectors;
+
+import org.apache.commons.lang3.StringUtils;
+import org.eclipse.escet.cif.common.checkers.checks.TypeNoSpecificTypesCheck;
+
+/**
+ * {@link TypeNoSpecificTypesCheck} with all level 2 disalloweds enabled.
+ *
+ *
+ * The different levels allow testing more logic (increased code coverage). E.g., disallowing
+ * {@link NoSpecificType#INT_TYPES} includes disallowing {@link NoSpecificType#INT_TYPES_RANGELESS}, meaning that if the
+ * former is disallowed, the latter is not checked. The former has level 1 (one underscore in the enum literal name) and
+ * the latter has level 2 (two underscores in the enum literal name), so testing these disalloweds separately leads to
+ * increased code coverage.
+ *
+ */
+@SuppressWarnings("javadoc")
+public class TypeNoSpecificTypesCheckLevel2 extends TypeNoSpecificTypesCheck {
+ /** Constructor for the {@link TypeNoSpecificTypesCheckLevel2} class. */
+ public TypeNoSpecificTypesCheckLevel2() {
+ super(Arrays.stream(NoSpecificType.values()).filter(v -> StringUtils.countMatches(v.name(), "_") == 2)
+ .collect(Collectors.toCollection(() -> EnumSet.noneOf(NoSpecificType.class))));
+ }
+}
diff --git a/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/TypeNoSpecificTypesCheckLevel3.java b/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/TypeNoSpecificTypesCheckLevel3.java
new file mode 100644
index 0000000000000000000000000000000000000000..15261d09cfa72711bba421bb22cc38b8d65d750d
--- /dev/null
+++ b/cif/org.eclipse.escet.cif.tests/src-test/org/eclipse/escet/cif/tests/common/checkers/TypeNoSpecificTypesCheckLevel3.java
@@ -0,0 +1,41 @@
+//////////////////////////////////////////////////////////////////////////////
+// Copyright (c) 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
+//////////////////////////////////////////////////////////////////////////////
+
+package org.eclipse.escet.cif.tests.common.checkers;
+
+import java.util.Arrays;
+import java.util.EnumSet;
+import java.util.stream.Collectors;
+
+import org.apache.commons.lang3.StringUtils;
+import org.eclipse.escet.cif.common.checkers.checks.TypeNoSpecificTypesCheck;
+
+/**
+ * {@link TypeNoSpecificTypesCheck} with all level 3 and higher disalloweds enabled.
+ *
+ *
+ * The different levels allow testing more logic (increased code coverage). E.g., disallowing
+ * {@link NoSpecificType#INT_TYPES} includes disallowing {@link NoSpecificType#INT_TYPES_RANGELESS}, meaning that if the
+ * former is disallowed, the latter is not checked. The former has level 1 (one underscore in the enum literal name) and
+ * the latter has level 2 (two underscores in the enum literal name), so testing these disalloweds separately leads to
+ * increased code coverage.
+ *
+ */
+@SuppressWarnings("javadoc")
+public class TypeNoSpecificTypesCheckLevel3 extends TypeNoSpecificTypesCheck {
+ /** Constructor for the {@link TypeNoSpecificTypesCheckLevel3} class. */
+ public TypeNoSpecificTypesCheckLevel3() {
+ super(Arrays.stream(NoSpecificType.values()).filter(v -> StringUtils.countMatches(v.name(), "_") >= 3)
+ .collect(Collectors.toCollection(() -> EnumSet.noneOf(NoSpecificType.class))));
+ }
+}
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2supremica/invalid1.cif b/cif/org.eclipse.escet.cif.tests/tests/cif2supremica/invalid1.cif
index f06ff01810eebecdcfd7e5ead72e715436cbd4af..ecc8d60049c51bfe46197d85dde28d8ca6ef55f8 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2supremica/invalid1.cif
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2supremica/invalid1.cif
@@ -66,12 +66,12 @@ group g:
initial;
end
- initial 1=1; // Initial in component.
+ initial 1 = 1; // Initialization predicate in component.
- marked not false; // Marker in component: not bin expr.
- marked 1 > 2; // Marked in component: not '=' bin expr.
- marked 2 = 2; // Marked in component: not 'dvar = value'.
- marked p0.cnt = 1.2; // Marked in component: not 'dvar = value'.
+ marked not false; // Marker predicate in component: not bin expr.
+ marked 1 > 2; // Marker predicate in component: not '=' bin expr.
+ marked 2 = 2; // Marker predicate in component: not 'dvar = value'.
+ marked p0.cnt = 1.2; // Marker predicate in component: not 'dvar = value'.
marked p0.x1 = 1; // Duplicate marker predicate.
marked p0.x1 = 1; // Duplicate marker predicate.
@@ -91,3 +91,10 @@ group g:
return p;
end
end
+
+invariant 11 = 11; // Non-requirement invariant in top level scope of specification.
+initial 2 = 2; // Initialization predicate in top level scope of specification.
+marked 3 > 4; // Marker predicate in top level scope of specification.
+marked true; // Marker predicate in top level scope of specification.
+
+invariant g.e1 needs 3 = 3; // Kindless state/event exclusion invariant in top level scope of the specification.
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2supremica/invalid1.cif.cif2supremica.err b/cif/org.eclipse.escet.cif.tests/tests/cif2supremica/invalid1.cif.cif2supremica.err
index 764cb6f2599f4933803b869f391cf8ed84fdd9e4..913f06f5edcb53db42cca247636927aa4352175a 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2supremica/invalid1.cif.cif2supremica.err
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2supremica/invalid1.cif.cif2supremica.err
@@ -1,11 +1,11 @@
WARNING: File "cif2supremica/invalid1.cif": Semantic warning at line 31, column 9: Automaton "g.p0" has no initial location.
ERROR: CIF to Supremica transformation failed due to unsatisfied preconditions:
- - Unsupported "g": component contains an initialization predicate.
- - Unsupported "g": component has a kindless state invariant.
- - Unsupported "g": component has a kindless state/event exclusion invariant, lacking a supervisory kind.
- - Unsupported "g": component has a marker predicate that is not of the form "discrete_variable = marked_value".
- - Unsupported "g": component has a plant state invariant.
- - Unsupported "g": component has a supervisor state invariant.
+ - Unsupported "g": group contains an initialization predicate.
+ - Unsupported "g": group has a kindless state invariant.
+ - Unsupported "g": group has a kindless state/event exclusion invariant, lacking a supervisory kind.
+ - Unsupported "g": group has a marker predicate that is not of the form "discrete_variable = marked_value".
+ - Unsupported "g": group has a plant state invariant.
+ - Unsupported "g": group has a supervisor state invariant.
- Unsupported "g": uses list literal "[false, true]".
- Unsupported "g": uses list literal "[false]".
- Unsupported "g": uses list literal "[true]".
@@ -14,8 +14,8 @@ ERROR: CIF to Supremica transformation failed due to unsatisfied preconditions:
- Unsupported "g": uses list type "list[2] bool".
- Unsupported "g": uses real number literal "1.2".
- Unsupported "g": uses real type "real".
- - Unsupported "g.a": automaton has an edge with explicitly event "tau" on it, which is not controllable or uncontrollable.
- - Unsupported "g.a": automaton has an edge with implicitly event "tau" on it, which is not controllable or uncontrollable.
+ - Unsupported "g.a": automaton has an edge with an explicit "tau" event on it, which is not controllable or uncontrollable.
+ - Unsupported "g.a": automaton has an edge with an implicit "tau" event on it, which is not controllable or uncontrollable.
- Unsupported "g.a": automaton is a kindless automaton, lacking a supervisory kind.
- Unsupported "g.e1": event is not declared as controllable or uncontrollable.
- Unsupported "g.e2": event is a channel (has a data type).
@@ -35,16 +35,16 @@ ERROR: CIF to Supremica transformation failed due to unsatisfied preconditions:
- Unsupported "g.p0.cnt": uses real type "real".
- Unsupported "g.p0.cnt": variable is a continuous variable.
- Unsupported "g.p0.inp": variable is an input variable.
- - Unsupported "g.p0.lb": discrete variable has multiple predicates to specify its marked values.
+ - Unsupported "g.p0.lb": discrete variable has multiple predicates that specify its marked values.
- Unsupported "g.p0.lb": uses list literal "[true]".
- Unsupported "g.p0.lb": uses list type "list bool".
- Unsupported "g.p0.lb": uses list type "list[1] bool".
- Unsupported "g.p0.x1": discrete variable has multiple (2) potential initial values.
- - Unsupported "g.p0.x1": discrete variable has multiple predicates to specify its marked values.
+ - Unsupported "g.p0.x1": discrete variable has multiple predicates that specify its marked values.
- Unsupported "g.p0.x2": discrete variable has multiple potential initial values (any value in its domain).
+ - Unsupported "g.p1": automaton has a location with a marker predicate that cannot be evaluated statically, as the evaluation resulted in an evaluation error.
- Unsupported "g.p1": automaton has a location with a state invariant.
- Unsupported "g.p1": failed to determine whether the automaton's location is an initial location, as evaluating one of its initialization predicates resulted in an evaluation error.
- - Unsupported "g.p1": static evaluation of a marker predicate in the location of the automaton resulted in an evaluation error.
- Unsupported "g.p1": uses binary operator ">" on operands of types "real" and "int[0..0]" in binary expression "sqrt(-1.0) > 0".
- Unsupported "g.p1": uses binary operator ">" on operands of types "real" and "int[0..0]" in binary expression "sqrt(-2.0) > 0".
- Unsupported "g.p1": uses function call "sqrt(-1.0)".
@@ -55,5 +55,9 @@ ERROR: CIF to Supremica transformation failed due to unsatisfied preconditions:
- Unsupported "g.p1": uses real type "real".
- Unsupported "g.p1": uses unary operator "-" on an operand of type "real" in unary expression "-1.0".
- Unsupported "g.p1": uses unary operator "-" on an operand of type "real" in unary expression "-2.0".
- - Unsupported "g.p2": automata has multiple (2) initial locations.
+ - Unsupported "g.p2": automaton has multiple (2) initial locations.
- Unsupported "g.snd": automaton has an urgent edge.
+ - Unsupported specification: the top level scope of the specification contains an initialization predicate.
+ - Unsupported specification: the top level scope of the specification has a kindless state invariant.
+ - Unsupported specification: the top level scope of the specification has a kindless state/event exclusion invariant, lacking a supervisory kind.
+ - Unsupported specification: the top level scope of the specification has a marker predicate that is not of the form "discrete_variable = marked_value".
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2supremica/invalid3.cif.cif2supremica.err b/cif/org.eclipse.escet.cif.tests/tests/cif2supremica/invalid3.cif.cif2supremica.err
index 861b059d3ff593e79cf029b190f91a7f1746942a..1a5a567c1c8efe82e65a4e3b2c7b8321ff4957fa 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2supremica/invalid3.cif.cif2supremica.err
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2supremica/invalid3.cif.cif2supremica.err
@@ -1,3 +1,3 @@
ERROR: CIF to Supremica transformation failed due to unsatisfied preconditions:
- - Unsupported "p": failed to determine whether the automaton's location is an initial location, as one of its initialization predicates can not be statically evaluated.
+ - Unsupported "p": failed to determine whether the automaton's location is an initial location, as one of its initialization predicates cannot be statically evaluated.
- Unsupported "p.b": discrete variable has multiple potential initial values (any value in its domain).
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/all_colors.model.graphml b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/all_colors.model.graphml
index 8a6359698759eacba0fc7e3a2e9366869134623f..5a31072992878d201b0fb5a3db891ebb2ef860ac 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/all_colors.model.graphml
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/all_colors.model.graphml
@@ -56,7 +56,7 @@
Declarations
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">evt1</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">evt1;</span></html>
@@ -207,14 +207,14 @@
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Grp2</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Grp2()</span></html>
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Grp2</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Grp2()</span></html>
@@ -229,14 +229,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Aut2</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#000000;">param2</span><span style="color:#402020;">;</span> <span style="color:#0000ff;">location</span> <span style="color:#000000;">param3</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Aut2(</span><span style="color:#0000ff;">event</span> <span style="color:#000000;">param2;</span> <span style="color:#0000ff;">location</span> <span style="color:#000000;">param3)</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Aut2</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#000000;">param2</span><span style="color:#402020;">;</span> <span style="color:#0000ff;">location</span> <span style="color:#000000;">param3</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Aut2(</span><span style="color:#0000ff;">event</span> <span style="color:#000000;">param2;</span> <span style="color:#0000ff;">location</span> <span style="color:#000000;">param3)</span></html>
@@ -356,7 +356,7 @@
Instantiations
- <html><span style="color:#000000;">aut2</span><span style="color:#402020;">:</span> <span style="color:#000000;">Aut2</span><span style="color:#402020;">(</span><span style="color:#000000;">grp1.aut1.evt1</span><span style="color:#402020;">,</span> <span style="color:#000000;">grp1.aut1.loc</span><span style="color:#402020;">);</span></html>
+ <html><span style="color:#000000;">aut2:</span> <span style="color:#000000;">Aut2(grp1.aut1.evt1,</span> <span style="color:#000000;">grp1.aut1.loc);</span></html>
@@ -383,7 +383,7 @@
Instantiations
- <html><span style="color:#000000;">grp2</span><span style="color:#402020;">:</span> <span style="color:#000000;">Grp2</span><span style="color:#402020;">();</span></html>
+ <html><span style="color:#000000;">grp2:</span> <span style="color:#000000;">Grp2();</span></html>
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/all_colors.relations.graphml b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/all_colors.relations.graphml
index ff3c6d41285f668ef574a42eafa7b7be1a907f8d..a9c01005bd8c412a26194fccb9a6ba875f532625 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/all_colors.relations.graphml
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/all_colors.relations.graphml
@@ -114,14 +114,14 @@
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Grp2</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Grp2()</span></html>
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Grp2</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Grp2()</span></html>
@@ -138,14 +138,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Aut2</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Aut2()</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Aut2</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Aut2()</span></html>
@@ -231,14 +231,14 @@
- <html> <span style="color:#000000;">aut2</span><span style="color:#402020;">:</span> <span style="color:#000000;">Aut2</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">aut2:</span> <span style="color:#000000;">Aut2()</span></html>
- <html> <span style="color:#000000;">aut2</span><span style="color:#402020;">:</span> <span style="color:#000000;">Aut2</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">aut2:</span> <span style="color:#000000;">Aut2()</span></html>
@@ -362,14 +362,14 @@
- <html> <span style="color:#000000;">grp2</span><span style="color:#402020;">:</span> <span style="color:#000000;">Grp2</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">grp2:</span> <span style="color:#000000;">Grp2()</span></html>
- <html> <span style="color:#000000;">grp2</span><span style="color:#402020;">:</span> <span style="color:#000000;">Grp2</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">grp2:</span> <span style="color:#000000;">Grp2()</span></html>
@@ -419,14 +419,14 @@
- <html> <span style="color:#000000;">aut2</span><span style="color:#402020;">:</span> <span style="color:#000000;">Aut2</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">aut2:</span> <span style="color:#000000;">Aut2()</span></html>
- <html> <span style="color:#000000;">aut2</span><span style="color:#402020;">:</span> <span style="color:#000000;">Aut2</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">aut2:</span> <span style="color:#000000;">Aut2()</span></html>
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/comm_auts.model.graphml b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/comm_auts.model.graphml
index 7b66eb52f804318cb72e0ce6cd6ee9a3b9d62a98..1331aa7db7540b93f6a95fab161bcc8b2aeca48b 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/comm_auts.model.graphml
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/comm_auts.model.graphml
@@ -60,7 +60,7 @@
- <html><span style="color:#000000;">e</span><span style="color:#402020;">!</span><span style="color:#006100;">5</span></html>
+ <html><span style="color:#000000;">e!</span><span style="color:#006100;">5</span></html>
@@ -122,7 +122,7 @@
- <html><span style="color:#000000;">e</span><span style="color:#402020;">?</span></html>
+ <html><span style="color:#000000;">e?</span></html>
@@ -198,7 +198,7 @@
Declarations
- <html><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">e</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">e;</span></html>
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/comm_auts.relations.graphml b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/comm_auts.relations.graphml
index 3bdd6ab9a2f7f5547e299cb7edb7977ec6ea8c42..904f62181c59916df745698eced671ba64b5d4d8 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/comm_auts.relations.graphml
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/comm_auts.relations.graphml
@@ -33,7 +33,7 @@
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">e</span> <span style="color:#402020;">!?~</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">e</span> <span style="color:#000000;">!?~</span></html>
@@ -102,7 +102,7 @@
- <html><span style="color:#402020;">?</span></html>
+ <html><span style="color:#000000;">?</span></html>
@@ -137,7 +137,7 @@
- <html><span style="color:#402020;">!</span></html>
+ <html><span style="color:#000000;">!</span></html>
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/comm_def_inst.model.graphml b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/comm_def_inst.model.graphml
index 6c6bdb04c85dab2686b63505334974702f64a48d..b2ed04aff4946ef014710794d23f3c7748b301fb 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/comm_def_inst.model.graphml
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/comm_def_inst.model.graphml
@@ -10,14 +10,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Send</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">s</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Send(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">s)</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Send</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">s</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Send(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">s)</span></html>
@@ -60,7 +60,7 @@
- <html><span style="color:#000000;">s</span><span style="color:#402020;">!</span><span style="color:#006100;">5</span></html>
+ <html><span style="color:#000000;">s!</span><span style="color:#006100;">5</span></html>
@@ -72,14 +72,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Recv</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">r</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Recv(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">r)</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Recv</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">r</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Recv(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">r)</span></html>
@@ -122,7 +122,7 @@
- <html><span style="color:#000000;">r</span><span style="color:#402020;">?</span></html>
+ <html><span style="color:#000000;">r?</span></html>
@@ -134,14 +134,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Sync</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#000000;">c</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Sync(</span><span style="color:#0000ff;">event</span> <span style="color:#000000;">c)</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Sync</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#000000;">c</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Sync(</span><span style="color:#0000ff;">event</span> <span style="color:#000000;">c)</span></html>
@@ -198,7 +198,7 @@
Instantiations
- <html><span style="color:#000000;">send</span><span style="color:#402020;">:</span> <span style="color:#000000;">Send</span><span style="color:#402020;">(</span><span style="color:#000000;">e</span><span style="color:#402020;">);</span><br><span style="color:#000000;">recv</span><span style="color:#402020;">:</span> <span style="color:#000000;">Recv</span><span style="color:#402020;">(</span><span style="color:#000000;">e</span><span style="color:#402020;">);</span><br><span style="color:#000000;">sync</span><span style="color:#402020;">:</span> <span style="color:#000000;">Sync</span><span style="color:#402020;">(</span><span style="color:#000000;">e</span><span style="color:#402020;">);</span></html>
+ <html><span style="color:#000000;">send:</span> <span style="color:#000000;">Send(e);</span><br><span style="color:#000000;">recv:</span> <span style="color:#000000;">Recv(e);</span><br><span style="color:#000000;">sync:</span> <span style="color:#000000;">Sync(e);</span></html>
@@ -223,7 +223,7 @@
Declarations
- <html><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">e</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">e;</span></html>
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/comm_def_inst.relations.graphml b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/comm_def_inst.relations.graphml
index a7d492388c1c792a4502d740ca9fcdfb85f82336..727c22d870dd35d9022cc2ed6186c7cff44e512b 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/comm_def_inst.relations.graphml
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/comm_def_inst.relations.graphml
@@ -12,14 +12,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Send</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Send()</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Send</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Send()</span></html>
@@ -33,7 +33,7 @@
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">s</span> <span style="color:#402020;">!?~</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">s</span> <span style="color:#000000;">!?~</span></html>
@@ -45,7 +45,7 @@
- <html><span style="color:#402020;">!</span></html>
+ <html><span style="color:#000000;">!</span></html>
@@ -59,14 +59,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Recv</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Recv()</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Recv</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Recv()</span></html>
@@ -80,7 +80,7 @@
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">r</span> <span style="color:#402020;">!?~</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">r</span> <span style="color:#000000;">!?~</span></html>
@@ -92,7 +92,7 @@
- <html><span style="color:#402020;">?</span></html>
+ <html><span style="color:#000000;">?</span></html>
@@ -106,14 +106,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Sync</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Sync()</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Sync</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">Sync()</span></html>
@@ -177,14 +177,14 @@
- <html> <span style="color:#000000;">send</span><span style="color:#402020;">:</span> <span style="color:#000000;">Send</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">send:</span> <span style="color:#000000;">Send()</span></html>
- <html> <span style="color:#000000;">send</span><span style="color:#402020;">:</span> <span style="color:#000000;">Send</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">send:</span> <span style="color:#000000;">Send()</span></html>
@@ -198,7 +198,7 @@
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">s</span> <span style="color:#402020;">!?~</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">s</span> <span style="color:#000000;">!?~</span></html>
@@ -213,14 +213,14 @@
- <html> <span style="color:#000000;">recv</span><span style="color:#402020;">:</span> <span style="color:#000000;">Recv</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">recv:</span> <span style="color:#000000;">Recv()</span></html>
- <html> <span style="color:#000000;">recv</span><span style="color:#402020;">:</span> <span style="color:#000000;">Recv</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">recv:</span> <span style="color:#000000;">Recv()</span></html>
@@ -234,7 +234,7 @@
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">r</span> <span style="color:#402020;">!?~</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">r</span> <span style="color:#000000;">!?~</span></html>
@@ -249,14 +249,14 @@
- <html> <span style="color:#000000;">sync</span><span style="color:#402020;">:</span> <span style="color:#000000;">Sync</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">sync:</span> <span style="color:#000000;">Sync()</span></html>
- <html> <span style="color:#000000;">sync</span><span style="color:#402020;">:</span> <span style="color:#000000;">Sync</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">sync:</span> <span style="color:#000000;">Sync()</span></html>
@@ -284,7 +284,7 @@
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">e</span> <span style="color:#402020;">!?~</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">e</span> <span style="color:#000000;">!?~</span></html>
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/comm_sync.model.graphml b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/comm_sync.model.graphml
index 093f1029da9e2a4066314636b4ef0be58378a65a..464859238401114a7846fbef0104500b01f0c103 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/comm_sync.model.graphml
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/comm_sync.model.graphml
@@ -69,7 +69,7 @@
- <html><span style="color:#000000;">h</span><span style="color:#402020;">!</span><span style="color:#006100;">5</span></html>
+ <html><span style="color:#000000;">h!</span><span style="color:#006100;">5</span></html>
@@ -140,7 +140,7 @@
- <html><span style="color:#000000;">h</span><span style="color:#402020;">?</span></html>
+ <html><span style="color:#000000;">h?</span></html>
@@ -225,7 +225,7 @@
Declarations
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">e</span><span style="color:#402020;">;</span><br><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">h</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">e;</span><br><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">h;</span></html>
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/comm_sync.relations.graphml b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/comm_sync.relations.graphml
index 16078b309ebc77b58360761ac24deae282dbff6d..ad203bd220818e9de27fa48c1df4b61630595f7a 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/comm_sync.relations.graphml
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/comm_sync.relations.graphml
@@ -57,7 +57,7 @@
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">h</span> <span style="color:#402020;">!?~</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">h</span> <span style="color:#000000;">!?~</span></html>
@@ -149,7 +149,7 @@
- <html><span style="color:#402020;">?</span></html>
+ <html><span style="color:#000000;">?</span></html>
@@ -195,7 +195,7 @@
- <html><span style="color:#402020;">!</span></html>
+ <html><span style="color:#000000;">!</span></html>
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/comp_param.model.graphml b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/comp_param.model.graphml
index 33a87ae0cbd2a55c14cfe96d297fdb16b907925d..bc470baacce39d70c85cb4968dc8642286fe723b 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/comp_param.model.graphml
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/comp_param.model.graphml
@@ -32,14 +32,14 @@
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">G7</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">G7()</span></html>
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">G7</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">G7()</span></html>
@@ -100,7 +100,7 @@
Declarations
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">e10</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">e10;</span></html>
@@ -184,14 +184,14 @@
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">G2</span><span style="color:#402020;">(</span><span style="color:#000000;">g6.G7</span> <span style="color:#000000;">p3</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">G2(g6.G7</span> <span style="color:#000000;">p3)</span></html>
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">G2</span><span style="color:#402020;">(</span><span style="color:#000000;">g6.G7</span> <span style="color:#000000;">p3</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">G2(g6.G7</span> <span style="color:#000000;">p3)</span></html>
@@ -228,14 +228,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A5</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A5()</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A5</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A5()</span></html>
@@ -292,7 +292,7 @@
Instantiations
- <html><span style="color:#000000;">a5</span><span style="color:#402020;">:</span> <span style="color:#000000;">A5</span><span style="color:#402020;">();</span></html>
+ <html><span style="color:#000000;">a5:</span> <span style="color:#000000;">A5();</span></html>
@@ -323,7 +323,7 @@
Instantiations
- <html><span style="color:#000000;">g2</span><span style="color:#402020;">:</span> <span style="color:#000000;">g1.G2</span><span style="color:#402020;">(</span><span style="color:#000000;">g7</span><span style="color:#402020;">);</span><br><span style="color:#000000;">g7</span><span style="color:#402020;">:</span> <span style="color:#000000;">g6.G7</span><span style="color:#402020;">();</span></html>
+ <html><span style="color:#000000;">g2:</span> <span style="color:#000000;">g1.G2(g7);</span><br><span style="color:#000000;">g7:</span> <span style="color:#000000;">g6.G7();</span></html>
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/data_all.model.graphml b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/data_all.model.graphml
index 2a470266ea56b5687627f93269eb742c8deb3eed..3a16df5d5ba91cf6d89950316d3e3a3da578a122 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/data_all.model.graphml
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/data_all.model.graphml
@@ -34,7 +34,7 @@
Declarations
- <html><span style="color:#0000ff;">disc</span> <span style="color:#0000ff;">real</span> <span style="color:#000000;">v</span> <span style="color:#402020;">=</span> <span style="color:#000000;">z</span><span style="color:#402020;">;</span><br><span style="color:#0000ff;">event</span> <span style="color:#000000;">e</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">disc</span> <span style="color:#0000ff;">real</span> <span style="color:#000000;">v</span> <span style="color:#000000;">=</span> <span style="color:#000000;">z;</span><br><span style="color:#0000ff;">event</span> <span style="color:#000000;">e;</span></html>
@@ -87,7 +87,7 @@
- <html><span style="color:#000000;">e</span><br><span style="color:#0000ff;">when</span> <span style="color:#000000;">v</span> <span style="color:#402020;">></span> <span style="color:#006100;">0</span></html>
+ <html><span style="color:#000000;">e</span><br><span style="color:#0000ff;">when</span> <span style="color:#000000;">v</span> <span style="color:#000000;">></span> <span style="color:#006100;">0</span></html>
@@ -149,7 +149,7 @@
- <html><span style="color:#0000ff;">when</span> <span style="color:#000000;">a.v</span> <span style="color:#402020;"><=</span> <span style="color:#006100;">0</span></html>
+ <html><span style="color:#0000ff;">when</span> <span style="color:#000000;">a.v</span> <span style="color:#000000;"><=</span> <span style="color:#006100;">0</span></html>
@@ -169,7 +169,7 @@
- <html><span style="color:#0000ff;">when</span> <span style="color:#000000;">a.v</span> <span style="color:#402020;">></span> <span style="color:#006100;">0</span></html>
+ <html><span style="color:#0000ff;">when</span> <span style="color:#000000;">a.v</span> <span style="color:#000000;">></span> <span style="color:#006100;">0</span></html>
@@ -183,7 +183,7 @@
Declarations
- <html><span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">real</span> <span style="color:#000000;">x</span> <span style="color:#402020;">=</span> <span style="color:#0000ff;">if</span> <span style="color:#000000;">b.l1</span><span style="color:#402020;">:</span> <span style="color:#000000;">y</span> <span style="color:#402020;">+</span> <span style="color:#006100;">1.0</span> <span style="color:#0000ff;">elif</span> <span style="color:#000000;">b.l2</span><span style="color:#402020;">:</span> <span style="color:#000000;">y</span> <span style="color:#402020;">+</span> <span style="color:#006100;">2.0</span> <span style="color:#0000ff;">else</span> <span style="color:#000000;">y</span> <span style="color:#402020;">+</span> <span style="color:#006100;">3.0</span> <span style="color:#0000ff;">end</span><span style="color:#402020;">;</span><br><span style="color:#0000ff;">input</span> <span style="color:#0000ff;">real</span> <span style="color:#000000;">y</span><span style="color:#402020;">;</span><br><span style="color:#0000ff;">cont</span> <span style="color:#000000;">z</span> <span style="color:#402020;">=</span> <span style="color:#000000;">x</span> <span style="color:#0000ff;">der</span> <span style="color:#000000;">y</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">real</span> <span style="color:#000000;">x</span> <span style="color:#000000;">=</span> <span style="color:#0000ff;">if</span> <span style="color:#000000;">b.l1:</span> <span style="color:#000000;">y</span> <span style="color:#000000;">+</span> <span style="color:#006100;">1.0</span> <span style="color:#0000ff;">elif</span> <span style="color:#000000;">b.l2:</span> <span style="color:#000000;">y</span> <span style="color:#000000;">+</span> <span style="color:#006100;">2.0</span> <span style="color:#0000ff;">else</span> <span style="color:#000000;">y</span> <span style="color:#000000;">+</span> <span style="color:#006100;">3.0</span> <span style="color:#0000ff;">end</span><span style="color:#000000;">;</span><br><span style="color:#0000ff;">input</span> <span style="color:#0000ff;">real</span> <span style="color:#000000;">y;</span><br><span style="color:#0000ff;">cont</span> <span style="color:#000000;">z</span> <span style="color:#000000;">=</span> <span style="color:#000000;">x</span> <span style="color:#0000ff;">der</span> <span style="color:#000000;">y;</span></html>
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/data_basic.model.graphml b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/data_basic.model.graphml
index 4bf83f7a33dd2e6195fd74a9f7e7d983546b8cb6..537ccb18e11889cbd23ec45305a87293ea9682b3 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/data_basic.model.graphml
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/data_basic.model.graphml
@@ -32,14 +32,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A</span><span style="color:#402020;">(</span><span style="color:#0000ff;">location</span> <span style="color:#000000;">loc</span><span style="color:#402020;">;</span> <span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A(</span><span style="color:#0000ff;">location</span> <span style="color:#000000;">loc;</span> <span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p)</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A</span><span style="color:#402020;">(</span><span style="color:#0000ff;">location</span> <span style="color:#000000;">loc</span><span style="color:#402020;">;</span> <span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A(</span><span style="color:#0000ff;">location</span> <span style="color:#000000;">loc;</span> <span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p)</span></html>
@@ -56,7 +56,7 @@
Declarations
- <html><span style="color:#0000ff;">invariant</span> <span style="color:#000000;">p</span> <span style="color:#402020;">></span> <span style="color:#006100;">0</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">invariant</span> <span style="color:#000000;">p</span> <span style="color:#000000;">></span> <span style="color:#006100;">0</span><span style="color:#000000;">;</span></html>
@@ -109,7 +109,7 @@
- <html><span style="color:#0000ff;">when</span> <span style="color:#000000;">p</span> <span style="color:#402020;">></span> <span style="color:#006100;">1</span></html>
+ <html><span style="color:#0000ff;">when</span> <span style="color:#000000;">p</span> <span style="color:#000000;">></span> <span style="color:#006100;">1</span></html>
@@ -143,7 +143,7 @@
Instantiations
- <html><span style="color:#000000;">a1</span><span style="color:#402020;">:</span> <span style="color:#000000;">A</span><span style="color:#402020;">(</span><span style="color:#000000;">a2.l1</span><span style="color:#402020;">,</span> <span style="color:#000000;">y</span><span style="color:#402020;">);</span><br><span style="color:#000000;">a2</span><span style="color:#402020;">:</span> <span style="color:#000000;">A</span><span style="color:#402020;">(</span><span style="color:#000000;">a1.l2</span><span style="color:#402020;">,</span> <span style="color:#000000;">x</span><span style="color:#402020;">);</span></html>
+ <html><span style="color:#000000;">a1:</span> <span style="color:#000000;">A(a2.l1,</span> <span style="color:#000000;">y);</span><br><span style="color:#000000;">a2:</span> <span style="color:#000000;">A(a1.l2,</span> <span style="color:#000000;">x);</span></html>
@@ -168,7 +168,7 @@
Declarations
- <html><span style="color:#0000ff;">input</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">y</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">input</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">y;</span></html>
@@ -197,7 +197,7 @@
Declarations
- <html><span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">x</span> <span style="color:#402020;">=</span> <span style="color:#000000;">g.y</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">x</span> <span style="color:#000000;">=</span> <span style="color:#000000;">g.y;</span></html>
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/data_basic.relations.graphml b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/data_basic.relations.graphml
index 1eefaf7dbd834b5579ab602cb8b1b8565daae614..a2ac4ce4e333eac521fe45b4bb82562b938ccfc8 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/data_basic.relations.graphml
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/data_basic.relations.graphml
@@ -110,14 +110,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A()</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A()</span></html>
@@ -216,14 +216,14 @@
- <html> <span style="color:#000000;">a1</span><span style="color:#402020;">:</span> <span style="color:#000000;">A</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">a1:</span> <span style="color:#000000;">A()</span></html>
- <html> <span style="color:#000000;">a1</span><span style="color:#402020;">:</span> <span style="color:#000000;">A</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">a1:</span> <span style="color:#000000;">A()</span></html>
@@ -276,14 +276,14 @@
- <html> <span style="color:#000000;">a2</span><span style="color:#402020;">:</span> <span style="color:#000000;">A</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">a2:</span> <span style="color:#000000;">A()</span></html>
- <html> <span style="color:#000000;">a2</span><span style="color:#402020;">:</span> <span style="color:#000000;">A</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">a2:</span> <span style="color:#000000;">A()</span></html>
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/data_refs.model.graphml b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/data_refs.model.graphml
index 9f55574ceba5df9bd2b96c275e05da65154ad570..3a4a0a3036ac22b17266b184fe456a865ef9e50a 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/data_refs.model.graphml
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/data_refs.model.graphml
@@ -10,14 +10,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A</span><span style="color:#402020;">(</span><span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A(</span><span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p)</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A</span><span style="color:#402020;">(</span><span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A(</span><span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p)</span></html>
@@ -34,7 +34,7 @@
Declarations
- <html><span style="color:#0000ff;">disc</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">v</span><span style="color:#402020;">;</span><br><br><span style="color:#0000ff;">invariant</span> <span style="color:#000000;">v</span> <span style="color:#402020;">=</span> <span style="color:#000000;">p</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">disc</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">v;</span><br><br><span style="color:#0000ff;">invariant</span> <span style="color:#000000;">v</span> <span style="color:#000000;">=</span> <span style="color:#000000;">p;</span></html>
@@ -87,7 +87,7 @@
- <html><span style="color:#0000ff;">do</span> <span style="color:#000000;">v</span> <span style="color:#402020;">:=</span> <span style="color:#000000;">p</span></html>
+ <html><span style="color:#0000ff;">do</span> <span style="color:#000000;">v</span> <span style="color:#000000;">:=</span> <span style="color:#000000;">p</span></html>
@@ -99,14 +99,14 @@
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">G</span><span style="color:#402020;">(</span><span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">G(</span><span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p)</span></html>
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">G</span><span style="color:#402020;">(</span><span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">G(</span><span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p)</span></html>
@@ -123,7 +123,7 @@
Declarations
- <html><span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">pp</span> <span style="color:#402020;">=</span> <span style="color:#000000;">p</span> <span style="color:#402020;">*</span> <span style="color:#000000;">p</span><span style="color:#402020;">;</span><br><br><span style="color:#0000ff;">invariant</span> <span style="color:#000000;">p</span> <span style="color:#402020;">+</span> <span style="color:#000000;">p</span> <span style="color:#402020;">></span> <span style="color:#006100;">0</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">pp</span> <span style="color:#000000;">=</span> <span style="color:#000000;">p</span> <span style="color:#000000;">*</span> <span style="color:#000000;">p;</span><br><br><span style="color:#0000ff;">invariant</span> <span style="color:#000000;">p</span> <span style="color:#000000;">+</span> <span style="color:#000000;">p</span> <span style="color:#000000;">></span> <span style="color:#006100;">0</span><span style="color:#000000;">;</span></html>
@@ -174,7 +174,7 @@
Declarations
- <html><span style="color:#0000ff;">cont</span> <span style="color:#000000;">c3</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">cont</span> <span style="color:#000000;">c3;</span></html>
@@ -198,7 +198,7 @@
- <html><span style="color:#000000;">l1</span><br><br><span style="color:#0000ff;">equation</span> <span style="color:#000000;">c3</span><span style="color:#402020;">'</span> <span style="color:#402020;">=</span> <span style="color:#000000;">r</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#000000;">l1</span><br><br><span style="color:#0000ff;">equation</span> <span style="color:#000000;">c3'</span> <span style="color:#000000;">=</span> <span style="color:#000000;">r;</span></html>
@@ -236,7 +236,7 @@
- <html><span style="color:#000000;">l2</span><br><br><span style="color:#0000ff;">equation</span> <span style="color:#000000;">c3</span><span style="color:#402020;">'</span> <span style="color:#402020;">=</span> <span style="color:#000000;">r</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#000000;">l2</span><br><br><span style="color:#0000ff;">equation</span> <span style="color:#000000;">c3'</span> <span style="color:#000000;">=</span> <span style="color:#000000;">r;</span></html>
@@ -274,7 +274,7 @@
Declarations
- <html><span style="color:#0000ff;">cont</span> <span style="color:#000000;">c4</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">cont</span> <span style="color:#000000;">c4;</span></html>
@@ -298,7 +298,7 @@
- <html><span style="color:#0000ff;">equation</span> <span style="color:#000000;">c4</span><span style="color:#402020;">'</span> <span style="color:#402020;">=</span> <span style="color:#000000;">r</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">equation</span> <span style="color:#000000;">c4'</span> <span style="color:#000000;">=</span> <span style="color:#000000;">r;</span></html>
@@ -354,7 +354,7 @@
Declarations
- <html><span style="color:#0000ff;">disc</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">z</span> <span style="color:#402020;">=</span> <span style="color:#000000;">y</span><span style="color:#402020;">;</span><br><span style="color:#0000ff;">disc</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">x</span> <span style="color:#402020;">=</span> <span style="color:#000000;">y</span> <span style="color:#402020;">+</span> <span style="color:#000000;">z</span><span style="color:#402020;">;</span><br><span style="color:#0000ff;">disc</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">y</span> <span style="color:#402020;">=</span> <span style="color:#006100;">5</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">disc</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">z</span> <span style="color:#000000;">=</span> <span style="color:#000000;">y;</span><br><span style="color:#0000ff;">disc</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">x</span> <span style="color:#000000;">=</span> <span style="color:#000000;">y</span> <span style="color:#000000;">+</span> <span style="color:#000000;">z;</span><br><span style="color:#0000ff;">disc</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">y</span> <span style="color:#000000;">=</span> <span style="color:#006100;">5</span><span style="color:#000000;">;</span></html>
@@ -378,7 +378,7 @@
- <html><span style="color:#0000ff;">invariant</span> <span style="color:#000000;">x</span> <span style="color:#402020;">></span> <span style="color:#006100;">0</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">invariant</span> <span style="color:#000000;">x</span> <span style="color:#000000;">></span> <span style="color:#006100;">0</span><span style="color:#000000;">;</span></html>
@@ -434,7 +434,7 @@
Declarations
- <html><span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">bool</span> <span style="color:#000000;">b1</span> <span style="color:#402020;">=</span> <span style="color:#000000;">l1</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">bool</span> <span style="color:#000000;">b1</span> <span style="color:#000000;">=</span> <span style="color:#000000;">l1;</span></html>
@@ -458,7 +458,7 @@
- <html><span style="color:#000000;">l1</span><br><br><span style="color:#0000ff;">invariant</span> <span style="color:#000000;">b1</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#000000;">l1</span><br><br><span style="color:#0000ff;">invariant</span> <span style="color:#000000;">b1;</span></html>
@@ -501,7 +501,7 @@
Instantiations
- <html><span style="color:#000000;">a1</span><span style="color:#402020;">:</span> <span style="color:#000000;">A</span><span style="color:#402020;">(</span><span style="color:#000000;">a2.v</span><span style="color:#402020;">);</span><br><span style="color:#000000;">a2</span><span style="color:#402020;">:</span> <span style="color:#000000;">A</span><span style="color:#402020;">(</span><span style="color:#000000;">a2.v</span><span style="color:#402020;">);</span><br><span style="color:#000000;">g1</span><span style="color:#402020;">:</span> <span style="color:#000000;">G</span><span style="color:#402020;">(</span><span style="color:#000000;">x</span> <span style="color:#402020;">+</span> <span style="color:#000000;">x</span> <span style="color:#402020;">+</span> <span style="color:#000000;">y</span><span style="color:#402020;">);</span><br><span style="color:#000000;">g2</span><span style="color:#402020;">:</span> <span style="color:#000000;">G</span><span style="color:#402020;">(</span><span style="color:#000000;">x</span> <span style="color:#402020;">*</span> <span style="color:#000000;">y</span> <span style="color:#402020;">*</span> <span style="color:#000000;">y</span><span style="color:#402020;">);</span></html>
+ <html><span style="color:#000000;">a1:</span> <span style="color:#000000;">A(a2.v);</span><br><span style="color:#000000;">a2:</span> <span style="color:#000000;">A(a2.v);</span><br><span style="color:#000000;">g1:</span> <span style="color:#000000;">G(x</span> <span style="color:#000000;">+</span> <span style="color:#000000;">x</span> <span style="color:#000000;">+</span> <span style="color:#000000;">y);</span><br><span style="color:#000000;">g2:</span> <span style="color:#000000;">G(x</span> <span style="color:#000000;">*</span> <span style="color:#000000;">y</span> <span style="color:#000000;">*</span> <span style="color:#000000;">y);</span></html>
@@ -526,7 +526,7 @@
Declarations
- <html><span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">int</span><span style="color:#402020;">[</span><span style="color:#006100;">9</span><span style="color:#402020;">..</span><span style="color:#006100;">9</span><span style="color:#402020;">]</span> <span style="color:#000000;">x</span> <span style="color:#402020;">=</span> <span style="color:#000000;">y</span> <span style="color:#402020;">+</span> <span style="color:#000000;">y</span> <span style="color:#402020;">+</span> <span style="color:#000000;">y</span><span style="color:#402020;">;</span><br><span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">int</span><span style="color:#402020;">[</span><span style="color:#006100;">3</span><span style="color:#402020;">..</span><span style="color:#006100;">3</span><span style="color:#402020;">]</span> <span style="color:#000000;">y</span> <span style="color:#402020;">=</span> <span style="color:#006100;">3</span><span style="color:#402020;">;</span><br><span style="color:#0000ff;">func</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">f</span><span style="color:#402020;">(</span><span style="color:#0000ff;">int</span> <span style="color:#000000;">a</span><span style="color:#402020;">;</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">b</span><span style="color:#402020;">):</span><br> <span style="color:#0000ff;">int</span> <span style="color:#000000;">c</span> <span style="color:#402020;">=</span> <span style="color:#000000;">a</span> <span style="color:#402020;">+</span> <span style="color:#000000;">b</span><span style="color:#402020;">;</span><br> <span style="color:#0000ff;">return</span> <span style="color:#000000;">c</span><span style="color:#402020;">;</span><br><span style="color:#0000ff;">end</span><br><span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">z</span> <span style="color:#402020;">=</span> <span style="color:#000000;">f</span><span style="color:#402020;">(</span><span style="color:#000000;">x</span><span style="color:#402020;">,</span> <span style="color:#000000;">y</span><span style="color:#402020;">);</span><br><span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">real</span> <span style="color:#000000;">r</span> <span style="color:#402020;">=</span> <span style="color:#006100;">5.0</span><span style="color:#402020;">;</span><br><span style="color:#0000ff;">cont</span> <span style="color:#000000;">c1</span> <span style="color:#0000ff;">der</span> <span style="color:#000000;">r</span><span style="color:#402020;">;</span><br><span style="color:#0000ff;">cont</span> <span style="color:#000000;">c2</span><span style="color:#402020;">;</span><br><span style="color:#0000ff;">cont</span> <span style="color:#000000;">c5</span> <span style="color:#0000ff;">der</span> <span style="color:#000000;">c6</span><span style="color:#402020;">;</span><br><span style="color:#0000ff;">cont</span> <span style="color:#000000;">c6</span> <span style="color:#402020;">=</span> <span style="color:#000000;">c5</span> <span style="color:#0000ff;">der</span> <span style="color:#006100;">1.0</span><span style="color:#402020;">;</span><br><span style="color:#0000ff;">cont</span> <span style="color:#000000;">c7</span> <span style="color:#0000ff;">der</span> <span style="color:#000000;">c7</span><span style="color:#402020;">;</span><br><br><span style="color:#0000ff;">equation</span> <span style="color:#000000;">c2</span><span style="color:#402020;">'</span> <span style="color:#402020;">=</span> <span style="color:#000000;">r</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">int</span><span style="color:#000000;">[</span><span style="color:#006100;">9</span><span style="color:#000000;">..</span><span style="color:#006100;">9</span><span style="color:#000000;">]</span> <span style="color:#000000;">x</span> <span style="color:#000000;">=</span> <span style="color:#000000;">y</span> <span style="color:#000000;">+</span> <span style="color:#000000;">y</span> <span style="color:#000000;">+</span> <span style="color:#000000;">y;</span><br><span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">int</span><span style="color:#000000;">[</span><span style="color:#006100;">3</span><span style="color:#000000;">..</span><span style="color:#006100;">3</span><span style="color:#000000;">]</span> <span style="color:#000000;">y</span> <span style="color:#000000;">=</span> <span style="color:#006100;">3</span><span style="color:#000000;">;</span><br><span style="color:#0000ff;">func</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">f(</span><span style="color:#0000ff;">int</span> <span style="color:#000000;">a;</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">b):</span><br> <span style="color:#0000ff;">int</span> <span style="color:#000000;">c</span> <span style="color:#000000;">=</span> <span style="color:#000000;">a</span> <span style="color:#000000;">+</span> <span style="color:#000000;">b;</span><br> <span style="color:#0000ff;">return</span> <span style="color:#000000;">c;</span><br><span style="color:#0000ff;">end</span><br><span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">z</span> <span style="color:#000000;">=</span> <span style="color:#000000;">f(x,</span> <span style="color:#000000;">y);</span><br><span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">real</span> <span style="color:#000000;">r</span> <span style="color:#000000;">=</span> <span style="color:#006100;">5.0</span><span style="color:#000000;">;</span><br><span style="color:#0000ff;">cont</span> <span style="color:#000000;">c1</span> <span style="color:#0000ff;">der</span> <span style="color:#000000;">r;</span><br><span style="color:#0000ff;">cont</span> <span style="color:#000000;">c2;</span><br><span style="color:#0000ff;">cont</span> <span style="color:#000000;">c5</span> <span style="color:#0000ff;">der</span> <span style="color:#000000;">c6;</span><br><span style="color:#0000ff;">cont</span> <span style="color:#000000;">c6</span> <span style="color:#000000;">=</span> <span style="color:#000000;">c5</span> <span style="color:#0000ff;">der</span> <span style="color:#006100;">1.0</span><span style="color:#000000;">;</span><br><span style="color:#0000ff;">cont</span> <span style="color:#000000;">c7</span> <span style="color:#0000ff;">der</span> <span style="color:#000000;">c7;</span><br><br><span style="color:#0000ff;">equation</span> <span style="color:#000000;">c2'</span> <span style="color:#000000;">=</span> <span style="color:#000000;">r;</span></html>
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/data_refs.relations.graphml b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/data_refs.relations.graphml
index 2a2c2c1f47811665344b473b5cbf5e73f935580d..9f4ceba29b4ff176ae7007da83ceab1f9454600a 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/data_refs.relations.graphml
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/data_refs.relations.graphml
@@ -12,14 +12,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A()</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A()</span></html>
@@ -80,14 +80,14 @@
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">G</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">G()</span></html>
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">G</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">G()</span></html>
@@ -162,14 +162,14 @@
- <html> <span style="color:#000000;">a1</span><span style="color:#402020;">:</span> <span style="color:#000000;">A</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">a1:</span> <span style="color:#000000;">A()</span></html>
- <html> <span style="color:#000000;">a1</span><span style="color:#402020;">:</span> <span style="color:#000000;">A</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">a1:</span> <span style="color:#000000;">A()</span></html>
@@ -198,14 +198,14 @@
- <html> <span style="color:#000000;">a2</span><span style="color:#402020;">:</span> <span style="color:#000000;">A</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">a2:</span> <span style="color:#000000;">A()</span></html>
- <html> <span style="color:#000000;">a2</span><span style="color:#402020;">:</span> <span style="color:#000000;">A</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">a2:</span> <span style="color:#000000;">A()</span></html>
@@ -330,14 +330,14 @@
- <html> <span style="color:#000000;">g1</span><span style="color:#402020;">:</span> <span style="color:#000000;">G</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">g1:</span> <span style="color:#000000;">G()</span></html>
- <html> <span style="color:#000000;">g1</span><span style="color:#402020;">:</span> <span style="color:#000000;">G</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">g1:</span> <span style="color:#000000;">G()</span></html>
@@ -366,14 +366,14 @@
- <html> <span style="color:#000000;">g2</span><span style="color:#402020;">:</span> <span style="color:#000000;">G</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">g2:</span> <span style="color:#000000;">G()</span></html>
- <html> <span style="color:#000000;">g2</span><span style="color:#402020;">:</span> <span style="color:#000000;">G</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">g2:</span> <span style="color:#000000;">G()</span></html>
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/empty_comps.model.graphml b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/empty_comps.model.graphml
index d86134a0e7300221aa840ad4ad09a54594614b6b..8c0bbc496208bd785c07e1b0b488be80ee3f9533 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/empty_comps.model.graphml
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/empty_comps.model.graphml
@@ -10,14 +10,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">B</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">B()</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">B</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">B()</span></html>
@@ -63,14 +63,14 @@
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">C</span><span style="color:#402020;">(</span><span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">y</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">C(</span><span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">y)</span></html>
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">C</span><span style="color:#402020;">(</span><span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">y</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">C(</span><span style="color:#0000ff;">alg</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">y)</span></html>
@@ -109,7 +109,7 @@
Declarations
- <html><span style="color:#0000ff;">const</span> <span style="color:#0000ff;">int</span><span style="color:#402020;">[</span><span style="color:#006100;">5</span><span style="color:#402020;">..</span><span style="color:#006100;">5</span><span style="color:#402020;">]</span> <span style="color:#000000;">x</span> <span style="color:#402020;">=</span> <span style="color:#006100;">5</span><span style="color:#402020;">;</span><br><br><span style="color:#0000ff;">invariant</span> <span style="color:#000000;">x</span> <span style="color:#402020;">=</span> <span style="color:#000000;">y</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">const</span> <span style="color:#0000ff;">int</span><span style="color:#000000;">[</span><span style="color:#006100;">5</span><span style="color:#000000;">..</span><span style="color:#006100;">5</span><span style="color:#000000;">]</span> <span style="color:#000000;">x</span> <span style="color:#000000;">=</span> <span style="color:#006100;">5</span><span style="color:#000000;">;</span><br><br><span style="color:#0000ff;">invariant</span> <span style="color:#000000;">x</span> <span style="color:#000000;">=</span> <span style="color:#000000;">y;</span></html>
@@ -138,14 +138,14 @@
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">D</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#000000;">e</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">D(</span><span style="color:#0000ff;">event</span> <span style="color:#000000;">e)</span></html>
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">D</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#000000;">e</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">D(</span><span style="color:#0000ff;">event</span> <span style="color:#000000;">e)</span></html>
@@ -184,7 +184,7 @@
Declarations
- <html><span style="color:#0000ff;">const</span> <span style="color:#0000ff;">int</span><span style="color:#402020;">[</span><span style="color:#006100;">5</span><span style="color:#402020;">..</span><span style="color:#006100;">5</span><span style="color:#402020;">]</span> <span style="color:#000000;">x</span> <span style="color:#402020;">=</span> <span style="color:#006100;">5</span><span style="color:#402020;">;</span><br><br><span style="color:#0000ff;">invariant</span> <span style="color:#000000;">x</span> <span style="color:#402020;">=</span> <span style="color:#006100;">5</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">const</span> <span style="color:#0000ff;">int</span><span style="color:#000000;">[</span><span style="color:#006100;">5</span><span style="color:#000000;">..</span><span style="color:#006100;">5</span><span style="color:#000000;">]</span> <span style="color:#000000;">x</span> <span style="color:#000000;">=</span> <span style="color:#006100;">5</span><span style="color:#000000;">;</span><br><br><span style="color:#0000ff;">invariant</span> <span style="color:#000000;">x</span> <span style="color:#000000;">=</span> <span style="color:#006100;">5</span><span style="color:#000000;">;</span></html>
@@ -298,14 +298,14 @@
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">E</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">E()</span></html>
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">E</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">E()</span></html>
@@ -561,7 +561,7 @@
Declarations
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">e</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">e;</span></html>
@@ -719,7 +719,7 @@
Declarations
- <html><span style="color:#0000ff;">const</span> <span style="color:#0000ff;">int</span><span style="color:#402020;">[</span><span style="color:#006100;">5</span><span style="color:#402020;">..</span><span style="color:#006100;">5</span><span style="color:#402020;">]</span> <span style="color:#000000;">x</span> <span style="color:#402020;">=</span> <span style="color:#006100;">5</span><span style="color:#402020;">;</span><br><br><span style="color:#0000ff;">invariant</span> <span style="color:#000000;">x</span> <span style="color:#402020;">=</span> <span style="color:#006100;">5</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">const</span> <span style="color:#0000ff;">int</span><span style="color:#000000;">[</span><span style="color:#006100;">5</span><span style="color:#000000;">..</span><span style="color:#006100;">5</span><span style="color:#000000;">]</span> <span style="color:#000000;">x</span> <span style="color:#000000;">=</span> <span style="color:#006100;">5</span><span style="color:#000000;">;</span><br><br><span style="color:#0000ff;">invariant</span> <span style="color:#000000;">x</span> <span style="color:#000000;">=</span> <span style="color:#006100;">5</span><span style="color:#000000;">;</span></html>
@@ -752,7 +752,7 @@
Instantiations
- <html><span style="color:#000000;">b</span><span style="color:#402020;">:</span> <span style="color:#000000;">B</span><span style="color:#402020;">();</span><br><span style="color:#000000;">c</span><span style="color:#402020;">:</span> <span style="color:#000000;">C</span><span style="color:#402020;">(</span><span style="color:#006100;">5</span><span style="color:#402020;">);</span><br><span style="color:#000000;">d1</span><span style="color:#402020;">:</span> <span style="color:#000000;">D</span><span style="color:#402020;">(</span><span style="color:#000000;">g6.g7.e</span><span style="color:#402020;">);</span><br><span style="color:#000000;">d2</span><span style="color:#402020;">:</span> <span style="color:#000000;">D</span><span style="color:#402020;">(</span><span style="color:#000000;">ee</span><span style="color:#402020;">);</span><br><span style="color:#000000;">e</span><span style="color:#402020;">:</span> <span style="color:#000000;">E</span><span style="color:#402020;">();</span></html>
+ <html><span style="color:#000000;">b:</span> <span style="color:#000000;">B();</span><br><span style="color:#000000;">c:</span> <span style="color:#000000;">C(</span><span style="color:#006100;">5</span><span style="color:#000000;">);</span><br><span style="color:#000000;">d1:</span> <span style="color:#000000;">D(g6.g7.e);</span><br><span style="color:#000000;">d2:</span> <span style="color:#000000;">D(ee);</span><br><span style="color:#000000;">e:</span> <span style="color:#000000;">E();</span></html>
@@ -777,7 +777,7 @@
Declarations
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">ee</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">ee;</span></html>
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/empty_comps.relations.graphml b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/empty_comps.relations.graphml
index 4766fb3d634880b2c9ee1f0e35afdffc0f9b52e9..a9ad6c449889d9d85304eaf9d791bfe9cfc0a160 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/empty_comps.relations.graphml
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/empty_comps.relations.graphml
@@ -12,14 +12,14 @@
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">C</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">C()</span></html>
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">C</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">C()</span></html>
@@ -82,14 +82,14 @@
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">D</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">D()</span></html>
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">D</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">D()</span></html>
@@ -296,14 +296,14 @@
- <html> <span style="color:#000000;">d1</span><span style="color:#402020;">:</span> <span style="color:#000000;">D</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">d1:</span> <span style="color:#000000;">D()</span></html>
- <html> <span style="color:#000000;">d1</span><span style="color:#402020;">:</span> <span style="color:#000000;">D</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">d1:</span> <span style="color:#000000;">D()</span></html>
@@ -332,14 +332,14 @@
- <html> <span style="color:#000000;">d2</span><span style="color:#402020;">:</span> <span style="color:#000000;">D</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">d2:</span> <span style="color:#000000;">D()</span></html>
- <html> <span style="color:#000000;">d2</span><span style="color:#402020;">:</span> <span style="color:#000000;">D</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">d2:</span> <span style="color:#000000;">D()</span></html>
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_local_use.model.graphml b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_local_use.model.graphml
index 46508906054f433231320d4d16acae96de5f6503..6e48605362d867c97a7395a1aaee1fbecf297659 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_local_use.model.graphml
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_local_use.model.graphml
@@ -10,14 +10,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">B</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#000000;">e2</span><span style="color:#402020;">;</span> <span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">h2</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">B(</span><span style="color:#0000ff;">event</span> <span style="color:#000000;">e2;</span> <span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">h2)</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">B</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#000000;">e2</span><span style="color:#402020;">;</span> <span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">h2</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">B(</span><span style="color:#0000ff;">event</span> <span style="color:#000000;">e2;</span> <span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">h2)</span></html>
@@ -69,7 +69,7 @@
- <html><span style="color:#000000;">h2</span><span style="color:#402020;">?</span></html>
+ <html><span style="color:#000000;">h2?</span></html>
@@ -105,7 +105,7 @@
Declarations
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">e</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">e;</span></html>
@@ -167,7 +167,7 @@
- <html><span style="color:#000000;">h</span><span style="color:#402020;">!</span><span style="color:#006100;">5</span></html>
+ <html><span style="color:#000000;">h!</span><span style="color:#006100;">5</span></html>
@@ -252,7 +252,7 @@
Instantiations
- <html><span style="color:#000000;">b</span><span style="color:#402020;">:</span> <span style="color:#000000;">B</span><span style="color:#402020;">(</span><span style="color:#000000;">a.e</span><span style="color:#402020;">,</span> <span style="color:#000000;">h</span><span style="color:#402020;">);</span></html>
+ <html><span style="color:#000000;">b:</span> <span style="color:#000000;">B(a.e,</span> <span style="color:#000000;">h);</span></html>
@@ -277,7 +277,7 @@
Declarations
- <html><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">h</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">h;</span></html>
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_local_use.relations.graphml b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_local_use.relations.graphml
index cadcdc28e88b3cade7ee0651c27e491a04906f64..bd3a57da3f010807a42f109f71f0f07849351f2b 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_local_use.relations.graphml
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_local_use.relations.graphml
@@ -12,14 +12,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">B</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">B()</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">B</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">B()</span></html>
@@ -45,7 +45,7 @@
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">h2</span> <span style="color:#402020;">!?~</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">h2</span> <span style="color:#000000;">!?~</span></html>
@@ -57,7 +57,7 @@
- <html><span style="color:#402020;">?</span></html>
+ <html><span style="color:#000000;">?</span></html>
@@ -127,7 +127,7 @@
- <html><span style="color:#402020;">!</span></html>
+ <html><span style="color:#000000;">!</span></html>
@@ -164,14 +164,14 @@
- <html> <span style="color:#000000;">b</span><span style="color:#402020;">:</span> <span style="color:#000000;">B</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">b:</span> <span style="color:#000000;">B()</span></html>
- <html> <span style="color:#000000;">b</span><span style="color:#402020;">:</span> <span style="color:#000000;">B</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">b:</span> <span style="color:#000000;">B()</span></html>
@@ -197,7 +197,7 @@
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">h2</span> <span style="color:#402020;">!?~</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">h2</span> <span style="color:#000000;">!?~</span></html>
@@ -257,7 +257,7 @@
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">h</span> <span style="color:#402020;">!?~</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">h</span> <span style="color:#000000;">!?~</span></html>
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_param_directions.model.graphml b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_param_directions.model.graphml
index 9c552923d99f90bb4f1786ef188d8c14a56e58a0..4c8e82582f2f36e02f88dbc9fe4675344bab7f02 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_param_directions.model.graphml
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_param_directions.model.graphml
@@ -10,14 +10,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">X</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">X(</span><span style="color:#0000ff;">event</span> <span style="color:#000000;">p)</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">X</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">X(</span><span style="color:#0000ff;">event</span> <span style="color:#000000;">p)</span></html>
@@ -72,14 +72,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">N</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">N(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p)</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">N</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">N(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p)</span></html>
@@ -134,14 +134,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">S</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p</span><span style="color:#402020;">!)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">S(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p!)</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">S</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p</span><span style="color:#402020;">!)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">S(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p!)</span></html>
@@ -184,7 +184,7 @@
- <html><span style="color:#000000;">p</span><span style="color:#402020;">!</span><span style="color:#006100;">1</span></html>
+ <html><span style="color:#000000;">p!</span><span style="color:#006100;">1</span></html>
@@ -196,14 +196,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">R</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p</span><span style="color:#402020;">?)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">R(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p?)</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">R</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p</span><span style="color:#402020;">?)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">R(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p?)</span></html>
@@ -246,7 +246,7 @@
- <html><span style="color:#000000;">p</span><span style="color:#402020;">?</span></html>
+ <html><span style="color:#000000;">p?</span></html>
@@ -258,14 +258,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">C</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p</span><span style="color:#402020;">~)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">C(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p~)</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">C</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p</span><span style="color:#402020;">~)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">C(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p~)</span></html>
@@ -320,14 +320,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">SR</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p</span><span style="color:#402020;">!?)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">SR(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p!?)</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">SR</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p</span><span style="color:#402020;">!?)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">SR(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p!?)</span></html>
@@ -370,7 +370,7 @@
- <html><span style="color:#000000;">p</span><span style="color:#402020;">?</span></html>
+ <html><span style="color:#000000;">p?</span></html>
@@ -382,14 +382,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">SC</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p</span><span style="color:#402020;">!~)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">SC(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p!~)</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">SC</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p</span><span style="color:#402020;">!~)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">SC(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p!~)</span></html>
@@ -444,14 +444,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">RC</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p</span><span style="color:#402020;">?~)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">RC(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p?~)</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">RC</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p</span><span style="color:#402020;">?~)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">RC(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p?~)</span></html>
@@ -506,14 +506,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">SRC</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p</span><span style="color:#402020;">!?~)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">SRC(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p!?~)</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">SRC</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p</span><span style="color:#402020;">!?~)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">SRC(</span><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">p!?~)</span></html>
@@ -570,7 +570,7 @@
Instantiations
- <html><span style="color:#000000;">x</span><span style="color:#402020;">:</span> <span style="color:#000000;">X</span><span style="color:#402020;">(</span><span style="color:#000000;">e</span><span style="color:#402020;">);</span><br><span style="color:#000000;">n</span><span style="color:#402020;">:</span> <span style="color:#000000;">N</span><span style="color:#402020;">(</span><span style="color:#000000;">e</span><span style="color:#402020;">);</span><br><span style="color:#000000;">s</span><span style="color:#402020;">:</span> <span style="color:#000000;">S</span><span style="color:#402020;">(</span><span style="color:#000000;">e</span><span style="color:#402020;">);</span><br><span style="color:#000000;">r</span><span style="color:#402020;">:</span> <span style="color:#000000;">R</span><span style="color:#402020;">(</span><span style="color:#000000;">e</span><span style="color:#402020;">);</span><br><span style="color:#000000;">c</span><span style="color:#402020;">:</span> <span style="color:#000000;">C</span><span style="color:#402020;">(</span><span style="color:#000000;">e</span><span style="color:#402020;">);</span><br><span style="color:#000000;">sr</span><span style="color:#402020;">:</span> <span style="color:#000000;">SR</span><span style="color:#402020;">(</span><span style="color:#000000;">e</span><span style="color:#402020;">);</span><br><span style="color:#000000;">sc</span><span style="color:#402020;">:</span> <span style="color:#000000;">SC</span><span style="color:#402020;">(</span><span style="color:#000000;">e</span><span style="color:#402020;">);</span><br><span style="color:#000000;">rc</span><span style="color:#402020;">:</span> <span style="color:#000000;">RC</span><span style="color:#402020;">(</span><span style="color:#000000;">e</span><span style="color:#402020;">);</span><br><span style="color:#000000;">src</span><span style="color:#402020;">:</span> <span style="color:#000000;">SRC</span><span style="color:#402020;">(</span><span style="color:#000000;">e</span><span style="color:#402020;">);</span></html>
+ <html><span style="color:#000000;">x:</span> <span style="color:#000000;">X(e);</span><br><span style="color:#000000;">n:</span> <span style="color:#000000;">N(e);</span><br><span style="color:#000000;">s:</span> <span style="color:#000000;">S(e);</span><br><span style="color:#000000;">r:</span> <span style="color:#000000;">R(e);</span><br><span style="color:#000000;">c:</span> <span style="color:#000000;">C(e);</span><br><span style="color:#000000;">sr:</span> <span style="color:#000000;">SR(e);</span><br><span style="color:#000000;">sc:</span> <span style="color:#000000;">SC(e);</span><br><span style="color:#000000;">rc:</span> <span style="color:#000000;">RC(e);</span><br><span style="color:#000000;">src:</span> <span style="color:#000000;">SRC(e);</span></html>
@@ -595,7 +595,7 @@
Declarations
- <html><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">e</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#0000ff;">int</span> <span style="color:#000000;">e;</span></html>
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_param_directions.relations.graphml b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_param_directions.relations.graphml
index 9e66812eca24c6d6a39b301c70b19eb4e502f33b..6d57f2ad321868228b42b27ede0c0f8a4adab95f 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_param_directions.relations.graphml
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_param_directions.relations.graphml
@@ -12,14 +12,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">X</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">X()</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">X</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">X()</span></html>
@@ -59,14 +59,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">N</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">N()</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">N</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">N()</span></html>
@@ -80,7 +80,7 @@
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#402020;">!?~</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#000000;">!?~</span></html>
@@ -106,14 +106,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">S</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">S()</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">S</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">S()</span></html>
@@ -127,7 +127,7 @@
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#402020;">!</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#000000;">!</span></html>
@@ -139,7 +139,7 @@
- <html><span style="color:#402020;">!</span></html>
+ <html><span style="color:#000000;">!</span></html>
@@ -153,14 +153,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">R</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">R()</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">R</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">R()</span></html>
@@ -174,7 +174,7 @@
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#402020;">?</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#000000;">?</span></html>
@@ -186,7 +186,7 @@
- <html><span style="color:#402020;">?</span></html>
+ <html><span style="color:#000000;">?</span></html>
@@ -200,14 +200,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">C</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">C()</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">C</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">C()</span></html>
@@ -221,7 +221,7 @@
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#402020;">~</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#000000;">~</span></html>
@@ -247,14 +247,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">SR</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">SR()</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">SR</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">SR()</span></html>
@@ -268,7 +268,7 @@
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#402020;">!?</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#000000;">!?</span></html>
@@ -280,7 +280,7 @@
- <html><span style="color:#402020;">?</span></html>
+ <html><span style="color:#000000;">?</span></html>
@@ -294,14 +294,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">SC</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">SC()</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">SC</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">SC()</span></html>
@@ -315,7 +315,7 @@
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#402020;">!~</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#000000;">!~</span></html>
@@ -341,14 +341,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">RC</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">RC()</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">RC</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">RC()</span></html>
@@ -362,7 +362,7 @@
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#402020;">?~</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#000000;">?~</span></html>
@@ -388,14 +388,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">SRC</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">SRC()</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">SRC</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">SRC()</span></html>
@@ -409,7 +409,7 @@
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#402020;">!?~</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#000000;">!?~</span></html>
@@ -459,14 +459,14 @@
- <html> <span style="color:#000000;">x</span><span style="color:#402020;">:</span> <span style="color:#000000;">X</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">x:</span> <span style="color:#000000;">X()</span></html>
- <html> <span style="color:#000000;">x</span><span style="color:#402020;">:</span> <span style="color:#000000;">X</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">x:</span> <span style="color:#000000;">X()</span></html>
@@ -495,14 +495,14 @@
- <html> <span style="color:#000000;">n</span><span style="color:#402020;">:</span> <span style="color:#000000;">N</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">n:</span> <span style="color:#000000;">N()</span></html>
- <html> <span style="color:#000000;">n</span><span style="color:#402020;">:</span> <span style="color:#000000;">N</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">n:</span> <span style="color:#000000;">N()</span></html>
@@ -516,7 +516,7 @@
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#402020;">!?~</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#000000;">!?~</span></html>
@@ -531,14 +531,14 @@
- <html> <span style="color:#000000;">s</span><span style="color:#402020;">:</span> <span style="color:#000000;">S</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">s:</span> <span style="color:#000000;">S()</span></html>
- <html> <span style="color:#000000;">s</span><span style="color:#402020;">:</span> <span style="color:#000000;">S</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">s:</span> <span style="color:#000000;">S()</span></html>
@@ -552,7 +552,7 @@
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#402020;">!</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#000000;">!</span></html>
@@ -567,14 +567,14 @@
- <html> <span style="color:#000000;">r</span><span style="color:#402020;">:</span> <span style="color:#000000;">R</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">r:</span> <span style="color:#000000;">R()</span></html>
- <html> <span style="color:#000000;">r</span><span style="color:#402020;">:</span> <span style="color:#000000;">R</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">r:</span> <span style="color:#000000;">R()</span></html>
@@ -588,7 +588,7 @@
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#402020;">?</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#000000;">?</span></html>
@@ -603,14 +603,14 @@
- <html> <span style="color:#000000;">c</span><span style="color:#402020;">:</span> <span style="color:#000000;">C</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">c:</span> <span style="color:#000000;">C()</span></html>
- <html> <span style="color:#000000;">c</span><span style="color:#402020;">:</span> <span style="color:#000000;">C</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">c:</span> <span style="color:#000000;">C()</span></html>
@@ -624,7 +624,7 @@
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#402020;">~</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#000000;">~</span></html>
@@ -639,14 +639,14 @@
- <html> <span style="color:#000000;">sr</span><span style="color:#402020;">:</span> <span style="color:#000000;">SR</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">sr:</span> <span style="color:#000000;">SR()</span></html>
- <html> <span style="color:#000000;">sr</span><span style="color:#402020;">:</span> <span style="color:#000000;">SR</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">sr:</span> <span style="color:#000000;">SR()</span></html>
@@ -660,7 +660,7 @@
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#402020;">!?</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#000000;">!?</span></html>
@@ -675,14 +675,14 @@
- <html> <span style="color:#000000;">sc</span><span style="color:#402020;">:</span> <span style="color:#000000;">SC</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">sc:</span> <span style="color:#000000;">SC()</span></html>
- <html> <span style="color:#000000;">sc</span><span style="color:#402020;">:</span> <span style="color:#000000;">SC</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">sc:</span> <span style="color:#000000;">SC()</span></html>
@@ -696,7 +696,7 @@
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#402020;">!~</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#000000;">!~</span></html>
@@ -711,14 +711,14 @@
- <html> <span style="color:#000000;">rc</span><span style="color:#402020;">:</span> <span style="color:#000000;">RC</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">rc:</span> <span style="color:#000000;">RC()</span></html>
- <html> <span style="color:#000000;">rc</span><span style="color:#402020;">:</span> <span style="color:#000000;">RC</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">rc:</span> <span style="color:#000000;">RC()</span></html>
@@ -732,7 +732,7 @@
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#402020;">?~</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#000000;">?~</span></html>
@@ -747,14 +747,14 @@
- <html> <span style="color:#000000;">src</span><span style="color:#402020;">:</span> <span style="color:#000000;">SRC</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">src:</span> <span style="color:#000000;">SRC()</span></html>
- <html> <span style="color:#000000;">src</span><span style="color:#402020;">:</span> <span style="color:#000000;">SRC</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">src:</span> <span style="color:#000000;">SRC()</span></html>
@@ -768,7 +768,7 @@
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#402020;">!?~</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">p</span> <span style="color:#000000;">!?~</span></html>
@@ -782,7 +782,7 @@
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">e</span> <span style="color:#402020;">!?~</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">e</span> <span style="color:#000000;">!?~</span></html>
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_params.model.graphml b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_params.model.graphml
index d11db44e2bbae8803893181ffb4f522c034329c6..15977dd244b2fb6b4bb35211c0b4909f40265abe 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_params.model.graphml
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_params.model.graphml
@@ -10,14 +10,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#000000;">e</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A(</span><span style="color:#0000ff;">event</span> <span style="color:#000000;">e)</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#000000;">e</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A(</span><span style="color:#0000ff;">event</span> <span style="color:#000000;">e)</span></html>
@@ -34,7 +34,7 @@
Declarations
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">ea</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">ea;</span></html>
@@ -99,14 +99,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">B</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#000000;">e</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">B(</span><span style="color:#0000ff;">event</span> <span style="color:#000000;">e)</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">B</span><span style="color:#402020;">(</span><span style="color:#0000ff;">event</span> <span style="color:#000000;">e</span><span style="color:#402020;">)</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">B(</span><span style="color:#0000ff;">event</span> <span style="color:#000000;">e)</span></html>
@@ -123,7 +123,7 @@
Declarations
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">eb</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">eb;</span></html>
@@ -190,7 +190,7 @@
Instantiations
- <html><span style="color:#000000;">a1</span><span style="color:#402020;">:</span> <span style="color:#000000;">A</span><span style="color:#402020;">(</span><span style="color:#000000;">a1.ea</span><span style="color:#402020;">);</span><br><span style="color:#000000;">b1</span><span style="color:#402020;">:</span> <span style="color:#000000;">B</span><span style="color:#402020;">(</span><span style="color:#000000;">b1.eb</span><span style="color:#402020;">);</span><br><span style="color:#000000;">a2</span><span style="color:#402020;">:</span> <span style="color:#000000;">A</span><span style="color:#402020;">(</span><span style="color:#000000;">b2.eb</span><span style="color:#402020;">);</span><br><span style="color:#000000;">b2</span><span style="color:#402020;">:</span> <span style="color:#000000;">B</span><span style="color:#402020;">(</span><span style="color:#000000;">a2.ea</span><span style="color:#402020;">);</span></html>
+ <html><span style="color:#000000;">a1:</span> <span style="color:#000000;">A(a1.ea);</span><br><span style="color:#000000;">b1:</span> <span style="color:#000000;">B(b1.eb);</span><br><span style="color:#000000;">a2:</span> <span style="color:#000000;">A(b2.eb);</span><br><span style="color:#000000;">b2:</span> <span style="color:#000000;">B(a2.ea);</span></html>
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_params.relations.graphml b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_params.relations.graphml
index c33223dc84ca617fd83a75d3a6feccc97c4dacbe..9ba00648f2dd8d98023676e1db953ff1d72a2f08 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_params.relations.graphml
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_params.relations.graphml
@@ -12,14 +12,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A()</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A()</span></html>
@@ -71,14 +71,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">B</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">B()</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">B</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">B()</span></html>
@@ -154,14 +154,14 @@
- <html> <span style="color:#000000;">a2</span><span style="color:#402020;">:</span> <span style="color:#000000;">A</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">a2:</span> <span style="color:#000000;">A()</span></html>
- <html> <span style="color:#000000;">a2</span><span style="color:#402020;">:</span> <span style="color:#000000;">A</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">a2:</span> <span style="color:#000000;">A()</span></html>
@@ -202,14 +202,14 @@
- <html> <span style="color:#000000;">b2</span><span style="color:#402020;">:</span> <span style="color:#000000;">B</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">b2:</span> <span style="color:#000000;">B()</span></html>
- <html> <span style="color:#000000;">b2</span><span style="color:#402020;">:</span> <span style="color:#000000;">B</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">b2:</span> <span style="color:#000000;">B()</span></html>
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_ref_complex.model.graphml b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_ref_complex.model.graphml
index 8e8a4b189b64f951f6aeb8454d6a3d7265ead621..fd7de6bc3b27d63fd2460004ae64ddf506538fee 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_ref_complex.model.graphml
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_ref_complex.model.graphml
@@ -32,14 +32,14 @@
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A()</span></html>
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A()</span></html>
@@ -56,7 +56,7 @@
Instantiations
- <html><span style="color:#000000;">b</span><span style="color:#402020;">:</span> <span style="color:#000000;">gB.B</span><span style="color:#402020;">();</span></html>
+ <html><span style="color:#000000;">b:</span> <span style="color:#000000;">gB.B();</span></html>
@@ -105,14 +105,14 @@
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">B</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">B()</span></html>
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">B</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">B()</span></html>
@@ -129,7 +129,7 @@
Instantiations
- <html><span style="color:#000000;">c</span><span style="color:#402020;">:</span> <span style="color:#000000;">gC.C</span><span style="color:#402020;">();</span></html>
+ <html><span style="color:#000000;">c:</span> <span style="color:#000000;">gC.C();</span></html>
@@ -178,14 +178,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">C</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">C()</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">C</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">C()</span></html>
@@ -202,7 +202,7 @@
Declarations
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">e</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">e;</span></html>
@@ -293,7 +293,7 @@
Instantiations
- <html><span style="color:#000000;">a</span><span style="color:#402020;">:</span> <span style="color:#000000;">gA.A</span><span style="color:#402020;">();</span></html>
+ <html><span style="color:#000000;">a:</span> <span style="color:#000000;">gA.A();</span></html>
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_ref_complex.relations.graphml b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_ref_complex.relations.graphml
index cd8455a7706b870aaa5c428a8423eb1ed8c81441..1af686672e46b9d29f27d163b1e6297f07353cb1 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_ref_complex.relations.graphml
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_ref_complex.relations.graphml
@@ -56,14 +56,14 @@
- <html> <span style="color:#000000;">a</span><span style="color:#402020;">:</span> <span style="color:#000000;">gA.A</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">a:</span> <span style="color:#000000;">gA.A()</span></html>
- <html> <span style="color:#000000;">a</span><span style="color:#402020;">:</span> <span style="color:#000000;">gA.A</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">a:</span> <span style="color:#000000;">gA.A()</span></html>
@@ -78,14 +78,14 @@
- <html> <span style="color:#000000;">b</span><span style="color:#402020;">:</span> <span style="color:#000000;">gB.B</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">b:</span> <span style="color:#000000;">gB.B()</span></html>
- <html> <span style="color:#000000;">b</span><span style="color:#402020;">:</span> <span style="color:#000000;">gB.B</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">b:</span> <span style="color:#000000;">gB.B()</span></html>
@@ -100,14 +100,14 @@
- <html> <span style="color:#000000;">c</span><span style="color:#402020;">:</span> <span style="color:#000000;">gC.C</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">c:</span> <span style="color:#000000;">gC.C()</span></html>
- <html> <span style="color:#000000;">c</span><span style="color:#402020;">:</span> <span style="color:#000000;">gC.C</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">c:</span> <span style="color:#000000;">gC.C()</span></html>
@@ -164,14 +164,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">C</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">C()</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">C</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">C()</span></html>
@@ -235,14 +235,14 @@
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">B</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">B()</span></html>
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">B</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">B()</span></html>
@@ -257,14 +257,14 @@
- <html> <span style="color:#000000;">c</span><span style="color:#402020;">:</span> <span style="color:#000000;">gC.C</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">c:</span> <span style="color:#000000;">gC.C()</span></html>
- <html> <span style="color:#000000;">c</span><span style="color:#402020;">:</span> <span style="color:#000000;">gC.C</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">c:</span> <span style="color:#000000;">gC.C()</span></html>
@@ -318,14 +318,14 @@
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A()</span></html>
- <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">group</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A()</span></html>
@@ -340,14 +340,14 @@
- <html> <span style="color:#000000;">b</span><span style="color:#402020;">:</span> <span style="color:#000000;">gB.B</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">b:</span> <span style="color:#000000;">gB.B()</span></html>
- <html> <span style="color:#000000;">b</span><span style="color:#402020;">:</span> <span style="color:#000000;">gB.B</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">b:</span> <span style="color:#000000;">gB.B()</span></html>
@@ -362,14 +362,14 @@
- <html> <span style="color:#000000;">c</span><span style="color:#402020;">:</span> <span style="color:#000000;">gC.C</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">c:</span> <span style="color:#000000;">gC.C()</span></html>
- <html> <span style="color:#000000;">c</span><span style="color:#402020;">:</span> <span style="color:#000000;">gC.C</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#000000;">c:</span> <span style="color:#000000;">gC.C()</span></html>
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_ref_cross.model.graphml b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_ref_cross.model.graphml
index e7376a530f5f249bf5367e3c234f95362358b228..fdb1a8a17f714f60811ea727a46b89cfadf24a4d 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_ref_cross.model.graphml
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_ref_cross.model.graphml
@@ -10,14 +10,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A1</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A1()</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A1</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A1()</span></html>
@@ -34,7 +34,7 @@
Declarations
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">e1</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">e1;</span></html>
@@ -99,14 +99,14 @@
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A2</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A2()</span></html>
- <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A2</span><span style="color:#402020;">()</span></html>
+ <html> <span style="color:#0000ff;">automaton</span> <span style="color:#0000ff;">def</span> <span style="color:#000000;">A2()</span></html>
@@ -123,7 +123,7 @@
Declarations
- <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">e2</span><span style="color:#402020;">;</span></html>
+ <html><span style="color:#0000ff;">event</span> <span style="color:#000000;">e2;</span></html>
@@ -190,7 +190,7 @@
Instantiations
- <html><span style="color:#000000;">a1</span><span style="color:#402020;">:</span> <span style="color:#000000;">A1</span><span style="color:#402020;">();</span><br><span style="color:#000000;">a2</span><span style="color:#402020;">:</span> <span style="color:#000000;">A2</span><span style="color:#402020;">();</span></html>
+ <html><span style="color:#000000;">a1:</span> <span style="color:#000000;">A1();</span><br><span style="color:#000000;">a2:</span> <span style="color:#000000;">A2();</span></html>
diff --git a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_ref_cross.relations.graphml b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_ref_cross.relations.graphml
index e420241b2cf76f54a09d886c2c5b83b2ae713a3f..2ef0dbd6084e2d1138d8073c413e12e45ba22d9e 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_ref_cross.relations.graphml
+++ b/cif/org.eclipse.escet.cif.tests/tests/cif2yed/evt_ref_cross.relations.graphml
@@ -12,14 +12,14 @@