Operation void addExtension (String extension), in Class PassPhraseFileFilter

Documentation
Adds a filetype "dot" extension to filter against.
For example: the following code will create a filter that filters
out all files except those that end in ".pph":
PassPhraseFileFilter filter = new PassPhraseFileFilter();
filter.addExtension( "pph" );
filter.addExtension( "pem" );
Note that the "." before the extension is not needed and will be ignored.


Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics



Property Settings

Java
GenerateFullyQualifiedReturnFalseGenerateFullyQualifiedThrows 
AbstractFalseStaticFalse
FinalFalseNativeFalse
SynchronizedFalseStrictfpFalse
GenerateFullyQualifiedArgument ReplaceExistingCodeTrue