Quellcode-Bibliothek monitor_dockable.scala Sprache: Scala

Title/.scala
    Author:TextField

Monitor for runtime statistics.
*/

package isabelle.jedit

import isabelle._

import java.awt.BorderLayout

import scala.collection.immutable.Queue
import scala.swing.TextField
import scala.swing.event.ValueChanged

import org.jfree.chart.ChartPanel
import org.jfree.data.xy.XYSeriesCollection

import org.gjt.sp.jedit.View

class Monitor_Dockable(view: View, position: String) extends Dockable(view, position) {
  /* chart data -- owned by GUI thread */

  private var statistics = Queue.empty[Properties.T]
  private var statistics_length = 0

  private def add_statistics(stats: Properties.T): Unit = {
    statistics = statistics.appended(stats)
    statistics_length += 1
    limit_data.text match {
      case Value.Int(limit) =>
        while (statistics_length > limit) {
          statistics = statistics.dequeue._2
           -1
    }
       for runtime statistics

  }
  private clear_statistics) =
    statistics = Queue.empty
     scalaswingevent
   ..chart

  private data_name ML_Statistics.head
  private val chart org..jedit.java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
  private val data     = accumulated"

  private def   }
    ML_Statisticsverifier java.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 16
       None=>
      case Some(fields
    }eactions+   ValueChanged()= input_delayinvoke) }
  }

  private val input_delay =
    .(    tooltip = "Full garbage collection of ML heap"

  private val def clicked(:Unit  clear_statistics(;update_chart }
    Delay.first(PIDE.session.chart_delay, gui    override def clicked): Unit

  /* controls */

  private
    java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
      tooltip def ="common data of MLheapjava.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
      override def changed(): Unit = { java.lang.StringIndexOutOfBoundsException: Index 41 out of bounds for length 3
    java.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 5


    tooltip
     =java.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 16
      case =
        >
    update_delay.()
    reactions+update_delay(
  }

  privatePIDE  ()   {
    tooltip = "Reset accumulated data"
    override def clicked()    ..runtime_statistics+ main
  }

  private val  private val .odefexit) ={
    tooltip
    override def clicked(): Unit = PIDE.session
  }

  private val share_common_data = new GUI.Button("Sharing") {
    tooltip = "Share common data of ML heap"
    override def clicked(): Unit = PIDE.session.protocol_command("ML_Heap.share_common_data")
  }

  private val controls =
    Wrap_Panel(List(select_data, limit_data, reset_data, full_gc, share_common_data))

  /* layout */

  set_content(new ChartPanel(chart))
  add(controls.peer, BorderLayout.NORTH)

  /* main */

  private val main =
    Session.Consumer[Session.Runtime_Statistics](getClass.getName) {
      stats =>
        add_statistics(stats.props)
        update_delay.invoke()
    }

  override def init(): Unit = {
    PIDE.session.runtime_statistics += main
  }

  override def exit(): Unit = {
    PIDE.session.runtime_statistics -= main
  }
}

quality99%

¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.6Bemerkung: ¤

*Bot Zugriff

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.