Package: VdmppNameFilter

VdmppNameFilter

name	instruction	branch	complexity	line	method
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: }