Uses of Class
jml2b.structure.AMethod

Packages that use AMethod

jml2b.pog.lemma
jml2b.structure.bytecode
jml2b.structure.java

Uses of AMethod in jml2b.pog.lemma

Constructors in jml2b.pog.lemma with parameters of type AMethod

GoalOrigin(byte origin, AMethod m)
Constructs a goal origin for a requires

Uses of AMethod in jml2b.structure.bytecode

Subclasses of AMethod in jml2b.structure.bytecode

class	ClassDefaultConstructor
class	ClassMethod

Methods in jml2b.structure.bytecode that return AMethod

AMethod	ClassFile.getConstructor(IJml2bConfiguration config, java.util.Vector param_types)
AMethod	ClassFile.getDefaultConstructor()
AMethod	ClassFile.getMethod(java.lang.String name, Parameters p)
AMethod	ClassFile.lookupMethodCurrentClass(IJml2bConfiguration config, java.lang.String mth_name, java.util.Vector param_types, AMethod candidate)

Methods in jml2b.structure.bytecode with parameters of type AMethod

AMethod

ClassFile.lookupMethodCurrentClass(IJml2bConfiguration config, java.lang.String mth_name, java.util.Vector param_types, AMethod candidate)

Uses of AMethod in jml2b.structure.java

Subclasses of AMethod in jml2b.structure.java

class	Constructor Specialisation of the Method class suitable for representing constructors.
class	Method

Fields in jml2b.structure.java declared as AMethod

AMethod

Identifier.mth

Methods in jml2b.structure.java that return AMethod

AMethod	AClass.lookupMethod(IJml2bConfiguration config, java.lang.String mth_name, java.util.Vector param_types) Search the given method in the class and superclass methods.
AMethod	AClass.getSuperDefaultConstructor() Returns the default constructor for the super class.
abstract AMethod	AClass.getDefaultConstructor()
abstract AMethod	AClass.getConstructor(IJml2bConfiguration config, java.util.Vector param_types)
abstract AMethod	AClass.getMethod(java.lang.String name, Parameters p)
AMethod	AClass.lookupMethodInterface(IJml2bConfiguration config, java.lang.String mth_name, java.util.Vector param_types, AMethod candidate) Lookup the given method in the current interface (which is not class).
AMethod	AClass.lookupMethodClass(IJml2bConfiguration config, java.lang.String mth_name, java.util.Vector param_types, AMethod candidate) Lookup the given method in the current class (which is not an interface).
abstract AMethod	AClass.lookupMethodCurrentClass(IJml2bConfiguration config, java.lang.String mth_name, java.util.Vector param_types, AMethod candidate)
AMethod	Class.getDefaultConstructor() Returns the default constructor for this class, if the class defines one.
AMethod	Class.getMethod(java.lang.String name, Parameters p) Searches for a method with the given name and parameters in the current class.
AMethod	Class.lookupMethodCurrentClass(IJml2bConfiguration config, java.lang.String mth_name, java.util.Vector param_types, AMethod candidate) Search for a method looking only in the current class (or interface).
AMethod	Class.getConstructor(IJml2bConfiguration config, java.util.Vector param_types) Returns the constructor matching the given parameter types.
AMethod	Method.getSuperMethod()

Methods in jml2b.structure.java with parameters of type AMethod

AMethod	AClass.lookupMethodInterface(IJml2bConfiguration config, java.lang.String mth_name, java.util.Vector param_types, AMethod candidate) Lookup the given method in the current interface (which is not class).
AMethod	AClass.lookupMethodClass(IJml2bConfiguration config, java.lang.String mth_name, java.util.Vector param_types, AMethod candidate) Lookup the given method in the current class (which is not an interface).
abstract AMethod	AClass.lookupMethodCurrentClass(IJml2bConfiguration config, java.lang.String mth_name, java.util.Vector param_types, AMethod candidate)
AMethod	Class.lookupMethodCurrentClass(IJml2bConfiguration config, java.lang.String mth_name, java.util.Vector param_types, AMethod candidate) Search for a method looking only in the current class (or interface).

Constructors in jml2b.structure.java with parameters of type AMethod

Identifier(AMethod m)
Creates an identifier for the given method.