Package: VdmppNameFilter
VdmppNameFilter
name | instruction | branch | complexity | line | method | ||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
VdmppNameFilter() |
|
|
|
|
|
||||||||||||||||||||
accept(File, String) |
|
|
|
|
|
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: }