StepSearch

File StepSearch.str
Author Martin Bravenboer
Since unknown

15.12.1: Compile-Time Step 1: Determine Class or Interface to Search




Statistics


General
Lines of code 199
Stratego
Module number 1 (100% documented)
Constructor number 0
Overlay number 0
Strategy number 5 (100% documented)
Rule number 28 (10% documented)
DynamicRule number 0



Strategy summary


dryad-tc-explicit-type-arguments-method Return a list of explicit actual type arguments specified in the invocation StepSearch.str
dryad-tc-name-of-method Returns the name of the method to be invoked StepSearch.str
dryad-tc-search-class-of-method Returns the type on which the invocation is to be performed StepSearch.str
dryad-tc-search-class-of-method n/a StepSearch.str
dryad-tc-search-class-of-method n/a StepSearch.str

Rule summary


dryad-tc-explicit-type-arguments-method n/a StepSearch.str
dryad-tc-explicit-type-arguments-method n/a StepSearch.str
dryad-tc-explicit-type-arguments-method n/a StepSearch.str
dryad-tc-explicit-type-arguments-method n/a StepSearch.str
dryad-tc-explicit-type-arguments-method n/a StepSearch.str
dryad-tc-explicit-type-arguments-method n/a StepSearch.str
dryad-tc-explicit-type-arguments-method n/a StepSearch.str
dryad-tc-explicit-type-arguments-method n/a StepSearch.str
dryad-tc-explicit-type-arguments-method n/a StepSearch.str
dryad-tc-explicit-type-arguments-method n/a StepSearch.str
dryad-tc-explicit-type-arguments-method n/a StepSearch.str
dryad-tc-explicit-type-arguments-method n/a StepSearch.str
dryad-tc-name-of-method n/a StepSearch.str
dryad-tc-name-of-method n/a StepSearch.str
dryad-tc-name-of-method n/a StepSearch.str
dryad-tc-name-of-method n/a StepSearch.str
dryad-tc-name-of-method n/a StepSearch.str
dryad-tc-name-of-method n/a StepSearch.str
dryad-tc-name-of-method n/a StepSearch.str
dryad-tc-name-of-method n/a StepSearch.str
dryad-tc-name-of-method n/a StepSearch.str
dryad-tc-search-class-of-method n/a StepSearch.str
dryad-tc-search-class-of-method n/a StepSearch.str
dryad-tc-search-class-of-method n/a StepSearch.str
dryad-tc-search-class-of-method n/a StepSearch.str
dryad-tc-search-class-of-method n/a StepSearch.str
dryad-tc-search-class-of-method n/a StepSearch.str
dryad-tc-search-class-of-method n/a StepSearch.str



Strategy details


ATerm dryad-tc-explicit-type-arguments-method
File StepSearch.str
Author unknown
Since unknown
 

Return a list of explicit actual type arguments specified in the invocation.


type MethodId -> List(ActualTypeArg)

 
ATerm dryad-tc-name-of-method
File StepSearch.str
Author unknown
Since unknown
 

Returns the name of the method to be invoked.


type MethodId -> String

 
ATerm dryad-tc-search-class-of-method
File StepSearch.str
Author unknown
Since unknown
 

Returns the type on which the invocation is to be performed.


type MethodId -> Type

 
ATerm dryad-tc-search-class-of-method
File StepSearch.str
Author unknown
Since unknown
 

No information available.


todo Super invoke: get-superclass-as-type requires the argument types of this class?

 
ATerm dryad-tc-search-class-of-method
File StepSearch.str
Author unknown
Since unknown
 

No information available.


todo Super invoke: get-superclass-as-type requires the argument types of this class?

 

Rule details


ATerm dryad-tc-search-class-of-method
File StepSearch.str
Author unknown
Since unknown
 

No information available.


todo Instance access not allowed from static context.

 
ATerm dryad-tc-search-class-of-method
File StepSearch.str
Author unknown
Since unknown
 

No information available.


todo Method must be static.

 
ATerm dryad-tc-search-class-of-method
File StepSearch.str
Author unknown
Since unknown
 

No information available.


todo Handle expression that has variable type (i.e. take upper bound)