Package: VdmppNameFilter

VdmppNameFilter

nameinstructionbranchcomplexitylinemethod
VdmppNameFilter()
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%
accept(File, String)
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%

Coverage

1: package org.overture.codegen.mojocg;
2:
3: import java.io.File;
4: import java.io.FilenameFilter;
5:
6: public class VdmppNameFilter implements FilenameFilter
7: {
8:
9:         @Override
10:         public boolean accept(File arg0, String arg1)
11:         {
12:                 return arg1.endsWith(".vdmpp");
13:         }
14:
15: }