Commit 26aadf14 authored by Simon Barner's avatar Simon Barner
Browse files

Ensure that SVN properties are set.

Please fix your SVN configurations!

See https://af3-developer.fortiss.org/projects/autofocus3/wiki/Developer_Installation, Section "Initial Workspace Content Check-out", §6.
parent b0e4dbca
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry exported="true" kind="lib" path="lib/com.microsoft.z3.jar"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="src" path="src"/>
<classpathentry kind="src" path="generated-src/"/>
<classpathentry kind="output" path="build"/>
</classpath>
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry exported="true" kind="lib" path="lib/com.microsoft.z3.jar"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="src" path="src"/>
<classpathentry kind="src" path="generated-src/"/>
<classpathentry kind="output" path="build"/>
</classpath>
# <copyright>
# </copyright>
#
# $Id: build.properties 417 2011-03-10 15:01:32Z hoelzl $
# $Id$
bin.includes = .,\
META-INF/,\
......
......@@ -2,7 +2,7 @@
# <copyright>
# </copyright>
#
# $Id: plugin.properties 202 2011-01-13 17:03:25Z hoelzl $
# $Id$
pluginName = Micro Model
providerName = www.example.org
......@@ -5,7 +5,7 @@
<copyright>
</copyright>
$Id: plugin.xml 435 2011-03-14 11:39:40Z hoelzl $
$Id$
-->
<plugin>
......
<?xml version="1.0" encoding="UTF-8"?>
<!--
$Id: pom.xml 12872 2015-02-03 09:56:52Z barner $
@version $Rev: 12872 $
@ConQAT.Rating GREEN Hash: 35E8064C1DE8A7990BD4658A3B6047DB
-->
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
<modelVersion>4.0.0</modelVersion>
<groupId>com.microsoft</groupId>
<artifactId>com.microsoft.z3</artifactId>
<packaging>eclipse-plugin</packaging>
<parent>
<groupId>org.fortiss.std.pom</groupId>
<artifactId>std-parent-pom</artifactId>
<version>1.0</version>
<relativePath>../../parent-pom.xml</relativePath>
</parent>
<version>2.12.0-SNAPSHOT</version>
<?xml version="1.0" encoding="UTF-8"?>
<!--
$Id$
@version $Rev$
@ConQAT.Rating GREEN Hash: 35E8064C1DE8A7990BD4658A3B6047DB
-->
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
<modelVersion>4.0.0</modelVersion>
<groupId>com.microsoft</groupId>
<artifactId>com.microsoft.z3</artifactId>
<packaging>eclipse-plugin</packaging>
<parent>
<groupId>org.fortiss.std.pom</groupId>
<artifactId>std-parent-pom</artifactId>
<version>1.0</version>
<relativePath>../../parent-pom.xml</relativePath>
</parent>
<version>2.12.0-SNAPSHOT</version>
</project>
\ No newline at end of file
......@@ -11,8 +11,8 @@ import org.osgi.framework.BundleContext;
* The activator class controls the plug-in life cycle.
*
* @author eder
* @author $Author: eder $
* @version $Rev: 5274 $
* @author $Author$
* @version $Rev$
* @ConQAT.Rating GREEN Hash: 67EA79AC2AD1657B698CE3C17438D095
*/
public class AF3z3Activator extends Plugin {
......
/*--------------------------------------------------------------------------+
$Id: Z3javaAPIWrapper.java 14374 2015-08-17 13:22:28Z eder $
| |
| Copyright 2015 ForTISS GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
| You may obtain a copy of the License at |
| |
| http://www.apache.org/licenses/LICENSE-2.0 |
| |
| Unless required by applicable law or agreed to in writing, software |
| distributed under the License is distributed on an "AS IS" BASIS, |
| WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| See the License for the specific language governing permissions and |
| limitations under the License. |
+--------------------------------------------------------------------------*/
package com.microsoft.z3;
/**
* Z3 Types.
*
* @author eder
* @author $Author: eder $
* @version $Rev: 14374 $
* @ConQAT.Rating GREEN Hash: 311D61386BEFAA8E4C74AE7640589288
*/
public enum Z3Type {
INT, BOOL
}
/*--------------------------------------------------------------------------+
$Id$
| |
| Copyright 2015 ForTISS GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
| You may obtain a copy of the License at |
| |
| http://www.apache.org/licenses/LICENSE-2.0 |
| |
| Unless required by applicable law or agreed to in writing, software |
| distributed under the License is distributed on an "AS IS" BASIS, |
| WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| See the License for the specific language governing permissions and |
| limitations under the License. |
+--------------------------------------------------------------------------*/
package com.microsoft.z3;
/**
* Z3 Types.
*
* @author eder
* @author $Author$
* @version $Rev$
* @ConQAT.Rating GREEN Hash: 311D61386BEFAA8E4C74AE7640589288
*/
public enum Z3Type {
INT, BOOL
}
/*--------------------------------------------------------------------------+
$Id: codetemplates.xml 1 2011-01-01 00:00:01Z ratiu $
$Id$
| |
| Copyright 2011 ForTISS GmbH |
| |
......@@ -29,8 +29,8 @@ import org.fortiss.af3.component.model.behavior.common.Action;
* Converts a list of actions into a string.
*
* @author ratiu
* @author $Author: ratiu $
* @version $Rev: 18709 $
* @author $Author$
* @version $Rev$
* @ConQAT.Rating GREEN Hash: FCB61CD729B744DC45EFE40A6E3AE5A8
*/
public class ActionsToStringConverter extends Converter {
......
/*--------------------------------------------------------------------------+
$Id: codetemplates.xml 1 2011-01-01 00:00:01Z ratiu $
$Id$
| |
| Copyright 2011 ForTISS GmbH |
| |
......@@ -24,8 +24,8 @@ import org.fortiss.af3.component.model.behavior.common.Guard;
* Converts a guard condition into a string.
*
* @author ratiu
* @author $Author: hoelzl $
* @version $Rev: 18709 $
* @author $Author$
* @version $Rev$
* @ConQAT.Rating GREEN Hash: F88C6C14D02A27EF430998E6FB594A33
*/
public class GuardToStringConverter extends Converter {
......
/*--------------------------------------------------------------------------+
$Id: codetemplates.xml 1 2011-01-01 00:00:01Z ratiu $
$Id$
| |
| Copyright 2011 ForTISS GmbH |
| |
......@@ -35,8 +35,8 @@ import org.fortiss.af3.expression.ui.databinding.convert.StringToIExpressionTerm
* Converts a semi-colon separated string into a set of actions.
*
* @author ratiu
* @author $Author: ratiu $
* @version $Rev: 18709 $
* @author $Author$
* @version $Rev$
* @ConQAT.Rating GREEN Hash: 07808E28F7E511D6D2F707D98433ADB3
*/
public class StringToActionsConverter extends Converter {
......
/*--------------------------------------------------------------------------+
$Id: codetemplates.xml 1 2011-01-01 00:00:01Z ratiu $
$Id$
| |
| Copyright 2011 ForTISS GmbH |
| |
......@@ -32,8 +32,8 @@ import org.fortiss.af3.project.typesystem.ITypeSystemCompiler;
* Validates whether a string represents a valid set of actions.
*
* @author ratiu
* @author $Author: ratiu $
* @version $Rev: 18709 $
* @author $Author$
* @version $Rev$
* @ConQAT.Rating GREEN Hash: 99FE5BA40B84F5D8184AF5964A28434D
*/
public class StringToActionsValidator implements IValidator {
......
/*--------------------------------------------------------------------------+
$Id: codetemplates.xml 1 2011-01-01 00:00:01Z ratiu $
$Id$
| |
| Copyright 2011 ForTISS GmbH |
| |
......@@ -30,8 +30,8 @@ import org.fortiss.af3.expression.ui.databinding.convert.StringToIExpressionTerm
* Converts a string into a guard.
*
* @author ratiu
* @author $Author: ratiu $
* @version $Rev: 18709 $
* @author $Author$
* @version $Rev$
* @ConQAT.Rating GREEN Hash: 8733AB91C6686F0C3AEEE881638B7997
*/
public class StringToGuardConverter extends Converter {
......
/*--------------------------------------------------------------------------+
$Id: codetemplates.xml 1 2011-01-01 00:00:01Z ratiu $
$Id$
| |
| Copyright 2011 ForTISS GmbH |
| |
......@@ -27,8 +27,8 @@ import org.fortiss.af3.expression.ui.databinding.validate.StringToIExpressionTer
* Validates whether a string represents a valid guard.
*
* @author ratiu
* @author $Author: ratiu $
* @version $Rev: 18709 $
* @author $Author$
* @version $Rev$
* @ConQAT.Rating GREEN Hash: 63FA9F9723A9B922892BEA08C0B044CF
*/
public class StringToGuardValidator extends StringToIExpressionTermValidator {
......
<!--
$Id: package.html 2715 2012-01-09 16:50:31Z becker $
@version $Rev: 2715 $
$Id$
@version $Rev$
@ConQAT.Rating GREEN Hash: 2707E15A62E16FD2EAB605B234466CEA
-->
......
/*--------------------------------------------------------------------------+
$Id: codetemplates.xml 1 2011-01-01 00:00:01Z hoelzl $
$Id$
| |
| Copyright 2012 ForTISS GmbH |
| |
......@@ -80,8 +80,8 @@ import org.fortiss.tooling.kernel.ui.service.IActionService;
* Editor for code specifications.
*
* @author doebber
* @author $Author: hoelzl $
* @version $Rev: 18709 $
* @author $Author$
* @version $Rev$
* @ConQAT.Rating YELLOW Hash: C387087233F1263E3ED90AF93259D93A
*/
......
/*--------------------------------------------------------------------------+
$Id: codetemplates.xml 1 2011-01-01 00:00:01Z hoelzl $
$Id$
| |
| Copyright 2012 ForTISS GmbH |
| |
......@@ -25,8 +25,8 @@ import org.fortiss.tooling.kernel.ui.extension.base.ModelEditorBindingBase;
* Editor binding for the code specification editor.
*
* @author doebber
* @author $Author: hoelzl $
* @version $Rev: 18709 $
* @author $Author$
* @version $Rev$
* @ConQAT.Rating GREEN Hash: 83B67D7D027941540D0DFACBCCD2BAD7
*/
public class CodeSpecificationEditorBinding extends ModelEditorBindingBase<CodeSpecification> {
......
/*--------------------------------------------------------------------------+
$Id: codetemplates.xml 1 2011-01-01 00:00:01Z hoelzl $
| |
| Copyright 2014 ForTISS GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
| You may obtain a copy of the License at |
| |
| http://www.apache.org/licenses/LICENSE-2.0 |
| |
| Unless required by applicable law or agreed to in writing, software |
| distributed under the License is distributed on an "AS IS" BASIS, |
| WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| See the License for the specific language governing permissions and |
| limitations under the License. |
+--------------------------------------------------------------------------*/
package org.fortiss.af3.component.ui.editor;
import static java.util.Collections.max;
import static java.util.Collections.min;
import static org.fortiss.tooling.base.layout.DefaultLayoutConstants.DEFAULT_GRID_SIZE;
import static org.fortiss.tooling.base.model.layout.EOrientation.EAST;
import static org.fortiss.tooling.base.model.layout.EOrientation.WEST;
import static org.fortiss.tooling.base.utils.LayoutDataUtils.getNodePosition;
import static org.fortiss.tooling.base.utils.LayoutDataUtils.getNodeSize;
import static org.fortiss.tooling.base.utils.LayoutDataUtils.moveNode;
import static org.fortiss.tooling.base.utils.LayoutDataUtils.setNodePosition;
import static org.fortiss.tooling.base.utils.LayoutDataUtils.setNodeSize;
import static org.fortiss.tooling.base.utils.LayoutDataUtils.setStickyConnectorLayoutData;
import java.util.ArrayList;
import java.util.List;
import org.fortiss.af3.component.model.Component;
import org.fortiss.af3.component.model.InputPort;
import org.fortiss.af3.component.model.OutputPort;
/**
* Takes a component and its referenced components and arranges them properly
* in the diagram. At the moment it is used after the packing of 2 components to
* properly display the new component in the diagram
*
* @author aravantinos
* @author $Author: hoelzl $
* @version $Rev: 18709 $
* @ConQAT.Rating YELLOW Hash: D1DBFF9452674CAE10B8344DF14FD2FA
*/
public class LayoutComponentCommand implements Runnable {
/** component to be positioned */
private Component component;
/** referenced components */
private List<Component> refs;
/** Constructor */
public LayoutComponentCommand(Component component, List<Component> refCompnents) {
this.component = component;
this.refs = refCompnents;
}
/** {@inheritDoc} */
@Override
public void run() {
ArrayList<Integer> xDimensions = new ArrayList<Integer>();
ArrayList<Integer> yDimensions = new ArrayList<Integer>();
ArrayList<Integer> xPositions = new ArrayList<Integer>();
ArrayList<Integer> yPositions = new ArrayList<Integer>();
for(Component comp : refs) {
xPositions.add(getNodePosition(comp).getX());
yPositions.add(getNodePosition(comp).getY());
xDimensions.add(getNodeSize(comp).getWidth() + getNodePosition(comp).getX());
yDimensions.add(getNodeSize(comp).getHeight() + getNodePosition(comp).getX());
}
int minPosX = min(xPositions);
int minPosY = min(yPositions);
int maxX = max(xDimensions);
int maxY = max(yDimensions);
setNodeSize(component, maxX - minPosX, maxY - minPosY);
setNodePosition(component, minPosX, minPosY);
int index = 0;
for(InputPort input : component.getInputPorts()) {
setStickyConnectorLayoutData(input, WEST, DEFAULT_GRID_SIZE * (index * 5 + 1));
index++;
}
int indexOut = 0;
for(OutputPort output : component.getOutputPorts()) {
setStickyConnectorLayoutData(output, EAST, DEFAULT_GRID_SIZE * (indexOut * 5 + 1));
indexOut++;
}
ArrayList<InputPort> inPorts = new ArrayList<InputPort>();
ArrayList<OutputPort> outPorts = new ArrayList<OutputPort>();
for(Component com : refs) {
for(int i = 0; i < com.getInputPorts().size(); i++) {
inPorts.add(com.getInputPorts().get(i));
}
for(int i = 0; i < com.getOutputPorts().size(); i++) {
outPorts.add(com.getOutputPorts().get(i));
}
}
int indexedIn = 0;
for(InputPort input : inPorts) {
for(int i = 0; i < input.getIncomingChannels().size(); i++) {
moveNode(input.getIncomingChannels().get(i).getSource(), 50, 100 + indexedIn);
indexedIn += 50;
}
}
int indexedOut = 0;
for(OutputPort output : outPorts) {
for(int i = 0; i < output.getOutgoingChannels().size(); i++) {
moveNode(output.getOutgoingChannels().get(i).getTarget(), 0, 50 + indexedOut);
indexedOut += 50;
}
}
}
}
/*--------------------------------------------------------------------------+
$Id$
| |
| Copyright 2014 ForTISS GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
| You may obtain a copy of the License at |
| |
| http://www.apache.org/licenses/LICENSE-2.0 |
| |
| Unless required by applicable law or agreed to in writing, software |
| distributed under the License is distributed on an "AS IS" BASIS, |
| WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| See the License for the specific language governing permissions and |
| limitations under the License. |
+--------------------------------------------------------------------------*/
package org.fortiss.af3.component.ui.editor;
import static java.util.Collections.max;
import static java.util.Collections.min;
import static org.fortiss.tooling.base.layout.DefaultLayoutConstants.DEFAULT_GRID_SIZE;
import static org.fortiss.tooling.base.model.layout.EOrientation.EAST;
import static org.fortiss.tooling.base.model.layout.EOrientation.WEST;
import static org.fortiss.tooling.base.utils.LayoutDataUtils.getNodePosition;
import static org.fortiss.tooling.base.utils.LayoutDataUtils.getNodeSize;
import static org.fortiss.tooling.base.utils.LayoutDataUtils.moveNode;
import static org.fortiss.tooling.base.utils.LayoutDataUtils.setNodePosition;
import static org.fortiss.tooling.base.utils.LayoutDataUtils.setNodeSize;
import static org.fortiss.tooling.base.utils.LayoutDataUtils.setStickyConnectorLayoutData;
import java.util.ArrayList;
import java.util.List;
import org.fortiss.af3.component.model.Component;
import org.fortiss.af3.component.model.InputPort;
import org.fortiss.af3.component.model.OutputPort;
/**
* Takes a component and its referenced components and arranges them properly
* in the diagram. At the moment it is used after the packing of 2 components to
* properly display the new component in the diagram
*
* @author aravantinos
* @author $Author$
* @version $Rev$
* @ConQAT.Rating YELLOW Hash: D1DBFF9452674CAE10B8344DF14FD2FA
*/
public class LayoutComponentCommand implements Runnable {
/** component to be positioned */
private Component component;
/** referenced components */
private List<Component> refs;
/** Constructor */
public LayoutComponentCommand(Component component, List<Component> refCompnents) {
this.component = component;
this.refs = refCompnents;
}
/** {@inheritDoc} */
@Override
public void run() {
ArrayList<Integer> xDimensions = new ArrayList<Integer>();
ArrayList<Integer> yDimensions = new ArrayList<Integer>();
ArrayList<Integer> xPositions = new ArrayList<Integer>();
ArrayList<Integer> yPositions = new ArrayList<Integer>();
for(Component comp : refs) {
xPositions.add(getNodePosition(comp).getX());
yPositions.add(getNodePosition(comp).getY());
xDimensions.add(getNodeSize(comp).getWidth() + getNodePosition(comp).getX());
yDimensions.add(getNodeSize(comp).getHeight() + getNodePosition(comp).getX());
}
int minPosX = min(xPositions);
int minPosY = min(yPositions);
int maxX = max(xDimensions);
int maxY = max(yDimensions);
setNodeSize(component, maxX - minPosX, maxY - minPosY);
setNodePosition(component, minPosX, minPosY);
int index = 0;
for(InputPort input : component.getInputPorts()) {
setStickyConnectorLayoutData(input, WEST, DEFAULT_GRID_SIZE * (index * 5 + 1));
index++;
}
int indexOut = 0;
for(OutputPort output : component.getOutputPorts()) {
setStickyConnectorLayoutData(output, EAST, DEFAULT_GRID_SIZE * (indexOut * 5 + 1));
indexOut++;
}
ArrayList<InputPort> inPorts = new ArrayList<InputPort>();
ArrayList<OutputPort> outPorts = new ArrayList<OutputPort>();
for(Component com : refs) {
for(int i = 0; i < com.getInputPorts().size(); i++) {
inPorts.add(com.getInputPorts().get(i));
}
for(int i = 0; i < com.getOutputPorts().size(); i++) {
outPorts.add(com.getOutputPorts().get(i));
}
}
int indexedIn = 0;
for(InputPort input : inPorts) {
for(int i = 0; i < input.getIncomingChannels().size(); i++) {
moveNode(input.getIncomingChannels().get(i).getSource(), 50, 100 + indexedIn);
indexedIn += 50;
}
}
int indexedOut = 0;
for(OutputPort output : outPorts) {
for(int i = 0; i < output.getOutgoingChannels().size(); i++) {
moveNode(output.getOutgoingChannels().get(i).getTarget(), 0, 50 + indexedOut);
indexedOut += 50;
}
}
}