Main strategy of the Dryad type checker
Strategy details
|
ATerm
|
default-dryad-attributes-of(Strategy rec)
|
File
|
Main.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Default strategy for producing the attributes of an expression.
By default, attribute a term only with its type, determined by applying the dryad-type-of rule.
type
|
t -> List(Attribute)
|
|
|
ATerm
|
dryad-attribute(Strategy rec)
|
File
|
Main.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Attach attributes to a term.
|
|
ATerm
|
dryad-tc-declare-field-dec(Strategy rec)
|
File
|
Main.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Util for dryad-tc-declare-fields. Don't invoke directly.
|
|
ATerm
|
dryad-tc-declare-fields(Strategy continue)
|
File
|
Main.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Declare the type of class fields for a class body.
|
|
ATerm
|
dryad-tc-declare-local-vardec(Strategy rec)
|
File
|
Main.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Util for dryad-tc-declare-local-variables. Don't invoke directly.
|
|
ATerm
|
dryad-tc-declare-local-variables(Strategy rec)
|
File
|
Main.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Handle local vardec statement by declaring the type of thevariables it declares for the tail of the list of statements inwhich it occurs.
type
|
List(BlockStm) -> List(BlockStm)
|
|
|
ATerm
|
dryad-tc-declare-local-variables(Strategy rec)
|
File
|
Main.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Define the type of a local variable declared in for loop.
|
|
ATerm
|
dryad-tc-declare-this-class(Strategy continue)
|
File
|
Main.str
|
Author
|
unknown
|
Since
|
unknown
|
|
No information available.
todo
|
Handle formal type parameters.
|
todo
|
Enums, Annotations.
|
|
|
ATerm
|
dryad-tc-declare-var(ATerm type)
|
File
|
Main.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Declare the type of a variable in dynamic rule 'TypeOf'
|
|
ATerm
|
dryad-type-checker
|
File
|
Main.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Annotate type information on a Java compilation unit or fragment of code.
type
|
List(CompilationUnit Object) -> List(CompilationUnit Object)
|
|
|
ATerm
|
dryad-type-of-num-bin-op
|
File
|
Main.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Generic implementation for determining the type of a numericbinary operator (*, /, %, +, -).
type
|
(Expr, Expr) -> Expr
|
|
|