public class InterfaceType extends Extendable
| Modifier and Type | Field and Description |
|---|---|
protected ExtendsList |
d_extends
a list of ScopedID's
|
d_invariants, d_methodListd_attribListILLEGAL_NODEID| Constructor and Description |
|---|
InterfaceType() |
InterfaceType(ParseTreeNode src,
ASTNode parent,
Name name) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.Object |
accept(Visitor v,
java.lang.Object data)
implements "Visitor Pattern"
|
ExtendsList |
getExtends()
returns a linked list of ScopedID's
|
java.lang.String |
getTypeName() |
getInvariants, getMethodList, setInvariants, setMethodListgetAttributeList, setAttributeListgetDocComment, getFQN, getName, getUserSelected, getVersion, hasDocComment, setDocComment, setName, setUserSelected, setVersiongetFilename, getFirstToken, getLastToken, getNodeId, getParent, getParseTreeNode, getSymbolTableEntry, setFirstToken, setLastToken, setNodeId, setParent, setParseTreeNode, setSymbolTableEntryprotected ExtendsList d_extends
public InterfaceType(ParseTreeNode src, ASTNode parent, Name name)
public InterfaceType()
public java.lang.String getTypeName()
getTypeName in class Typepublic ExtendsList getExtends()