|
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 |
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 |
||||||||||
PREV NEXT | FRAMES NO FRAMES |