Strategy details
|
ATerm
|
determine-actual-formal-parameter-types(ATerm type, ATerm invocation)
|
File
|
StepSignature.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
ATerm
type
|
Actual method invocation.
|
|
Determines S1 ... Sn and U1 ... Up as specified in 15.12.2.2
returns
|
Tuple (S, U)
|
type
|
Method Object -> (List(Type), List(Type))
|
|
|
ATerm
|
determine-actual-type-arguments(ATerm type, ATerm invocation)
|
File
|
StepSignature.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
ATerm
type
|
Actual method invocation.
|
ATerm
invocation
|
Invoke inference of type arguments.
|
|
Determines U1 ... Up as specified in 15.12.2.2
type
|
Method Object -> List(Type)
|
|
|
ATerm
|
determine-ASU(ATerm type, ATerm invocation)
|
File
|
StepSignature.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
ATerm
type
|
Type: the type on which the invocation occurs.
|
ATerm
invocation
|
Expr: the method invocation
|
|
No information available.
|
|
ATerm
|
determine-method-signature(ATerm type, ATerm class, ATerm fromclass)
|
No information available.
type
|
Expr -> (Method Object, List(Attribute))
|
|
|
ATerm
|
get-arguments-of-invocation
|
Returns the list of arguments of a method invocation.
|
|
ATerm
|
is-applicable-method-by-subtyping(ATerm type, ATerm invocation)
|
File
|
StepSignature.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
ATerm
type
|
Type: the type on which the invocation occurs.
|
ATerm
invocation
|
Expr: the method invocation
|
|
Succeeds if this method is applicable by subtyping.
type
|
Method Object -> (Method Object, List(Attribute))
|
|
|
ATerm
|
is-applicable-variable-arity-method
|
No information available.
|
|
ATerm
|
is-more-specific(ATerm m2)
|
Succeeds if m1 is more specific than m2
todo
|
Parameterized types
|
todo
|
Variable arity methods
|
type
|
Method Object -> Method Object
|
|
|
ATerm
|
is-strictly-more-specific(ATerm m2)
|
Succeeds if m1 is strictly more specific than m2
|
|
ATerm
|
opt-attr-U(Strategy cont)
|
Adds an attribute ActualTypeArgs if there are any.
|
|
ATerm
|
select-applicable-methods(ATerm type, ATerm invocation)
|
Might return an empty list
|
|
ATerm
|
select-maximally-specific-methods
|
No information available.
todo
|
DRY-71
|
type
|
List((Method Object, List(Attribute))) -> List((Method Object, List(Attribute)))
|
|
|
ATerm
|
was-unchecked-conversion-necessary
|
No information available.
type
|
List(Attribute) -> List(Attribute)
|
|
|