public static class WyalFile.Declaration.Import extends wybs.util.AbstractSyntacticItem implements WyalFile.Declaration
import wycs.lang.MapHere, the package is
wycs.lang, and the module is
Map.WyalFile.Declaration.Assert, WyalFile.Declaration.Import, WyalFile.Declaration.Named| Constructor and Description |
|---|
Import(wybs.util.AbstractCompilationUnit.Identifier... components) |
| Modifier and Type | Method and Description |
|---|---|
WyalFile.Declaration.Import |
clone(wybs.lang.SyntacticItem[] operands) |
wybs.util.AbstractCompilationUnit.Identifier |
get(int i) |
wybs.util.AbstractCompilationUnit.Identifier[] |
getComponents() |
String |
toString() |
allocate, compareTo, equals, getAll, getAncestor, getData, getHeap, getIndex, getOpcode, getParent, hashCode, match, setOpcode, setOperand, size, toArrayclone, finalize, getClass, notify, notifyAll, wait, wait, waitallocate, getAll, getData, getHeap, getIndex, getOpcode, getParent, setOpcode, setOperand, sizecompareTopublic wybs.util.AbstractCompilationUnit.Identifier[] getComponents()
public wybs.util.AbstractCompilationUnit.Identifier get(int i)
get in interface wybs.lang.SyntacticItemget in class wybs.util.AbstractSyntacticItempublic WyalFile.Declaration.Import clone(wybs.lang.SyntacticItem[] operands)
clone in interface wybs.lang.SyntacticItempublic String toString()
toString in class wybs.util.AbstractSyntacticItemCopyright © 2017. All rights reserved.