I'm observing an issue where reports generated by Polyspace Code Prover in the PDF format seem truncated. I occasionally observe the following error message:
Polyspace Report Generator
Generating Report
Template : D:\Program Files\MATLAB\R2017b\toolbox\polyspace\psrptgen\templates\Developer.rpt
Results-dir : D:\Projects\TA1902S-AD-Master\CodeProver_Sandbox_WSP\Complete-AD-Master\CP_Result_TA1902S-AD-Master_Complete-AD-Master_04_01_2018_13_07_1
Format : dom-pdf-direct
Output-Name : D:\Projects\TA1902S-AD-Master\CodeProver_Sandbox_WSP\Complete-AD-Master\CP_Result_TA1902S-AD-Master_Complete-AD-Master_04_01_2018_13_07_1\PolySpace-Doc\TA1902S-AD-Master_Developer.pdf
Beginning report
Processing Summary
Processing Polyspace proven
Processing Metrics Summary
Processing MISRA2012 summary
Processing MISRA2012 violations
Processing Polyspace Proven Run-Time Violations checks
Processing Polyspace Proven Unreachable Code Branches checks
Processing Polyspace unreachable functions
Processing Polyspace Unproven Run-Time Checks checks
Processing Global Variables
Processing Configuration
Processing Abbreviations and Acronyms
Converting report
Document conversion failed. Java exception occurred: java.lang.OutOfMemoryError: Java heap space at org.apache.fop.layoutmgr.inline.TextLayoutManager.<init>(TextLayoutManager.java:145) at org.apache.fop.layoutmgr.LayoutManagerMapping$FOTextLayoutManagerMaker.make(LayoutManagerMapping.java:249) at org.apache.fop.layoutmgr.LayoutManagerMapping.makeLayoutManagers(LayoutManagerMapping.java:175) at org.apache.fop.layoutmgr.AbstractLayoutManager.createChildLMs(AbstractLayoutManager.java:223) at org.apache.fop.layoutmgr.AbstractLayoutManager.createNextChildLMs(AbstractLayoutManager.java:251) at org.apache.fop.layoutmgr.LMiter.hasNext(LMiter.java:47) at org.apache.fop.layoutmgr.AbstractLayoutManager.getChildLM(AbstractLayoutManager.java:116) at org.apache.fop.layoutmgr.BreakOpportunityHelper.getBreakBefore(BreakOpportunityHelper.java:45) at org.apache.fop.layoutmgr.inline.InlineStackingLayoutManager.getBreakBefore(InlineStackingLayoutManager.java:391) at org.apache.fop.layoutmgr.BreakOpportunityHelper.getBreakBefore(BreakOpportunityHelper.java:49) at org.apache.fop.layoutmgr.inline.InlineStackingLayoutManager.getBreakBefore(InlineStackingLayoutManager.java:391) at org.apache.fop.layoutmgr.BreakOpportunityHelper.getBreakBefore(BreakOpportunityHelper.java:49) at org.apache.fop.layoutmgr.BlockStackingLayoutManager.getBreakBefore(BlockStackingLayoutManager.java:1079) at org.apache.fop.layoutmgr.BlockStackingLayoutManager.addKnuthElementsForBreakBefore(BlockStackingLayoutManager.java:1057) at org.apache.fop.layoutmgr.BlockStackingLayoutManager.breakBeforeServed(BlockStackingLayoutManager.java:458) at org.apache.fop.layoutmgr.BlockStackingLayoutManager.getNextKnuthElements(BlockStackingLayoutManager.java:257) at org.apache.fop.layoutmgr.BlockLayoutManager.getNextKnuthElements(BlockLayoutManager.java:115) at org.apache.fop.layoutmgr.BlockLayoutManager.getNextKnuthElements(BlockLayoutManager.java:107) at org.apache.fop.layoutmgr.table.TableCellLayoutManager.getNextKnuthElements(TableCellLayoutManager.java:224) at org.apache.fop.layoutmgr.table.TableContentLayoutManager.determineWidthOfPrimary(TableContentLayoutManager.java:1021) at org.apache.fop.layoutmgr.table.TableContentLayoutManager.iterateOverTableRows(TableContentLayoutManager.java:987) at org.apache.fop.layoutmgr.table.TableContentLayoutManager.determineAutoLayoutWidths(TableContentLayoutManager.java:936) at org.apache.fop.layoutmgr.table.TableLayoutManager.getNextKnuthElements(TableLayoutManager.java:279) at org.apache.fop.layoutmgr.FlowLayoutManager.getNextChildElements(FlowLayoutManager.java:223) at org.apache.fop.layoutmgr.FlowLayoutManager.addChildElements(FlowLayoutManager.java:147) at org.apache.fop.layoutmgr.FlowLayoutManager.getNextKnuthElements(FlowLayoutManager.java:116) at org.apache.fop.layoutmgr.FlowLayoutManager.getNextKnuthElements(FlowLayoutManager.java:69) at org.apache.fop.layoutmgr.PageBreaker.getNextKnuthElements(PageBreaker.java:251) at org.apache.fop.layoutmgr.AbstractBreaker.getNextBlockList(AbstractBreaker.java:770) at org.apache.fop.layoutmgr.PageBreaker.getNextBlockList(PageBreaker.java:178) at org.apache.fop.layoutmgr.PageBreaker.getNextBlockList(PageBreaker.java:158) at org.apache.fop.layoutmgr.AbstractBreaker.doLayout(AbstractBreaker.java:389)
Error using rptgen.utils.FOPProxy/foToPDFImpl (line 200)
Java exception occurred:
java.lang.OutOfMemoryError: Java heap space
at org.apache.fop.layoutmgr.inline.TextLayoutManager.<init>(TextLayoutManager.java:145)
at org.apache.fop.layoutmgr.LayoutManagerMapping$FOTextLayoutManagerMaker.make(LayoutManagerMapping.java:249)
at org.apache.fop.layoutmgr.LayoutManagerMapping.makeLayoutManagers(LayoutManagerMapping.java:175)
at org.apache.fop.layoutmgr.AbstractLayoutManager.createChildLMs(AbstractLayoutManager.java:223)
at org.apache.fop.layoutmgr.AbstractLayoutManager.createNextChildLMs(AbstractLayoutManager.java:251)
at org.apache.fop.layoutmgr.LMiter.hasNext(LMiter.java:47)
at org.apache.fop.layoutmgr.AbstractLayoutManager.getChildLM(AbstractLayoutManager.java:116)
at org.apache.fop.layoutmgr.BreakOpportunityHelper.getBreakBefore(BreakOpportunityHelper.java:45)
at org.apache.fop.layoutmgr.inline.InlineStackingLayoutManager.getBreakBefore(InlineStackingLayoutManager.java:391)
at org.apache.fop.layoutmgr.BreakOpportunityHelper.getBreakBefore(BreakOpportunityHelper.java:49)
at org.apache.fop.layoutmgr.inline.InlineStackingLayoutManager.getBreakBefore(InlineStackingLayoutManager.java:391)
at org.apache.fop.layoutmgr.BreakOpportunityHelper.getBreakBefore(BreakOpportunityHelper.java:49)
at org.apache.fop.layoutmgr.BlockStackingLayoutManager.getBreakBefore(BlockStackingLayoutManager.java:1079)
at org.apache.fop.layoutmgr.BlockStackingLayoutManager.addKnuthElementsForBreakBefore(BlockStackingLayoutManager.java:1057)
at org.apache.fop.layoutmgr.BlockStackingLayoutManager.breakBeforeServed(BlockStackingLayoutManager.java:458)
at org.apache.fop.layoutmgr.BlockStackingLayoutManager.getNextKnuthElements(BlockStackingLayoutManager.java:257)
at org.apache.fop.layoutmgr.BlockLayoutManager.getNextKnuthElements(BlockLayoutManager.java:115)
at org.apache.fop.layoutmgr.BlockLayoutManager.getNextKnuthElements(BlockLayoutManager.java:107)
at org.apache.fop.layoutmgr.table.TableCellLayoutManager.getNextKnuthElements(TableCellLayoutManager.java:224)
at org.apache.fop.layoutmgr.table.TableContentLayoutManager.determineWidthOfPrimary(TableContentLayoutManager.java:1021)
at org.apache.fop.layoutmgr.table.TableContentLayoutManager.iterateOverTableRows(TableContentLayoutManager.java:987)
at org.apache.fop.layoutmgr.table.TableContentLayoutManager.determineAutoLayoutWidths(TableContentLayoutManager.java:936)
at org.apache.fop.layoutmgr.table.TableLayoutManager.getNextKnuthElements(TableLayoutManager.java:279)
at org.apache.fop.layoutmgr.FlowLayoutManager.getNextChildElements(FlowLayoutManager.java:223)
at org.apache.fop.layoutmgr.FlowLayoutManager.addChildElements(FlowLayoutManager.java:147)
at org.apache.fop.layoutmgr.FlowLayoutManager.getNextKnuthElements(FlowLayoutManager.java:116)
at org.apache.fop.layoutmgr.FlowLayoutManager.getNextKnuthElements(FlowLayoutManager.java:69)
at org.apache.fop.layoutmgr.PageBreaker.getNextKnuthElements(PageBreaker.java:251)
at org.apache.fop.layoutmgr.AbstractBreaker.getNextBlockList(AbstractBreaker.java:770)
at org.apache.fop.layoutmgr.PageBreaker.getNextBlockList(PageBreaker.java:178)
at org.apache.fop.layoutmgr.PageBreaker.getNextBlockList(PageBreaker.java:158)
at org.apache.fop.layoutmgr.AbstractBreaker.doLayout(AbstractBreaker.java:389)
Error in rptgen.utils.FOPProxy.foToPDF (line 84)
Error in rpt_xml.db_output/convertReport>locRunDB2DOMEngine (line 264)
Error in rpt_xml.db_output/convertReport (line 31)
Error in rptgen.coutline/makeDocumentPost (line 40)
Error in rptgen.coutline/execute (line 21)
