CommonOptionsTask.CommonOptionsTask$1 (JML and MultiJava documentation)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

JML

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.jmlspecs.ant.tasks
Class CommonOptionsTask.CommonOptionsTask$1

java.lang.Object
  org.jmlspecs.ant.tasks.AbstractFileSetTask.FileSetVisitor
      org.jmlspecs.ant.tasks.CommonOptionsTask.CommonOptionsTask$1

Enclosing class:: CommonOptionsTask

class CommonOptionsTask.CommonOptionsTask$1
extends AbstractFileSetTask.FileSetVisitor

Model Field Summary

Model fields inherited from class java.lang.Object

_getClass, objectState, theString

Ghost Field Summary

Ghost fields inherited from class java.lang.Object

objectTimesFinalized, owner

Constructor Summary

(package private) CommonOptionsTask.CommonOptionsTask$1()

Model Method Summary

Model methods inherited from class java.lang.Object

hashValue

Method Summary

void visit(File file)

Methods inherited from class org.jmlspecs.ant.tasks.AbstractFileSetTask.FileSetVisitor

visit

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CommonOptionsTask.CommonOptionsTask$1

CommonOptionsTask.CommonOptionsTask$1()

Method Detail

visit

public void visit(File file)

Description copied from class: AbstractFileSetTask.FileSetVisitor

Perform an action on the given file.

Specifications inherited from overridden method visit(File file) in class FileSetVisitor:: requires file != null;