|
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 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. |
|
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 |