2020-11-21 15:01:19 +01:00
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN" "http://www.w3.org/TR/html4/frameset.dtd">
<!-- NewPage -->
< html lang = "fr" >
< head >
2020-12-27 15:40:42 +01:00
<!-- Generated by javadoc (1.8.0_231) on Sun Dec 27 15:37:31 CET 2020 -->
2020-11-21 15:01:19 +01:00
< title > Generated Documentation (Untitled)</ title >
< script type = "text/javascript" >
tmpTargetPage = "" + window . location . search ;
if ( tmpTargetPage != "" && tmpTargetPage != "undefined" )
tmpTargetPage = tmpTargetPage . substring ( 1 );
if ( tmpTargetPage . indexOf ( ":" ) != - 1 || ( tmpTargetPage != "" && ! validURL ( tmpTargetPage )))
tmpTargetPage = "undefined" ;
targetPage = tmpTargetPage ;
function validURL ( url ) {
try {
url = decodeURIComponent ( url );
}
catch ( error ) {
return false ;
}
var pos = url . indexOf ( ".html" );
if ( pos == - 1 || pos != url . length - 5 )
return false ;
var allowNumber = false ;
var allowSep = false ;
var seenDot = false ;
for ( var i = 0 ; i < url . length - 5 ; i ++ ) {
var ch = url . charAt ( i );
if ( 'a' <= ch && ch <= 'z' ||
'A' <= ch && ch <= 'Z' ||
ch == '$' ||
ch == '_' ||
ch . charCodeAt ( 0 ) > 127 ) {
allowNumber = true ;
allowSep = true ;
} else if ( '0' <= ch && ch <= '9'
|| ch == '-' ) {
if ( ! allowNumber )
return false ;
} else if ( ch == '/' || ch == '.' ) {
if ( ! allowSep )
return false ;
allowNumber = false ;
allowSep = false ;
if ( ch == '.' )
seenDot = true ;
if ( ch == '/' && seenDot )
return false ;
} else {
return false ;
}
}
return true ;
}
function loadFrames () {
if ( targetPage != "" && targetPage != "undefined" )
top . classFrame . location = top . targetPage ;
}
</ script >
</ head >
< frameset cols = "20%,80%" title = "Documentation frame" onload = "top.loadFrames()" >
< frame src = "allclasses-frame.html" name = "packageFrame" title = "All classes and interfaces (except non-static nested types)" >
2020-12-27 15:40:42 +01:00
< frame src = "AboutWindow.html" name = "classFrame" title = "Package, class and interface descriptions" scrolling = "yes" >
2020-11-21 15:01:19 +01:00
< noframes >
< noscript >
< div > JavaScript is disabled on your browser.</ div >
</ noscript >
< h2 > Frame Alert</ h2 >
2020-12-27 15:40:42 +01:00
< p > This document is designed to be viewed using the frames feature. If you see this message, you are using a non-frame-capable web client. Link to < a href = "AboutWindow.html" > Non-frame version</ a > .</ p >
2020-11-21 15:01:19 +01:00
</ noframes >
</ frameset >
</ html >
