public class ClassType extends Extendable
| Modifier and Type | Field and Description |
|---|---|
protected ScopedID |
d_extends
class that this class extends
|
protected ImplementsList |
d_implements
List of interfaces
|
protected Invariants |
d_invariants
List of invariants
|
protected SplicerList |
d_splicers
List of splicer blocks
|
d_methodListd_attribListILLEGAL_NODEID| Constructor and Description |
|---|
ClassType() |
ClassType(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"
|
void |
addSplicerBlock(SplicerBlock block) |
ScopedID |
getExtends() |
ImplementsList |
getImplementsList() |
Invariants |
getInvariants() |
SplicerList |
getSplicerList() |
java.lang.String |
getTypeName() |
void |
setExtends(ScopedID extendsCls) |
void |
setImplementsList(ImplementsList list) |
void |
setInvariants(Invariants invariants) |
getMethodList, setMethodListgetAttributeList, setAttributeListgetDocComment, getFQN, getName, getUserSelected, getVersion, hasDocComment, setDocComment, setName, setUserSelected, setVersiongetFilename, getFirstToken, getLastToken, getNodeId, getParent, getParseTreeNode, getSymbolTableEntry, setFirstToken, setLastToken, setNodeId, setParent, setParseTreeNode, setSymbolTableEntryprotected ScopedID d_extends
protected ImplementsList d_implements
protected SplicerList d_splicers
protected Invariants d_invariants
public ClassType(ParseTreeNode src, ASTNode parent, Name name)
public ClassType()
public java.lang.String getTypeName()
getTypeName in class Typepublic ImplementsList getImplementsList()
public void setImplementsList(ImplementsList list)
public void setExtends(ScopedID extendsCls)
public ScopedID getExtends()
public void setInvariants(Invariants invariants)
setInvariants in class Extendablepublic Invariants getInvariants()
getInvariants in class Extendablepublic void addSplicerBlock(SplicerBlock block)
public SplicerList getSplicerList()