public static class WyalFile.Declaration.Named.Macro extends WyalFile.Declaration.Named.FunctionOrMacro
WyalFile.Declaration.Named.Function, WyalFile.Declaration.Named.FunctionOrMacro, WyalFile.Declaration.Named.Macro, WyalFile.Declaration.Named.TypeWyalFile.Declaration.Assert, WyalFile.Declaration.Import, WyalFile.Declaration.Named| Constructor and Description |
|---|
Macro(wybs.util.AbstractCompilationUnit.Identifier name,
WyalFile.VariableDeclaration[] parameters,
WyalFile.Stmt.Block body) |
| Modifier and Type | Method and Description |
|---|---|
WyalFile.Declaration.Named.Macro |
clone(wybs.lang.SyntacticItem[] operands) |
WyalFile.Stmt.Block |
getBody() |
WyalFile.Type.Property |
getSignatureType() |
getName, getParametersallocate, compareTo, equals, get, getAll, getAncestor, getData, getHeap, getIndex, getOpcode, getParent, hashCode, match, setOpcode, setOperand, size, toArray, toStringclone, finalize, getClass, notify, notifyAll, wait, wait, waitallocate, get, getAll, getData, getHeap, getIndex, getOpcode, getParent, setOpcode, setOperand, sizecompareTopublic Macro(wybs.util.AbstractCompilationUnit.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(wybs.lang.SyntacticItem[] operands)
Copyright © 2017. All rights reserved.