public static class WyalFile.Declaration.Named.Macro extends WyalFile.Declaration.Named.FunctionOrMacro
AbstractSyntacticItem.Blocks, AbstractSyntacticItem.Extras, AbstractSyntacticItem.Operands, AbstractSyntacticItem.SchemaWyalFile.Declaration.Named.Function, WyalFile.Declaration.Named.FunctionOrMacro, WyalFile.Declaration.Named.Macro, WyalFile.Declaration.Named.TypeWyalFile.Declaration.Assert, WyalFile.Declaration.Import, WyalFile.Declaration.Nameddata| Constructor and Description |
|---|
Macro(WyalFile.Identifier name,
WyalFile.VariableDeclaration[] parameters,
WyalFile.Stmt.Block body) |
| Modifier and Type | Method and Description |
|---|---|
WyalFile.Declaration.Named.Macro |
clone(SyntacticItem[] operands)
Create a new copy of the given syntactic item with the given operands.
|
WyalFile.Stmt.Block |
getBody() |
WyalFile.Type.Property |
getSignatureType() |
getName, getParametersallocate, compareTo, equals, getData, getIndex, getOpcode, getOperand, getOperands, getParent, hashCode, setOpcode, setOperand, size, toStringclone, finalize, getClass, notify, notifyAll, wait, wait, waitallocate, getData, getIndex, getOpcode, getOperand, getOperands, getParent, setOpcode, setOperand, sizecompareTopublic Macro(WyalFile.Identifier name, WyalFile.VariableDeclaration[] parameters, WyalFile.Stmt.Block body)
public WyalFile.Stmt.Block getBody()
public WyalFile.Type.Property getSignatureType()
getSignatureType in class WyalFile.Declaration.Named.FunctionOrMacropublic WyalFile.Declaration.Named.Macro clone(SyntacticItem[] operands)
SyntacticItemsize() for this item, and
be of appropriate type.Copyright © 2017. All rights reserved.