public interface AnnotationElemDecl extends MethodDecl
Term.Instance
Modifier and Type | Method and Description |
---|---|
AnnotationTypeElemInstance |
annotationElemInstance() |
AnnotationElemDecl |
annotationElemInstance(AnnotationTypeElemInstance ai) |
Term |
defaultVal() |
AnnotationElemDecl |
defaultVal(Term def) |
Flags |
flags()
The procedure's flags.
|
AnnotationElemDecl |
flags(Flags flags)
Set the procedure's flags.
|
Id |
id()
The procedure's name.
|
AnnotationElemDecl |
id(Id id)
Set the procedure's name.
|
java.lang.String |
name()
The procedure's name.
|
AnnotationElemDecl |
name(java.lang.String name)
Set the procedure's name.
|
TypeNode |
type() |
AnnotationElemDecl |
type(TypeNode type) |
methodInstance, methodInstance, returnType, returnType
formals, formals, procedureInstance, throwTypes, throwTypes
codeBody, codeInstance
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
memberInstance
TypeNode type()
AnnotationElemDecl type(TypeNode type)
Flags flags()
ProcedureDecl
flags
in interface ProcedureDecl
AnnotationElemDecl flags(Flags flags)
ProcedureDecl
flags
in interface ProcedureDecl
Term defaultVal()
AnnotationElemDecl defaultVal(Term def)
Id id()
ProcedureDecl
id
in interface ProcedureDecl
AnnotationElemDecl id(Id id)
ProcedureDecl
id
in interface ProcedureDecl
java.lang.String name()
ProcedureDecl
name
in interface ProcedureDecl
AnnotationElemDecl name(java.lang.String name)
ProcedureDecl
name
in interface ProcedureDecl
AnnotationTypeElemInstance annotationElemInstance()
AnnotationElemDecl annotationElemInstance(AnnotationTypeElemInstance ai)