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
javafe.ast.MethodDecl

Packages that use MethodDecl
escjava |
escjava.ast |
escjava.tc |
escjava.translate |
javafe.ast |
javafe.tc |

Uses of MethodDecl in escjava

Methods in escjava that return MethodDecl
`(package private) MethodDecl` | `RefinementSequence.findMatchingMethod(MethodDecl md, TypeDecl td)`

Methods in escjava with parameters of type MethodDecl
`(package private) MethodDecl` | `RefinementSequence.findMatchingMethod(MethodDecl md, TypeDecl td)`

Uses of MethodDecl in escjava.ast

Fields in escjava.ast declared as MethodDecl
`MethodDecl` | `ModelMethodDeclPragma.decl`

Methods in escjava.ast with parameters of type MethodDecl
`static ModelMethodDeclPragma` | `ModelMethodDeclPragma.make(MethodDecl decl, int loc)`

Uses of MethodDecl in escjava.tc

Methods in escjava.tc that return MethodDecl
`static MethodDecl` | `FlowInsensitiveChecks.getSuperClassOverride(MethodDecl md)`
`static MethodDecl` | `FlowInsensitiveChecks.getSuperNonNullStatus(RoutineDecl rd, int j)`
`static MethodDecl` | `FlowInsensitiveChecks.getSuperNonNullStatus(RoutineDecl rd, int j, Set directOverrides)`

Methods in escjava.tc with parameters of type MethodDecl
`void` | `PrepTypeDeclaration.visitMethodDecl(MethodDecl x, TypeSig currentSig, boolean abstractMethodsOK, boolean inFinalClass, boolean inInterface)`
`static boolean` | `FlowInsensitiveChecks.isOverridable(MethodDecl md)`
`static Set` | `FlowInsensitiveChecks.getAllOverrides(MethodDecl md)`
`static Set` | `FlowInsensitiveChecks.getDirectOverrides(MethodDecl md)`
`static MethodDecl` | `FlowInsensitiveChecks.getSuperClassOverride(MethodDecl md)`

Uses of MethodDecl in escjava.translate

Methods in escjava.translate that return MethodDecl
`(package private) static MethodDecl` | `Suggestion.getOriginalMethod(MethodDecl md)` Returns a method that `md` overrides.

Methods in escjava.translate with parameters of type MethodDecl
`(package private) static MethodDecl` | `Suggestion.getOriginalMethod(MethodDecl md)` Returns a method that `md` overrides.
`private static void` | `InlineConstructor.createMethodDecl(MethodDecl md, TypeDecl td, ConstructorDecl cd, Identifier newThis, int count)`
`static boolean` | `InlineConstructor.isConstructorInlinedMethod(MethodDecl md)` Returns true if the given method is a constructor-inlined version of some other method

Uses of MethodDecl in javafe.ast

Fields in javafe.ast declared as MethodDecl
`MethodDecl` | `MethodInvocation.decl`
`private MethodDecl[]` | `MethodDeclVec.elements` * Instance fields: * *

Methods in javafe.ast that return MethodDecl
`MethodDecl` | `MethodDeclVec.elementAt(int index)` * Other methods: * *
`MethodDecl[]` | `MethodDeclVec.toArray()`
`MethodDecl` | `MethodDeclVec.pop()`
`static MethodDecl` | `MethodDecl.make(int modifiers, ModifierPragmaVec pmodifiers, TypeModifierPragmaVec tmodifiers, FormalParaDeclVec args, TypeNameVec raises, BlockStmt body, int locOpenBrace, int loc, int locId, int locThrowsKeyword, Identifier id, Type returnType, int locType)`

Methods in javafe.ast with parameters of type MethodDecl
`java.lang.Object` | `VisitorArgResult.visitMethodDecl(MethodDecl x, java.lang.Object o)`
`void` | `Visitor.visitMethodDecl(MethodDecl x)`
`static MethodDeclVec` | `MethodDeclVec.make(MethodDecl[] els)`
`void` | `MethodDeclVec.setElementAt(MethodDecl x, int index)`
`boolean` | `MethodDeclVec.contains(MethodDecl x)`
`void` | `MethodDeclVec.addElement(MethodDecl x)`
`boolean` | `MethodDeclVec.removeElement(MethodDecl x)`
`void` | `MethodDeclVec.insertElementAt(MethodDecl obj, int index)`
`void` | `DefaultVisitor.visitMethodDecl(MethodDecl x)`

Constructors in javafe.ast with parameters of type MethodDecl
`MethodDeclVec(MethodDecl[] els)` * Private constructors: * *

Uses of MethodDecl in javafe.tc

Methods in javafe.tc that return MethodDecl
`MethodDecl` | `TypeSig.hasMethod(Identifier id, Type[] args)`
`MethodDecl` | `TypeSig.lookupMethod(Identifier id, Type[] args, TypeSig caller)` TBW
`static MethodDecl` | `Types.lookupMethod(Type t, Identifier id, Type[] args, TypeSig caller)`
`protected MethodDecl` | `Types.lookupMethodInstance(Type t, Identifier id, Type[] args, TypeSig caller)`
`MethodDecl` | `TypeCheck.getOverrides(MethodDecl md)` Retrieves the class `MethodDecl` that a given class `MethodDecl` overrides.
`private MethodDecl` | `PrepTypeDeclaration.declaresMethod(TypeSig sig, Identifier id, Type[] argTypes)` Check if a type declares a method.

Methods in javafe.tc with parameters of type MethodDecl
`static boolean` | `Types.isSameMethodSig(MethodDecl x, MethodDecl y)`
`MethodDecl` | `TypeCheck.getOverrides(MethodDecl md)` Retrieves the class `MethodDecl` that a given class `MethodDecl` overrides.
`Set` | `TypeCheck.getImplementsSet(ClassDecl cd, MethodDecl md)` Retrieves the set of interface `MethodDecl`s that a given class `MethodDecl` implements.
`Set` | `TypeCheck.getAllImplementsSet(MethodDecl md)` Retrieves the set of interface `MethodDecl`s that a given class `MethodDecl` implements.
`Set` | `TypeCheck.getImplementsSet(MethodDecl md)` Retrieves the set of interface `MethodDecl`s that a given interface `MethodDecl` implements.
`Set` | `TypeCheck.getAllOverrides(MethodDecl md)` Retrieves the set of `MethodDecl`s that a given `MethodDecl` overrides or hides.
`private void` | `PrepTypeDeclaration.addOverride(MethodDecl md, MethodDecl overrides)` Decorates MethodDecl of prepped TypeDecls with a Set of methods that decl overrides or hides.
`Set` | `PrepTypeDeclaration.getOverrides(MethodDecl md)` Returns the set of all methods that `md` overrides, where `md` is considered to appear in those prepped subtypes of `md.parent` that inherit `md`.
`Set` | `PrepTypeDeclaration.getOverrides(TypeDecl td, MethodDecl md)` Returns the set of methods that `md` overrides, with `md` considered to appear in a particular type `td`.
`protected void` | `PrepTypeDeclaration.visitMethodDecl(MethodDecl x, TypeSig currentSig, boolean abstractMethodsOK, boolean inFinalClass, boolean inInterface)` Visit a MethodDecl, check it and add it to methodSeq.

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