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.