2019-12-07 00:09:56 +00:00
<!DOCTYPE HTML>
<!-- NewPage -->
< html lang = "it" >
< head >
2020-01-09 18:23:51 +00:00
<!-- Generated by javadoc (13.0.1) on Thu Jan 09 19:22:25 CET 2020 -->
2020-01-05 15:50:06 +00:00
< title > eu.steffo.cleaver.errors< / title >
2019-12-07 00:09:56 +00:00
< meta http-equiv = "Content-Type" content = "text/html; charset=utf-8" >
2020-01-09 16:03:58 +00:00
< meta name = "dc.created" content = "2020-01-09" >
2020-01-05 15:50:06 +00:00
< meta name = "description" content = "declaration: module: eu.steffo.cleaver, package: eu.steffo.cleaver.errors" >
2019-12-07 00:09:56 +00:00
< meta name = "generator" content = "javadoc/PackageWriterImpl" >
< link rel = "stylesheet" type = "text/css" href = "../../../../../stylesheet.css" title = "Style" >
2020-01-05 15:50:06 +00:00
< link rel = "stylesheet" type = "text/css" href = "../../../../../style.css" title = "Style" >
2019-12-07 00:09:56 +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 = "package-declaration" >
< 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-05 15:50:06 +00:00
< li > < a href = "../../../../module-summary.html" > Module< / a > < / li >
2019-12-07 00:09:56 +00:00
< li class = "navBarCell1Rev" > Package< / li >
< li > Class< / li >
< li > < a href = "package-tree.html" > Tree< / a > < / li >
< li > < a href = "../../../../../index-files/index-1.html" > Index< / a > < / 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" >
2020-01-05 15:50:06 +00:00
< div class = "subTitle" > < span class = "moduleLabelInPackage" > Module< / span > < a href = "../../../../module-summary.html" > eu.steffo.cleaver< / a > < / div >
< h1 title = "Package" class = "title" > Package eu.steffo.cleaver.errors< / h1 >
2019-12-07 00:09:56 +00:00
< / div >
< div class = "contentContainer" >
2020-01-05 15:50:06 +00:00
< section class = "packageDescription" > < a id = "package.description" >
<!-- -->
< / a >
2020-01-09 16:03:58 +00:00
< div class = "block" > A package containing all possible < a href = "https://docs.oracle.com/en/java/javase/13/docs/api/java.base/java/lang/Error.html?is-external=true" title = "class or interface in java.lang" class = "externalLink" > < code > Errors< / code > < / a > and < a href = "https://docs.oracle.com/en/java/javase/13/docs/api/java.base/java/lang/Exception.html?is-external=true" title = "class or interface in java.lang" class = "externalLink" > < code > Exceptions< / code > < / a > thrown by Cleaver.< / div >
2020-01-05 15:50:06 +00:00
< / section >
2019-12-07 00:09:56 +00:00
< section class = "summary" >
< ul class = "blockList" >
< li class = "blockList" >
< div class = "typeSummary" >
< table >
2020-01-05 15:50:06 +00:00
< caption > < span > Exception Summary< / span > < span class = "tabEnd" > < / span > < / caption >
2019-12-07 00:09:56 +00:00
< thead >
< tr >
2020-01-05 15:50:06 +00:00
< th class = "colFirst" scope = "col" > Exception< / th >
2019-12-07 00:09:56 +00:00
< th class = "colLast" scope = "col" > Description< / th >
< / tr >
< / thead >
< tbody >
< tr class = "altColor" >
2020-01-05 15:50:06 +00:00
< th class = "colFirst" scope = "row" > < a href = "ChpFileError.html" title = "class in eu.steffo.cleaver.errors" > ChpFileError< / a > < / th >
< td class = "colLast" >
2020-01-09 16:03:58 +00:00
< div class = "block" > An error occoured during the parsing of a .chp file.< / div >
2020-01-05 15:50:06 +00:00
< / td >
2019-12-07 00:09:56 +00:00
< / tr >
< tr class = "rowColor" >
2020-01-05 15:50:06 +00:00
< th class = "colFirst" scope = "row" > < a href = "ProgrammingError.html" title = "class in eu.steffo.cleaver.errors" > ProgrammingError< / a > < / th >
< td class = "colLast" >
2020-01-09 16:03:58 +00:00
< div class = "block" > An exception that is never supposed to happen during the execution of the program.< / div >
2020-01-05 15:50:06 +00:00
< / td >
2019-12-07 00:09:56 +00:00
< / tr >
< / tbody >
< / table >
< / div >
< / li >
< / ul >
< / section >
< / div >
< / 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-05 15:50:06 +00:00
< li > < a href = "../../../../module-summary.html" > Module< / a > < / li >
2019-12-07 00:09:56 +00:00
< li class = "navBarCell1Rev" > Package< / li >
< li > Class< / li >
< li > < a href = "package-tree.html" > Tree< / a > < / li >
< li > < a href = "../../../../../index-files/index-1.html" > Index< / a > < / 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 >
