|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Def | |
---|---|
orc.ast.extended.declaration.def | |
orc.ast.simple.expression |
Uses of Def in orc.ast.extended.declaration.def |
---|
Methods in orc.ast.extended.declaration.def that return Def | |
---|---|
Def |
AggregateDef.simplify()
|
Uses of Def in orc.ast.simple.expression |
---|
Fields in orc.ast.simple.expression with type parameters of type Def | |
---|---|
java.util.List<Def> |
DeclareDefs.defs
|
Methods in orc.ast.simple.expression that return Def | |
---|---|
Def |
Def.subMap(java.util.Map<FreeVariable,? extends Argument> m)
|
Def |
Def.subst(Argument a,
FreeVariable x)
|
Def |
Def.subst(Type T,
FreeTypeVariable X)
|
Methods in orc.ast.simple.expression that return types with arguments of type Def | |
---|---|
static java.util.List<Def> |
Def.substAll(java.util.List<Def> defs,
Argument a,
FreeVariable x)
|
static java.util.List<Def> |
Def.substAll(java.util.List<Def> defs,
Type T,
FreeTypeVariable X)
|
Method parameters in orc.ast.simple.expression with type arguments of type Def | |
---|---|
static java.util.List<Def> |
Def.convertAll(java.util.List<Def> ds,
Env<Variable> vars,
Env<TypeVariable> typevars)
Convenience method, to apply convert to a list of defs. |
static java.util.List<Def> |
Def.substAll(java.util.List<Def> defs,
Argument a,
FreeVariable x)
|
static java.util.List<Def> |
Def.substAll(java.util.List<Def> defs,
Type T,
FreeTypeVariable X)
|
Constructors in orc.ast.simple.expression with parameters of type Def | |
---|---|
Catch(Def handlerDef,
Expression tryBlock)
|
Constructor parameters in orc.ast.simple.expression with type arguments of type Def | |
---|---|
DeclareDefs(java.util.List<Def> defs,
Expression body)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |