本文整理匯總了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);
}