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, toString
public 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.