Package: Uml2VdmUtil

Uml2VdmUtil

nameinstructionbranchcomplexitylinemethod
Uml2VdmUtil()
M: 3 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
createAccessSpecifier(VisibilityKind)
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%
createAccessSpecifier(VisibilityKind, boolean, boolean)
M: 27 C: 0
0%
M: 4 C: 0
0%
M: 3 C: 0
0%
M: 8 C: 0
0%
M: 1 C: 0
0%

Coverage

1: /*
2: * #%~
3: * UML2 Translator
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.plugins.uml2.uml2vdm;
23:
24: import org.eclipse.uml2.uml.VisibilityKind;
25: import org.overture.ast.definitions.APrivateAccess;
26: import org.overture.ast.definitions.AProtectedAccess;
27: import org.overture.ast.definitions.APublicAccess;
28: import org.overture.ast.definitions.PAccess;
29: import org.overture.ast.factory.AstFactory;
30: import org.overture.ast.types.AAccessSpecifierAccessSpecifier;
31:
32: public class Uml2VdmUtil
33: {
34:         public static AAccessSpecifierAccessSpecifier createAccessSpecifier(
35:                         VisibilityKind visibility, boolean isStatic, boolean isAsync)
36:         {
37:                 PAccess access = null;
38:
39:•                if (visibility == VisibilityKind.PRIVATE_LITERAL)
40:                 {
41:                         access = new APrivateAccess();
42:•                } else if (visibility == VisibilityKind.PROTECTED_LITERAL)
43:                 {
44:                         access = new AProtectedAccess();
45:                 } else
46:                 {
47:                         access = new APublicAccess();
48:                 }
49:
50:                 return AstFactory.newAAccessSpecifierAccessSpecifier(access, isStatic, isAsync);
51:         }
52:
53:         public static AAccessSpecifierAccessSpecifier createAccessSpecifier(
54:                         VisibilityKind visibility)
55:         {
56:                 return createAccessSpecifier(visibility, false, false);
57:         }
58: }