avrohugger-tools
API
Generated with
avrohugger-tools/avrohugger.tool/GeneratorTool/FileExtensionFilter

FileExtensionFilter

avrohugger.tool.GeneratorTool.FileExtensionFilter
case class FileExtensionFilter(extension: String) extends FilenameFilter

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait FilenameFilter
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def accept(dir: File, name: String): Boolean

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with