Strategy details
|
ATerm
|
get-access
|
No information available.
todo
|
This is the same for all source members. Generalize?
|
type
|
SourceClass Object -> Access Modifier
|
|
|
ATerm
|
get-ast
|
Returns the AST of this source class.
type
|
SourceClass Object -> TypeDec
|
|
|
ATerm
|
get-compilation-unit
|
No information available.
type
|
SourceClass Object -> CompilationUnit Object
|
|
|
ATerm
|
get-default-constructor
|
No information available.
todo
|
Default constructor for enum type must have private access.
|
todo
|
The constructor should not be created again and again, since it is not garbage collected.
|
todo
|
DRY-203: No super invocation for java.lang.Object source file.
|
todo
|
DRY-202: Set the appropiate access modifiers (see 8.8.9)
|
|
|
ATerm
|
get-formal-type-parameters
|
No information available.
type
|
SourceClass Object -> List(TypeParam)
|
|
|
ATerm
|
get-package
|
No information available.
todo
|
Maybe move the fallback to the declaring class' compilation-unit into get-compilation-unit.
|
type
|
SourceClass Object -> Package Object
|
|
|
ATerm
|
get-reference-ast
|
Returns the Reference AST of this source class.
type
|
SourceClass Object -> ReferenceAST(TypeDec)
|
|
|
ATerm
|
get-superclass-as-type
|
No information available.
type
|
SourceClass Object -> Source Type
|
todo
|
java.lang.Object has no superclass.
|
|
|
ATerm
|
get-superinterfaces-as-type
|
No information available.
type
|
SourceClass Object -> List(Source Type)
|
|
|
ATerm
|
init-declared-member-type-table
|
Initializes the declared member classes table of a source class.
type
|
SourceClass Object -> SourceClass Object
|
|
|
ATerm
|
init-get-declared-constructor-list
|
Initializes the declared constructors list of the source class.
type
|
SourceClass Object -> List(SourceConstructor Object)
|
|
|
ATerm
|
init-get-declared-field-list
|
Initializes the field table of a source class.
todo
|
A fielddec can declare multiple variables. How should this be represented in the table?
|
type
|
SourceClass Object -> List(SourceClass Object)
|
|
|
ATerm
|
init-get-declared-method-list
|
Initializes the declared method table of a source class.
type
|
SourceClass Object -> List(SourceMethod Object)
|
|
|
ATerm
|
instanceof-JavaClass
|
Succeeds if the current term is an instance of a Java class.This alternative declares a JavaSourceClass to be a JavaClass.
|
|
ATerm
|
instanceof-JavaSourceClass
|
Succeeds if the current term is an instance of Java source class
|
|
ATerm
|
is-interface
|
Succeeds if this class is an interface.
|
|
ATerm
|
is-static
|
Succeeds if the class is a static (inner) class.
|
|
ATerm
|
new-source-class(ATerm simple-name)
|
Constructs a new source class.
|
|
ATerm
|
set-ast(ATerm ast)
|
Initializes the RefAST of this SourceClass from the given AST.
type
|
SourceClass Object -> SourceClass Object
|
|
|
ATerm
|
set-compilation-unit(ATerm cu)
|
File
|
source-class.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
ATerm
cu
|
CompilationUnit Object
|
|
No information available.
type
|
SourceClass Object -> SourceClass Object
|
|
|
ATerm
|
set-reference-ast(ATerm ref-ast)
|
File
|
source-class.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
ATerm
ref-ast
|
ReferenceAST(TypeDec)
|
|
No information available.
type
|
SourceClass Object -> SourceClass Object
|
|
|