diff --git a/plugins/fla/org.polarsys.chess.fla/META-INF/MANIFEST.MF b/plugins/fla/org.polarsys.chess.fla/META-INF/MANIFEST.MF
index d80a27d795e2be5bc425ab9cf05817244e2fda61..af469862056b3e40e679a49a8a297c9ac328806e 100644
--- a/plugins/fla/org.polarsys.chess.fla/META-INF/MANIFEST.MF
+++ b/plugins/fla/org.polarsys.chess.fla/META-INF/MANIFEST.MF
@@ -1,26 +1,28 @@
-Manifest-Version: 1.0
-Bundle-ManifestVersion: 2
-Bundle-Name: Fla
-Bundle-SymbolicName: org.polarsys.chess.fla;singleton:=true
-Bundle-Version: 1.0.0.qualifier
-Bundle-Activator: org.polarsys.chess.fla.launch.Activator
-Require-Bundle: org.eclipse.ui,
- org.eclipse.core.runtime,
- org.eclipse.core.resources,
- org.eclipse.ui.ide,
- org.eclipse.papyrus.infra.core,
- org.eclipse.papyrus.editor,
- org.eclipse.papyrus.uml.diagram.composite,
- org.eclipse.papyrus.uml.diagram.clazz,
- org.eclipse.papyrus.sysml.diagram.internalblock,
- org.eclipse.papyrus.infra.gmfdiag.common,
- org.eclipse.papyrus.infra.widgets.toolbox,
- org.eclipse.gmf.runtime.diagram.ui,
- org.eclipse.m2m.qvt.oml,
- org.polarsys.chess.chessmlprofile,
- org.polarsys.chess.core,
- org.polarsys.chess.service,
- org.polarsys.chess.fla.flamm,
- org.polarsys.chess.fla.flaxml
-Bundle-RequiredExecutionEnvironment: JavaSE-1.6
-Bundle-ActivationPolicy: lazy
+Manifest-Version: 1.0
+Bundle-ManifestVersion: 2
+Bundle-Name: Fla
+Bundle-SymbolicName: org.polarsys.chess.fla;singleton:=true
+Bundle-Version: 1.0.0.qualifier
+Bundle-Activator: org.polarsys.chess.fla.launch.Activator
+Require-Bundle: org.eclipse.ui,
+ org.eclipse.core.runtime,
+ org.eclipse.core.resources,
+ org.eclipse.ui.ide,
+ org.eclipse.papyrus.infra.core,
+ org.eclipse.papyrus.editor,
+ org.eclipse.papyrus.uml.diagram.composite,
+ org.eclipse.papyrus.uml.diagram.clazz,
+ org.eclipse.papyrus.sysml.diagram.internalblock,
+ org.eclipse.papyrus.infra.gmfdiag.common,
+ org.eclipse.papyrus.infra.widgets.toolbox,
+ org.eclipse.gmf.runtime.diagram.ui,
+ org.eclipse.m2m.qvt.oml,
+ org.polarsys.chess.chessmlprofile,
+ org.polarsys.chess.core,
+ org.polarsys.chess.service,
+ org.polarsys.chess.fla.flamm,
+ org.polarsys.chess.fla.flaxml,
+ org.polarsys.chess.m2m,
+ org.eclipse.uml2.uml
+Bundle-RequiredExecutionEnvironment: JavaSE-1.6
+Bundle-ActivationPolicy: lazy
diff --git a/plugins/fla/org.polarsys.chess.fla/src/org/polarsys/chess/fla/launch/FlaAnalysisCommand.java b/plugins/fla/org.polarsys.chess.fla/src/org/polarsys/chess/fla/launch/FlaAnalysisCommand.java
index 7ac2850d592ebbf826e350bd21dad0658e431984..64f5513932427937cebeb99a95d70b82ee0eb577 100644
--- a/plugins/fla/org.polarsys.chess.fla/src/org/polarsys/chess/fla/launch/FlaAnalysisCommand.java
+++ b/plugins/fla/org.polarsys.chess.fla/src/org/polarsys/chess/fla/launch/FlaAnalysisCommand.java
@@ -1,180 +1,286 @@
-/*******************************************************************************
- * CHESS core plugin
- *
- * Copyright (C) 2011-2015
- * Mälardalen University, Sweden
- *
- *
- * All rights reserved. This program and the accompanying materials
- * are made available under the terms of the Eclipse Public License
- * v1.0 which accompanies this distribution, and is available at
- * http://www.eclipse.org/legal/epl-v10.html
- *******************************************************************************/
-package org.polarsys.chess.fla.launch;
-
-import java.util.List;
-import java.lang.reflect.InvocationTargetException;
-
-import org.eclipse.core.runtime.Path;
-import org.eclipse.core.runtime.Status;
-import org.eclipse.core.runtime.IStatus;
-import org.eclipse.core.resources.IFile;
-import org.eclipse.core.resources.IProject;
-import org.eclipse.core.resources.IResource;
-import org.eclipse.core.resources.IContainer;
-import org.eclipse.core.runtime.CoreException;
-import org.eclipse.core.commands.ExecutionEvent;
-import org.eclipse.core.commands.AbstractHandler;
-import org.eclipse.core.resources.ResourcesPlugin;
-import org.eclipse.core.commands.ExecutionException;
-import org.eclipse.jface.dialogs.ProgressMonitorDialog;
-import org.eclipse.ui.IFileEditorInput;
-import org.eclipse.uml2.uml.Classifier;
-import org.eclipse.uml2.uml.Model;
-import org.eclipse.uml2.uml.UMLPackage;
-import org.eclipse.swt.widgets.Shell;
-import org.eclipse.emf.common.util.URI;
-import org.eclipse.emf.ecore.resource.Resource;
-import org.eclipse.emf.ecore.util.EcoreUtil;
-import org.eclipse.gmf.runtime.diagram.ui.editparts.DiagramEditPart;
-import org.eclipse.gmf.runtime.notation.impl.DiagramImpl;
-
-import org.polarsys.chess.fla.impl.FlaAnalysisRunner;
-
-import org.polarsys.chess.core.notifications.ResourceNotification;
-import org.polarsys.chess.core.util.uml.ResourceUtils;
-import org.polarsys.chess.core.views.DiagramStatus;
-import org.eclipse.papyrus.editor.PapyrusMultiDiagramEditor;
-import org.eclipse.papyrus.infra.core.services.ServiceException;
-import org.eclipse.papyrus.sysml.diagram.internalblock.edit.part.InternalBlockDiagramEditPart;
-import org.eclipse.papyrus.uml.diagram.clazz.part.UMLDiagramEditor;
-import org.eclipse.papyrus.uml.diagram.composite.edit.parts.CompositeStructureDiagramEditPart;
-import org.polarsys.chess.service.utils.CHESSEditorUtils;
-
-public class FlaAnalysisCommand extends AbstractHandler {
-
- private IFile modelFile;
- private URI modelURI;
- protected List<IFile> files;
- List<? extends Object> arguments;
- private Model umlModel = null;
- private IContainer targetFolder;
-
- protected UMLDiagramEditor diagramEditor=null;
- protected DiagramEditPart diagramEditPart;
- protected PapyrusMultiDiagramEditor papyrusEditor;
-
- private static final String DI_SUFFIX = ".di";
- private static final String UML_SUFFIX = ".uml";
-
- public static final String COMMAND_ID = "org.polarsys.chess.fla.analysis.command";
-
- @Override
- public Object execute(ExecutionEvent event) throws ExecutionException {
- final PapyrusMultiDiagramEditor editor = CHESSEditorUtils.getCHESSEditor();
- final DiagramStatus ds = CHESSEditorUtils.getDiagramStatus(editor);
-
- Classifier rootComponent = getCurrentComponent(editor, ds);
- if (rootComponent == null) {
- IStatus status = new Status(IStatus.ERROR, Activator.PLUGIN_ID, "Cannot identify root component");
- Activator.getDefault().getLog().log(status);
- throw new ExecutionException("Error during FLA analysis");
- }
-
-
- IFileEditorInput input = (IFileEditorInput)editor.getEditorInput() ;
-
- IFile file = input.getFile();
- IProject activeProject = file.getProject();
- Path path = new Path(activeProject.getName() + "/" + changeSuffix(input.getFile().getName(), DI_SUFFIX,UML_SUFFIX));
- modelURI = URI.createPlatformResourceURI(changeSuffix(input.getFile().getFullPath().toString(), DI_SUFFIX,UML_SUFFIX), true);
- modelFile = ResourcesPlugin.getWorkspace().getRoot().getFile(path);
-
- long startTime = System.currentTimeMillis();
- Shell shell = new Shell();
- try {
- ds.setUserAction(false);
- ProgressMonitorDialog pmDialog = new ProgressMonitorDialog(shell);
- FlaAnalysisRunner analysisRunner = new FlaAnalysisRunner();
- analysisRunner.setModelURI(modelURI);
- targetFolder = modelFile.getProject().getFolder("FLA_Analysis");
- analysisRunner.setTargetFolder(targetFolder);
- analysisRunner.setDiagramEditPart(diagramEditPart);
- Resource resource = ResourceUtils.getUMLResource(editor.getServicesRegistry());
- umlModel = (Model) EcoreUtil.getObjectByType(resource.getContents(), UMLPackage.Literals.MODEL);
-
- analysisRunner.setRootComponent(rootComponent.getQualifiedName());
- analysisRunner.setChessResource(resource);
-
- pmDialog.run(true, true, analysisRunner);
-
- activeProject.refreshLocal(IResource.DEPTH_INFINITE, null);
- } catch (InvocationTargetException e) {
- IStatus status = new Status(IStatus.ERROR, Activator.PLUGIN_ID, e.getMessage(), e);
- Activator.getDefault().getLog().log(status);
- throw new ExecutionException("Error during FLA analysis", e);
- } catch (CoreException e) {
- IStatus status = new Status(IStatus.ERROR, Activator.PLUGIN_ID, e.getMessage(), e);
- Activator.getDefault().getLog().log(status);
- throw new ExecutionException("Error during FLA analysis", e);
- } catch (InterruptedException e) {
- IStatus status = new Status(IStatus.ERROR, Activator.PLUGIN_ID, e.getMessage(), e);
- Activator.getDefault().getLog().log(status);
- } catch (ServiceException e) {
- IStatus status = new Status(IStatus.ERROR, Activator.PLUGIN_ID, e.getMessage(), e);
- Activator.getDefault().getLog().log(status);
- } finally {
- ds.setUserAction(true);
- }
- long endTime = System.currentTimeMillis();
- org.polarsys.chess.core.util.CHESSProjectSupport.printlnToCHESSConsole("*** Elapsed time " + (endTime - startTime) / 1e3 + " s ***");
- return null;
- }
-
- private String changeSuffix(String string, String oldSuffix, String newSuffix){
- String newString = string;
- if (newString.endsWith(oldSuffix)){
- newString = newString.substring(0, newString.length() - oldSuffix.length());
- newString += newSuffix;
- }
- return newString;
- }
-
- private Classifier getCurrentComponent(PapyrusMultiDiagramEditor editor, DiagramStatus ds) {
- if (editor == null || ds == null) {
- return null;
- }
- Classifier rootComponent = null;
- try {
- Object editPart = getEditPart();
-
- if (editPart == null || ( !(editPart instanceof CompositeStructureDiagramEditPart) && !(editPart instanceof InternalBlockDiagramEditPart)) )
- throw new Exception("FLA analysis cannot be performed on this element");
-
- final DiagramEditPart csd_ep = (DiagramEditPart) editPart;
- diagramEditPart = csd_ep;
-
- DiagramImpl diagram = (DiagramImpl) csd_ep.getModel();
- rootComponent = (Classifier) diagram.getElement();
-
- } catch (Exception e) {
- e.printStackTrace();
- ResourceNotification.showInfo(e.getMessage());
- }
-
- return rootComponent;
- }
-
- private Object getEditPart() {
- Object ep = null;
- try {
- ep = CHESSEditorUtils.getDiagramGraphicalViewer().getRootEditPart().getChildren().get(0);
- } catch (Exception e) {
- //Catch NPE
- return null;
- }
- return ep;
- }
-
-
+/*******************************************************************************
+ * CHESS core plugin
+ *
+ * Copyright (C) 2011-2015
+ * Mälardalen University, Sweden
+ *
+ *
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License
+ * v1.0 which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *******************************************************************************/
+package org.polarsys.chess.fla.launch;
+
+import java.util.ArrayList;
+import java.util.List;
+import java.lang.reflect.InvocationTargetException;
+
+import org.eclipse.core.runtime.Path;
+import org.eclipse.core.runtime.Status;
+import org.eclipse.core.runtime.IStatus;
+import org.eclipse.core.resources.IFile;
+import org.eclipse.core.resources.IProject;
+import org.eclipse.core.resources.IResource;
+import org.eclipse.core.resources.IContainer;
+import org.eclipse.core.runtime.CoreException;
+import org.eclipse.core.commands.ExecutionEvent;
+import org.eclipse.core.commands.AbstractHandler;
+import org.eclipse.core.resources.ResourcesPlugin;
+import org.eclipse.core.commands.ExecutionException;
+import org.eclipse.jface.dialogs.MessageDialog;
+import org.eclipse.jface.dialogs.ProgressMonitorDialog;
+import org.eclipse.jface.window.Window;
+import org.eclipse.ui.IFileEditorInput;
+import org.eclipse.ui.IWorkbenchWindow;
+import org.eclipse.ui.handlers.HandlerUtil;
+import org.eclipse.uml2.uml.Class;
+import org.eclipse.uml2.uml.Classifier;
+import org.eclipse.uml2.uml.Element;
+import org.eclipse.uml2.uml.InstanceSpecification;
+import org.eclipse.uml2.uml.Model;
+import org.eclipse.uml2.uml.NamedElement;
+import org.eclipse.uml2.uml.Stereotype;
+import org.eclipse.uml2.uml.UMLPackage;
+import org.eclipse.swt.widgets.Shell;
+import org.eclipse.emf.common.util.EList;
+import org.eclipse.emf.common.util.URI;
+import org.eclipse.emf.ecore.resource.Resource;
+import org.eclipse.emf.ecore.util.EcoreUtil;
+import org.eclipse.gmf.runtime.diagram.ui.editparts.DiagramEditPart;
+import org.eclipse.gmf.runtime.notation.impl.DiagramImpl;
+
+import org.polarsys.chess.fla.impl.FlaAnalysisRunner;
+import org.polarsys.chess.m2m.ui.AnalysisContextSelectionDialog;
+import org.polarsys.chess.chessmlprofile.Core.CHGaResourcePlatform;
+import org.polarsys.chess.chessmlprofile.Dependability.FailurePropagation.FailurePropagationAnalysis;
+import org.polarsys.chess.chessmlprofile.util.Constants;
+import org.polarsys.chess.core.notifications.ResourceNotification;
+import org.polarsys.chess.core.util.uml.ResourceUtils;
+import org.polarsys.chess.core.views.DiagramStatus;
+import org.eclipse.papyrus.editor.PapyrusMultiDiagramEditor;
+import org.eclipse.papyrus.infra.core.services.ServiceException;
+import org.eclipse.papyrus.sysml.diagram.internalblock.edit.part.InternalBlockDiagramEditPart;
+import org.eclipse.papyrus.uml.diagram.clazz.part.UMLDiagramEditor;
+import org.eclipse.papyrus.uml.diagram.composite.edit.parts.CompositeStructureDiagramEditPart;
+import org.polarsys.chess.service.utils.CHESSEditorUtils;
+
+public class FlaAnalysisCommand extends AbstractHandler {
+
+ private IFile modelFile;
+ private URI modelURI;
+ protected List<IFile> files;
+ List<? extends Object> arguments;
+ private Model umlModel = null;
+ private IContainer targetFolder;
+
+ protected UMLDiagramEditor diagramEditor=null;
+ protected DiagramEditPart diagramEditPart;
+ protected PapyrusMultiDiagramEditor papyrusEditor;
+
+ private static final String DI_SUFFIX = ".di";
+ private static final String UML_SUFFIX = ".uml";
+
+ public static final String COMMAND_ID = "org.polarsys.chess.fla.analysis.command";
+
+ @Override
+ public Object execute(ExecutionEvent event) throws ExecutionException {
+ final PapyrusMultiDiagramEditor editor = CHESSEditorUtils.getCHESSEditor();
+ final DiagramStatus ds = CHESSEditorUtils.getDiagramStatus(editor);
+
+ Classifier rootComponent = null;
+
+ //get the current component from the current CSD or IBD
+ //rootComponent = getCurrentComponent(editor, ds);
+
+ //TODO using analysisContext
+ rootComponent = getClassifierFromAnalysisContext(event, editor);
+ //TODO using analysis context: get edit part (for the back propagation)
+ try {
+ Object editPart = getEditPart();
+
+ final DiagramEditPart csd_ep = (DiagramEditPart) editPart;
+ diagramEditPart = csd_ep;
+
+ } catch (Exception e) {
+ e.printStackTrace();
+ }
+ //
+
+ if (rootComponent == null) {
+ IStatus status = new Status(IStatus.ERROR, Activator.PLUGIN_ID, "Cannot identify root component");
+ Activator.getDefault().getLog().log(status);
+ throw new ExecutionException("Error during FLA analysis: Cannot identify root component from the AnalysisContext.");
+ }
+
+
+ IFileEditorInput input = (IFileEditorInput)editor.getEditorInput() ;
+
+ IFile file = input.getFile();
+ IProject activeProject = file.getProject();
+ Path path = new Path(activeProject.getName() + "/" + changeSuffix(input.getFile().getName(), DI_SUFFIX,UML_SUFFIX));
+ modelURI = URI.createPlatformResourceURI(changeSuffix(input.getFile().getFullPath().toString(), DI_SUFFIX,UML_SUFFIX), true);
+ modelFile = ResourcesPlugin.getWorkspace().getRoot().getFile(path);
+
+ long startTime = System.currentTimeMillis();
+ Shell shell = new Shell();
+ try {
+ ds.setUserAction(false);
+ ProgressMonitorDialog pmDialog = new ProgressMonitorDialog(shell);
+ FlaAnalysisRunner analysisRunner = new FlaAnalysisRunner();
+ analysisRunner.setModelURI(modelURI);
+ targetFolder = modelFile.getProject().getFolder("FLA_Analysis");
+ analysisRunner.setTargetFolder(targetFolder);
+ analysisRunner.setDiagramEditPart(diagramEditPart);
+ Resource resource = ResourceUtils.getUMLResource(editor.getServicesRegistry());
+ umlModel = (Model) EcoreUtil.getObjectByType(resource.getContents(), UMLPackage.Literals.MODEL);
+
+ analysisRunner.setRootComponent(rootComponent.getQualifiedName());
+ analysisRunner.setChessResource(resource);
+
+ pmDialog.run(true, true, analysisRunner);
+
+ activeProject.refreshLocal(IResource.DEPTH_INFINITE, null);
+ } catch (InvocationTargetException e) {
+ IStatus status = new Status(IStatus.ERROR, Activator.PLUGIN_ID, e.getMessage(), e);
+ Activator.getDefault().getLog().log(status);
+ throw new ExecutionException("Error during FLA analysis", e);
+ } catch (CoreException e) {
+ IStatus status = new Status(IStatus.ERROR, Activator.PLUGIN_ID, e.getMessage(), e);
+ Activator.getDefault().getLog().log(status);
+ throw new ExecutionException("Error during FLA analysis", e);
+ } catch (InterruptedException e) {
+ IStatus status = new Status(IStatus.ERROR, Activator.PLUGIN_ID, e.getMessage(), e);
+ Activator.getDefault().getLog().log(status);
+ } catch (ServiceException e) {
+ IStatus status = new Status(IStatus.ERROR, Activator.PLUGIN_ID, e.getMessage(), e);
+ Activator.getDefault().getLog().log(status);
+ } finally {
+ ds.setUserAction(true);
+ }
+ long endTime = System.currentTimeMillis();
+ org.polarsys.chess.core.util.CHESSProjectSupport.printlnToCHESSConsole("*** Elapsed time " + (endTime - startTime) / 1e3 + " s ***");
+ return null;
+ }
+
+ private String changeSuffix(String string, String oldSuffix, String newSuffix){
+ String newString = string;
+ if (newString.endsWith(oldSuffix)){
+ newString = newString.substring(0, newString.length() - oldSuffix.length());
+ newString += newSuffix;
+ }
+ return newString;
+ }
+
+ private Classifier getCurrentComponent(PapyrusMultiDiagramEditor editor, DiagramStatus ds) {
+ if (editor == null || ds == null) {
+ return null;
+ }
+ Classifier rootComponent = null;
+ try {
+ Object editPart = getEditPart();
+
+ if (editPart == null || ( !(editPart instanceof CompositeStructureDiagramEditPart) && !(editPart instanceof InternalBlockDiagramEditPart)) )
+ throw new Exception("FLA analysis cannot be performed on this element");
+
+ final DiagramEditPart csd_ep = (DiagramEditPart) editPart;
+ diagramEditPart = csd_ep;
+
+ DiagramImpl diagram = (DiagramImpl) csd_ep.getModel();
+ rootComponent = (Classifier) diagram.getElement();
+
+ } catch (Exception e) {
+ e.printStackTrace();
+ ResourceNotification.showInfo(e.getMessage());
+ }
+
+ return rootComponent;
+ }
+
+ private Object getEditPart() {
+ Object ep = null;
+ try {
+ ep = CHESSEditorUtils.getDiagramGraphicalViewer().getRootEditPart().getChildren().get(0);
+ } catch (Exception e) {
+ //Catch NPE
+ return null;
+ }
+ return ep;
+ }
+
+
+ private Classifier getClassifierFromAnalysisContext(ExecutionEvent event, PapyrusMultiDiagramEditor editor){
+ Resource inResource = null;
+ Shell activeShell = null;
+ if (!(CHESSEditorUtils.isCHESSProject(editor)))
+ return null;
+
+ try {
+ inResource = ResourceUtils.getUMLResource(((PapyrusMultiDiagramEditor) editor).getServicesRegistry());
+ } catch (ServiceException e) {
+ e.printStackTrace();
+ MessageDialog.openError(activeShell, "CHESS", "Unable to load the model");
+ }
+ IWorkbenchWindow window = null;
+ try {
+ window = HandlerUtil.getActiveWorkbenchWindowChecked(event);
+ } catch (ExecutionException e) {
+ // TODO Auto-generated catch block
+ e.printStackTrace();
+ return null;
+ }
+ activeShell = window.getShell();
+
+ final Model model = (Model) inResource.getContents().get(0);
+ //open a dialog to select the analysis context to be analyzed
+ //first get all the classes stereotyped as SaAnalysisContext
+ final List<Class> selection = new ArrayList<Class>();
+ EList<Element> elemList = model.allOwnedElements();
+ for (Element elem : elemList) {
+ //we're looking for a class stereotyped <<FailurePropagationAnalysis>>
+ if(elem instanceof Class && elem.getAppliedStereotype(Constants.FLA_ANALYSIS) != null){
+ //as additional constraint, no workload is specified
+ FailurePropagationAnalysis saAnalysisCtx = (FailurePropagationAnalysis) elem.getStereotypeApplication
+ (elem.getAppliedStereotype(Constants.FLA_ANALYSIS));
+
+ selection.add((Class) elem);
+
+ }
+ }
+ if(selection.size() == 0){
+ MessageDialog.openWarning(activeShell, "CHESS", "no suitable analysis contexts in the model");
+ return null;
+ }
+
+ //then open the dialog
+ String contextQN = null;
+ AnalysisContextSelectionDialog dialog = new AnalysisContextSelectionDialog(activeShell, selection, "Select FLA Context to analyze");
+ if (dialog.open() == Window.OK) {
+
+ }else{
+ return null;
+ }
+ contextQN = dialog.getContext();
+ if(contextQN == null || contextQN.isEmpty()){
+ return null;
+ }
+
+ for (Element elem : model.allOwnedElements()) {
+ Stereotype saAnalysisContextStereo = elem.getAppliedStereotype(Constants.FLA_ANALYSIS);
+ if(saAnalysisContextStereo != null &&
+ ((NamedElement) elem).getQualifiedName().equals(contextQN)){
+ FailurePropagationAnalysis saAnalysisContext = (FailurePropagationAnalysis) elem.getStereotypeApplication(saAnalysisContextStereo);
+ CHGaResourcePlatform plat = (CHGaResourcePlatform) saAnalysisContext.getPlatform().get(0);
+ InstanceSpecification instance = plat.getBase_InstanceSpecification();
+ if (instance == null || instance.getClassifiers() == null || instance.getClassifiers().size()==0)
+ return null;
+
+ return instance.getClassifiers().get(0);
+
+ }
+ }
+
+ return null;
+ }
+
}
\ No newline at end of file