本文整理汇总了Java中edu.mit.csail.sdg.alloy4.OurConsole类的典型用法代码示例。如果您正苦于以下问题：Java OurConsole类的具体用法？Java OurConsole怎么用？Java OurConsole使用的例子？那么, 这里精选的类代码示例或许可以为您提供帮助。
OurConsole类属于edu.mit.csail.sdg.alloy4包，在下文中一共展示了OurConsole类的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: getInstance
import edu.mit.csail.sdg.alloy4.OurConsole; //导入依赖的package包/类
public static JScrollPane getInstance(final String xmlPath) {
final Evaluator evaluator = new Evaluator();
final JScrollPane instance = new OurConsole(evaluator, true, "Expression Evaluator Pane");
/*
* final JScrollPane instance = new OurConsole(evaluator, true, "The ", true,
* "Alloy Evaluator ", false,
* "allows you to type\nin Alloy expressions and see their values.\nFor example, ", true,
* "univ", false,
* " shows the list of all atoms.\n(You can press UP and DOWN to recall old inputs).\n");
*/
try {
evaluator.compute(new File(xmlPath));
} catch (final Exception ex) {
} // exception should not happen
return instance;
}