public abstract static class WyalFile.Declaration.Named.FunctionOrMacro extends AbstractSyntacticItem implements WyalFile.Declaration.Named
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 |
|---|
FunctionOrMacro(WyalFile.Identifier name,
WyalFile.Tuple<WyalFile.VariableDeclaration> parameters,
WyalFile.Stmt.Block body) |
FunctionOrMacro(WyalFile.Identifier name,
WyalFile.Tuple<WyalFile.VariableDeclaration> parameters,
WyalFile.Tuple<WyalFile.VariableDeclaration> returns) |
| Modifier and Type | Method and Description |
|---|---|
WyalFile.Identifier |
getName() |
WyalFile.Tuple<WyalFile.VariableDeclaration> |
getParameters() |
abstract WyalFile.Type.FunctionOrMethodOrProperty |
getSignatureType() |
allocate, compareTo, equals, getData, getIndex, getOpcode, getOperand, getOperands, getParent, hashCode, setOpcode, setOperand, size, toStringclone, finalize, getClass, notify, notifyAll, wait, wait, waitallocate, clone, getData, getIndex, getOpcode, getOperand, getOperands, getParent, setOpcode, setOperand, sizecompareTopublic FunctionOrMacro(WyalFile.Identifier name, WyalFile.Tuple<WyalFile.VariableDeclaration> parameters, WyalFile.Stmt.Block body)
public FunctionOrMacro(WyalFile.Identifier name, WyalFile.Tuple<WyalFile.VariableDeclaration> parameters, WyalFile.Tuple<WyalFile.VariableDeclaration> returns)
public WyalFile.Identifier getName()
getName in interface WyalFile.Declaration.Namedpublic WyalFile.Tuple<WyalFile.VariableDeclaration> getParameters()
public abstract WyalFile.Type.FunctionOrMethodOrProperty getSignatureType()
Copyright © 2017. All rights reserved.