Package: DEFAULT

DEFAULT

nameinstructionbranchcomplexitylinemethod
DEFAULT()
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%
acos(Value)
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%
asin(Value)
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%
atan(Value)
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%
cos(Value)
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%
cot(Value)
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%
exp(Value)
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%
fac(Value)
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%
fecho(Value, Value, Value)
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%
ferror()
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%
fwriteval(Value, Value, Value)
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%
ln(Value)
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%
log(Value)
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%
pi_f()
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%
print(Value)
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%
printf(Value, Value)
M: 4 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
rand(Value)
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%
seq_of_char2val_(Value)
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%
set2seq(Value)
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%
sin(Value)
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%
sqrt(Value)
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%
srand2(Value)
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%
tan(Value)
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%
val2seq_of_char(Value)
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%
writeval(Value)
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%

Coverage

1: /*******************************************************************************
2: *
3: *        Copyright (C) 2008, 2009 Fujitsu Services Ltd.
4: *
5: *        Author: Nick Battle
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: // This must be in the default package to work with VDMJ's native delegation.
25:
26: import java.io.Serializable;
27:
28: import org.overture.interpreter.runtime.ValueException;
29: import org.overture.interpreter.values.Value;
30:
31: /**
32: * This class delegates native operations to the IO/Math/VDMUtil classes for flat specifications.
33: */
34:
35: public class DEFAULT implements Serializable
36: {
37:         private static final long serialVersionUID = 1L;
38:
39:         //
40:         // IO...
41:         //
42:
43:         public static Value writeval(Value tval)
44:         {
45:                 return IO.writeval(tval);
46:         }
47:
48:         public static Value fwriteval(Value fval, Value tval, Value dval)
49:         {
50:                 return IO.fwriteval(fval, tval, dval);
51:         }
52:
53:         // public static Value freadval(Value fval)
54:         // {
55:         // return IO.freadval(fval);
56:         // }
57:
58:         public static Value fecho(Value fval, Value tval, Value dval)
59:         {
60:                 return IO.fecho(fval, tval, dval);
61:         }
62:
63:         public static Value ferror()
64:         {
65:                 return IO.ferror();
66:         }
67:
68:         public static Value print(Value v)
69:         {
70:                 return IO.print(v);
71:         }
72:
73:         public static Value printf(Value fv, Value vs) throws ValueException
74:         {
75:                 return IO.printf(fv, vs);
76:         }
77:
78:         //
79:         // MATH...
80:         //
81:
82:         public static Value sin(Value arg) throws ValueException, Exception
83:         {
84:                 return MATH.sin(arg);
85:         }
86:
87:         public static Value cos(Value arg) throws ValueException, Exception
88:         {
89:                 return MATH.cos(arg);
90:         }
91:
92:         public static Value tan(Value arg) throws ValueException, Exception
93:         {
94:                 return MATH.tan(arg);
95:         }
96:
97:         public static Value cot(Value arg) throws ValueException, Exception
98:         {
99:                 return MATH.cot(arg);
100:         }
101:
102:         public static Value asin(Value arg) throws ValueException, Exception
103:         {
104:                 return MATH.asin(arg);
105:         }
106:
107:         public static Value acos(Value arg) throws ValueException, Exception
108:         {
109:                 return MATH.acos(arg);
110:         }
111:
112:         public static Value atan(Value arg) throws ValueException, Exception
113:         {
114:                 return MATH.atan(arg);
115:         }
116:
117:         public static Value sqrt(Value arg) throws ValueException, Exception
118:         {
119:                 return MATH.sqrt(arg);
120:         }
121:
122:         public static Value pi_f() throws Exception
123:         {
124:                 return MATH.pi_f();
125:         }
126:
127:         public static Value rand(Value arg) throws ValueException
128:         {
129:                 return MATH.rand(arg);
130:         }
131:
132:         public static Value srand2(Value arg) throws ValueException
133:         {
134:                 return MATH.srand2(arg);
135:         }
136:
137:         public static Value exp(Value arg) throws ValueException, Exception
138:         {
139:                 return MATH.exp(arg);
140:         }
141:
142:         public static Value ln(Value arg) throws ValueException, Exception
143:         {
144:                 return MATH.ln(arg);
145:         }
146:
147:         public static Value log(Value arg) throws ValueException, Exception
148:         {
149:                 return MATH.log(arg);
150:         }
151:
152:         public static Value fac(Value arg) throws ValueException, Exception
153:         {
154:                 return MATH.fac(arg);
155:         }
156:
157:         //
158:         // VDMUtil...
159:         //
160:
161:         public static Value set2seq(Value arg) throws ValueException
162:         {
163:                 return VDMUtil.set2seq(arg);
164:         }
165:
166:         public static Value val2seq_of_char(Value arg)
167:         {
168:                 return VDMUtil.val2seq_of_char(arg);
169:         }
170:
171:         public static Value seq_of_char2val_(Value arg)
172:         {
173:                 return VDMUtil.seq_of_char2val_(arg);
174:         }
175: }