Operation String getExtension (java.io.File f), in Class PassPhraseFileFilter

Documentation
Return the extension portion of the file's name .
@see #getExtension
@see FileFilter#accept


Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics



Property Settings

Java
GenerateFullyQualifiedReturnFalseGenerateFullyQualifiedThrows 
AbstractFalseStaticFalse
FinalFalseNativeFalse
SynchronizedFalseStrictfpFalse
GenerateFullyQualifiedArgument ReplaceExistingCodeTrue