public interface ClassDecl extends TopLevelDecl, ClassMember
ClassDecl
represents a top-level, member, or local class
declaration.Term.Instance
Modifier and Type | Method and Description |
---|---|
ClassBody |
body()
The class's body.
|
ClassDecl |
body(ClassBody body)
Set the class's body.
|
Flags |
flags()
The class declaration's flags.
|
ClassDecl |
flags(Flags flags)
Set the class declaration's flags.
|
Id |
id()
The class declaration's name.
|
ClassDecl |
id(Id name)
Set the class declaration's name.
|
java.util.List<TypeNode> |
interfaces()
The class's interface list.
|
ClassDecl |
interfaces(java.util.List<TypeNode> interfaces)
Set the class's interface list.
|
java.lang.String |
name()
The class declaration's name.
|
ClassDecl |
name(java.lang.String name)
Set the class declaration's name.
|
TypeNode |
superClass()
The class's super class.
|
ClassDecl |
superClass(TypeNode superClass)
Set the class's super class.
|
ParsedClassType |
type()
The type of the class declaration.
|
ClassDecl |
type(ParsedClassType type)
Set the type of the class declaration.
|
memberInstance
exceptions, exceptions, reachable, reachable
del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdge
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList
ParsedClassType type()
ClassDecl type(ParsedClassType type)
Flags flags()
flags
in interface TopLevelDecl
Id id()
java.lang.String name()
name
in interface TopLevelDecl
ClassDecl name(java.lang.String name)
TypeNode superClass()
java.util.List<TypeNode> interfaces()
TypeNode
.ClassDecl interfaces(java.util.List<TypeNode> interfaces)
interfaces
- A list of TypeNode
.ClassBody body()