public class QuantifiedVarDeclNode extends ASTNode
| Constructor | Description | 
|---|---|
| QuantifiedVarDeclNode(SourceLocation loc) | 
| Modifier and Type | Method | Description | 
|---|---|---|
| ASTNode | getSequence() | |
| ASTTag | getTag() | |
| TypeDeclNode | getType() | |
| QNameNode | getVariable() | |
| void | setSequence(ASTNode sequence) | |
| void | setType(TypeDeclNode type) | |
| void | setVariable(QNameNode variable) | 
getSourceLocation, toStringpublic QuantifiedVarDeclNode(SourceLocation loc)
public QNameNode getVariable()
public void setVariable(QNameNode variable)
public TypeDeclNode getType()
public void setType(TypeDeclNode type)
public ASTNode getSequence()
public void setSequence(ASTNode sequence)
Copyright © 2019 Apache Software Foundation. All Rights Reserved.