public static class WyalFile.Declaration.Import extends AbstractSyntacticItem implements WyalFile.Declaration
import wycs.lang.MapHere, the package is
wycs.lang, and the module is
Map.AbstractSyntacticItem.Blocks, AbstractSyntacticItem.Extras, AbstractSyntacticItem.Operands, AbstractSyntacticItem.SchemaWyalFile.Declaration.Assert, WyalFile.Declaration.Import, WyalFile.Declaration.Nameddata| Constructor and Description |
|---|
Import(WyalFile.Identifier... components) |
| Modifier and Type | Method and Description |
|---|---|
WyalFile.Declaration.Import |
clone(SyntacticItem[] operands)
Create a new copy of the given syntactic item with the given operands.
|
WyalFile.Identifier[] |
getComponents() |
WyalFile.Identifier |
getOperand(int i)
Return the ith top-level operand in this bytecode.
|
String |
toString() |
allocate, compareTo, equals, getData, getIndex, getOpcode, getOperands, getParent, hashCode, setOpcode, setOperand, sizeclone, finalize, getClass, notify, notifyAll, wait, wait, waitallocate, getData, getIndex, getOpcode, getOperands, getParent, setOpcode, setOperand, sizecompareTopublic Import(WyalFile.Identifier... components)
public WyalFile.Identifier[] getComponents()
public WyalFile.Identifier getOperand(int i)
SyntacticItemgetOperand in interface SyntacticItemgetOperand in class AbstractSyntacticItempublic WyalFile.Declaration.Import clone(SyntacticItem[] operands)
SyntacticItemsize() for this item, and
be of appropriate type.clone in interface SyntacticItempublic String toString()
toString in class AbstractSyntacticItemCopyright © 2017. All rights reserved.