本文整理汇总了Java中edu.mit.csail.sdg.alloy4.Computer类的典型用法代码示例。如果您正苦于以下问题:Java Computer类的具体用法?Java Computer怎么用?Java Computer使用的例子?那么, 这里精选的类代码示例或许可以为您提供帮助。
Computer类属于edu.mit.csail.sdg.alloy4包,在下文中一共展示了Computer类的2个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: VizGUI
import edu.mit.csail.sdg.alloy4.Computer; //导入依赖的package包/类
/**
* Creates a new visualization GUI window; this method can only be called by
* the AWT event thread.
*
* @param standalone - whether the JVM should shutdown after the last file
* is closed
* @param xmlFileName - the filename of the incoming XML file; "" if there's
* no file to open
* @param windowmenu - if standalone==false and windowmenu!=null, then this
* will be added as a menu on the menubar
* @param enumerator - if it's not null, it provides solution enumeration
* ability
* @param evaluator - if it's not null, it provides solution evaluation
* ability
* <p>
* Note: if standalone==false and xmlFileName.length()==0, then
* we will initially hide the window.
*/
public VizGUI(boolean standalone, String xmlFileName, JMenu windowmenu, Computer enumerator, Computer evaluator) {
this(standalone, xmlFileName, windowmenu, enumerator, evaluator, true);
}
示例2: VizGUI
import edu.mit.csail.sdg.alloy4.Computer; //导入依赖的package包/类
/** Creates a new visualization GUI window; this method can only be called by the AWT event thread.
* @param standalone - whether the JVM should shutdown after the last file is closed
* @param xmlFileName - the filename of the incoming XML file; "" if there's no file to open
* @param windowmenu - if standalone==false and windowmenu!=null, then this will be added as a menu on the menubar
* @param enumerator - if it's not null, it provides solution enumeration ability
* @param evaluator - if it's not null, it provides solution evaluation ability
*
* <p> Note: if standalone==false and xmlFileName.length()==0, then we will initially hide the window.
*/
public VizGUI(boolean standalone, String xmlFileName, JMenu windowmenu, Computer enumerator, Computer evaluator) {
this(standalone, xmlFileName, windowmenu, enumerator, evaluator, true);
}