Method: VdmppNameFilter()

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: }