Index: /trunk/autoquest-plugin-exports/.classpath =================================================================== --- /trunk/autoquest-plugin-exports/.classpath (revision 2058) +++ /trunk/autoquest-plugin-exports/.classpath (revision 2058) @@ -0,0 +1,37 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Index: /trunk/autoquest-plugin-exports/.project =================================================================== --- /trunk/autoquest-plugin-exports/.project (revision 2058) +++ /trunk/autoquest-plugin-exports/.project (revision 2058) @@ -0,0 +1,23 @@ + + + autoquest-plugin-exports + + + + + + org.eclipse.jdt.core.javabuilder + + + + + org.eclipse.m2e.core.maven2Builder + + + + + + org.eclipse.m2e.core.maven2Nature + org.eclipse.jdt.core.javanature + + Index: /trunk/autoquest-plugin-exports/.settings/org.eclipse.jdt.core.prefs =================================================================== --- /trunk/autoquest-plugin-exports/.settings/org.eclipse.jdt.core.prefs (revision 2058) +++ /trunk/autoquest-plugin-exports/.settings/org.eclipse.jdt.core.prefs (revision 2058) @@ -0,0 +1,5 @@ +eclipse.preferences.version=1 +org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7 +org.eclipse.jdt.core.compiler.compliance=1.7 +org.eclipse.jdt.core.compiler.problem.forbiddenReference=warning +org.eclipse.jdt.core.compiler.source=1.7 Index: /trunk/autoquest-plugin-exports/.settings/org.eclipse.m2e.core.prefs =================================================================== --- /trunk/autoquest-plugin-exports/.settings/org.eclipse.m2e.core.prefs (revision 2058) +++ /trunk/autoquest-plugin-exports/.settings/org.eclipse.m2e.core.prefs (revision 2058) @@ -0,0 +1,4 @@ +activeProfiles= +eclipse.preferences.version=1 +resolveWorkspaceProjects=true +version=1 Index: /trunk/autoquest-plugin-exports/pom.xml =================================================================== --- /trunk/autoquest-plugin-exports/pom.xml (revision 2058) +++ /trunk/autoquest-plugin-exports/pom.xml (revision 2058) @@ -0,0 +1,63 @@ + + + de.ugoe.cs.autoquest + autoquest + 0.1.3-SNAPSHOT + ../autoquest/pom.xml + + 4.0.0 + autoquest-plugin-exports + autoquest-plugin-exports + + + The Apache Software License, Version 2.0 + http://www.apache.org/licenses/LICENSE-2.0.txt + + + + ${autoquest-scm-trunk-dir}/${project.artifactId} + scm:svn:${autoquest-scm-trunk-dir}/${project.artifactId} + + + + de.ugoe.cs.autoquest + autoquest-plugin-core + ${project.parent.version} + + + de.ugoe.cs.autoquest + autoquest-core-tasktrees + ${project.parent.version} + + + + + + org.jvnet.jaxb2.maven2 + maven-jaxb2-plugin + 0.8.2 + + de.ugoe.cs.autoquest.exports.tasktrees + + + + + generate + + + + + + org.apache.maven.plugins + maven-jar-plugin + + + + true + + + + + + + Index: /trunk/autoquest-plugin-exports/src/main/java/de/ugoe/cs/autoquest/plugin/exports/EXPORTSPlugin.java =================================================================== --- /trunk/autoquest-plugin-exports/src/main/java/de/ugoe/cs/autoquest/plugin/exports/EXPORTSPlugin.java (revision 2058) +++ /trunk/autoquest-plugin-exports/src/main/java/de/ugoe/cs/autoquest/plugin/exports/EXPORTSPlugin.java (revision 2058) @@ -0,0 +1,60 @@ +// Copyright 2012 Georg-August-Universität Göttingen, Germany +// +// 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 de.ugoe.cs.autoquest.plugin.exports; + +import java.util.Arrays; +import java.util.Collections; +import java.util.List; + +import de.ugoe.cs.autoquest.plugin.AutoQUESTPlugin; + +/** + *

+ * Identifier class for the AutoQUEST HTML plug-in. + *

+ * + * @author Patrick Harms + * @version 1.0 + */ +public class EXPORTSPlugin implements AutoQUESTPlugin { + + /** + *

+ * The command packages of this plug-in. + *

+ */ + private final static String[] commandPackages = new String[] + { "de.ugoe.cs.autoquest.plugin.exports.commands" }; + + /* + * (non-Javadoc) + * + * @see de.ugoe.cs.autoquest.plugin.AutoQUESTPlugin#getTitle() + */ + @Override + public String getTitle() { + return "HTML-Plugin"; + } + + /* + * (non-Javadoc) + * + * @see de.ugoe.cs.autoquest.plugin.AutoQUESTPlugin#getCommandPackages() + */ + @Override + public List getCommandPackages() { + return Collections.unmodifiableList(Arrays.asList(commandPackages)); + } +} Index: /trunk/autoquest-plugin-exports/src/main/java/de/ugoe/cs/autoquest/plugin/exports/commands/CMDexportToCTT.java =================================================================== --- /trunk/autoquest-plugin-exports/src/main/java/de/ugoe/cs/autoquest/plugin/exports/commands/CMDexportToCTT.java (revision 2058) +++ /trunk/autoquest-plugin-exports/src/main/java/de/ugoe/cs/autoquest/plugin/exports/commands/CMDexportToCTT.java (revision 2058) @@ -0,0 +1,178 @@ +// Copyright 2012 Georg-August-Universität Göttingen, Germany +// +// 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 de.ugoe.cs.autoquest.plugin.exports.commands; + +import java.io.File; +import java.util.ArrayList; +import java.util.Collection; +import java.util.HashSet; +import java.util.List; +import java.util.Set; + +import de.ugoe.cs.autoquest.CommandHelpers; +import de.ugoe.cs.autoquest.exports.tasktrees.ObjectFactory; +import de.ugoe.cs.autoquest.exports.tasktrees.TaskModel; +import de.ugoe.cs.autoquest.plugin.exports.tasktree.CTTExportUtils; +import de.ugoe.cs.autoquest.tasktrees.treeifc.IEventTask; +import de.ugoe.cs.autoquest.tasktrees.treeifc.IMarkingTemporalRelationship; +import de.ugoe.cs.autoquest.tasktrees.treeifc.IStructuringTemporalRelationship; +import de.ugoe.cs.autoquest.tasktrees.treeifc.ITask; +import de.ugoe.cs.autoquest.tasktrees.treeifc.ITaskModel; +import de.ugoe.cs.util.console.Command; +import de.ugoe.cs.util.console.Console; +import de.ugoe.cs.util.console.GlobalDataContainer; + +/** + *

+ * TODO comment + *

+ * + * @author Patrick Harms + * @version 1.0 + */ +public class CMDexportToCTT implements Command { + + /** */ + private static final ObjectFactory objFact = new ObjectFactory(); + + /* + * (non-Javadoc) + * + * @see de.ugoe.cs.util.console.Command#run(java.util.List) + */ + @Override + public void run(List parameters) { + String dirname = null; + String tasktreename = null; + + try { + for (int i = 0; i < parameters.size(); i++) { + String param = (String) parameters.get(i); + if (tasktreename == null) { + tasktreename = param; + } + else if (dirname == null) { + dirname = param; + } + } + } + catch (Exception e) { + throw new IllegalArgumentException("illegal parameters provided: " + e); + } + + if (tasktreename == null) { + tasktreename = "tasktree"; + } + + if (dirname == null) { + dirname = tasktreename + "_ctte"; + } + + Object taskTreeObj = GlobalDataContainer.getInstance().getData(tasktreename); + + if (taskTreeObj == null) { + CommandHelpers.objectNotFoundMessage(tasktreename); + return; + } + else if (!(taskTreeObj instanceof ITaskModel)) { + CommandHelpers.objectNotType(tasktreename, "task model"); + return; + } + + File directory = new File(dirname); + + if (directory.exists()) { + Console.printerrln("The directory " + directory.getAbsolutePath() + " already exists." + + " Please delete it and try again."); + return; + } + else { + if (!directory.mkdirs()) { + Console.printerrln("Could not create directory " + directory.getAbsolutePath() + + ". Please try another one."); + return; + } + } + + Console.println("exporting " + tasktreename + " to directory " + + directory.getAbsolutePath()); + + List models = map((ITaskModel) taskTreeObj); + + Console.println("exporting " + models.size() + " root tasks " + + directory.getAbsolutePath()); + + for (TaskModel model : models) { + File file = new File(directory, model.getNameTaskModelID() + "_ctte.xml"); + CTTExportUtils.writeToFile(model, file); + } + } + + /** + * + */ + private List map(ITaskModel taskModel) { + List roots = getRoots(taskModel.getTasks()); + List result = new ArrayList<>(roots.size()); + + for (ITask task : roots) { + TaskModel cttModel = objFact.createTaskModel(); + cttModel.setTask(CTTExportUtils.map(task, false, false, null)); + cttModel.setNameTaskModelID(Integer.toString(task.getId())); + result.add(cttModel); + } + + return result; + } + + /** + * + */ + private List getRoots(Collection tasks) { + Set children = new HashSet<>(tasks.size()); + + for (ITask parent : tasks) { + if (parent instanceof IMarkingTemporalRelationship) { + children.add(((IMarkingTemporalRelationship) parent).getMarkedTask()); + } + else if (parent instanceof IStructuringTemporalRelationship) { + for (ITask child : ((IStructuringTemporalRelationship) parent).getChildren()) { + children.add(child); + } + } + } + + List roots = new ArrayList<>(tasks.size() - children.size()); + + for (ITask candidate : tasks) { + if ((!(candidate instanceof IEventTask)) && (!children.contains(candidate))) { + roots.add(candidate); + } + } + + return roots; + } + + /* + * (non-Javadoc) + * + * @see de.ugoe.cs.util.console.Command#help() + */ + @Override + public String help() { + return "exportToCTT [] []"; + } + +} Index: /trunk/autoquest-plugin-exports/src/main/java/de/ugoe/cs/autoquest/plugin/exports/tasktree/CTTExportUtils.java =================================================================== --- /trunk/autoquest-plugin-exports/src/main/java/de/ugoe/cs/autoquest/plugin/exports/tasktree/CTTExportUtils.java (revision 2058) +++ /trunk/autoquest-plugin-exports/src/main/java/de/ugoe/cs/autoquest/plugin/exports/tasktree/CTTExportUtils.java (revision 2058) @@ -0,0 +1,284 @@ +// Copyright 2012 Georg-August-Universität Göttingen, Germany +// +// 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 de.ugoe.cs.autoquest.plugin.exports.tasktree; + +import java.io.File; +import java.io.FileOutputStream; +import java.io.IOException; +import java.util.List; +import java.util.logging.Level; + +import javax.xml.bind.JAXBContext; +import javax.xml.bind.JAXBException; +import javax.xml.bind.Marshaller; + +import de.ugoe.cs.autoquest.exports.tasktrees.Category; +import de.ugoe.cs.autoquest.exports.tasktrees.ObjectFactory; +import de.ugoe.cs.autoquest.exports.tasktrees.Parent; +import de.ugoe.cs.autoquest.exports.tasktrees.SiblingLeft; +import de.ugoe.cs.autoquest.exports.tasktrees.SiblingRight; +import de.ugoe.cs.autoquest.exports.tasktrees.SubTask; +import de.ugoe.cs.autoquest.exports.tasktrees.Task; +import de.ugoe.cs.autoquest.exports.tasktrees.TaskModel; +import de.ugoe.cs.autoquest.exports.tasktrees.TemporalOperator; +import de.ugoe.cs.autoquest.exports.tasktrees.TemporalOperatorName; +import de.ugoe.cs.autoquest.tasktrees.treeifc.IEventTask; +import de.ugoe.cs.autoquest.tasktrees.treeifc.IIteration; +import de.ugoe.cs.autoquest.tasktrees.treeifc.IOptional; +import de.ugoe.cs.autoquest.tasktrees.treeifc.ISelection; +import de.ugoe.cs.autoquest.tasktrees.treeifc.ISequence; +import de.ugoe.cs.autoquest.tasktrees.treeifc.ITask; +import de.ugoe.cs.util.console.Console; + +/** + *

+ * TODO comment + *

+ * + * @author Patrick Harms + */ +public class CTTExportUtils { + + /** */ + private static final ObjectFactory objFact = new ObjectFactory(); + + /** + * + */ + public static void exportToCTT(ITask task, String filename) { + TaskModel cttModel = objFact.createTaskModel(); + cttModel.setTask(CTTExportUtils.map(task, false, false, null)); + cttModel.setNameTaskModelID(Integer.toString(task.getId())); + + writeToFile(cttModel, new File(filename)); + } + + + /** + * + */ + public static Task map(ITask task, + boolean isIterative, + boolean isOptional, + TemporalOperator operator) + { + if (task instanceof ISequence) { + return map((ISequence) task, isIterative, isOptional, operator); + } + else if (task instanceof ISelection) { + return map((ISelection) task, isIterative, isOptional, operator); + } + else if (task instanceof IOptional) { + return map((IOptional) task, isIterative, operator); + } + else if (task instanceof IIteration) { + return map((IIteration) task, isOptional, operator); + } + else if (task instanceof IEventTask) { + return map((IEventTask) task, isIterative, isOptional, operator); + } + else { + throw new IllegalArgumentException("unknown type of task: " + task); + } + } + + /** + * + */ + public static void writeToFile(TaskModel model, File file) { + String taskId = model.getNameTaskModelID(); + + FileOutputStream out = null; + try { + out = new FileOutputStream(file); + + JAXBContext jaxbContext = + JAXBContext.newInstance(TaskModel.class.getPackage().getName()); + Marshaller marshaller = jaxbContext.createMarshaller(); + + marshaller.setProperty(Marshaller.JAXB_FRAGMENT, Boolean.TRUE); + marshaller.marshal(model, out); + Console.traceln(Level.INFO, "wrote model of " + taskId + " to file"); + } + catch (JAXBException | IOException e) { + Console.traceln(Level.WARNING, "could not write model of " + taskId + " to file: " + e); + Console.logException(e); + } + finally { + if (out != null) { + try { + out.close(); + } + catch (Exception e) { + // ignore + } + } + } + } + + /** + * + */ + private static Task map(IEventTask task, + boolean isIterative, + boolean isOptional, + TemporalOperator operator) + { + return createTask(task, Category.INTERACTION, isIterative, isOptional, operator); + } + + /** + * + */ + private static Task map(ISequence task, + boolean isIterative, + boolean isOptional, + TemporalOperator operator) + { + Task result = createTask(task, Category.ABSTRACTION, isIterative, isOptional, operator); + + // handle the children + TemporalOperator operatorForChildren = objFact.createTemporalOperator(); + operatorForChildren.setName(TemporalOperatorName.SEQUENTIAL_ENABLING); + + SubTask subTask = objFact.createSubTask(); + List children = task.getChildren(); + + Task precedingChild = null; + for (int i = 0; i < children.size(); i++) { + Task child = map(children.get(i), false, false, + ((i < (children.size() - 1)) ? operatorForChildren : null)); + + ensureParentAndSibling(result, child, precedingChild); + + subTask.getTask().add(child); + precedingChild = child; + } + + result.setSubTask(subTask); + + return result; + } + + /** + * + */ + private static Task map(ISelection task, + boolean isIterative, + boolean isOptional, + TemporalOperator operator) + { + Task result = createTask(task, Category.ABSTRACTION, isIterative, isOptional, operator); + + // handle the children + TemporalOperator operatorForChildren = objFact.createTemporalOperator(); + operatorForChildren.setName(TemporalOperatorName.CHOICE); + + SubTask subTask = objFact.createSubTask(); + List children = task.getChildren(); + + Task precedingChild = null; + for (int i = 0; i < children.size(); i++) { + Task child = map(children.get(i), false, false, + ((i < (children.size() - 1)) ? operatorForChildren : null)); + + ensureParentAndSibling(result, child, precedingChild); + + subTask.getTask().add(child); + precedingChild = child; + } + + result.setSubTask(subTask); + + return result; + } + + /** + * + */ + private static Task map(IIteration task, + boolean isOptional, + TemporalOperator operator) + { + return map(task.getMarkedTask(), true, isOptional, operator); + } + + /** + * + */ + private static Task map(IOptional task, + boolean isIterative, + TemporalOperator operator) + { + return map(task.getMarkedTask(), isIterative, true, operator); + } + + /** + * + */ + private static Task createTask(ITask task, + Category category, + boolean isIterative, + boolean isOptional, + TemporalOperator operator) + { + Task result = objFact.createTask(); + + // set the attributes + result.setIdentifier(task.getType() + " " + task.getId()); + result.setCategory(category); + result.setIterative(isIterative); + result.setOptional(isOptional); + result.setPartOfCooperation(false); + result.setFrequency(null); + + // set the child tags + result.setName(task.getType() + " " + task.getId()); + + if (operator != null) { + result.setTemporalOperator(operator); + } + + return result; + } + + /** + * + */ + private static void ensureParentAndSibling(Task result, Task child, Task precedingChild) { + // set the parent + Parent parent = objFact.createParent(); + parent.setName(result.getName()); + child.setParent(parent); + + // set previous sibling, if any + if (precedingChild != null) { + SiblingLeft siblingLeft = objFact.createSiblingLeft(); + siblingLeft.setName(precedingChild.getName()); + child.setSiblingLeft(siblingLeft); + + SiblingRight siblingRight = objFact.createSiblingRight(); + siblingRight.setName(child.getName()); + precedingChild.setSiblingRight(siblingRight); + } + } + + /** + * + */ + private CTTExportUtils() { + // prevent instantiation + } +} Index: /trunk/autoquest-plugin-exports/src/main/resources/Ctt-v2.1.xsd =================================================================== --- /trunk/autoquest-plugin-exports/src/main/resources/Ctt-v2.1.xsd (revision 2058) +++ /trunk/autoquest-plugin-exports/src/main/resources/Ctt-v2.1.xsd (revision 2058) @@ -0,0 +1,207 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +