Package: IVdmProject

IVdmProject

nameinstructionbranchcomplexitylinemethod
static {...}
M: 5 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%

Coverage

1: /*
2: * #%~
3: * org.overture.ide.core
4: * %%
5: * Copyright (C) 2008 - 2014 Overture
6: * %%
7: * This program is free software: you can redistribute it and/or modify
8: * it under the terms of the GNU General Public License as
9: * published by the Free Software Foundation, either version 3 of the
10: * License, or (at your option) any later version.
11: *
12: * This program is distributed in the hope that it will be useful,
13: * but WITHOUT ANY WARRANTY; without even the implied warranty of
14: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15: * GNU General Public License for more details.
16: *
17: * You should have received a copy of the GNU General Public
18: * License along with this program. If not, see
19: * <http://www.gnu.org/licenses/gpl-3.0.html>.
20: * #~%
21: */
22: package org.overture.ide.core.resources;
23:
24: import java.io.File;
25: import java.util.List;
26:
27: import org.eclipse.core.resources.IFile;
28: import org.eclipse.core.resources.IWorkspaceRoot;
29: import org.eclipse.core.runtime.CoreException;
30: import org.eclipse.core.runtime.IAdaptable;
31: import org.eclipse.core.runtime.IPath;
32: import org.eclipse.core.runtime.IProgressMonitor;
33: import org.eclipse.core.runtime.Platform;
34: import org.eclipse.core.runtime.content.IContentType;
35: import org.overture.ast.lex.Dialect;
36: import org.overture.config.Release;
37: import org.overture.ide.core.ICoreConstants;
38: import org.overture.ide.core.IVdmModel;
39:
40: public interface IVdmProject extends IAdaptable
41: {
42:         public static final IContentType externalFileContentType = Platform.getContentTypeManager().getContentType(ICoreConstants.EXTERNAL_CONTENT_TYPE_ID);
43:         public void setBuilder(Release languageVersion)
44:                         throws CoreException;
45:
46:         public boolean hasBuilder() throws CoreException;
47:
48:         public Release getLanguageVersion() throws CoreException;
49:
50:         public String getLanguageVersionName() throws CoreException;
51:
52:         public List<IContentType> getContentTypeIds();
53:
54:         public Dialect getDialect();
55:
56:         public boolean hasSuppressWarnings();
57:
58:         public void setSuppressWarnings(Boolean value)
59:                         throws CoreException;
60:         
61:         public boolean hasUseStrictLetDef();
62:
63:         public void setUseStrictLetDef(Boolean value)
64:                         throws CoreException;
65:
66:         public boolean typeCheck(IProgressMonitor monitor)
67:                         throws CoreException;
68:
69:         public void typeCheck(boolean clean, IProgressMonitor monitor)
70:                         throws CoreException;
71:
72:         public String getName();
73:
74:         public String getVdmNature();
75:
76:         public List<IVdmSourceUnit> getSpecFiles() throws CoreException;
77:
78:         public File getFile(IFile file);
79:         
80:         boolean isModelFile(IFile file) throws CoreException;
81:
82:         public IFile findIFile(File file);
83:
84:         public File getSystemFile(IPath path);
85:
86:         public File getFile(IWorkspaceRoot wroot, IPath path);
87:
88:         public IVdmSourceUnit findSourceUnit(IFile file)
89:                         throws CoreException;
90:
91:         public IVdmModel getModel();
92:
93:         public ModelBuildPath getModelBuildPath();
94:         
95:         public Options getOptions();
96:
97: }