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

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.
 


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

The ESC/Java2 Project Homepage