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_methodList
d_attribList
ILLEGAL_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, setMethodList
getAttributeList, setAttributeList
getDocComment, getFQN, getName, getUserSelected, getVersion, hasDocComment, setDocComment, setName, setUserSelected, setVersion
getFilename, getFirstToken, getLastToken, getNodeId, getParent, getParseTreeNode, getSymbolTableEntry, setFirstToken, setLastToken, setNodeId, setParent, setParseTreeNode, setSymbolTableEntry
protected 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 Type
public ImplementsList getImplementsList()
public void setImplementsList(ImplementsList list)
public void setExtends(ScopedID extendsCls)
public ScopedID getExtends()
public void setInvariants(Invariants invariants)
setInvariants
in class Extendable
public Invariants getInvariants()
getInvariants
in class Extendable
public void addSplicerBlock(SplicerBlock block)
public SplicerList getSplicerList()