⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 recdef.java

📁 MPICH是MPI的重要研究,提供了一系列的接口函数,为并行计算的实现提供了编程环境.
💻 JAVA
字号:
import java.util.Vector;import java.awt.Color;import javax.swing.*;//This class represents a Record definition descriptionclass RecDef{    short        intvltype;    SLOG_bebits  bebits;    String       classtype;    String       description;  // string describing state    Color        color;        // Color given to this state    Vector       arg_labels;   // Vector of argument labels String    Vector       stateVector;  // Vector of completed states (paired up events)    // This checkbox determines whether states belonging to this state def.,    // should be displayed or not.    JCheckBox checkbox;    public RecDef()    {        description = new String();        color       = null;        // stateVector.size() determines if JCheckbox = true         // in RecDefButtons.setupPanels()        stateVector = new Vector( 0 );    }    public RecDef( SLOG_ProfileEntry entry )    {        intvltype   = entry.intvltype;        bebits      = new SLOG_bebits( entry.bebits );        classtype   = new String( entry.classtype );        description = new String( entry.label + " " + entry.bebits );        color       = ColorUtil.getColor( entry.color );        if ( entry.arg_labels != null )            arg_labels  = ( Vector ) entry.arg_labels.clone();        else            arg_labels  = null;                     // stateVector.size() determines if JCheckbox = true         // in RecDefButtons.setupPanels()        stateVector = new Vector( 0 );    }    public String toString()    {        return ("RecDef=[ intvltype=" + intvltype                       + ", bebits=" + bebits                       + ", classtype=" + classtype                       + ", color=" + color.toString()                       + ", description=" + description                       + ", arg_labels=" + arg_labels                       + " ]");    }}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -