Package: OperationValidationExpression

OperationValidationExpression

nameinstructionbranchcomplexitylinemethod
OperationValidationExpression(String, String, RTMessage.MessageType)
M: 12 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 5 C: 0
0%
M: 1 C: 0
0%
evaluate()
M: 2 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
isAssociatedWith(String, String)
M: 14 C: 0
0%
M: 4 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
matches(String, String, RTMessage.MessageType)
M: 19 C: 0
0%
M: 6 C: 0
0%
M: 4 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
toString()
M: 50 C: 0
0%
M: 4 C: 0
0%
M: 4 C: 0
0%
M: 14 C: 0
0%
M: 1 C: 0
0%

Coverage

1: /***************************************************************************
2: *
3: *        Copyright (c) 2009 IHA
4: *
5: *        Author: Kenneth Lausdahl and Augusto Ribeiro
6: *
7: *        This file is part of VDMJ.
8: *
9: *        VDMJ is free software: you can redistribute it and/or modify
10: *        it under the terms of the GNU General Public License as published by
11: *        the Free Software Foundation, either version 3 of the License, or
12: *        (at your option) any later version.
13: *
14: *        VDMJ is distributed in the hope that it will be useful,
15: *        but WITHOUT ANY WARRANTY; without even the implied warranty of
16: *        MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17: *        GNU General Public License for more details.
18: *
19: *        You should have received a copy of the GNU General Public License
20: *        along with VDMJ. If not, see <http://www.gnu.org/licenses/>.
21: *
22: **************************************************************************/
23:
24: package org.overture.interpreter.runtime.validation;
25:
26: import org.overture.interpreter.messages.rtlog.RTMessage.MessageType;
27:
28: public class OperationValidationExpression implements IValidationExpression
29: {
30:
31:         private String className;
32:         private String opName;
33:         private MessageType type;
34:
35:         // TODO: The names should probably be changed to LexNameToken
36:         public OperationValidationExpression(String opName, String className,
37:                         MessageType type)
38:         {
39:                 this.className = className;
40:                 this.opName = opName;
41:                 this.type = type;
42:         }
43:
44:         public boolean evaluate()
45:         {
46:                 // TODO Auto-generated method stub
47:                 return false;
48:         }
49:
50:         @Override
51:         public String toString()
52:         {
53:                 StringBuffer s = new StringBuffer();
54:
55:•                switch (type)
56:                 {
57:                         case Activate:
58:                                 s.append("#act");
59:                                 break;
60:                         case Completed:
61:                                 s.append("#fin");
62:                                 break;
63:                         case Request:
64:                                 s.append("#req");
65:                                 break;
66:                         default:
67:                                 break;
68:                 }
69:                 s.append("(");
70:                 s.append(className);
71:                 s.append("`");
72:                 s.append(opName);
73:                 s.append(")");
74:
75:                 return s.toString();
76:         }
77:
78:         public boolean isAssociatedWith(String opname, String classdef)
79:         {
80:•                return opname.equals(this.opName) && classdef.equals(this.className);
81:         }
82:
83:         public boolean matches(String opname, String classname, MessageType kind)
84:         {
85:•                return opname.equals(this.opName) && classname.equals(this.className)
86:•                                && kind.equals(this.type);
87:         }
88:
89: }