2019-12-06 01:14:13 +00:00
<!DOCTYPE HTML>
<!-- NewPage -->
< html lang = "it" >
< head >
2020-01-12 20:18:14 +00:00
<!-- Generated by javadoc (13.0.1) on Sun Jan 12 20:56:53 CET 2020 -->
2020-01-12 18:21:04 +00:00
< title > L-Index (Cleaver)< / title >
2019-12-06 01:14:13 +00:00
< meta http-equiv = "Content-Type" content = "text/html; charset=utf-8" >
2020-01-12 18:21:04 +00:00
< meta name = "dc.created" content = "2020-01-12" >
< meta name = "description" content = "index: L" >
2019-12-06 01:14:13 +00:00
< meta name = "generator" content = "javadoc/SplitIndexWriter" >
< link rel = "stylesheet" type = "text/css" href = "../stylesheet.css" title = "Style" >
2020-01-05 14:07:26 +00:00
< link rel = "stylesheet" type = "text/css" href = "../style.css" title = "Style" >
2019-12-06 01:14:13 +00:00
< link rel = "stylesheet" type = "text/css" href = "../script-dir/jquery-ui.css" title = "Style" >
< script type = "text/javascript" src = "../script.js" > < / script >
< script type = "text/javascript" src = "../script-dir/jszip/dist/jszip.min.js" > < / script >
< script type = "text/javascript" src = "../script-dir/jszip-utils/dist/jszip-utils.min.js" > < / script >
<!-- [if IE]>
< script type = "text/javascript" src = "../script-dir/jszip-utils/dist/jszip-utils-ie.min.js" > < / script >
<![endif]-->
< script type = "text/javascript" src = "../script-dir/jquery-3.4.1.js" > < / script >
< script type = "text/javascript" src = "../script-dir/jquery-ui.js" > < / script >
< / head >
< body class = "split-index" >
< script type = "text/javascript" > v a r p a t h t o r o o t = " . . / " ;
loadScripts(document, 'script');< / script >
< noscript >
< div > JavaScript is disabled on your browser.< / div >
< / noscript >
< header role = "banner" >
< nav role = "navigation" >
< div class = "fixedNav" >
<!-- ========= START OF TOP NAVBAR ======= -->
< div class = "topNav" > < a id = "navbar.top" >
<!-- -->
< / a >
< div class = "skipNav" > < a href = "#skip.navbar.top" title = "Skip navigation links" > Skip navigation links< / a > < / div >
< a id = "navbar.top.firstrow" >
<!-- -->
< / a >
< ul class = "navList" title = "Navigation" >
2020-01-03 12:55:19 +00:00
< li > < a href = "../eu.steffo.cleaver/module-summary.html" > Module< / a > < / li >
2019-12-06 01:14:13 +00:00
< li > Package< / li >
< li > Class< / li >
< li > < a href = "../overview-tree.html" > Tree< / a > < / li >
< li class = "navBarCell1Rev" > Index< / li >
< li > < a href = "../help-doc.html" > Help< / a > < / li >
< / ul >
< / div >
< div class = "subNav" >
< div class = "navListSearch" > < label for = "search" > SEARCH:< / label >
< input type = "text" id = "search" value = "search" disabled = "disabled" >
< input type = "reset" id = "reset" value = "reset" disabled = "disabled" >
< / div >
< / div >
< a id = "skip.navbar.top" >
<!-- -->
< / a >
<!-- ========= END OF TOP NAVBAR ========= -->
< / div >
< div class = "navPadding" > < / div >
< script type = "text/javascript" > < ! - -
$('.navPadding').css('padding-top', $('.fixedNav').css("height"));
//-->
< / script >
< / nav >
< / header >
< main role = "main" >
< div class = "header" >
< h1 > Index< / h1 >
< / div >
2020-01-12 18:21:04 +00:00
< div class = "contentContainer" > < a href = "index-1.html" > B< / a > < a href = "index-2.html" > C< / a > < a href = "index-3.html" > D< / a > < a href = "index-4.html" > E< / a > < a href = "index-5.html" > F< / a > < a href = "index-6.html" > G< / a > < a href = "index-7.html" > I< / a > < a href = "index-8.html" > J< / a > < a href = "index-9.html" > K< / a > < a href = "index-10.html" > L< / a > < a href = "index-11.html" > M< / a > < a href = "index-12.html" > N< / a > < a href = "index-13.html" > O< / a > < a href = "index-14.html" > P< / a > < a href = "index-15.html" > R< / a > < a href = "index-16.html" > S< / a > < a href = "index-17.html" > T< / a > < a href = "index-18.html" > U< / a > < a href = "index-19.html" > W< / a > < br > < a href = "../allclasses-index.html" > All Classes< / a > < a href = "../allpackages-index.html" > All Packages< / a > < a id = "I:L" >
2019-12-06 01:14:13 +00:00
<!-- -->
< / a >
2020-01-12 18:21:04 +00:00
< h2 class = "title" > L< / h2 >
2019-12-06 01:14:13 +00:00
< dl >
2020-01-12 18:21:04 +00:00
< dt > < span class = "memberNameLink" > < a href = "../eu.steffo.cleaver/eu/steffo/cleaver/logic/utils/SafeLongToInt.html#longToInt(long)" > longToInt(long)< / a > < / span > - Static method in class eu.steffo.cleaver.logic.utils.< a href = "../eu.steffo.cleaver/eu/steffo/cleaver/logic/utils/SafeLongToInt.html" title = "class in eu.steffo.cleaver.logic.utils" > SafeLongToInt< / a > < / dt >
2020-01-09 16:03:58 +00:00
< dd >
2020-01-12 18:21:04 +00:00
< div class = "block" > Cast a long to an int, returning < a href = "https://docs.oracle.com/en/java/javase/13/docs/api/java.base/java/lang/Integer.html?is-external=true#MAX_VALUE" title = "class or interface in java.lang" class = "externalLink" > < code > Integer.MAX_VALUE< / code > < / a > if the value of the long exceeds the value of
< a href = "https://docs.oracle.com/en/java/javase/13/docs/api/java.base/java/lang/Integer.html?is-external=true#MAX_VALUE" title = "class or interface in java.lang" class = "externalLink" > < code > Integer.MAX_VALUE< / code > < / a > , < a href = "https://docs.oracle.com/en/java/javase/13/docs/api/java.base/java/lang/Integer.html?is-external=true#MIN_VALUE" title = "class or interface in java.lang" class = "externalLink" > < code > Integer.MIN_VALUE< / code > < / a > if the value of the long is lower than < a href = "https://docs.oracle.com/en/java/javase/13/docs/api/java.base/java/lang/Integer.html?is-external=true#MIN_VALUE" title = "class or interface in java.lang" class = "externalLink" > < code > Integer.MIN_VALUE< / code > < / a > and the result of the
int cast otherwise.< / div >
2020-01-09 16:03:58 +00:00
< / dd >
2019-12-06 01:14:13 +00:00
< / dl >
2020-01-12 18:21:04 +00:00
< a href = "index-1.html" > B< / a > < a href = "index-2.html" > C< / a > < a href = "index-3.html" > D< / a > < a href = "index-4.html" > E< / a > < a href = "index-5.html" > F< / a > < a href = "index-6.html" > G< / a > < a href = "index-7.html" > I< / a > < a href = "index-8.html" > J< / a > < a href = "index-9.html" > K< / a > < a href = "index-10.html" > L< / a > < a href = "index-11.html" > M< / a > < a href = "index-12.html" > N< / a > < a href = "index-13.html" > O< / a > < a href = "index-14.html" > P< / a > < a href = "index-15.html" > R< / a > < a href = "index-16.html" > S< / a > < a href = "index-17.html" > T< / a > < a href = "index-18.html" > U< / a > < a href = "index-19.html" > W< / a > < br > < a href = "../allclasses-index.html" > All Classes< / a > < a href = "../allpackages-index.html" > All Packages< / a > < / div >
2019-12-06 01:14:13 +00:00
< / main >
< footer role = "contentinfo" >
< nav role = "navigation" >
<!-- ======= START OF BOTTOM NAVBAR ====== -->
< div class = "bottomNav" > < a id = "navbar.bottom" >
<!-- -->
< / a >
< div class = "skipNav" > < a href = "#skip.navbar.bottom" title = "Skip navigation links" > Skip navigation links< / a > < / div >
< a id = "navbar.bottom.firstrow" >
<!-- -->
< / a >
< ul class = "navList" title = "Navigation" >
2020-01-03 12:55:19 +00:00
< li > < a href = "../eu.steffo.cleaver/module-summary.html" > Module< / a > < / li >
2019-12-06 01:14:13 +00:00
< li > Package< / li >
< li > Class< / li >
< li > < a href = "../overview-tree.html" > Tree< / a > < / li >
< li class = "navBarCell1Rev" > Index< / li >
< li > < a href = "../help-doc.html" > Help< / a > < / li >
< / ul >
< / div >
< a id = "skip.navbar.bottom" >
<!-- -->
< / a >
<!-- ======== END OF BOTTOM NAVBAR ======= -->
< / nav >
< / footer >
< / body >
< / html >