Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
escjava.ast.DerivedMethodDecl

Packages that use DerivedMethodDecl
escjava.ast |
escjava.translate |

Uses of DerivedMethodDecl in escjava.ast

Fields in escjava.ast declared as DerivedMethodDecl
`DerivedMethodDecl` | `Spec.dmd`

Methods in escjava.ast with parameters of type DerivedMethodDecl
`static Spec` | `Spec.make(DerivedMethodDecl dmd, ExprVec targets, ExprVec specialTargets, java.util.Hashtable preVarMap, ExprVec preAssumptions, ConditionVec pre, ExprVec postAssumptions, ConditionVec post, boolean modifiesEverything, java.util.Set postconditionLocations)`

Uses of DerivedMethodDecl in escjava.translate

Methods in escjava.translate that return DerivedMethodDecl
`static DerivedMethodDecl` | `GetSpec.getCombinedMethodDecl(RoutineDecl rd)` * Implement GetCombinedMethodDecl from ESCJ 16c section 7: * * Precondition: the type declaring rd has been typechecked.
`static DerivedMethodDecl` | `GetSpec.filterMethodDecl(DerivedMethodDecl dmd, FindContributors scope)`

Methods in escjava.translate with parameters of type DerivedMethodDecl
`private static void` | `GetSpec.addModifiersToDMD(DerivedMethodDecl dmd, RoutineDecl rd)` * Add the modifiers of rd to dmd, making any necessary substitions * of parameter names.
`static DerivedMethodDecl` | `GetSpec.filterMethodDecl(DerivedMethodDecl dmd, FindContributors scope)`
`private static Spec` | `GetSpec.trMethodDecl(DerivedMethodDecl dmd, java.util.Hashtable premap)` Translates a MethodDecl to a Spec.
`private static ConditionVec` | `GetSpec.trMethodDeclPreconditions(DerivedMethodDecl dmd, ExprVec preAssumptions)` Computes the preconditions, according to section 7.2.0 of ESCJ 16.
`private static ConditionVec` | `GetSpec.trMethodDeclPostcondition(DerivedMethodDecl dmd, java.util.Hashtable wt, ExprVec postAssumptions)` Computes the postconditions, according to section 7.2.2 of ESCJ 16.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved
PREV NEXT | FRAMES NO FRAMES

The ESC/Java2 Project Homepage