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
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 MethodDecls that a given class MethodDecl implements.
 Set TypeCheck.getAllImplementsSet(MethodDecl md)
          Retrieves the set of interface MethodDecls that a given class MethodDecl implements.
 Set TypeCheck.getImplementsSet(MethodDecl md)
          Retrieves the set of interface MethodDecls that a given interface MethodDecl implements.
 Set TypeCheck.getAllOverrides(MethodDecl md)
          Retrieves the set of MethodDecls 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.
 


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