本文整理汇总了Java中edu.mit.csail.sdg.alloy4compiler.ast.CommandScope类的典型用法代码示例。如果您正苦于以下问题：Java CommandScope类的具体用法？Java CommandScope怎么用？Java CommandScope使用的例子？那么恭喜您, 这里精选的类代码示例或许可以为您提供帮助。
CommandScope类属于edu.mit.csail.sdg.alloy4compiler.ast包，在下文中一共展示了CommandScope类的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: addCommand
import edu.mit.csail.sdg.alloy4compiler.ast.CommandScope; //导入依赖的package包/类
/** Add a COMMAND declaration. */
void addCommand(boolean followUp, Pos p, String n, boolean c, int o, int b, int seq, int exp, List<CommandScope> s, ExprVar label) throws Err {
if (followUp && !Version.experimental) throw new ErrorSyntax(p, "Syntax error encountering => symbol.");
if (label!=null) p=Pos.UNKNOWN.merge(p).merge(label.pos);
status=3;
if (n.length()==0) throw new ErrorSyntax(p, "Predicate/assertion name cannot be empty.");
if (n.indexOf('@')>=0) throw new ErrorSyntax(p, "Predicate/assertion name cannot contain \'@\'");
String labelName = (label==null || label.label.length()==0) ? n : label.label;
Command parent = followUp ? commands.get(commands.size()-1) : null;
Command newcommand = new Command(p, labelName, c, o, b, seq, exp, s, null, ExprVar.make(null, n), parent);
if (parent!=null) commands.set(commands.size()-1, newcommand); else commands.add(newcommand);
}